人気ブログランキング | 話題のタグを見る

「スマリヤン数理論理学講義」P93 問21と22

p∧qは(p∨q)↔︎(p↔︎q)と同値である

p∨qは(p∧q)↔︎(p↔︎q)と同値である


じつに綺麗な対比でド・モルガンの定理を連想させます。




by tomoarrow | 2019-09-12 07:00 | モチーフについて | Comments(0)