数的処理の論理について質問です。

質問

彼か娘か息子のどちらかが独身でない
という文章を記号化すると、解答には
￢娘∨￢息子
となっています。

私は、
￢（娘∨息子）
としてしまうのですが、私の考えだと、どのような意味を表していることになるのでしょうか？

回答No.1

151A48 · ベストアンサー

「娘が独身であるかまたは息子が独身である」ということはない
＝「娘か息子の少なくとも一方が独身である」ということはない
＝娘も息子も独身でない

お礼

ありがとうございます。
ドモルガン忘れてました。

回答No.2

alice_44

貴方の式は、
(娘か息子のどちらかは独身)でない
を表しています。
解答例の式は、
娘か息子のどちらかは(独身でない)
です。
はたして、原文は…？

お礼

ありがとうございます。
原文は一行目の「彼か娘か息子のどちらかが独身でない」ですが、今見直すと「彼の娘か息子のどちらかが独身でない」が正しいです。誤字すいません。