Register

Propositional Logic

764 views
1 votes
1 votes

Not Valid does it mean not False ? also how to solve it ?

 

User Avatar

1 Answer

Best answer
1 votes
1 votes

Reference: http://cse.unl.edu/~choueiry/S06-235/files/PredicatesQuantifiers-HandoutNoNotes.pdf
I think i somewhat figured it out correct me if any mistakes please, i took P(x,y) as x loves y

Then the options cab be re-written as follwing

a) There exists some one who loves everyone
then
Everyone are loved by someone

b) There exists someone who loves everyone
then
Everyone is loved by someone

c) There exists someone who loves everyone
then
There exists someone who loves someone

d) There exists someone who loves everyone
then
Everyone loves someone

Out of all the above statement D seems wrong, let me know if you have a correct or better solution

• selected by
User Avatar
Voting & Accepting an answer helps improve the community
← PreviousNext →
← Previous in categoryNext in category →

Related questions

2 votes
2 votes
2 answers
2
kd..... asked Jul 12, 2018
559 views
Propositional logic
I am unable to prove following equations without using truth table 1) p -> (q v r) = (p->q) V (p->r) 2) ~(p <-> q) = p <-> ~q
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
User Avatar
1 votes
1 votes
3 answers
4
Vicky rix asked Mar 7, 2017
918 views
propositional logic
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) nor B)
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...
User Avatar
Link Copied!