Similar to 存在命題

Proposition

Contingency (philosophy)

Tautology (logic)

Truth value

Inference

Categorical proposition

Theorem

Lemma (mathematics)

Contradiction

Propositional function

Sentences

On Interpretation

Propositional logic

Logical conjunction