「スマリヤン数理論理学講義」P94にミスプリを発見
問29
「≢」(同値の否定)を「⊃」(ならば)と「∨」(または)からつくれ、というのだけど、ABがTTなら、A⊃B=TでA∨B=Tなので、A≢B=Fはつくれない。
「≢」(同値の否定)を「⊅」(ならばの否定)と「∨」(または)からつくれ、ではないか?
すると正解は(A⊅B)∨(B⊅A)になる。
問29
「≢」(同値の否定)を「⊃」(ならば)と「∨」(または)からつくれ、というのだけど、ABがTTなら、A⊃B=TでA∨B=Tなので、A≢B=Fはつくれない。
「≢」(同値の否定)を「⊅」(ならばの否定)と「∨」(または)からつくれ、ではないか?
すると正解は(A⊅B)∨(B⊅A)になる。
ファン申請 |
||