Results 1 to 3 of 3

Math Help - tautology help

  1. #1
    Junior Member
    Joined
    Nov 2008
    Posts
    29

    help

    hi

    can anyone help figure this out:
    Last edited by srk619; November 17th 2008 at 12:21 PM.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    is up to his old tricks again! Jhevon's Avatar
    Joined
    Feb 2007
    From
    New York, USA
    Posts
    11,663
    Thanks
    3
    Quote Originally Posted by srk619 View Post
    hi

    can anyone help figure this out:

    Use a truth table to find out whether
    ((A ^ (A => B)) ^ (B => C) ) => C
    is a tautology.
    here is the (incomplete) truth table. can you finish it? if the last column has T in all its entries, then the statement in question is a tautology

    \begin{array}{|c|c|c|c|c|c|} \hline <br /> <br />
A & B & C & A \implies B & B \implies C & \{ [(A \wedge (A \implies B)] \wedge (B \implies C) \} \implies C \\<br />
\hline T & T & T & & & \\<br />
\hline T & T & F & & & \\<br />
\hline T & F & T & & & \\<br />
\hline T & F & F & & & \\<br />
\hline F & T & T & & & \\<br />
\hline F & T & F & & & \\<br />
\hline F & F & T & & & \\<br />
\hline F & F & F & & & \\<br />
\hline<br />
 \end{array}
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Junior Member
    Joined
    Nov 2008
    Posts
    29
    i think i got it
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. tautology
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: March 6th 2010, 10:24 AM
  2. Tautology
    Posted in the Math Topics Forum
    Replies: 1
    Last Post: October 1st 2008, 07:17 AM
  3. Tautology
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: December 1st 2007, 04:02 PM
  4. tautology
    Posted in the Discrete Math Forum
    Replies: 3
    Last Post: October 19th 2007, 07:17 PM
  5. is this expression a tautology?
    Posted in the Discrete Math Forum
    Replies: 5
    Last Post: June 11th 2007, 12:43 PM

Search Tags


/mathhelpforum @mathhelpforum