disjunctive syllogism

1. Αρχική
2. disjunctive syllogism

• BT syllogism

disjunctive syllogism

• EQ 166 (EKT-DDC)
• EQ διαζευκτικός συλλογισμός (EKT-EL)