>>283
>>280についてのレスがよくわからない
通常与えられた文字列が論理式かどうかが機械的に判定できる体系を扱うものだからね。