Chapter 9.4-10.2 Flashcards
We have learned that connectives are truth-functional, meaning….
The truth or falsity of a compound statement is determined solely by the truth values of its atomic components; for each combination of those truth values , the connectives specify whether the compound statement is true or false
________ determine the logical form of a statement, and we have seen how statements with the same logical form have certain features in common.
Connectives
Connectives determine…
the logical form of a statement, and we have seen how statements with the same logical form have certain features in common.
In a truth table for a compound statement, each row represents a specific combination of truth values for the ______ , and the rows taken together represent _______.
atomic statements;
every possible combination of atomic truth values.
In the statement A ≡ A, the statement has to be _____ by the very nature of it having a biconditional connective (≡), regardless of what statement says.
True
In the statement
The Empire State Building has 97 floors if and only if the Empire State Building has 97 floors.
is true. A statement that has this property is called a ______.
tautology
A tautology is a compound statement that is….
true for every combination of truth values of its atomic components. In the truth table for a tautology, therefore, the column under the main connective will have only T’s, no F’s.
In a truth table for a _____ the column under the main connective will have only T’s, and there are no F’s.
tautology
By the very nature of _______, A and ~A cannot both be true, therefore such a statement contradicts itself. Statement A may be true or it may be false, but A • ~A has to be false.
negation
In the statement:
Vinegar is an acid and vinegar is not an acid
the statement is false. Statements that have this property are called _________.
self-contradictions
In the truth table for a self-contradiction, the column
under the main connective will have only __’s, no __’s.
Only F’s and no T’s
Compound statements that are neither tautologies nor self-contradictions are called ______ statements (or_____).
contingent statements
contingencies
_______ statements are true for some combinations of atomic truth values, false for others.
Contingent
Their truth value, in other words, is contingent on the truth or falsity of their atomic components as well as their logical form, so they are true on some rows of their truth table but false on others.
Truth tables can also reveal certain relationships between compound statements, like equivalence.
Two statements are equivalent when …
they have exactly the same truth values on each row of their respective truth tables (i.e., the same
truth values in the column under their main connectives).
in terms of ________: p ⊃ q is the same as ~p V q because when it is written into a truth value table the main connectives of the two statements have the same exact set of truth values, and thus the above statements are ________.
equivalence;
equivalent