Esprimi la seguente affermazione usando simboli logici:

"Non è vero che se sono stanco, allora dormirò"

Usa:

• R per "sono stanco"
• S per "dormirò"
• → per l'implicazione
• ¬ per la negazione (not)

Inserisci la tua risposta usando i simboli disponibili nella calcolatrice.