Category:論理式

Proposition

Universal quantification

Theorem

Expression (mathematics)

Polish notation

Tautology (logic)

Sequent

Atomic formula

Logical formula

Propositional function

Rule of inference

Tautology (language)