Results 1 to 2 of 2

Thread: Logical Equivalence

  1. September 22nd 2008, 12:12 AM #1
    BACONATOR
    BACONATOR is offline
    Newbie
    Joined
    Feb 2008
    Posts
    13

    Logical Equivalence

    Could someone please help me with these two questions
    I have trouble solving it.
    Any help would be appreciated.
    Thanks for answering!
    Attached Thumbnails Attached Thumbnails Logical Equivalence-discretef.bmp  
    Follow Math Help Forum on Facebook and Google+
  2. September 23rd 2008, 08:17 PM #2
    Andres Perez
    Andres Perez is offline
    Newbie
    Joined
    Aug 2008
    Posts
    24
    [(p\lor q)\land (p\to r)\land (q\to r)]\to r
    =
    [(p\lor q)\land (\lnot p\lor r)\land (\lnot q\lor r)]\to r
    =
    \{(p\lor q)\land [(\lnot p\land \lnot q)\lor r]\}\to r
    =
    \{(p\lor q)\land [\lnot (p\lor q)\lor r]\}\to r
    =
    \{(p\lor q)\land [(p\lor q)\to r]\}\to r

    the last one is the tautology of modus ponens rule
    Follow Math Help Forum on Facebook and Google+
« Sets and Logic | bijection - please help! »

Similar Math Help Forum Discussions

  1. Logical equivalence
    Posted in the Discrete Math Forum
    Replies: 6
    Last Post: November 12th 2011, 05:22 PM
  2. [SOLVED] need to check logical equivalence
    Posted in the Discrete Math Forum
    Replies: 7
    Last Post: September 5th 2011, 10:49 PM
  3. Logical Equivalence
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: October 22nd 2010, 01:43 AM
  4. Logical Equivalence Help
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: February 2nd 2010, 01:06 PM
  5. Proving Logical equivalence
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: March 25th 2009, 10:35 AM

Search Tags


/mathhelpforum @mathhelpforum