Lois de Morgan, complémentaires
Réponses à toutes vos questions après le Bac (Fac, Prépa, etc.)
-
Jeejsaas
- Membre Naturel
- Messages: 10
- Enregistré le: 17 Oct 2018, 14:32
-
par Jeejsaas » 17 Oct 2018, 14:38
Bonjour, je souhaitais savoir si l'on pouvait montrer des égalités avec les complémentaires sans passer par la double inclusion mais uniquement par équivalence logique, comme ceci:
Merci d'avance pour vos réponses
-
pascal16
- Membre Légendaire
- Messages: 6663
- Enregistré le: 01 Mar 2017, 13:58
- Localisation: Angoulème : Ville de la BD et du FFA. gare TGV
-
par pascal16 » 17 Oct 2018, 15:00
si on suppose cette étape évidente, on suppose le résultat évident.
si le résultat n'est pas évident, cette étape de négation d'une appartenance à une union doit peut-être être expliquée.
-
Ben314
- Le Ben
- Messages: 21673
- Enregistré le: 11 Nov 2009, 22:53
-
par Ben314 » 17 Oct 2018, 15:31
Salut,
Même opinion que Pascal : toutes ces égalités ensembliste avec des complémentaires, des intersection et des réunion, c'est jamais que des reformulation des équivalence connues concernant la négation, la disjonction et la conjonction des propositions.
Donc là, par exemple, ton truc que tu démontre, ça provient très exactement du fait que
non(P
et Q) équivaut à
non(P)
ou non(Q) donc à mon avis,
LE truc important, c'est justement de bien écrire le passage en bleu :
Qui n'entend qu'un son n'entend qu'une sonnerie. Signé : Sonfucius
Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 18 invités