P⇒QというのはPでないまたはQと同じです←これ

1 ：風吹けば名無し：2020/04/02(Thu) 16:20:44 ID:3o9P4IzO0.net

嘘やん

2 ：風吹けば名無し：2020/04/02(Thu) 16:22:02 ID:JRtsUD0ya.net

集合と論理や

3 ：風吹けば名無し：2020/04/02(Thu) 16:22:13 ID:yVVe0sp0p.net

真理値表書けばええやん

4 ：風吹けば名無し：2020/04/02(Thu) 16:22:24 ID:3o9P4IzO0.net

PQP⇒Q
001
011
100
111

どう見ても感覚とそぐわないんやが

5 ：風吹けば名無し：2020/04/02(Thu) 16:23:01 ID:yVVe0sp0p.net

数理論理学の背理法の扱いはどうしても頭に入らんけど

6 ：風吹けば名無し：2020/04/02(Thu) 16:23:15 ID:8DGVRS2ur.net

ベン図かけ

7 ：風吹けば名無し：2020/04/02(木) 16:24:08.54 ID:JRtsUD0ya.net

感覚とはそぐわないけど論理的には正しい
君が成長できる瞬間やね

8 ：風吹けば名無し：2020/04/02(木) 16:24:42.42 ID:3o9P4IzO0.net

x>1⇒x>0は100%そうやし真やん
でも真理知表によるとPが偽でQが真のときはP⇒Qは真なんやろ？
それなら
x<= 1⇒ x>0
は真ってことになるやん？

9 ：風吹けば名無し：2020/04/02(木) 16:25:33.63 ID:3o9P4IzO0.net

わからんわ

10 ：風吹けば名無し：2020/04/02(木) 16:26:02.98 ID:eNW6kTX6r.net

すこれ

11 ：風吹けば名無し：2020/04/02(木) 16:26:52.61 ID:89nHDzr/d.net

分からんのが普通やから
それ正解できるの2割以下やでたしか

12 ：風吹けば名無し：2020/04/02(木) 16:27:04.96 ID:M6NMy2m+r.net

>>8
x>1は命題じゃなくて条件でしょ？
xになんらかの数値入れて初めて命題になるわけ