Rules of inference
Aucun articleModus ponensModus tollensModus ponendo tollensModus non excipiensHypothetical syllogismDisjunctive syllogismConstructive dilemmaDestructive dilemmaConjunction introductionConjunction eliminationDisjunction introductionDisjunction eliminationBiconditional introductionBiconditional eliminationNegation introductionDouble negation eliminationUniversal instantiationUniversal generalizationExistential generalizationExistential instantiationProof by casesReductio ad absurdumResolution logicFirst order resolution+ 22 de plus
Pas encore d'articles dans cette catégorie — ça arrive.