閉論理式と命題って同じですか?