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

"Não é o caso que se estou cansado, então vou dormir"

Use:

• R para "estou cansado"
• S para "vou dormir"
• → para implicação
• ¬ para negação (não)

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