Results 1 to 3 of 3

Math Help - logical proofs

  1. #1
    Newbie
    Joined
    May 2010
    Posts
    3

    logical proofs

    i need a a little help, i know this isnt very hard i just cant find the answer..

    i need give proofs to find the equivalences.

    -p -> (p -> q)= tautology

    where the frst p is the negation.

    thanks any help will help
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Senior Member
    Joined
    Dec 2008
    Posts
    288
    -p -> (p -> q)= tautology

    well do you have proof methods like truth tables or semantic tableau, if you draw a truth table then the final column should be all true, and if you use semantic tableau, negate the whole formula and then show the tableau closes,

    or using the fact that A -> B is logically equivelent to ČA V B you can apply this rule twice and it should become clear, does this help?
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Newbie
    Joined
    May 2010
    Posts
    3
    oh ok, simple enough thanks a lot!
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. logical implication
    Posted in the Discrete Math Forum
    Replies: 5
    Last Post: June 13th 2011, 05:09 PM
  2. Prove/disprove using logical using logical arguments
    Posted in the Discrete Math Forum
    Replies: 5
    Last Post: February 24th 2010, 07:29 AM
  3. Replies: 3
    Last Post: January 21st 2010, 08:45 AM
  4. Is it logical???
    Posted in the Number Theory Forum
    Replies: 2
    Last Post: November 8th 2009, 09:10 PM
  5. Replies: 3
    Last Post: October 6th 2007, 03:01 PM

Search Tags


/mathhelpforum @mathhelpforum