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

未分類
1:なんJゴッドがお送りします2022/06/25(土) ID:FjwgUY7p0

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


2:なんJゴッドがお送りします2022/06/25(土) ID:FjwgUY7p0

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


3:なんJゴッドがお送りします2022/06/25(土) ID:FjwgUY7p0

なあ


4:なんJゴッドがお送りします2022/06/25(土) ID:FjwgUY7p0

どうなん


6:なんJゴッドがお送りします2022/06/25(土) ID:KggNe68q0

何言ってるかわからん


8:なんJゴッドがお送りします2022/06/25(土) ID:FjwgUY7p0

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


7:なんJゴッドがお送りします2022/06/25(土) ID:FjwgUY7p0

論理学詳しい人来てよ😡


9:なんJゴッドがお送りします2022/06/25(土) ID:/Q8P9uJh0

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


17:なんJゴッドがお送りします2022/06/25(土) ID:FjwgUY7p0

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


10:なんJゴッドがお送りします2022/06/25(土) ID:xyls+wQb0

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


14:なんJゴッドがお送りします2022/06/25(土) ID:FjwgUY7p0

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


11:なんJゴッドがお送りします2022/06/25(土) ID:FjwgUY7p0

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


12:なんJゴッドがお送りします2022/06/25(土) ID:KggNe68q0

あーわかったわ


13:なんJゴッドがお送りします2022/06/25(土) ID:9N+67FOta

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


15:なんJゴッドがお送りします2022/06/25(土) ID:T7A94fovM

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


16:なんJゴッドがお送りします2022/06/25(土) ID:KggNe68q0

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


18:なんJゴッドがお送りします2022/06/25(土) ID:lwWVoSK60

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


20:なんJゴッドがお送りします2022/06/25(土) ID:nj/v6T830

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


21:なんJゴッドがお送りします2022/06/25(土) ID:KggNe68q0

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


26:なんJゴッドがお送りします2022/06/25(土) ID:FjwgUY7p0

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


22:なんJゴッドがお送りします2022/06/25(土) ID:FjwgUY7p0

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



24:なんJゴッドがお送りします2022/06/25(土) ID:KggNe68q0

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


27:なんJゴッドがお送りします2022/06/25(土) ID:SJlQLmVy0

ベン図書けばわかるぞ


35:なんJゴッドがお送りします2022/06/25(土) ID:cFSvdn2h0

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


53:なんJゴッドがお送りします2022/06/25(土) ID:2I8UHBec0

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


38:なんJゴッドがお送りします2022/06/25(土) ID:SJlQLmVy0

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


40:なんJゴッドがお送りします2022/06/25(土) ID:FjwgUY7p0

意味わからん


43:なんJゴッドがお送りします2022/06/25(土) ID:xyls+wQb0

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


45:なんJゴッドがお送りします2022/06/25(土) ID:FjwgUY7p0

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


47:なんJゴッドがお送りします2022/06/25(土) ID:xyls+wQb0

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


48:なんJゴッドがお送りします2022/06/25(土) ID:YbIwfP2/0

論理学って難しいねんな


49:なんJゴッドがお送りします2022/06/25(土) ID:jB0hMrEk0

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


50:なんJゴッドがお送りします2022/06/25(土) ID:FjwgUY7p0

全くわからん


51:なんJゴッドがお送りします2022/06/25(土) ID:33Lzctlr0

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


52:なんJゴッドがお送りします2022/06/25(土) ID:Ay8QAxUx0

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


54:なんJゴッドがお送りします2022/06/25(土) ID:0/94dldHd

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


55:なんJゴッドがお送りします2022/06/25(土) ID:YLB5lxkxa

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


56:なんJゴッドがお送りします2022/06/25(土) ID:X8YSqKUkp

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


57:なんJゴッドがお送りします2022/06/25(土) ID:/eBIBXse0

p(^¬^)q


58:なんJゴッドがお送りします2022/06/25(土) ID:6GxBJqt/0

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


60:なんJゴッドがお送りします2022/06/25(土) ID:Vm+VDbYA0

わかるか


62:なんJゴッドがお送りします2022/06/25(土) ID:2I8UHBec0

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


63:なんJゴッドがお送りします2022/06/25(土) ID:UrCuTYvHp

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


64:なんJゴッドがお送りします2022/06/25(土) ID:NS1wfeSXp

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


66:なんJゴッドがお送りします2022/06/25(土) ID:EklTwYwap

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


67:なんJゴッドがお送りします2022/06/25(土) ID:Yh9jnf/50

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




元スレ:https://eagle.5ch.net/test/read.cgi/livejupiter/1656086664
未分類