Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
CS109B Notes for LecturePredicates Essentially Boolean-valued functions with arguments of arbitrary type. But predicates are uninterpreted; a predicate named , for example, need not givethe value TRUE.
Add to Reading List
Document Date: 2008-09-19 00:59:19
Open Document
File Size: 55,83 KB
Share Result on Facebook
IndustryTerm
contrapositive law /
transitive law /
/
ProgrammingLanguage
ML /
/
SocialTag
Predicate logic
First-order logic
Free variables and bound variables
Function
Universal quantification
Predicate
FO
Propositional variable
Independence
Logic