Category:古典論理

Modus ponens

Predicate logic

Modus tollens

Law of noncontradiction

Conjunction introduction

Disjunctive syllogism

Law of excluded middle

Propositional calculus

Classical logic

Identity (philosophy)