Register to reply

Proof of p^(qvr) <==> (p^q)v(p^r)

by evagelos
Tags: <>, pqvpr, pqvr, proof
Share this thread:
evagelos
#1
Sep18-08, 10:27 PM
P: 308
How do we prove in propositional calculus :

......p^(qvr) <===> (p^q)v(p^r) semantically and syntactically
Phys.Org News Partner Science news on Phys.org
Hoverbike drone project for air transport takes off
Earlier Stone Age artifacts found in Northern Cape of South Africa
Study reveals new characteristics of complex oxide surfaces
CompuChip
#2
Sep19-08, 09:47 AM
Sci Advisor
HW Helper
P: 4,300
Well, what have you already come up with?
HallsofIvy
#3
Sep19-08, 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?

CompuChip
#4
Sep19-08, 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.
evagelos
#5
Sep19-08, 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
CompuChip
#6
Sep20-08, 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 proof-says Canadian Prime Minister General Math 0