B est équivalent à 
A
B, donc 
Annuler
connectez vous
logique en post-bac
- Description de mathématique formelle-termes et relations
- Théorèmes
- Théories logiques
- Équations différentielles : un Cours complet avec des exemples
- Généralités sur les matrices, applications linéaires, changement de base, rang d'une matrice - supérieur
- Ensemble et application Partie II
- Un best-of d'exos de probabilités (après le bac)
- Espaces vectoriels et Applications linéaires - supérieur
Inscription / Connexion Nouveau Sujet
Accueil l'île des mathématiques Forum de mathématiquesListe de tous les forums de mathématiques SupérieurOn parle exclusivement de maths, pour le supérieur principalement, les BTS, IUT, prépas... Licence Maths 1e ann LogiqueTopics traitant de logique [tout]Lister tous les topics de mathématiques
Niveau Licence Maths 1e ann
Logique et raisonnement
Posté par bill159
Bonsoir,
quel est le contraire de "il existe un unique"
par exemple le contraire de "pour tout" est "il existe"
le contraire de ">" est "<"
Merci d'avance 
Le contraire de "il existe un unique XXX" est "soit il n'en existe pas du tout, soit il en existe plusieurs" !
Et le contraire de "pour tout", est "pas pour tout", c'est à dire, peut-être pour certains, peut-être pour aucun ! Certainement pas, "il existe" !
Si tu remettais cela dans un contexte, je pourrais être plus explicite !
Un exercice:
les indigènes sont répartis en 2 tribus: les pires et les purs
les pures disent toujours la vérité tandis que les pires mentent toujours,
un explorateur raconte qu'un Indigène lui a déclaré "Je suis un pire"
Que pouvez-vous en déduire?
aha là je bloque carrément...
tout d'abord la négation de pour tout machin on a un truc c'est : il existe un machin pour lequel on a pas le truc. oui?
donc là ta négation c'est : il existe un couple de réel (x,y) (je remplace x' par y, plus lisible) tel que l'implication donnée est fausse, cad tel que le contraire de l'implication est vraie. et le contraire de l'implication ici c'est A c'est [
x
y.
bien rédigé ça donne :
a ton avis, est-ce vrai? (il te suffit de trouver un couple qui marche) qu'en conclus tu pour ton implication?
pour ton histoire de l'explorateur, il y a deux cas, soit l'indigène est un pur, en quel cas il ne peut pas déclarer qu'il est un pire, car il mentirait et ce ne serait plus un pur, soit l'indigène est un pire, en quel cas il ne peut pas déclarer qu'il est un pire non plus, sinon il dirait la vérité et ce serait un pur... donc on peut pas conclure grand chose, si ce n'est que l'indigène devait pas vraiment être indigène.
et comment on rédige pour répondre à la question?
on va pas écrire ce que t'a dis dans une copie? non?^^