Category:古典論理

Principle of explosion

Law of excluded middle

Predicate logic

Identity (philosophy)

Conjunction introduction

Modus ponens

Law of noncontradiction

Disjunctive syllogism

Modus tollens

Classical logic

Propositional logic