次の文を論理記号を使って表現してください:

「寒くないならば、私は外出する」

使用する記号:

• C は「寒い」を表す
• O は「私は外出する」を表す
• ¬ は否定(not)を表す
• → は含意を表す

計算機で利用可能な記号を使って答えを入力してください。