Thread: Math: Formal proof
View Single Post
Old 11-29-2005, 12:01 AM  
mrthumbs
salad tossing sig guy
 
mrthumbs's Avatar
 
Join Date: Apr 2002
Location: mrthumbs*gmail.com
Posts: 11,702
(p v q) -> r equals (~s v t)[p ^ s]3

.: this is just a formula terminator so not relevant
mrthumbs is offline   Share thread on Digg Share thread on Twitter Share thread on Reddit Share thread on Facebook Reply With Quote