- ベストアンサー
定言三段論法を記号論理学表現したいのですが
純粋仮言三段論法が、平凡社の哲学辞典ｐ５４８で： [[ｐ⊃ｑ]∧[ｑ⊃ｒ]]⊃[ｐ⊃ｒ]と表されています。これを定言三段論法にして 「ｐならｑであるが、ｐである。 なのでｑだ。」というのは、どう表されるのか教えてください。
- みんなの回答 （3）
- 専門家の回答
質問者が選んだベストアンサー
- ベストアンサー
noname#131234
回答No.2
あまちがい 誤植です [[ｐ⊃ｑ]∧[ｐ]]⊃[ｑ] が正解
その他の回答 (2)
noname#94413
回答No.3
定言三段論法というのはp,q.rがそれぞれが定言命題だから４×４×４とおりあるんじゃないの？
質問者
お礼
コメントをありがとうございます 私の質問の例が適切でありませんでした。
noname#131234
回答No.1
[[ｐ⊃ｑ]∧[ｑ]]⊃[ｐ] 基礎的なことは、大学の先生(進学校なら高校の先生)に直接訪ねるとよいかもしれません。
お礼
こめんとをありがとうございます。 仮言三段論法では前提となるべき仮言命題が一つでもあればよい、 と記されていますので、これも仮言三段論法でしたね。同じ箇所に「デカルト仮言三段論法肯定式」と記されていました。