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

「スマリヤン数理論理学講義」P94にミスプリを発見

問29

「≢」(同値の否定)を「⊃」(ならば)と「∨」(または)からつくれ、というのだけど、ABTTなら、AB=TAB=Tなので、AB=Fはつくれない。


「≢」(同値の否定)を「」(ならばの否定)と「∨」(または)からつくれ、ではないか?


すると正解は(AB)(BA)になる。




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