Math Problem Statement
Montrez que les énoncés ci-dessous ne sont pas équivalents en donnant une valeur de p et de q pour lesquelles les deux énoncés n’ont pas la même valeur de vérité. p ∨ ¬ q et ¬ ( ¬ p ∨ q ) ne sont pas équivalents car ils n’ont pas la même valeur de vérité pour les valeurs de p et de q suivante: IMPORTANT: Vous devez entrer votre réponse de la façon suivante: (p, q)
Solution
Pour montrer que les énoncés et ne sont pas équivalents, nous devons trouver des valeurs de et pour lesquelles les deux énoncés ont des valeurs de vérité différentes.
Commençons par analyser chaque énoncé :
- signifie "p est vrai ou q est faux".
- signifie "ce n'est pas vrai que p est faux ou q est vrai", c'est-à-dire que p est vrai et q est faux (selon la négation de l'opérateur OU).
Maintenant, trouvons une paire pour laquelle ces deux expressions ont des valeurs de vérité différentes.
Prenons et .
-
Pour :
- (puisque )
- Donc .
-
Pour :
- (puisque )
- Donc
- .
Dans ce cas, les deux énoncés ont la même valeur de vérité. Essayons donc une autre combinaison.
Prenons et .
-
Pour :
- (puisque )
- Donc .
-
Pour :
- (puisque )
- Donc
- .
Ainsi, pour , les deux énoncés ont des valeurs de vérité différentes.
La réponse correcte est donc : (Faux, Vrai), c'est-à-dire .
Ask a new question for Free
By Image
Drop file here or Click Here to upload
Math Problem Analysis
Mathematical Concepts
Logic
Propositional Logic
Truth Tables
Formulas
Disjunction (p ∨ q)
Negation (¬p)
De Morgan's Laws
Theorems
De Morgan's Laws
Logical Equivalence
Suitable Grade Level
Grades 10-12
Related Recommendation
Prove Logical Equivalence ¬(p ∨ (¬p ∧ q)) ≡ (¬p ∧ ¬q) using Identities
Logical Equivalence: Negation of Implication and Conjunction
Prove Logical Equivalence Using De Morgan's Laws Without a Truth Table
Truth Table Analysis for p → q, ¬(p ∨ q), and ¬q ↔ ¬p
Proving Logical Equivalence: ¬(p ∨ (¬p ∧ q)) ≡ ¬p ∧ ¬q