『論理学をつくる』勉強会

69：ウラサキ：2016/05/30(月) 16:09:01: 疑問点です。

p.160 練習問題46の(2)の(a)で∃x(Px∧Qｘ)と∃x(Px∧￢Qx)をともに偽とするモデルとして、
p.389の解答ではD={1},V(P)=φ,V(Q)={1}を挙げているが、
D={1},V(P)={1},V(Q)=φってのもあるのではないか？
その場合、(b)の存在措定は∃xPxではなく、∃xQxでなければならないのですよね？

新着レスの表示

※書き込む際の注意事項はこちら

※画像アップローダーはこちら

（画像を表示できるのは「画像リンクのサムネイル表示」がオンの掲示板に限ります）

掲示板管理者へ連絡無料レンタル掲示板