Category:古典論理

Identity (philosophy)

Law of excluded middle

Modus tollens

Disjunctive syllogism

Law of noncontradiction

Propositional calculus

Classical logic

Modus ponens

Conjunction introduction

Predicate logic