lqg Posted November 2, 2005 Share Posted November 2, 2005 i hope that someone could help me with my q's here: http://www.physicsforums.com/showthread.php?t=97985 Link to comment Share on other sites More sharing options...
cosine Posted November 2, 2005 Share Posted November 2, 2005 i searched in the homework section and there isn't a section for logic an set theory so i ask my questions here (begging for replies):1)expand the proposition (by the equivalence rules): [~(pvq)v((~p)^q)] i got to this: [(~pv~p)^(~pv~q)]^[(qv~p)^(qv~q)] is it correct? I didn't know about the second question you gave' date=' but as to this question: You give: [~(pvq)v((~p)^q)'] Which I would first do: [(~p^~q)v(~p^q)] In both cases ~p must be true, and either q or ~q would satisfy, so you have ~p^(qv~q) Now it depends if you accept the law of the excluded middle. If you do, (meaning that you accept that q must be true or not true), then it follows that the expression is equivalent to ~p Hope this helps. Link to comment Share on other sites More sharing options...
lqg Posted November 7, 2005 Author Share Posted November 7, 2005 thanks. can someone help me with the second one? Link to comment Share on other sites More sharing options...
lqg Posted December 24, 2005 Author Share Posted December 24, 2005 my question is still remains open, someone? i appreciate the help if you can hand in some. Link to comment Share on other sites More sharing options...
Recommended Posts
Create an account or sign in to comment
You need to be a member in order to leave a comment
Create an account
Sign up for a new account in our community. It's easy!
Register a new accountSign in
Already have an account? Sign in here.
Sign In Now