数学においては条件Pと条件Qがあるとして、Pが成り立つときに常にQもまた成り立つことを意味するのが「ならば」🥺
つまりPが成り立たない場合にはQは成り立っても成り立たなくてもいい🥺
もけけ丸の顔の色とぷゆのスペックは関係無いし、さらに実際にはぷゆがイケメンではなく冴えない農奴であっても、この「ならば」は正しいの🥺
これが「実質含意のパラドクス」🥺
「🥺が白い顔ならばぷゆはイケメン」←これは数学的には正しい🥺
5 レス · dat原文
❓
🥺
長い3業
🤡
空集合は任意の集合に含まれる、と同義やね