bn:00070530n
Noun Concept
Categories: Mathematical logic stubs, Logical expressions
EN
sentential function
EN
Formal expression containing variables; becomes a sentence when variables are replaced by constants WordNet 3.0
Definitions
Relations
Sources
EN
Formal expression containing variables; becomes a sentence when variables are replaced by constants WordNet 3.0 & Open English WordNet
IS A
WordNet 3.0 & Open English WordNet
Wikipedia Redirections