Category:論理式

Sequent

Propositional function

Atomic formula

Logical formula

Polish notation

Tautology (logic)

Rule of inference

Proposition

Expression (mathematics)

Tautology (language)

Universal quantification

Theorem