Category:論理式

Expression (mathematics)

Atomic formula

Logical formula

Theorem

Rule of inference

Propositional function

Sequent

Universal quantification

Tautology (logic)

Proposition

Tautology (language)

Polish notation