Category:論理式

Expression (mathematics)

Theorem

Atomic formula

Logical formula

Sequent

Propositional function

Rule of inference

Universal quantification

Proposition

Tautology (logic)

Tautology (language)

Polish notation