>>289
そういう話ですか?
あなたのそれは、あくまで統語的な定義ですよね
今は意味論的な話をしているわけで、>>276でも問題ないかと思います
N-構造における論理式の解釈の話ですから