Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

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


Math Forum » Discussions » Math Topics » discretemath

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
Tautology
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
9/26/12
Read Tautology
Alex Tank
9/27/12
Read Re: Tautology
Angela Richardson
9/30/12
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]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.