The Math Forum

Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Math Forum » Discussions » Math Topics » discretemath

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: Tautology
Replies: 2   Last Post: Sep 30, 2012 10:51 AM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
Alex Tank

Posts: 2
From: CA
Registered: 9/24/12
Posted: Sep 26, 2012 3:02 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

Heres what I know, I know what a tautology is, I know what it looks like from looking at a truth table. Heres what i need help with, how do i prove these are tautologies, just truth tables alone?(also how would i set these up in a truth table) or are there other methods i could use. I only got a little past using truth tables in my book so id probably feel more comfortable using those.
a) ¬q ^ p -> q -> ¬p
b) p V q ^ ¬p -> q
( ^ is supposed to be the upside down V)

Date Subject Author
Read Tautology
Alex Tank
Read Re: Tautology
Angela Richardson
Read RE: Tautology
Ben Brink

Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© The Math Forum at NCTM 1994-2018. All Rights Reserved.