1,335 views
1 votes
1 votes

I have an question regarding Propositional Logic,

(! = NOT, V = OR, -> = Implication)

If the proposition !p -> q is true, then the truth value of the proposition !p V (p -> q) is,

1. true 2. multiple valued, 3. false, 4. cannot be determinded

now from the truth table for !p V (p->q) i get 1 1 0 1 which means it is neither true nor false.

so the answer would be either 2 or 4 and the actual answer is 4.

My question is what does 'multiple valued' means in this case? is it just there to misdirect or is there any logic behind it? or am i doing this completely wrong?

Please any kind of advice would appreciated!!!

2 Answers

1 votes
1 votes
$!p\rightarrow q$ being true  means that q is not false when p is false.

Then we only have three combination:
T T = $F\vee (T\rightarrow T) = T$
T F = $F\vee (T\rightarrow F) = F$
F T = $T\vee (F\rightarrow T) = T$

Hence can't be true or false. So no 1 or 3.

Multiple valued means that there are some other logical variable available for use besides True and False or 0 and 1. Like in fuzzy logic. Since, we are not dealing with those, I don't think that option will ever be reasonable to mark. You need to bring in someone experienced here for more clarification but I think I am right.

Related questions

2 votes
2 votes
2 answers
2
kd..... asked Jul 12, 2018
534 views
I am unable to prove following equations without using truth table1) p - (q v r) = (p->q) V (p->r) 2) ~(p <- q) = p <- ~q
1 votes
1 votes
1 answer
3
Salazar asked Jan 26, 2018
759 views
Not Valid does it mean not False ? also how to solve it ?
1 votes
1 votes
3 answers
4
Vicky rix asked Mar 7, 2017
902 views
Which of the following statements are ALWAYS TRUE ?A) ∀x [P(x)] - ∃x [P(x)]B) ∃x [P(x)] - ∀x [P(x)]C) Both A) and B) and so both are equivalent D) Neither A) no...