>>569
>一階述語論理の完全性と健全性を前提にしない立場で答えてほしい。

>>572は、推論規則を全く考えない意味論だけで真偽を決めたよ
完全性とか健全性とかいうのは推論規則の性質だから