Friday, 5 June 2009

'Sentence'

"a sentence is a 'formula' in which every occurrence of a variabl (if any) is within the scope of a quantifier for that variable."

(Introduction to Logic Programming (page 11), by Chrstopher John Hogger)
Posted by at
Labels:

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)