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
New type of solar concentrator desn't block the view
Researchers demonstrate ultra low-field nuclear magnetic resonance using Earth's magnetic field
Asian inventions dominate energy storage systems
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,488
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