Category:論理式

Tautology (language)

Tautology (logic)

Polish notation

Propositional function

Expression (mathematics)

Universal quantification

Rule of inference

Atomic formula

Sequent

Logical formula

Proposition

Theorem