Annuler
connectez vous
logique en post-bac
- Description de mathématique formelle-termes et relations
- Théorèmes
- Théories logiques
- Équations différentielles : un Cours complet avec des exemples
- Généralités sur les matrices, applications linéaires, changement de base, rang d'une matrice - supérieur
- Ensemble et application Partie II
- Espaces vectoriels et Applications linéaires - supérieur
- Un best-of d'exos de probabilités (après le bac)
Inscription / Connexion Nouveau Sujet
Accueil l'île des mathématiques Forum de mathématiquesListe de tous les forums de mathématiques SupérieurOn parle exclusivement de maths, pour le supérieur principalement, les BTS, IUT, prépas... Maths sup LogiqueTopics traitant de logique [tout]Lister tous les topics de mathématiques
Niveau Maths sup
propositions
Posté par djibril1515 (invité)
P, p, q, r des propositions
P est vraie si et seulement si p, q et r sont fausses, ou p est fausse et q et r vraies, ou p, q et r vraies, ou p et q vraies et r fausse. Donc P
(
p
qr)
(pqr)(pqr)(pqr)
a) En déduire, en utilisant les lois de DE MORGAN, une méthode pour obtenir une proposition sous forme de conjonction de clauses.
b) Appliquer cette méthode a la proposition P
c) Ecrire (pq)(r
(p équivalent à q)) sous forme d'une conjonction de clauses
Posté par djibril1515 (invité)re : propositions
Je comprends pas ce qu'il fallait faire, pouvez vous m'éclairer svp?Merci d'avance
Posté par djibril1515 (invité)re : propositions
Ok puisea mais c que je pourrais plus avoir accés a internet a partir de 17h et j'aimerai avoir un corrigé pour cet exercice pour pouvoir réviser avant demain.
Posté par djibril1515 (invité)re : propositions
Aidez moi vite svp, je vais m'en aller.....Milles merci