[[logic:index|Logic]]
* [[logic:formal_fallacies:index|Formal Fallacies]]
* **[[logic:inferences:index|(Valid) Inferences]]**
(Material) Conditionals
* [[logic:inferences:modus_ponens|Modus Ponens]]
* [[logic:inferences:modus_tollens|Modus Tollens]]
* [[logic:inferences:constructive_dilemma|Constructive Dilemma]]
* [[logic:inferences:destructive_dilemma|Destructive Dilemma]]
Conjunctions and Disjunctions
* [[logic:inferences:modus_ponendo_tollens|Modus Ponendo Tollens]]
* [[logic:inferences:modus_tollendo_ponens|Modus Tollendo Ponens]]
Syllogism Forms
* [[logic:inferences:modus_barbara:index|Modus Barbara]]
* **[[logic:inferences:modus_celarent:index|Modus Celarent]]**
* [[logic:inferences:modus_celarent:modus_calemes|Modus Calemes]]
* [[logic:inferences:modus_celarent:modus_calemos|Modus Calemos]]
* [[logic:inferences:modus_celarent:modus_camestres|Modus Camestres]]
* [[logic:inferences:modus_celarent:modus_camestros|Modus Camestros]]
* [[logic:inferences:modus_celarent:modus_celaront|Modus Celaront]]
* [[logic:inferences:modus_celarent:modus_cesare|Modus Cesare]]
* [[logic:inferences:modus_celarent:modus_cesaro|Modus Cesaro]]
* [[logic:inferences:modus_darii:index|Modus Darii]]
* [[logic:inferences:modus_ferio:index|Modus Ferio]]
* [[logic:inferences:sorites|Sorites]]