前者が間違ってるからって後者に帰結することを真としていい根拠なんてどこにもなくね???
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
