Results 1 to 3 of 3

Math Help - A logic question

  1. #1
    Junior Member Researcher's Avatar
    Joined
    Sep 2009
    Posts
    37

    Lightbulb A logic question

    Hello all.
    Is the following expression true?
    [ ( p \equiv q ) \wedge ( r \equiv s ) ] \Rightarrow [(  p \wedge r ) \equiv  ( q \wedge s )]
    If yes, please prove it.

    Thanks
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor
    Grandad's Avatar
    Joined
    Dec 2008
    From
    South Coast of England
    Posts
    2,570
    Thanks
    1

    Proof by Truth Table

    Hello Researcher
    Quote Originally Posted by Researcher View Post
    Hello all.
    Is the following expression true?
    [ ( p \equiv q ) \wedge ( r \equiv s ) ] \Rightarrow [(  p \wedge r ) \equiv  ( q \wedge s )]
    If yes, please prove it.

    Thanks
    Yes - see the attached truth table for the proof.

    The columns are evaluated in order from (1) to (7) - column (7) being the final result, which shows TRUE on every line.

    Grandad
    Attached Thumbnails Attached Thumbnails A logic question-untitled.jpg  
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Junior Member Researcher's Avatar
    Joined
    Sep 2009
    Posts
    37
    Thank you Grandad.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Help with a logic question are they right?
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: March 31st 2010, 03:50 PM
  2. Logic Question
    Posted in the Discrete Math Forum
    Replies: 3
    Last Post: February 21st 2009, 12:13 PM
  3. logic question
    Posted in the Discrete Math Forum
    Replies: 20
    Last Post: January 25th 2009, 10:51 AM
  4. Question about logic
    Posted in the Discrete Math Forum
    Replies: 7
    Last Post: September 5th 2008, 05:51 AM
  5. Logic Question
    Posted in the Algebra Forum
    Replies: 2
    Last Post: September 27th 2007, 10:00 AM

Search Tags


/mathhelpforum @mathhelpforum