Category:古典論理

Law of excluded middle

Predicate logic

Disjunctive syllogism

Modus tollens

Conjunction introduction

Law of noncontradiction

Identity (philosophy)

Classical logic

Modus ponens

Propositional calculus