Category:古典論理

Classical logic

Law of excluded middle

Principle of explosion

Conjunction introduction

Disjunctive syllogism

Law of noncontradiction

Propositional logic

Modus ponens

Predicate logic

Modus tollens

Identity (philosophy)