Category:論理式

Propositional function

Logical formula

Atomic formula

Sequent

Theorem

Rule of inference

Expression (mathematics)

Polish notation

Tautology (logic)

Proposition

Universal quantification

Tautology (language)