Category:論理式

Propositional function

Logical formula

Atomic formula

Theorem

Sequent

Rule of inference

Polish notation

Expression (mathematics)

Tautology (logic)

Universal quantification

Proposition

Tautology (language)