Rules of inference
Ningún artículoModus 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 más
Todavía no hay artículos en esta categoría — están en camino.