Category:論理式

Tautology (language)

Universal quantification

Theorem

Rule of inference

Logical formula

Sequent

Atomic formula

Propositional function

Tautology (logic)

Expression (mathematics)

Proposition

Polish notation