March 5th, 2017, 03:47 AM  #1 
Newbie Joined: Mar 2017 From: london Posts: 2 Thanks: 0  Proving logic
Hi everyone, does anyone know what the solutions to these questions would be? I am really struggling with this particular piece of homework, so would appreciate any help or explanations. I have to prove that the following statements are valid in proven logic. Thank you :) (¬ = not → = if/ then) ¬ P → ¬Q: Q → P (6) : (P →Q) → (¬Q →¬P) (5) Principle of transposition Q → R : (¬Q →¬P) →(P →R) (9) (P & Q) →¬R : R →(P →¬Q) (11) P: [(¬(Q → R) →¬P)] →[( ¬R →¬Q)] (9) P, ¬Q: ¬ (P →Q) (6) P, ¬P : Q (8) : ¬P → (P →Q) (10) Law of Dun Scotus P → ¬P : ¬P (11) Last edited by skipjack; March 5th, 2017 at 03:54 AM. 
March 5th, 2017, 04:00 AM  #2 
Global Moderator Joined: Dec 2006 Posts: 18,852 Thanks: 1570 
Were you given a list of axioms? If so, what were they? If not, what method of proof were you taught?


Tags 
logic, proving 
Thread Tools  
Display Modes  

Similar Threads  
Thread  Thread Starter  Forum  Replies  Last Post 
Need help in proving that this statement is valid.. (for propositional logic)  mitch08  Computer Science  0  October 3rd, 2015 08:18 PM 
prove logic equation, logic algebra  dmnte  Computer Science  0  April 23rd, 2015 10:45 PM 
Logic  ungeheuer  Applied Math  7  February 27th, 2013 06:28 PM 
Logic  orokusaki  Applied Math  4  April 4th, 2012 05:03 AM 
Proving something is a subspace by proving it is a span.  suomik1988  Linear Algebra  1  April 29th, 2011 09:57 PM 