Category:論理式

Universal quantification

Polish notation

Theorem

Tautology (logic)

Propositional function

Tautology (language)

Expression (mathematics)

Rule of inference

Sequent

Logical formula

Atomic formula

Proposition