
Probability and Statistics Basic Probability and Statistics Math Forum 
 LinkBack  Thread Tools  Display Modes 
March 5th, 2017, 03:49 AM  #1 
Newbie Joined: Mar 2017 From: london Posts: 2 Thanks: 0  Proving logic
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) 

Tags 
logic, proving 
Thread Tools  
Display Modes  

Similar Threads  
Thread  Thread Starter  Forum  Replies  Last Post 
Proving logic  miafuller  New Users  1  March 5th, 2017 04:00 AM 
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  dazuza360  Math  0  January 20th, 2015 01:08 PM 
Proving something is a subspace by proving it is a span.  suomik1988  Linear Algebra  1  April 29th, 2011 09:57 PM 