Thread: logicians, check this out
View Single Post
  #4  
Old 07-05-2009, 02:05 PM
Matt L Matt L is offline
Registered User
  
Join Date: Oct 2005
Posts: 4,263
(a -> b) is equivalent to (~a V b). So (p -> ~p) is equivalent to (~p V ~p) which is simply ~p. Is that correct?
Reply With Quote