Two Plus Two Poker Forums Logic Proof - Need Help
 User Name Remember Me? Password
 Register FAQ Search Today's Posts Mark Forums Read TwoPlusTwo.com

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

 Thread Tools Display Modes
 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
 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
 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

 Thread Tools Display Modes Linear Mode

 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 Rules
 Forum Jump User Control Panel Private Messages Subscriptions Who's Online Search Forums Forums Home Poker News & Discussion     News, Views, and Gossip     Poker Blogs and Goals     Poker Beats, Brags, and Variance     YouTube Podcasts & Twitch Streams     General Poker Discussion Online Poker Sites & Marketplaces     Online Poker Sites         Discussion of Poker Sites         Global Poker         BetOnline.ag     Coaches & Schools         Seeking Coaching         Study Groups         General Coaching & Schools Discussion     Staking         Offering Stakes         Seeking Stakes         Selling Shares - Live         Selling Shares - Online         Staking Rails     Poker Software         General Software Discussion     General Marketplace     Transaction Feedback & Disputes Live Poker     Las Vegas Lifestyle     Venues & Communities     Tournament Events         WPT.com     Home Poker     Casino & Cardroom Poker Poker Strategy     Live No-Limit Hold’em Cash     Online No-Limit Hold’em Cash     No Limit Tournaments         Heads Up SNG and Spin and Gos     Mid-High Stakes MTT     Omaha         Omaha/8     Other Poker Games         Mid-High Stakes Limit         Micro-Small Stakes Limit         Stud     Psychology     Books and Publications     Poker Theory & GTO     Beginners and General Questions 2+2 Communities     Other Other Topics         OOTV     The Lounge: Discussion+Review     BBV4Life         omg omg omg     House of Blogs Sports and Games     Sporting Events         Single-Team Season Threads         Fantasy Sports     Sports Betting     Fantasy Sports         Sporting Events     Wrestling     Golf     Chess and Other Board Games         Backgammon Forum hosted by Bill Robertie.     Video Games         League of Legends         Hearthstone     Puzzles and Other Games Other Topics     Politics and Society     Business, Finance, and Investing     History     Health and Fitness     Travel     Science, Math, and Philosophy     Religion, God, and Theology     Laughs or Links!     Probability     Other Gambling Games     Computer and Technical Help Two Plus Two     About the Forums

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

 Contact Us - Two Plus Two Publishing LLC - Privacy Statement - Top