Logique des prédicats

Bonjour,

J'ai un contrôle à 10h30 et je voudrais (si possible) comprendre cet exercice au cas où un truc comme ça tomberait.
Je ne sais pas faire ceci :

- Redéfinir A Δ B en utilisant un seul connecteur logique et les prédicats PA et PB caractérisant A et B.
- Formule (A Δ B = Ø) < = > (A = B) tautologie ? Il faut le prouver par les prédicats....

Cordialement et merci beaucoup d'avance.

PS : Désolé d'avoir mis dans programmation, je ne vois pas où mettre...