Register to reply 
Proof of p^(qvr) <==> (p^q)v(p^r) 
Share this thread: 
#1
Sep1808, 10:27 PM

P: 308

How do we prove in propositional calculus :
......p^(qvr) <===> (p^q)v(p^r) semantically and syntactically 


#2
Sep1908, 09:47 AM

Sci Advisor
HW Helper
P: 4,300

Well, what have you already come up with?



#3
Sep1908, 09:50 AM

Math
Emeritus
Sci Advisor
Thanks
PF Gold
P: 39,311

Comparing truth tables will do it quickly and neatly. Are you not allowed to use that method?



#4
Sep1908, 09:54 AM

Sci Advisor
HW Helper
P: 4,300

Proof of p^(qvr) <==> (p^q)v(p^r)
I had to Google as well, as far as I can see, using truth tables would be the semantic proof.



#5
Sep1908, 12:54 PM

P: 308

Semantical proof without using true tables ,i have one in mind but i am not very positive about it.Then syntactically how about a contradiction you think it could work ,although it looks a bit messy



#6
Sep2008, 03:45 AM

Sci Advisor
HW Helper
P: 4,300

It is not quite clear to me what you mean by a semantical proof, and a syntactical one.
Also, if you would post your idea we can have a look at it. Maybe you are on the right track but just need a last push, or maybe you even got it right but lack the confidence 


Register to reply 
Related Discussions  
Proof: Compare two integral(Please look at my surgested proof)  Calculus & Beyond Homework  11  
What is the difference with inequalities?  General Math  7  
A proof  Calculus & Beyond Homework  7  
Proof: One more irrationality proof  Introductory Physics Homework  5  
A proof is a proofsays Canadian Prime Minister  General Math  0 