Exprimez l'énoncé suivant en utilisant des symboles logiques :

« Il n'est pas vrai que si je suis fatigué, alors je dormirai »

Utilisez :

• R pour « je suis fatigué »
• S pour « je dormirai »
• → pour l'implication
• ¬ pour la négation (non)

Entrez votre réponse en utilisant les symboles disponibles dans la calculatrice.