これを同じ奴が言ってるんだぜ
いい加減にして欲しいわ

99 １３２人目の素数さん 2023/11/09(木) 07:49:58.24 ID:+KxEy61/
>>96
素朴な人ね
数理論理学ではシーケント計算で導出できるものが真だよ
否定が導出できたら偽

129 １３２人目の素数さん 2023/11/10(金) 23:07:40.12 ID:Duk+CIiM
>>127
君は真偽値についてまるで理解してないね
どのように真偽値を定義するかを学んでな
PやQの真偽値が決まる時
P⇒Qの真偽値が決まるんだけど？
P⇒Qが証明できるとか
何アホなこと書いてるんだｗ