Category:論理式

Rule of inference

Logical formula

Propositional function

Sequent

Atomic formula

Tautology (language)

Theorem

Tautology (logic)

Polish notation

Expression (mathematics)

Universal quantification

Proposition