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

[ EZBBS.NET | 新規作成 | ランキング | サポート ]
名前 一覧
 E-mail 
題名
内容

投稿KEY    タグ有効 改行有効 等幅フォント
URL
添付

 
掲示板のTOP | 過去ログ集 | 投稿練習 | よく質問される問題 | エッセイblog



55919.Re: 述語論理?  
名前:    日付:2018年04月17日(火) 08時21分
ありがとうございました。
https://drive.google.com/file/d/1AbiMBBs_38MoeM2exqfic45Jm2HLZ4lj/view?usp=drivesdk
fp7cdb8af8.gnma102.ap.nuro.jp (124.219.138.248)
Mozilla/5.0 (Linux; Android 7.1.1; F-03H Build/V11R047C) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/65.0.3325.109 Mobile Safari/537.36

55911.Re: 述語論理?  
名前:TANTAN麺    日付:2018年04月17日(火) 02時02分
はい合っています。
そうやって繰り返し使っていきましたよという事を書いてくれているのでしょう。
58-189-181-113f1.hyg2.eonet.ne.jp (58.189.181.113)
Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:59.0) Gecko/20100101 Firefox/59.0

55908.Re: 述語論理?  
名前:    日付:2018年04月16日(月) 09時55分
解答ありがとうございます。
長らく考えたのですが、定理1.10.8に準じるとq(b1)∨q(b2)のq(b1)、q(b2)をp、r としq(b1)∨q(b2)⇒p(aj,b1)∨q(b2)となり
またp(aj,b1)∨q(b2)のp(aj,b1)、q(b2)をr,p とおきp(aj,b1)∨q(b2)⇒p(aj,b1)∨p(aj,b2)となるということで合ってますか?
間違えている場合ご教授よろしくお願いします。
(大学 2 年)

https://drive.google.com/file/d/1f0D95O3EMZN-zV67oD10EKl2dV2ciD0B/view?usp=drivesdk
fp7cdb8af8.gnma102.ap.nuro.jp (124.219.138.248)
Mozilla/5.0 (Linux; Android 7.1.1; F-03H Build/V11R047C) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/65.0.3325.109 Mobile Safari/537.36

55884.Re: 述語論理?  
名前:TANTAN麺    日付:2018年04月12日(木) 20時45分
(*) q(bi)≡(p(a1,bi)∧…∧p(am,bi)⇒p(aj,bi)

ですので、(*)のみから得られる結論は

p(aj,bi)

という式一つだけです。

例えば、1≦j≦mとなる任意のjにおいて、

q(b1)⇒p(aj,b1)

は(*)から導かれます。

しかし前提が

q(b1)∨q(b2)

と2つ式の論理和結合となるだけで、そこから

q(b1)∨q(b2)⇒p(aj,b1)∨p(aj,b2)

と導出するためには、1.10.8の(3)をつかっています。
58-189-181-113f1.hyg2.eonet.ne.jp (58.189.181.113)
Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:59.0) Gecko/20100101 Firefox/59.0

55876.述語論理?  
名前:    日付:2018年04月12日(木) 12時13分
であることに注意しておく。の次から四行目から五行目の⇒の所で○を使ってるとは思うのですが、何処で?を使っているのか分かりません。
よろしくお願いします。
https://drive.google.com/file/d/1zHYklwpKW3k9MsOnxBQm_PH9JOGkmf41/view?usp=drivesdk

https://drive.google.com/file/d/1Fa5WxrctdpM4_z1RRA_DK4k4ufiyqXEx/view?usp=drivesdk
(大学 2 年)

https://drive.google.com/file/d/1f0D95O3EMZN-zV67oD10EKl2dV2ciD0B/view?usp=drivesdk
fp7cdb8af8.gnma102.ap.nuro.jp (124.219.138.248)
Mozilla/5.0 (Linux; Android 7.1.1; F-03H Build/V11R047C) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/65.0.3325.109 Mobile Safari/537.36


「55876.述語論理?」への返信


特定の個人への誹謗中傷は無予告削除対象です。

   投稿KEY
   パスワード

EZBBS.NET produced by InsideWeb