Bienvenue sur Laurentvidal.fr, le site où vous trouverez des réponses rapides et précises à toutes vos questions. Expérimentez la commodité de trouver des réponses précises à vos questions grâce à une communauté dévouée d'experts. Rejoignez notre plateforme pour vous connecter avec des experts prêts à fournir des réponses détaillées à vos questions dans divers domaines.

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 :

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

Merci d'utiliser notre plateforme. Nous nous efforçons de fournir des réponses précises et à jour à toutes vos questions. Revenez bientôt. Merci de votre visite. Nous nous engageons à fournir les meilleures informations disponibles. Revenez quand vous voulez pour plus. Merci de faire confiance à Laurentvidal.fr. Revenez nous voir pour obtenir de nouvelles réponses des experts.