Category:論理式

Atomic formula

Propositional function

Sequent

Logical formula

Tautology (logic)

Rule of inference

Polish notation

Theorem

Expression (mathematics)

Universal quantification

Proposition

Tautology (language)