>>143
はぁ
「PやQに真偽値が定まる時」というのが「PやQが証明される時」という意味が分からない？
救いようがないな
ていうかちゃんとシーケント計算とそこから定まる真偽値について勉強してくれよ
ホンマ泣けてくるわ