[[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]]