Expresa el siguiente enunciado usando símbolos lógicos:

"No es el caso que si estoy cansado, entonces dormiré"

Usa:

• R para "estoy cansado"
• S para "dormiré"
• → para implicación
• ¬ para negación (not)

Ingresa tu respuesta usando los símbolos disponibles en la calculadora.