命題「p→q」はpが偽なら常に真←このアホ丸出し理論www

**風吹けば名無し** · 2022/06/25(土) 01:04:24.72

前者が間違ってるからって後者に帰結することを真としていい根拠なんてどこにもなくね？？？

**風吹けば名無し** · 2022/06/25(土) 01:04:49.39

「真偽不明」やろ
勝手に真にするなよ

**風吹けば名無し** · 2022/06/25(土) 01:05:11.46

なあ

**風吹けば名無し** · 2022/06/25(土) 01:05:25.42

どうなん

**風吹けば名無し** · 2022/06/25(土) 01:05:51.24

ええんか😡

**風吹けば名無し** · 2022/06/25(土) 01:06:04.94

何言ってるかわからん

**風吹けば名無し** · 2022/06/25(土) 01:06:05.13

論理学詳しい人来てよ😡

**風吹けば名無し** · 2022/06/25(土) 01:06:44.99

>>6
命題「P→Q」はPが偽の時に常に真になるのはおかしいやろってこと

**風吹けば名無し** · 2022/06/25(土) 01:06:45.60

サミナフ＝カカ理論で調べろ
スッキリするぞ

**風吹けば名無し** · 2022/06/25(土) 01:07:01.69

後者に帰結しとるとは言ってなくね？

**風吹けば名無し** · 2022/06/25(土) 01:07:35.28

前者ならば後者、の命題やのに前者が成立してないからって勝手に後者も成立させたらあかんやろ

**風吹けば名無し** · 2022/06/25(土) 01:07:36.31

あーわかったわ

**風吹けば名無し** · 2022/06/25(土) 01:07:47.86

対偶取れば納得できるだろバカなのか？

**風吹けば名無し** · 2022/06/25(土) 01:08:23.29

>>10
PならばQ、なんやからPの状態によってQが真に定まってるんやろ？

**風吹けば名無し** · 2022/06/25(土) 01:08:24.67

>>13
バカはオメーだわ
煽る暇あったら説明してみろ凡人

**風吹けば名無し** · 2022/06/25(土) 01:08:41.20

「PであるならQです」って命題が成立するだけやろ？Qが実際なんであれ

**風吹けば名無し** · 2022/06/25(土) 01:09:11.14

>>9
検索で出てこないけど

**風吹けば名無し** · 2022/06/25(土) 01:09:28.21

1=2なら1≠2である
これ真なん？

**風吹けば名無し** · 2022/06/25(土) 01:09:37.08

>>15
対偶とる以上の説明があるかよ低能　これで分からんカスは死ね

**風吹けば名無し** · 2022/06/25(土) 01:09:40.47

大学受験の数学の参考書に書いてあったけどわからんかった

**風吹けば名無し** · 2022/06/25(土) 01:09:48.79

「PであるならQ」って命題はそもそもPが偽なら、つまりはPがそもそも成り立つことがないならなんも特別なこと主張してないわけやん

**風吹けば名無し** · 2022/06/25(土) 01:10:01.29

PとQの関係性に関する命題じゃないん？
それでPが偽だからってQを真にしていい根拠ないやろ

**風吹けば名無し** · 2022/06/25(土) 01:10:18.96

>>19
図に書けよ猿
これ以上何できないならお前はその程度だよ雑魚

**風吹けば名無し** · 2022/06/25(土) 01:10:30.89

>>22
Qが真って話やないやろ

**風吹けば名無し** · 2022/06/25(土) 01:10:38.37

>>17
当たり前だろ。俺が今適当に考えたんだから

おやすみー

**風吹けば名無し** · 2022/06/25(土) 01:10:54.47

>>21
だから命題が成立してないなら「真偽不明」とかでええやん
なんで常に真ってことにすんの

**風吹けば名無し** · 2022/06/25(土) 01:10:55.00

ベン図書けばわかるぞ

**風吹けば名無し** · 2022/06/25(土) 01:11:05.45

>>25
死ね

**風吹けば名無し** · 2022/06/25(土) 01:11:43.48

>>23
素直に教えてくださいって言えばいいのに

**風吹けば名無し** · 2022/06/25(土) 01:11:50.88

>>24
Pが偽ならばQが常に成り立つって話やろ？

**風吹けば名無し** · 2022/06/25(土) 01:12:23.94

>>29
偉そうなだけでこういうタイプのやつは大して分かってないで
なんJのやつの性格ならわかってたら説明してドヤドヤするから

**風吹けば名無し** · 2022/06/25(土) 01:12:31.11

>>30
アホ発見

**風吹けば名無し** · 2022/06/25(土) 01:13:01.27

>>32
悔しい

**風吹けば名無し** · 2022/06/25(土) 01:13:02.25

>>26
命題が成立してないんやなくて、要は仮定にあたるPに当てはまるものが存在ないってことやろ？

**風吹けば名無し** · 2022/06/25(土) 01:13:02.34

p→qってのはpが真の時必ずqは真だよって意味や
すなわちpが偽ならqは真でも偽でもどっちでも正しいんや

**風吹けば名無し** · 2022/06/25(土) 01:13:09.73

>>30
多分ちゃうで
否定とか他のもんでもやってみると分かるわ

**風吹けば名無し** · 2022/06/25(土) 01:13:34.34

>>23
図が頭に浮かばんゴミにまで配慮できるかよ　お前レベルのカスを甘やかす価値ねーんだわ

**風吹けば名無し** · 2022/06/25(土) 01:13:42.07

あーやっと意味わかったわ逆順に言えば
pが偽なら「p→q」は常になり立つってことか

**風吹けば名無し** · 2022/06/25(土) 01:13:45.37

>>30
ちゃうで

**風吹けば名無し** · 2022/06/25(土) 01:15:14.05

意味わからん

**風吹けば名無し** · 2022/06/25(土) 01:15:40.55

(^p^)ノヽ(^q^)

**風吹けば名無し** · 2022/06/25(土) 01:15:48.83

>>37
ググってもお前がいうほど単純やないみたいやけどw
偉そうやね勘違い野朗

**風吹けば名無し** · 2022/06/25(土) 01:17:18.85

「P∧Q」ってPが偽なら偽になるけどQは真か偽かわからんやろ？
それと一緒や

**風吹けば名無し** · 2022/06/25(土) 01:17:33.28

真理集合考えろ定期

**風吹けば名無し** · 2022/06/25(土) 01:18:20.32

条件pを満たす要素の集合が空集合やとして、それで条件qの真偽には言及出来なくね？
なんで満たすもの無かったら真にするんや

**風吹けば名無し** · 2022/06/25(土) 01:18:36.90

>>30
高校からやり直してこい

**風吹けば名無し** · 2022/06/25(土) 01:19:15.40

>>45
qの真偽には言及しとらん
p→qの真偽に言及しとるだけや
qが真でも偽でもp→qは真に定まるからや

**風吹けば名無し** · 2022/06/25(土) 01:19:53.14

論理学って難しいねんな

**風吹けば名無し** · 2022/06/25(土) 01:21:07.48

ベン図使えや
ベン図は全てを解決してくれるんや

**風吹けば名無し** · 2022/06/25(土) 01:22:29.40

全くわからん

**風吹けば名無し** · 2022/06/25(土) 01:23:30.55

ワイも似たようなことで悩んでたこと思い出したわ
その真になるって部分はp→qの全体にかかってるんよな

**風吹けば名無し** · 2022/06/25(土) 01:23:36.95

二重否定の除去さえ認めた上でp∧￢qの否定を考えれば感覚的に分かりそう

**風吹けば名無し** · 2022/06/25(土) 01:24:09.22

>>35
pが真、qが真
pが真、qが偽
pが偽、qが真
pが偽、qが偽

この四つのパターンがあって、pが偽ならqが真でも偽でもp→qは成り立つ
でもpが真であるとき、qも真でなければならないからってことか？

**風吹けば名無し** · 2022/06/25(土) 01:24:27.17

ある生き物が羽がある→鳥ではない

**風吹けば名無し** · 2022/06/25(土) 01:24:32.04

対偶とっても理解できないバカのために説明してやるか
p→qが偽になるのはp∧￢q これの否定とれば￢p∨qとp→qが同値なことがわかるやろ
pが偽なら￢pが成り立つから常に￢p∨qは成立するだろ

**風吹けば名無し** · 2022/06/25(土) 01:25:11.43

ぶっちゃけワイもベン図や真理値表書かな意味不明やわ

**風吹けば名無し** · 2022/06/25(土) 01:26:08.86

ｐ(＾￢＾)q

**風吹けば名無し** · 2022/06/25(土) 01:26:38.58

pが⊥なら￢pが⊤
￢q→￢pが常に成立するようになるからそらそうやろ

**風吹けば名無し** · 2022/06/25(土) 01:27:44.21

集合ってのは常に空集合を持っとるんや。pが偽ならpが持つ集合は空集合しかない。だからpが偽のときp｛∅｝、q｛∅、etc.｝ってなるから常にpはqに含まれる。つまり、p→qなんやで

**風吹けば名無し** · 2022/06/25(土) 01:28:41.84

わかるか

**風吹けば名無し** · 2022/06/25(土) 01:28:46.10

？

**風吹けば名無し** · 2022/06/25(土) 01:29:04.43

なんでもいいから具体例あげて考えるとわかりやすいかもな

**風吹けば名無し** · 2022/06/25(土) 01:29:10.40

数学の先生がワイが校長先生やったら学費無料だみたいな例え話がしっくりきた

**風吹けば名無し** · 2022/06/25(土) 01:29:27.03

itで初めて論理演算学習したワイ
分野が変わると演算子や名称も変わるから混ざるんやクソが

**風吹けば名無し** · 2022/06/25(土) 01:29:29.69

>>59
はぇー
集合族なんすね

**風吹けば名無し** · 2022/06/25(土) 01:32:15.46

pが偽ならp→qの反例が作れないってイメージか

**風吹けば名無し** · 2022/06/25(土) 01:32:17.09

集合論もう一回やり直すかぁ