論理包含
含意
（がんい）
implication
内含
三段論法
真理値
（
truth value
）
真理値表
（
truth table
）
ブール代数
（
Boolean algebra
）
ベン図
（
Venn diagram
）
演繹定理
（
Deduction theorem
）