Logical Equivalences Flashcards
A sequence of statements aimed at demonstrating the truth of an assertion.
Argument
statement/s at the beginning of the argument
Premises
statement at the end of the argument
Conclusion
a sentence that is true or false but not both.
Statement/Proposition
statements joined by logical operators
Compound statement
the disjunction is true when the statements involve do not have the same truth value.
Exclusive or (⨁)
a statement form that is always true regardless of the truth values of the individual statements substituted for its statement variables.
Tautology
a statement form that is always false regardless of the truth values of the individual
statements substituted for its statement variables.
Contradiction
a statement that is neither a tautology nor a contradiction.
Contingency