Quantificational Definitions for PL Flashcards
Quantificational Truth
A sentence P of Pl is quantificationally true if and only if P is true on every interpretation.
Quantificational Falsity
A sentence P of PL is quantificationally false if and only if P is false on every interpretation
Quantificational Indeterminacy
A sentence P of PL is quantificationally indeterminate if and only if P is neither quantificationally true nor quantificationally false
Quantificational Equivalence
Sentences P and Qu fo PL are quantificationally equivalent if and only if there is no interpretation on which P and Q have different truth-values.
Quantificational Consistency
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. A set of sentences of PL is quantificationally inconsistent if and only if the set is not quantificational consistent.
Quantificational Entailment
A set (GAMMA) of sentences of PL quantificationally entails a sentence P of PL if and only if there is no interpretation on which ever member of GAMMA is true and P is false.
Quantificational Validity
An argument of PL is quantificationally valid if and only if there is no interpretation on which all the premises are true and the conclusion is false. An argument of PL is quantificationally invade if and only if the argument is not quantificationally valid.