Relier Pairs TautologieVersion en ligne verbind de juiste tautologie met hun naam par Wout De Munck 1 modus ponens 2 hypothetisch syllogisme 3 principe van contradictie 4 tertium non datur 5 disjunctief syllogisme 6 Modus tollens A˄(A=>B)=>B A˅¬A (A˅B)˄¬A=>B ¬(A˄¬A) (A=>B)˄(B=>C)=>(A=>C) ¬B˄(A=>B)=>¬A