Logical Consistency: A set of statements are logically consistent if and only if they can all be true together.
Logically true: a statement is logically true if and only if it cannot be false.
Logically false: a statement is logically false if and only if it cannot be true.
Equivalence: two statments are logically equivalent if and only if they are true and false on all the same conditions.
Slide TEXT
Either I will go to the store or I will not.
People follow him because he is a leader.
Diamonds are valuable because so many people want them.
Slide TEXT
Ch 2: Truth-Functional Propositions
A proposition is truth-functional if and only if...
Slide TEXT
Ch 2: Truth-Functional Propositions
A proposition is truth-functional if and only if its truth-value is determined entirely by the truth-values of the atomic propositions and the connectives that comprise it.
Slide TEXT
A connective is used truth-functionally if and only if it is used to generate a compound sentence from one or more sentences in such a way that the truth-value of the generated compound is wholly determined by the truth-values of those one or more sentences from which the compound is generated, no matter what those truth-values may be.
