Une proposition:

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.

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 "." .

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.