Aide pour les futurs mathématiciens
 
AccueilAccueil  PortailPortail  FAQFAQ  RechercherRechercher  S'enregistrerS'enregistrer  Connexion  

Partagez | 
 

 Une proposition:

Voir le sujet précédent Voir le sujet suivant Aller en bas 
AuteurMessage
nmo
Expert sup


Masculin Nombre de messages : 2221
Age : 23
Localisation : Elgara
Date d'inscription : 29/10/2009

MessageSujet: Une proposition:   Ven 01 Oct 2010, 12:38

Afin de joindre lutile à l'agréable, je vous propose une propriété pour le défi:
Ecrivez à l'aide des quantificateurs la proposition suivante:
.
Bonne chance.
Revenir en haut Aller en bas
M.Marjani
Expert sup


Masculin Nombre de messages : 1665
Age : 22
Date d'inscription : 05/03/2010

MessageSujet: Re: Une proposition:   Ven 01 Oct 2010, 16:55

On sait que pour tout propositions (p,q) on a: q ou p(barre) <=> p => q
Alors: A(p): p => p <=> P ou P(barre) , on sait que par le tableau de la verité ((p => p) <=> p) est juste quand p est juste, mais fausse quand p est fausse.

Et donc si: Q: (A(p)): p <=> P ou P(barre) On aura par le tableau de la verité, cette dérniere equivalence est juste si et si que p est juste. Donc l'equivalence n'est pas juste pour tout p,donc il reste l'implication entre p et (P ou P(barre))

Alors cette implication est la seule et il est juste forcément d'aprés le tableau de la verité.
Donc: (p => p <=> P ou P(barre)) <=>

Et d'ou le résultat ^^

PS: A veut dire pour tout "." .
Revenir en haut Aller en bas
nmo
Expert sup


Masculin Nombre de messages : 2221
Age : 23
Localisation : Elgara
Date d'inscription : 29/10/2009

MessageSujet: Re: Une proposition:   Mar 05 Oct 2010, 10:36

M.Marjani a écrit:
On sait que pour tout propositions (p,q) on a: q ou p(barre) <=> p => q
Alors: A(p): p => p <=> P ou P(barre) , on sait que par le tableau de la verité ((p => p) <=> p) est juste quand p est juste, mais fausse quand p est fausse.
Et donc si: Q: (A(p)): p <=> P ou P(barre) On aura par le tableau de la verité, cette dérniere equivalence est juste si et si que p est juste. Donc l'equivalence n'est pas juste pour tout p,donc il reste l'implication entre p et (P ou P(barre))
Alors cette implication est la seule et il est juste forcément d'aprés le tableau de la verité.
Donc: (p => p <=> P ou P(barre)) <=>
Et d'ou le résultat ^^
PS: A veut dire pour tout "." .
Il me parait que c'est juste.
Revenir en haut Aller en bas
Contenu sponsorisé




MessageSujet: Re: Une proposition:   Aujourd'hui à 22:01

Revenir en haut Aller en bas
 
Une proposition:
Voir le sujet précédent Voir le sujet suivant Revenir en haut 
Page 1 sur 1
 Sujets similaires
-
» L'EGLISE, LE DON DE DIEU LE PERE, UNE PROPOSITION D'AMOUR...
» Comment présenter votre proposition d'enquête?
» proposition de garde garde d'enfant
» Proposition pour une journée "Mise en pratique du logiciel Iris"
» Proposition de sujet

Permission de ce forum:Vous ne pouvez pas répondre aux sujets dans ce forum
Forum des amateurs de maths :: Lycée :: Première-
Sauter vers: