View Single Post
  #29  
Old 09-06-2010, 11:43 AM
TheDon's Avatar
TheDon TheDon is offline
Ghost of Diesels Past
 
Join Date: Oct 2005
Posts: 13,285
Quote:
Originally Posted by Kuan View Post
Is that the name of the rule in the book?
well there is an example (#3 pg 23) showing p->q and ~p v q are logically equivalent
Reply With Quote