Category:論理式

Theorem

Proposition

Polish notation

Sequent

Atomic formula

Logical formula

Propositional function

Expression (mathematics)

Rule of inference

Universal quantification

Tautology (logic)

Tautology (language)