部分充足性の方法では一般の論理式の真理を定義できない！