Université Sainte-Anne

PHIL 1423 : Introduction à la logique

EXERCICE N° 15
 

[ à faire en classe, ou après en cas d'absence ]



 
 


 
 
Traductions
 

En utilisant les interprétations suivantes :

T -- Jean est (sera) content.
S -- Jean est (sera) satisfait.
F -- Jean est (sera) furieux.
C -- Jean reçoit (recevra) un cadeau.
P -- Nous faisons (ferons) un pique-nique.
Z -- Nous invitons (inviterons) Jean à nous accompagner (pour notre pique-nique).
B -- Il fait beau (il fera beau) demain.


traduire en symboles les énoncés suivants :
      1. S'il fait beau, Jean sera content.
      2. Jean sera content s'il fait beau.
      3. Jean sera content s'il fait beau et uniquement dans ce cas-là.
      4. Jean sera content sauf s'il ne fait pas beau.
      5. Jean ne sera content qu'à condition de recevoir un cadeau.
      6. S'il fait beau, Jean sera content, à moins que nous ne fassions un pique-nique.
      7. S'il fait beau, Jean sera content, à moins que nous ne fassions un pique-nique sans l'inviter à nous accompagner.
      8. S'il fait beau, Jean sera content si nous faisons un pique-nique en l'invitant à nous accompagner.
      9. S'il fait beau, Jean ne sera content qu'à la seule condition que nous fassions un pique-nique et que nous l'invitions à nous accompagner.
      10. Jean n'est jamais satisfait quand il est furieux, et inversement.
      11. Il est nécessaire qu'il fasse beau pour que Jean soit content.
      12. Il suffit qu'il fasse beau pour que Jean soit content.