SOLUTION: Determine whether the statement is a tautology, self-contradiction or neither (p ^ ~q) -> q

Algebra.Com
Question 87462: Determine whether the statement is a tautology, self-contradiction or neither
(p ^ ~q) -> q

Answer by jim_thompson5910(35256)   (Show Source): You can put this solution on YOUR website!

Set up a truth table to see if the given statement is a tautology, self-contradiction, or neither.

pq~qp ^ ~q(p ^ ~q) -> q
TTFFT
TFTTF
FTFFT
FFTFT


Focus on the last column of red truth values. Since there are 3 true possibilities and one false one, we can see that the statement is neither a tautology or a self-contradiction.

RELATED QUESTIONS

Determine whether the statement is a tautology, a self-contradiction, or neither.( p ? q... (answered by jim_thompson5910)
Determine whether the statement is a self-contradiction, an implication, a tautology... (answered by Edwin McCravy)
Given: (~ p → q) ∨ ~ p This statement is a: A. Biconditional statement B.... (answered by jim_thompson5910)
determine which of the following statements is a tautology p ^ (p->q) or (p->q) <->... (answered by solver91311)
whether (~p disjunction (p-->q))-->~q is a tautology without using truth table? (answered by Edwin McCravy)
Classify the following statement, using any technique you can: ~A ∨ (B ⊃... (answered by Edwin McCravy)
Is (p v q) → (~q → p) a... (answered by jim_thompson5910)
Determine whether the argument is valid or not. pV~q p _____ ∴... (answered by jim_thompson5910)
Truth Table: ~(P=>Q)<=>(P^~Q) I believe I am on the right path with the following:... (answered by jim_thompson5910)