My Math Forum Proving logic

 New Users Post up here and introduce yourself!

 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: 19,057 Thanks: 1618 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 Linear Mode

 Similar Threads Thread Thread Starter Forum Replies Last Post mitch08 Computer Science 0 October 3rd, 2015 08:18 PM dmnte Computer Science 0 April 23rd, 2015 10:45 PM ungeheuer Applied Math 7 February 27th, 2013 06:28 PM orokusaki Applied Math 4 April 4th, 2012 05:03 AM suomik1988 Linear Algebra 1 April 29th, 2011 09:57 PM

 Contact - Home - Forums - Cryptocurrency Forum - Top