👤
Answered

Profitez au maximum de vos questions avec les ressources d'FRstudy.me. Bénéficiez de conseils étape par étape pour toutes vos questions techniques, grâce aux membres bien informés de notre communauté.

Bonjour Pourriez-vous m'aider pour cette question : Démontrer par déduction naturelle pour les deux propositions suivantes :

Bonjour Pourriezvous Maider Pour Cette Question Démontrer Par Déduction Naturelle Pour Les Deux Propositions Suivantes class=

Sagot :

Olivierronat

Réponse :

Explications étape par étape

1)

Si on suppose pvq vrai donc p est vrai ou q est vrai mais puisque non q est vrai donc q est faux. Donc puisque pvq est vrai alors p vrai

2)

si q=> r alors soit q et r vrais ou q faux.

1e cas q et r vrais

Si q vrai alors pvq est vrai et r vrai. Or puisque Vrai implique Vrai et Faux implique Vrai, quelque soit la valeur de p (ou de non p), l'implication est vraie. Donc non(p) =>r

2e cas q faux

Donc si pvq est Vrai et q Faux alors p Vrai. Donc non(p) est Faux

Or le Faux implique le Vrai ou le Faux

Donc non(p)=>r

Nous apprécions chaque contribution que vous faites. Revenez souvent pour poser de nouvelles questions et découvrir de nouvelles réponses. Ensemble, nous construisons une communauté de savoir. FRstudy.me est votre partenaire pour des solutions efficaces. Merci de votre visite et à très bientôt.