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