Category:論理式

Tautology (language)

Polish notation

Universal quantification

Expression (mathematics)

Propositional function

Tautology (logic)

Rule of inference

Theorem

Atomic formula

Proposition

Sequent

Logical formula