Tomassi: Logic

  1. Philosophy Forum
  2. » Logic
  3. » Tomassi: Logic

Get Email Updates Email this Topic Print this Page

Reply Sat 4 Mar, 2017 04:13 pm
Hi everyone, does anyone know what the answers to these questions would be? I am really struggling with this particular assignment, so would appreciate any help or explanations. I have to prove that the following statements are valid in proven logic. Thank you Smile
¬ = not → = if/ then
¬ ¬(P & Q) : ¬ ¬ (Q & P) (6)
¬ 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)
 
 

 
  1. Philosophy Forum
  2. » Logic
  3. » Tomassi: Logic
Copyright © 2017 MadLab, LLC :: Terms of Service :: Privacy Policy :: Page generated in 0.03 seconds on 04/28/2017 at 11:32:16