[ ホームページ ] [ 携帯用URL ]
DS 数学 BBS・2
小中高の範囲は DS 数学 BBS(携帯電話用)へ。
数学以外の話題は赤猫雑談掲示板で。
注意事項, 記号の書き方例をお読みになった上でご利用ください。

[ EZBBS.NET | 新規作成 | ランキング | オプション ]
iモード&(絵文字)、au対応!ケータイからも返信できる無料掲示板!
名前
 E-mail 
題名
内容

投稿KEY    タグ有効 改行有効 等幅フォント
URL
 
掲示板のTOP | 過去ログ集 | 投稿練習 | よく質問される問題 | エッセイblog



56632.Re: LK推論規則を用いた証明図に関して  
名前:数弱    日付:2018年05月29日(火) 10時13分
IPアドレスが表示されてしまっているので上記の質問を削除願います。
お手数おかけして申し訳ございませんが、対応のほどよろしくお願いします。
以後このようなことがないように気をつけます。

kmobile2.sfc.keio.ac.jp (133.27.5.48)
Mozilla/5.0 (Macintosh; Intel Mac OS X 10_13_4) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/66.0.3359.181 Safari/537.36

56631.LK推論規則を用いた証明図に関して  
名前:数弱    日付:2018年05月29日(火) 10時02分
論理学の命題論理に関する質問です。
LK推論規則を用いた証明図の解き方が理解できず困っています。
それぞれ適用したLK規則も明記お願いします。

@(A→C)→((B→C)→(A∨B→C))
A(A∨B)∨C→A∨(B∨C)
B¬(A∧B)→(¬A∨¬B)
C(A→B) →(¬B→¬A)

kmobile2.sfc.keio.ac.jp (133.27.5.48)
Mozilla/5.0 (Macintosh; Intel Mac OS X 10_13_4) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/66.0.3359.181 Safari/537.36


「56631.LK推論規則を用いた証明図に関して」への返信

無料アクセス解析

アクセス解析の決定版!無料レンタルで最大100ページ解析!

特定の個人への誹謗中傷は無予告削除対象です。
   投稿KEY
   パスワード

EZBBS.NET produced by InsideWeb