October 26th, 2013, 08:45 PM  #1 
Newbie Joined: Oct 2013 Posts: 6 Thanks: 0  Predicate Logic
I am new to this topic. Can someone please be kind enough to: Construct a Predicate Logic proof for the following statement: "No athletes are bookworms. Carol is a bookworm. Therefore Carol is not an athlete" Thank you!!! 

Tags 
logic, predicate 
Thread Tools  
Display Modes  

Similar Threads  
Thread  Thread Starter  Forum  Replies  Last Post 
predicate logic  skaur  Applied Math  1  January 6th, 2014 06:51 PM 
Predicate Logic  pavankumar.thati  Applied Math  0  April 16th, 2013 10:26 AM 
Resolution in Predicate logic  Leila  Applied Math  9  January 4th, 2011 06:54 AM 
Predicate Logic translation. >_<  pinkcheese  Applied Math  0  November 22nd, 2010 09:40 PM 
Sets and Predicate logic  Zhai  Applied Math  7  February 22nd, 2010 07:32 PM 