SOLUTION: Given: (~ p → q) ∨ ~ p
This statement is a:
A. Biconditional statement B. Self-Contradiction
C. Tautology D. Conjunction
Algebra.Com
Question 76567: Given: (~ p → q) ∨ ~ p
This statement is a:
A. Biconditional statement B. Self-Contradiction
C. Tautology D. Conjunction
Answer by jim_thompson5910(35256) (Show Source): You can put this solution on YOUR website!
If we let p be false, then the entire disjunction is true since we would have
(~(false) → q) ∨ ~ (false)
(true → q) ∨ true
We can see that a disjunction is true if either side is true. Since the left side is true, the entire disjunction is true.
If we let p be true, then the entire disjunction is also true since we would have
(~(true) → q) ∨ ~ (true)
(false → q) ∨ false
Since a false antecedent means the entire implication is true, the whole left disjunct is true. This means the whole disjunction is true. So for any p (in this case q can be anything), the logical statement is true. This means the statement is a tautology (answer c).
RELATED QUESTIONS
Determine whether the statement is a self-contradiction, an implication, a tautology... (answered by Edwin McCravy)
Determine whether the statement is a tautology, a self-contradiction, or neither.( p ? q... (answered by jim_thompson5910)
Determine whether the statement is a tautology, self-contradiction or neither
(p ^ ~q) (answered by jim_thompson5910)
Classify the following statement, using any technique you can: ~A ∨ (B ⊃... (answered by Edwin McCravy)
write a direct proof using the eight rules of inference
(C → Q) • (~L →... (answered by Edwin McCravy)
Which of the following statements is false?
A. Mathematical definitions should be... (answered by Theo)
Let p, stands for the statement ''he is funny'' and q, be the statement ''he is serious'' (answered by solver91311)
I could sure use some help with this problem. Math is not a subject that i find very easy (answered by MathLover1)
Is (p v q) → (~q → p) a... (answered by jim_thompson5910)