あのね
P⇒Qの真偽値が定まるのはP,Qの真偽値が定まる場合
そして
P,Qの真偽値が定まるのはP,Qがシーケント計算で導出できる場合だとまるで理解してないね
>>135
>P⇒Qが証明できるとか
ここはね
君は「何の前提もなく」P⇒Qが導出できる筈がないと
当たり前のことを言っているからそれを指摘したんだよ
わかる？
たぶんまるで分かってないな