大学学部レベル質問スレ 8単位目 [無断転載禁止]©2ch.net

[0135 １３２人目の素数さん 2017/08/06(日) 20:07:25.32 ID:9B/5K+bJ]

X:ある元がAに含まれる
Y:ある元がBに含まれる
として
(X∨Y)∧X≡X
これがトートロジーであることは真理値表なりなんなりで示せる