Category:論理式

Tautology (language)

Sequent

Atomic formula

Logical formula

Propositional function

Rule of inference

Theorem

Tautology (logic)

Polish notation

Expression (mathematics)

Universal quantification

Proposition