Formule close vraie dans une structure, fausse dans une autre
Répondre à la discussion
Affichage des résultats 1 à 2 sur 2

Formule close vraie dans une structure, fausse dans une autre



  1. #1
    Perfectina

    Formule close vraie dans une structure, fausse dans une autre


    ------

    Bonjour.

    Nous avons deux L-structures : Ui et Bi. On doit donner une formule close Fi vraie dans la Li-structure Ui, et fausse dans la Li-structure Bi.

    L1 = (c,*)
    U1 = < N, 5, x >
    B1 = < N, 6, x >

    L2 = (*)
    U2 = < Z, + >
    B2 = < Q, + >

    L3 = (*)
    U3 = < Z, x >
    B3 = < Q, x >

    L4 = (f, P)
    U4 = < ]0,+oo[, , < >
    B4 = < ]0,+oo[, , < >

    L5 = (f,*)
    U5 = < ]0,+oo[, , + >
    B5 = < ]0,+oo[, , + >

    L6 = (f)
    U6 = < ]0,+oo[, >
    B6 = < ]0,+oo[, >

    P est un symbole de prédicat binaire, c un symbole de constante, f un symbole de fonction unaire et * un symbole de fonction binaire.


    J'ai trouvé une formule pour la 4 :
    En effet 1/x² est décroissante sur ]0,oo[ alors que x² est croissante !

    Pour la 1), je pensais à écrire qu'il existe un unique x et un unique y (dans N) tels que x*y=5 (en effet x=1 et y=5, le problème c'est que c'est valable aussi pour x=5 et y=1) alors que pour x*y=6 il y a d'autres possibilités que l'élément neutre et la constante elle-même. Donc je ne vois pas trop sous quelle forme le mettre (et la formule n'est peut-être pas vraie).

    Et celle pour laquelle je bloque vraiment, c'est la 5...

    Merci d'avance pour toute aide

    -----

  2. #2
    Médiat

    Re : Formule close vraie dans une structure, fausse dans une autre

    J'ai trouvé une formule pour la 4 :
    En effet 1/x² est décroissante sur ]0,oo[ alors que x² est croissante !
    Parfait

    Pour la 1), je pensais à écrire qu'il existe un unique x et un unique y (dans N) tels que x*y=5 (en effet x=1 et y=5, le problème c'est que c'est valable aussi pour x=5 et y=1) alors que pour x*y=6 il y a d'autres possibilités que l'élément neutre et la constante elle-même. Donc je ne vois pas trop sous quelle forme le mettre (et la formule n'est peut-être pas vraie).
    Vous y êtes presque, il suffit de dire qu'il existe x et y tels que x*y=c et pour tous u et w, si u*w = c alors ...

    Et celle pour laquelle je bloque vraiment, c'est la 5...
    Même idée que la 4
    Je suis Charlie.
    J'affirme péremptoirement que toute affirmation péremptoire est fausse

Discussions similaires

  1. Réponses: 3
    Dernier message: 26/01/2016, 08h44
  2. Assertion ni vraie ni fausse
    Par Krolah dans le forum Mathématiques du supérieur
    Réponses: 7
    Dernier message: 19/05/2010, 23h48
  3. assertion vraie ou fausse
    Par invitebecf400c dans le forum Mathématiques du supérieur
    Réponses: 7
    Dernier message: 19/11/2008, 21h06