Exam 2 Study - Truth Tables

Atomic statement

one that does not have any other statement as a component

Compound statement

a statement formed by joining two or more atomic statements

Scheme of abbreviation

what results from assigning each atomic statement a distinct capital letter

Main logical operator

in a compound statement is the one that governs the largest component or components of a compound statement

Minor logical operator

governs smaller components

Well-formed Formula

a grammatically correct symbolic expression

Statement variable

a lowercase letter that serves as a placeholder for any statement

truth-functional

its truth value depends upon the truth values of the atomic statements that compose it

Tautology

TRUE on every assignment of truth values to its atomic parts

Contradiction

FALSE on every assignment of truth values to its atomic parts

Contingent

TRUE on some assignments and FALSE on others

Logically Equivalent

the statements AGREE in truth value on EVERY assignment of truth value to their atomic statements

Logically Contradictory

the statements DISAGREE in truth value on EVERY assignment of truth value to their atomic statements

Logically Consistent

both (all) statements are TRUE on some assignment of truth values to their atomic parts

Logically inconsistent

both (all) statements are NEVER TRUE on any assignment of truth values to their atomic parts