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

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

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



56654.Re: 数理論理学におけるヒルベルト流論理体系の証明  
名前:IT    日付:2018年05月29日(火) 23時15分
A∨B が出てくる公理だけ書いて、試行錯誤すると出来ました。

公理 (A→C)→((B→C)→((A∨B)→C)) において C=(B∨A)とおくと

     公理                  公理
-------------------------------------------  ---------
(A→(B∨A))→((B→(B∨A))→((A∨B)→(B∨A)))  A→(B∨A)     公理
---------------------------------------------------------(m.p.) ---------
       (B→(B∨A))→((A∨B)→(B∨A))           B→(B∨A)
----------------------------------------------------------------------------(m.p.)
              (A∨B)→(B∨A)

p97236-ipngn200205matsue.shimane.ocn.ne.jp (123.219.45.236)
Mozilla/5.0 (Windows NT 6.1; WOW64; Trident/7.0; rv:11.0) like Gecko

56651.数理論理学におけるヒルベルト流論理体系の証明  
名前:くま    日付:2018年05月29日(火) 22時08分
数理論理学におけるヒルベルト流論理体系において
A∨B→B∨A の証明はどのようになるでしょうか。
適用する公理と論理体系は以下の資料の「1.3 ヒルベルト流体系
」を参考しにしています。
http://www.is.titech.ac.jp/~kashima/manuscript/04Jul.pdf

i118-21-137-98.s30.a048.ap.plala.or.jp (118.21.137.98)
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


「56651.数理論理学におけるヒルベルト流論理体系の証明」への返信

無料アクセス解析

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

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

EZBBS.NET produced by InsideWeb