Category:論理式

Tautology (language)

Proposition

Expression (mathematics)

Rule of inference

Tautology (logic)

Sequent

Atomic formula

Logical formula

Polish notation

Universal quantification

Propositional function

Theorem