レス数が900を超えています。1000を超えると投稿できなくなるよ。

科学と疑似科学とを判別する

337：fnorder：2019/04/11(木) 12:51:13 ID:???: >>333
> 「7) (Ｐ→Ｑ)∨(Ｐ→￢Ｑ)」は、命題論理の読み方の範囲では〇ということになるのでしょうね。

述語論理と解釈しても同じでしょう。この書き方だとPとQは変数を持たない論理式になります。
そのような場合には述語論理と命題論理の結論は一致するはずです。

『PはP(x)の、QはQ(x)を簡単に書いた。∀xは省略した』ということでも構いません、が。
それなら7)式の正確な表記はこうでなければおかしい。そして、この論理式は常に成立します。

∀x( (P(x)→Q(x)) ∨ (P(x)→￢Q(x)) )

まあこんな話は科学的推論について論じる上では確かに瑣末なことだと思いますが。

新着レスの表示

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

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

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

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