Représentation prédicat-argument et logique du premier ordre

Téhéran confirme des discussions avec Londres pour régler l'affaire des marins capturés le 23 mars par l'Iran. Nous espérons aboutir à une solution satisfaisante qui permettra la résolution de cette crise des soldats britanniques détenus en Iran.

• Repérer les verbes de ce texte et donner pour chacun sa construction de base. (ex. Max mange une pomme => GN manger GN)
• Donner le résultat de l’analyse syntaxique de ces deux phrases.
• Repérer dans ce texte deux noms dérivés d’un verbe et donner leur construction de base.
• Transformer le texte en remplaçant ces deux noms par le verbe correspondant.
• Découper ce texte en un ensemble de phrases élémentaires. Ordonner ces phrases de telle manière que l’on ait un texte cohérent synonyme du texte initial.
• Représenter ces phrases sous la forme prédicat-argument.

Transcrire les phrases suivantes en des expressions logiques de premier ordre:

1. Luc affronte Marie
2. Tous les joueurs affrontent Marie
3. Si un lion rugit, tous les herbivores s'enfuient
4. Jean aime Marie mais Marie aime quelqu'un d’autre
5. Jean n'aime pas Marie mais quelqu'un d’autre
6. Jean n'aime personne sauf Marie
7. Jean aime tout le monde sauf Marie
8. Tout le monde aime Marie sauf Jean

Reformuler la phrase suivante en langue naturelle. Pour cela, d'abord la convertir en une expression logique du premier ordre puis la transformer en appliquant les propriétés de commutativité et d’implication :

Pierre n'a pas le statut d’étudiant sauf s'il a payé

Comment exprimer ces phrases en logique du premier ordre :

1. Luc mange une pomme et boit une bière
2. Luc boit encore une bière et il tombe par terre
3. Si tu es intéressé par le football, le PSG joue ce soir

Que déduisez-vous des phrases suivantes :

1. Luc est un homme, Marie n'aime pas les hommes
2. Lea est une femme, Marie n'aime pas les hommes
3. Lea est une femme, Marie aime toutes les femmes
4. Lea est une femme, Marie aime les femmes