0290132人目の素数さん垢版 | 大砲2018/02/14(水) 04:02:43.21ID:bGPS4XC6 >>289 そういう話ですか? あなたのそれは、あくまで統語的な定義ですよね 今は意味論的な話をしているわけで、>>276でも問題ないかと思います N-構造における論理式の解釈の話ですから