[過去ﾛｸﾞ] プログラミングのお題スレ Part13 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
129(2): 2019/02/12(火)11:18 ID:eC1lEXzI(3/5)調 AAS
>>128
> AならばBでAが偽ならばそれは真だっつーの
えっ、どういうことなの？
それは
AならばB
のとき
AでないならばB
ということ？
BはAに関わらず真ということ？
> AならばBでAが偽ならばそれは真だっつーの
の意味がよくわからん…
130(1): 2019/02/12(火)11:29 ID:dUnMTtNo(2/3)調 AAS
>>129
論理としては A => B (AならばB)は対偶論理 ¬B => ¬A (BでないならばAでない)を成り立たせるために通常 ¬A∨B (AでないかまたはBである) で定義される
つまり A => B という論理式は A が偽であれば B の真偽に依らず真になる
だから何だという話ではある
131: 2019/02/12(火)11:30 ID:7Ldk0kbC(1)調 AAS
>>129
そう決まってるじゃん
前提が偽ならどんな推論でも導けるし真になる
論理学の初歩
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.038s