ダウンロード

(1) 次の文を論理式(命題