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