EntityQ1127312· pop 7· linked from 10 articlesconsequentia mirabilisSign in to savetheoremConnectionsprinciple of excluded middleEntitylaw of identityEntityprinciple of explosionEntityLatinEntitydigital object identifierEntityJSTOROrganizationChristopher ClaviusEntityreductio ad absurdumEntityQ22908627Entitylaw of noncontradictionEntityconsistencyEntitymodus ponensEntityclassical logicEntityintuitionistic logicEntityterm logicEntitydisjunctive syllogismEntityProtrepticusEntityPeirce's lawEntityconjunction eliminationEntityFrege's theoremEntityCategoriesLatin logical phrasesTheorems in propositional logic