Create an account
A sentence P of PL is quantificationally true if and only if P is true on every interpretation
A sentence P of PL is quantificationally false if and only if P is false on every interpretation
A sentence P if PL is quantificationally indeterminate if and only if P is neither quantificationally true nor quantificationally false
Sentences P and Q of are quantificationally equivalent if and only if there is no interpretation on which P and Q have different truth values
A set of sentences of PL is quantificationally consistent if and only if there is at least one interpretation on which all the members of the set are true
An argument of PL is quantificationally valid if and only if there is no interpretation on which every premise is true and the conclusion is false
an operation that takes one or more elements of a set as arguments and returns a single value
A predicate is...
a function that takes one or more objects as the values of its variable and returns a truth-value
A functor is...
a function that takes one or more objects as the values of its variables and returns an object
a set gamma of sentences of PL quantificationally entails a sentence P of PL if and only if there is no interpretation on which all the members of the set are true and P is false
Sentence of PL
A formula of PL is a sentence of PL if and only if no occurrence of a variable is P is free
Open Sentence of PL
A formula of PL is an open sentence of PL if and only if there is at least one occurrence of a variable in P that is free
An occurrence of a variable x in a formula P of PL that is within the scope of the x-quantifier
Scope of a quantifier of PL
The scope of a quantifier in a formula P of PL is the subformula Q of P of which that quantifier is the main logical operator
Atomic Formulas of PL
Every expression of PL that is either a sentence letter of PL or an n-place predicate of PL followed by n individual terms of PL
An interpretation assigns...
a universe of discourse, truth-values to the sentence letters of PL, elements of the universe of discourse to the constants of PL, a set of ordered n-tuples
Please allow access to your computer’s microphone to use Voice Recording.
Having trouble? Click here for help.
We can’t access your microphone!
Click the icon above to update your browser permissions and try again
Reload the page to try again!Reload
Press Cmd-0 to reset your zoom
Press Ctrl-0 to reset your zoom
It looks like your browser might be zoomed in or out. Your browser needs to be zoomed to a normal size to record audio.
Please upgrade Flash or install Chrome
to use Voice Recording.
For more help, see our troubleshooting page.
Your microphone is muted
For help fixing this issue, see this FAQ.
Star this term
You can study starred terms together