Category:論理式

Tautology (logic)

Propositional function

Logical formula

Sequent

Rule of inference

Atomic formula

Polish notation

Expression (mathematics)

Theorem

Universal quantification

Tautology (language)

Proposition