Expresse a seguinte afirmação usando símbolos lógicos:

"Se não está frio, então eu vou sair"

Use:

• C para "está frio"
• O para "eu vou sair"
• ¬ para negação (não)
• → para implicação

Digite sua resposta usando os símbolos disponíveis na calculadora.