The Syllogism |
Common terms and phrases
a-forms a-rep A-semantics a-sub A+ Exp AAª AAº ABª ABe ABa affirmative antilogism argument Aristotelian Aristotle Aristotle's axiomatised axioms BAª Barbara Baroco belongs Bocardo Camestres categorical forms categorical proposition Celantes Celarent Cesare conclusion Cont contains Contraposition Corollary Dabitis Darapti Darii Datisi deduction derivable Disamis distinct variables distributed e-conv e-conversion ecthesis ecthetic proof equivalent false Felapton Ferio Ferison Festino Figure follows formula functors gism Identity implies individual-variables instantiates interpretation interweaving joint entailment law of Identity Lemma Łukasiewicz members of Q minimally inconsistent natural deduction necessitate non-empty non-theses obv2 pair Posterior Analytics predicate premiss-pair principle of inference propositional calculus propositional logic propositional variables prosleptic question-begging reduce rejected rule semantic sequence Smiley's syllogism syllogistic syntactic term-variable Theorem theory thesis of 1A truth-functions undistributed v₂ valid ΠΣ ΡΣ Ава Ага Аго ВГа ГА Гва ра