C++
10-28-2009, 08:06 PM
hey every one i'm new here i have visit this forum many times but today i just register i have a big big problem >__< i try to solve it but i can't its about the The Predicate Calculus this is its rule Every atomic sentence is a sentence If s is a sentence, then so is its negation, Øs.