[過去ﾛｸﾞ] 論理学 (397ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
367(1): 2012/10/25(木)00:18 AAS
『情報科学における論理』の問1.1
以下は正しいか、正しい時にはその証明を、正しくないときには反例を与えよ。
1) A⇒BおよびAがともに充足可能ならば、Bも充足可能である
これ、どうやって証明すればいいの？
証明も何も、書いてあることそのまんまでしょ
v(A)=tかつv(A⇒B)=tならv(B)=tじゃん
問題にすらなってないと思うんだけど、こういうときの証明の手順とかルール的なものがあるの？？
どういう答えが求められているのかさっぱり分からん
370: N_SHIRAISHI [eurms@hb.tp1/jp] 2012/10/26(金)23:28 AAS
>>367
>>368
>>368
ﾜﾛﾀ｡
http://www.age.ne.jp/x/eurms/Ronri_Kaikaku.html
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.165s*