Logique
Répondre à la discussion
Affichage des résultats 1 à 5 sur 5

Logique



  1. #1
    invite71b441ba

    Logique


    ------

    Bonjour,

    J'ai trois questions qui me posent problème:
    -Pourquoi est vraie???
    -Que veut-on dire par deux ensembles fixés??
    -Comment trouver la négation d'une expression qui contient deux quantificateurs (universel et existentiel) en même temps???

    Et grand merci.

    -----

  2. #2
    RoBeRTo-BeNDeR

    Re : Logique

    Bonjour,

    On se donne une propriété sur , par exemple est vrai si est bleu. (Ceci est fait exprès, cela n'a pas réellement de sens).
    On va montrer alors que tous les éléments de sont bleus, c'est à dire ( est bleu ).

    Si cela était faux, alors la proposition opposée serait vraie c'est à dire ( n'est pas bleu) seulement comme ne contient aucun élément, cette proposition est clairement fausse, donc la première était vraie.
    C'est quelque chose de paradoxal.

    Aucun problème pour plusieurs quantificateurs, il suffit de le savoir pour un seul quantificateur: est la même phrase que et de même est la même phrase que .

    Essaye de donner la phrase opposée à celle-ci: et une application définie sur par exemple.

    Quand on parle de deux ensembles fixés, c'est surtout le mot "fixé" qui est important. En fait comme on travaille surtout avec des variables en mathématiques, on exprime parfois le fait qu'un "élément" soit fixé, cela veut dire que par la suite, la valeur de cet élément ne sera pas changé. Par exemple dans "Résoudre x-1=2 dans |R" ici x est une variable. Imaginons maintenant "Résoudre x-1 = a dans |R où a est un réel fixé" cela permet de précisé que l'on résout en fonction de x, que a est un nombre "connu". C'est pareil pour les ensembles - pas les équation algébriques... - par exemple on peut se donner un ensemble A que l'on fixe, pour que l'on ne se demande pas à un moment si on le cherche où on le connait.

    Voilà, RoBeRTo
    Dernière modification par RoBeRTo-BeNDeR ; 03/10/2012 à 17h34.

  3. #3
    invite71b441ba

    Re : Logique

    Premièrement merci pour la réponse, je commence à comprendre,
    Concernant la négation de
    Citation Envoyé par RoBeRTo-BeNDeR;4198766
    Essaye de donner la phrase opposée à celle-ci: [TEX
    \forall \varepsilon > 0, \ \exists \delta >0, \ \forall x \in \mathbb{R}, \ ( |x-a| \leq \delta \Rightarrow |f(x)-f(a)|< \varepsilon )[/TEX] où et une application définie sur [/TEX] par exemple.
    je pense que sa négation est la suivante: et et une application définie sur

  4. #4
    RoBeRTo-BeNDeR

    Re : Logique

    Ca me semble juste

  5. A voir en vidéo sur Futura
  6. #5
    invite71b441ba

    Re : Logique

    OK, très grand merci.

Discussions similaires

  1. Logique
    Par anthony_06 dans le forum Mathématiques du collège et du lycée
    Réponses: 23
    Dernier message: 17/08/2011, 22h13
  2. logique
    Par invite01b26842 dans le forum Mathématiques du collège et du lycée
    Réponses: 7
    Dernier message: 27/02/2008, 14h04
  3. Logique Système - Logique Causale - Implications Cosmologiques
    Par invite1ab59cc3 dans le forum Epistémologie et Logique (archives)
    Réponses: 6
    Dernier message: 06/11/2007, 11h57
  4. Logique
    Par doryphore dans le forum Lectures scientifiques
    Réponses: 0
    Dernier message: 28/10/2005, 22h11
  5. la logique
    Par quanta62 dans le forum [ARCHIVE] Philosophie
    Réponses: 2
    Dernier message: 09/10/2004, 17h28