Category:論理式

Theorem

Polish notation

Expression (mathematics)

Rule of inference

Universal quantification

Tautology (language)

Tautology (logic)

Atomic formula

Logical formula

Propositional function

Sequent

Proposition