Logique (prédicats)

[Étienne9]

Bonjour,

Alors c'est vrai que j'aurai pu mettre ça dans mathématiques, enfin c'est dur de caser ce sujet quelque part (je ne sais même pas pourquoi il n'y a pas un forum Ensemble et Logique)

Je ne sais pas comment faire ceci :

- Redéfinir A Δ B en utilisant un seul connecteur logique et les prédicats P_A et P_B 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.

[Étienne9]

Résolu.