Mathematical logic
Logical connective
- “非”（¬）、“与”（∧）、“或”（∨）、“条件”（→）以及“双条件”（↔）。
Material conditional (实质条件)
also known as material implication
Necessity and sufficiency (充分必要条件)
- “若P则Q”为真时，P称为Q的充分条件，Q称为P的必要条件。
Truth table (真值表)
路易斯·卡罗早在1894年就公式化了真值表来解决特定问题，但是包含他这项工作的手稿直到1977年才被发现。维特根斯坦的《逻辑哲学论》利用真值表把真值函数置于序列中。这个著作的广泛影响导致了真值表的传播。