1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Sentential calculus q

  1. Jan 23, 2007 #1

    Using sentential calculus (with a four column format), prove that the conclusion (s ^ ~p) ==> t follows from the premises: ~(q ^ s) and q OR p. (Hint: Employ conditionalization).

    Work done:
    Code (Text):

       (1)  ~(q ^ s)         P
       (2)  (~q OR ~s)     DeM (1)
       (3)  q OR p            P
       (4)  p OR ~s          Cut (2, 3)
       (5)  ~(s ^ ~p)       DeM (4)
    but, of course I'm to show (s ^ ~p) ==> t.

    How should I go about it? thank you.
  2. jcsd
  3. Jan 23, 2007 #2
    contrapositive of the hypothesis seems to work! :-)
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Similar Discussions: Sentential calculus q
  1. Thermodynamics Q (Replies: 5)

  2. Calcul q (Replies: 5)

  3. Urgent Fluid Q (Replies: 10)