Logique mathématique
Répondre à la discussion
Affichage des résultats 1 à 6 sur 6

Logique mathématique



  1. #1
    invite2c7e2526

    Logique mathématique


    ------

    Bonjour,
    Je vous demande de me corriger cet exercice svp, et merci

    Donner la négation:
    1/ f est paire , c'est à dire << (pour tout) x(appartenant à) R , f(-x) = f(x) >>
    2/ f est positive sur R, c'est à dire << (pour tout) x(appartenant à) R, f(x) >= 0>>

    Voici mon essai:
    1/ f est impaire sur R, c-à-d << (il existe) x(appartenant à) R, f(-x) =/= f(x)>>
    2/ f est strictement négative, c-à-d << (il existe) x(appartenant à) R, f(x)<0 >>

    -----

  2. #2
    PlaneteF

    Re : Logique mathématique

    Bonjour,

    Citation Envoyé par tulipe96 Voir le message
    1/ f est impaire sur R, c-à-d << (il existe) x(appartenant à) R, f(-x) =/= f(x)>>
    La négation de " est paire" n'est pas du tout " est impaire". Une fonction qui n'est pas paire n'est pas forcément impaire (exemple au hasard, la fonction exponentielle). D'ailleurs ce que tu écris là n'est pas du tout la caractérisation d'une fonction impaire.

    Cordialement
    Dernière modification par PlaneteF ; 18/12/2015 à 15h42.

  3. #3
    PlaneteF

    Re : Logique mathématique

    Citation Envoyé par tulipe96 Voir le message
    2/ f est strictement négative, c-à-d << (il existe) x(appartenant à) R, f(x)<0 >>
    De la même manière ce que tu écris là ne veut pas dire que est strictement négative.

    Même type de remarque que précédemment, une fonction qui n'est pas positive n'est pas forcément strictement négative (exemple une nouvelle fois au hasard , la fonction identité).

    Cdt
    Dernière modification par PlaneteF ; 18/12/2015 à 15h53.

  4. #4
    gg0
    Animateur Mathématiques

    Re : Logique mathématique

    Bonjour Tulipe 96 :

    A priori, il vaut mieux nier la définition, puis voir si ça a une signification simple, qu'inventer un "contraire" fallacieux (rappel : le contraire de "blanc" n'est pas "noir").

    Cordialement.

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

    Re : Logique mathématique

    Bonsoir, merci pour vos réponses, voici ce que j'ai corrigé:
    "f n'est pas paire"
    "f n'est pas positive sur R"

    une autre question, ai-je le droit de nier seulement la deuxième partie ?
    exemple:
    f est paire, c-à-d << (il existe) x(appartenant à) R, f(-x) =/= f(x) >> est-ce correct ?
    Cordialement.

  7. #6
    gg0
    Animateur Mathématiques

    Re : Logique mathématique

    je ne comprends pas trop.

    "f est paire" est une dénomination pour " (pour tout) x(appartenant à) R , f(-x) = f(x) ". Donc si tu nies " (pour tout) x(appartenant à) R , f(-x) = f(x) ", tu nies "f est paire". Par contre "f est paire, c-à-d << (il existe) x(appartenant à) R, f(-x) =/= f(x) >>" est manifestement faux.

    Cordialement.

Discussions similaires

  1. la logique mathematique est elle une logique scientifique?
    Par invited94ea965 dans le forum Mathématiques du supérieur
    Réponses: 6
    Dernier message: 17/11/2012, 14h11
  2. Questions de logique mathématique
    Par invited17825bc dans le forum Mathématiques du supérieur
    Réponses: 2
    Dernier message: 07/07/2012, 15h49
  3. logique mathematique
    Par invite5c83877e dans le forum Mathématiques du supérieur
    Réponses: 1
    Dernier message: 09/03/2009, 16h07
  4. Logique flou en mathématique
    Par invite4a04b7dc dans le forum Mathématiques du supérieur
    Réponses: 9
    Dernier message: 21/04/2007, 01h50
  5. Logique mathématique et Dieu
    Par inviteb71bce26 dans le forum Epistémologie et Logique (archives)
    Réponses: 109
    Dernier message: 31/01/2006, 20h21