Category:論理式

Proposition

Tautology (language)

Universal quantification

Expression (mathematics)

Polish notation

Logical formula

Propositional function

Atomic formula

Rule of inference

Tautology (logic)

Sequent

Theorem