My Math Forum  

Go Back   My Math Forum > Welcome > New Users

New Users Post up here and introduce yourself!


Reply
 
LinkBack Thread Tools Display Modes
March 5th, 2017, 04: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 04:54 AM.
miafuller is offline  
 
March 5th, 2017, 05:00 AM   #2
Global Moderator
 
Joined: Dec 2006

Posts: 16,775
Thanks: 1234

Were you given a list of axioms? If so, what were they? If not, what method of proof were you taught?
skipjack is online now  
Reply

  My Math Forum > Welcome > New Users

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 07: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





Copyright © 2017 My Math Forum. All rights reserved.