Chap 10 Truth-funtional logic Flashcards
Compound Sentence
A sentence that contains one or more sentences and one or more operators.
Component (or embedded) sentence
A sentence that is part of a compound sentence.
Dyadic operator
A connective that joins together two sentences to form a compound sentence.
Exclusive or
The or that asserts that one or the other but not both disjuncts are true.
Function
a rule that relates one set of values to another set of values.
Inclusive or
The or that asserts that one or the other or both disjuncts are true.
Monadic operator
a connective that is joined to just one sentences to form a compound sentence.
Simple sentence
A sentence that does not contain one or more shorter sentences and does not contain one or more sentence operators.
Truth-function
A rule that relates one set of truth-values to another set of truth values.
Truth-functional compound sentence
A compound sentence with the following feature: the truth-value of the compound as a whole is a function of the truth-values of the components.
Truth-functional operator
An operator that forms a truth-functional compound sentence when attached to one or more component sentences.