Category:古典論理

Propositional logic

Principle of explosion

Identity (philosophy)

Law of excluded middle

Modus ponens

Modus tollens

Predicate logic

Conjunction introduction

Law of noncontradiction

Disjunctive syllogism

Classical logic