定言三段論法を記号論理学表現したいのですが

純粋仮言三段論法が、平凡社の哲学辞典ｐ５４８で：
[[ｐ⊃ｑ]∧[ｑ⊃ｒ]]⊃[ｐ⊃ｒ]と表されています。これを定言三段論法にして
「ｐならｑであるが、ｐである。　なのでｑだ。」というのは、どう表されるのか教えてください。

No.2 ベストアンサー 回答者： noname#131234 回答日時： 2009/09/19 15:15

あまちがい

誤植です
[[ｐ⊃ｑ]∧[ｐ]]⊃[ｑ]
が正解

この回答へのお礼

こめんとをありがとうございます。

　仮言三段論法では前提となるべき仮言命題が一つでもあればよい、
と記されていますので、これも仮言三段論法でしたね。同じ箇所に「デカルト仮言三段論法肯定式」と記されていました。

お礼日時：2009/09/22 10:51

No.3 回答者： doctarX 回答日時： 2009/09/19 18:34

定言三段論法というのはp,q.rがそれぞれが定言命題だから４×４×４とおりあるんじゃないの？

この回答へのお礼

コメントをありがとうございます

私の質問の例が適切でありませんでした。

お礼日時：2009/09/22 10:53

No.1 回答者： noname#131234 回答日時： 2009/09/19 15:13

[[ｐ⊃ｑ]∧[ｑ]]⊃[ｐ]

基礎的なことは、大学の先生(進学校なら高校の先生)に直接訪ねるとよいかもしれません。