Results 1 to 2 of 2

Math Help - A simple SD Logic problem that is giving me fits

  1. #1
    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. #2
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,793
    Thanks
    1688
    Awards
    1
    \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+

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. 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. 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