My Math Forum Proving logic

 Probability and Statistics Basic Probability and Statistics Math Forum

 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 Linear Mode

 Similar Threads Thread Thread Starter Forum Replies Last Post miafuller New Users 1 March 5th, 2017 04:00 AM mitch08 Computer Science 0 October 3rd, 2015 08:18 PM dmnte Computer Science 0 April 23rd, 2015 10:45 PM dazuza360 Math 0 January 20th, 2015 01:08 PM suomik1988 Linear Algebra 1 April 29th, 2011 09:57 PM

 Contact - Home - Forums - Cryptocurrency Forum - Top