Category:古典論理

Predicate logic

Identity (philosophy)

Propositional calculus

Classical logic

Modus ponens

Law of noncontradiction

Modus tollens

Disjunctive syllogism

Conjunction introduction

Law of excluded middle