Two Plus Two Publishing LLC Two Plus Two Publishing LLC
 

Go Back   Two Plus Two Poker Forums > > >

Student Life Discussion on student issues and life, both in and out of the classroom.

 
 
Thread Tools Display Modes
Old 04-29-2009, 01:59 AM   #1
adf4538
centurion
 
Join Date: Oct 2008
Posts: 105
Logic Proof - Need Help

Can someone help me with this monadic predicate logic proof:

1) ~(Ex)(Dx * ~Cx) > ~(Ex)((Nx*Tx) * ~Sx) pr
2) (Ex)(Dx*Cx) > ~(Ex)(Dx*~(Cx*Ux)) pr
3) ~(Ex)(Gx*~Dx) pr
4) ~(Ex)(Ax* ~Nx) pr

/ .. (concl.) (Ex)(Nx=~Dx) > ((x)(Tx*Ax) >((Ex)(Gx*Cx) >(x)Sx))

where (Ex) is the existential quantifier, * is a conjunction, > is a horseshoe and = is a biconditional
adf4538 is offline  
Old 04-29-2009, 02:13 AM   #2
schundler
Pooh-Bah
 
Join Date: Mar 2006
Posts: 3,640
Re: Logic Proof - Need Help

it frustrates me that I forget how to do this, let me think for a second
schundler is offline  
Old 04-29-2009, 02:17 AM   #3
schundler
Pooh-Bah
 
Join Date: Mar 2006
Posts: 3,640
Re: Logic Proof - Need Help

nah I can barely remember the rules, sry
schundler is offline  

 
      

Thread Tools
Display Modes

Posting Rules
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts

BB code is On
Smilies are On
[IMG] code is On
HTML code is Off


Forum Jump


All times are GMT -4. The time now is 06:53 AM.


Powered by vBulletin®
Copyright ©2000 - 2021, Jelsoft Enterprises Ltd.
Copyright © 2008-2020, Two Plus Two Interactive