Results 1 to 7 of 7
Like Tree2Thanks
  • 1 Post By Plato
  • 1 Post By emakarov

Math Help - Need help with a proof

  1. #1
    Newbie
    Joined
    Nov 2012
    From
    Lancaster, Ohio
    Posts
    13

    Need help with a proof

    -(p q)⇐⇒(-p ↑-q)

    I need to prove this but are not sure what the down and up arrows mean.

    Do I have to construct a truth table?

    Thanks,
    Chris

    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,912
    Thanks
    1760
    Awards
    1

    Re: Need help with a proof

    Quote Originally Posted by wattskickin View Post
    [SIZE=2]-(p q)⇐⇒(-p ↑-q)
    I need to prove this but are not sure what the down and up arrows mean.
    Do I have to construct a truth table?

    So far as I know the definitions vary here. I can give you the one used by WVO Quine:
    \begin{array}{*{20}c}   P &\vline &  Q &\vline &  {P \uparrow Q}  \\\hline   {T} &\vline &  {T} &\vline &  {F}  \\   {T} &\vline &  {F} &\vline &  {T}  \\   {F} &\vline &  {T} &\vline &  {T}  \\   {F} &\vline &  {F} &\vline &  {T}  \\ \end{array} and \begin{array}{*{20}c}   P &\vline &  Q &\vline &  {P \downarrow Q}  \\\hline   {T} &\vline &  {T} &\vline &  {F}  \\   {T} &\vline &  {F} &\vline &  {F}  \\   {F} &\vline &  {T} &\vline &  {F}  \\   {F} &\vline &  {F} &\vline &  {T}  \\ \end{array}
    Thanks from wattskickin
    Follow Math Help Forum on Facebook and Google+

  3. #3
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,559
    Thanks
    785

    Re: Need help with a proof

    I agree. The notations \downarrow and \uparrow probably refer to Peirce's arrow (NOR) and Sheffer stroke (NAND), respectively.

    Quote Originally Posted by wattskickin View Post
    Do I have to construct a truth table?
    This depends on the assignment. There are many ways of proving a propositional formula, from constructing a truth table to giving a derivation in one of many formal systems.
    Thanks from wattskickin
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Newbie
    Joined
    Nov 2012
    From
    Lancaster, Ohio
    Posts
    13

    Re: Need help with a proof

    Need help with a proof-table1.jpgI constructed the following truth table and looking at the final line it appears the statement is true
    Follow Math Help Forum on Facebook and Google+

  5. #5
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,912
    Thanks
    1760
    Awards
    1

    Re: Need help with a proof

    Quote Originally Posted by wattskickin View Post
    Click image for larger version. 

Name:	table1.jpg 
Views:	6 
Size:	30.8 KB 
ID:	25942I constructed the following truth table and looking at the final line it appears the statement is true
    If we guessed correctly, then I agree with you.
    Follow Math Help Forum on Facebook and Google+

  6. #6
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,559
    Thanks
    785

    Re: Need help with a proof

    Quote Originally Posted by wattskickin View Post
    I constructed the following truth table and looking at the final line it appears the statement is true
    Why does the table have the last two columns if those formulas don't occur in the formula from post #1? Also, how can you judge the validity of a formula by looking only at the last line (presumably, last row)?
    Follow Math Help Forum on Facebook and Google+

  7. #7
    Newbie
    Joined
    Nov 2012
    From
    Lancaster, Ohio
    Posts
    13

    Re: Need help with a proof

    Sorry, I also had to prove the formula (p ↑ q)⇐⇒(p ↓q) so I added that information to the columns. since the columns for (p ↓ q) equal the columns for (p ↑q) that formula is true. Since the columns for (p ↑ q) equal the columns for (p ↓q) that formula is true.

    Thank you for challanging me to finish thinking this problem through. I have suffered a recent brain injury and my thought process suffers from this.
    Last edited by wattskickin; November 26th 2012 at 07:24 PM.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Replies: 15
    Last Post: June 8th 2011, 12:13 PM
  2. Replies: 5
    Last Post: October 19th 2010, 11:50 AM
  3. [SOLVED] direct proof and proof by contradiction
    Posted in the Number Theory Forum
    Replies: 2
    Last Post: February 27th 2010, 11:07 PM
  4. Proof with algebra, and proof by induction (problems)
    Posted in the Discrete Math Forum
    Replies: 8
    Last Post: June 8th 2008, 02:20 PM
  5. proof that the proof that .999_ = 1 is not a proof (version)
    Posted in the Advanced Applied Math Forum
    Replies: 4
    Last Post: April 14th 2008, 05:07 PM

Search Tags


/mathhelpforum @mathhelpforum