Category:論理式

Tautology (logic)

Tautology (language)

Proposition

Polish notation

Propositional function

Logical formula

Sequent

Atomic formula

Rule of inference

Theorem

Expression (mathematics)

Universal quantification