>0 
µ>0 [|x-x0|<µ 
|f(x)-f(x0)<
Annuler
connectez vous
logique en post-bac
- Description de mathématique formelle-termes et relations
- Théorèmes
- Théories logiques
- Ensemble et application Partie II
- É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
- Espaces vectoriels et Applications linéaires - supérieur
- Un best-of d'exos de probabilités (après le bac)
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... École ingénieur LogiqueTopics traitant de logique [tout]Lister tous les topics de mathématiques
Niveau école ingénieur
Négation d'une proposition mathématique
Posté par kira7kira
Salut
J'arrive pas à trouver les étapes à suivre pour trouver la négation d'une proposition mathématique, je serai très reconnaissant si vous me montrez comment ou m'orienter vers un cours où c'est bien expliqué
Merci
"non (A et B)" équivalent à "(non A) ou (non B)"
"non (A ou B)" équivalent à "(non A) et (non B)"
"non (A implique B)" équivalent à "A et (non B)"
"non (il existe x A)" équivalent à "pour tout x (non A)"
"non (pour tout x A)" équivalent à "il existe x (non A)"
Je vois un peu plus clair , mais dans l'example il n'ont pas mentionné "quelque soit X" mais dans ça négation il ont mis "il existe au moin un X" ??
C'est une faute dans l'énoncé alors. Quand on écrit une formule, on doit obligatoirement y mettre toutes les quaNtifications.
Je suis effaré de voir présenter des exercices de logique avec de telles fautes.