>>154
あのね「何の前提もなく」Pも¬Pも証明できるわけ無いのは当たり前だと何度も言ってるんだが？
P⇒Qの真理値表はPやQに真偽値が定まる場合に作られるのよ
つまりシーケント計算で導出できる場合にね
いいから
真偽値の定義について勉強してくれよ