Join YourDictionary
Sign up to make the most of YourDictionary
By signing in, you agree to our Terms and Conditions and Privacy Policy.
Success!
We'll see you in your inbox soon.
The clauses , and are examples of definite clauses. At least in classical logic these would be equivalent to the formulae , and , respectively.