elimination rule of disjunction的意思|示意

美 / / 英 / /

析取的消去规则