Category:古典論理

Law of excluded middle

Disjunctive syllogism

Law of noncontradiction

Propositional calculus

Conjunction introduction

Predicate logic

Principle of explosion

Classical logic

Modus ponens

Identity (philosophy)

Modus tollens