ここから本文です

投票受付終了まであと4日 ベストアンサーにふさわしい回答に投票してください

投票すると知恵コイン5枚プラスされます。

P→(Q→R)├ (P→Q)→(P→R) これの答え方がわかりません どなたか教えてください

imp********さん

2018/6/1208:53:28

P→(Q→R)├ (P→Q)→(P→R)

これの答え方がわかりません
どなたか教えてください

閲覧数:
43
回答数:
1
お礼:
250枚

違反報告

回答

1〜1件/1件中

yao********さん

2018/6/1615:37:31

LKによる証明図をかけ
ということですか.

↓の「命題論理」の実行ファイルをダウンロードして実行してみてください.
http://www.geocities.jp/ooya_takemasa/Algorithm/Math.html

一番上のウィンドウに
(P→(Q→R))→((P→Q)→(P→R))
を入力して,右にある[↓]ボタンを順に押していくと
下の大きなウィンドウに分解による証明が現れます.
上下逆にするとLKの証明図になります.
枝分かれする部分をうまく調節してください.

この質問につけられたタグ

みんなで作る知恵袋 悩みや疑問、なんでも気軽にきいちゃおう!

Q&Aをキーワードで検索:

Yahoo! JAPANは、回答に記載された内容の信ぴょう性、正確性を保証しておりません。
お客様自身の責任と判断で、ご利用ください。
本文はここまでです このページの先頭へ

「追加する」ボタンを押してください。

閉じる

※知恵コレクションに追加された質問は選択されたID/ニックネームのMy知恵袋で確認できます。

不適切な投稿でないことを報告しました。

閉じる