証明

事柄・命題が真である(事実と違わない)ことを明らかにすること
証明(ある命題が正しいか)は、その条件を一般化した集合を用いる

$$ p \Rightarrow q \Leftrightarrow P \subset Q $$

pならばqはPがQの部分集合と同値

EX)

命題: 6の倍数は3の倍数

  • nが6の倍数($p$) ⇒ nは3の倍数($q$)
  • $Q=\{n|nは3の倍数\} = \{3, 6, 9, 12...\}$
  • $P=\{n|nは6の倍数\} = \{6, 12...\}$

ベン図