Results 1 to 2 of 2

Thread: A simple SD Logic problem that is giving me fits

  1. February 12th 2009, 12:50 PM #1
    rsportsman09
    rsportsman09 is offline
    Newbie
    Joined
    Feb 2009
    From
    Chicago
    Posts
    2

    A simple SD Logic problem that is giving me fits

    I need to derive D from the following. Any help would be greatly appreciated

    Premise 1: A & B
    Premise 2: C -> D
    Premise 3" C v ~A
    Follow Math Help Forum on Facebook and Google+
  2. February 12th 2009, 02:27 PM #2
    Plato
    Plato is offline
    MHF Contributor
    Joined
    Aug 2006
    Posts
    16,999
    Thanks
    776
    Awards
    1
    MHF Donor
    \begin{gathered}<br /> C \vee \neg A \equiv A\, \Rightarrow \,C \hfill \\<br /> A \wedge B\, \Rightarrow \,A \hfill \\<br /> A \wedge \left( {A\, \Rightarrow \,C} \right)\, \Rightarrow \,C \hfill \\<br /> C \wedge \left( {C\, \Rightarrow \,D} \right)\, \Rightarrow \,D \hfill \\ <br /> \end{gathered}
    You can fill in details and reasons.
    Follow Math Help Forum on Facebook and Google+
« [SOLVED] A simple SD logic derivation that is giving me fits | Harmonic Conjugate »

Similar Math Help Forum Discussions

  1. A simple logic problem
    Posted in the Algebra Forum
    Replies: 5
    Last Post: October 29th 2010, 05:53 PM
  2. [SOLVED] A simple SD logic derivation that is giving me fits
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: February 12th 2009, 02:19 PM
  3. A very annoying and simple logic derivation problem.
    Posted in the Discrete Math Forum
    Replies: 4
    Last Post: January 14th 2009, 08:01 PM
  4. Find a linear function that fits the data word problem
    Posted in the Algebra Forum
    Replies: 1
    Last Post: February 19th 2008, 01:16 PM
  5. Simple graphing problem giving me trouble
    Posted in the Trigonometry Forum
    Replies: 2
    Last Post: July 15th 2007, 12:16 PM

Search Tags


/mathhelpforum @mathhelpforum