My Math Forum  

Go Back   My Math Forum > High School Math Forum > Probability and Statistics

Probability and Statistics Basic Probability and Statistics Math Forum


Reply
 
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)
miafuller is offline  
 
Reply

  My Math Forum > High School Math Forum > Probability and Statistics

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





Copyright © 2017 My Math Forum. All rights reserved.