SYMBOLIC LOGIC



SYMBOLIC LOGIC

MIDTERM REVIEW

TERMINOLOGY: ARGUMENTS, TRUTH VALUES, VALIDITY, CORRESPONDING CONDITIONAL, CONTINGENT, TAUTOLOGICAL, CONTRADICTORY, IMPLICATION, EQUIVALENCE, COMPOUND SENTENCES, SENTENCE CONNECTIVES, DISJUNCTION, CONJUNCTION, CONDITIONAL, TRUTH TABLE VALIDITY, DEDUCTIVE VALIDITY, RULES OF INFERENCE, RULES OF REPLACEMENT

UNDERSTANDING VALIDITY (TRUTH TABLE AND DEDUCTIVE)

SYMBOLIZING SENTENCES

CONSTRUCTING TRUTH TABLES

TRUTH TABLES: DERIVING TRUTH VALUES OF COMPOUND SENTENCES

TRUTH TABLES: SHOWING THE LOGICAL PROPERTIES OF A SENTENCE

TRUTH TABLES: SHOWING THE RELATIONSHIP BETWEEN SENTENCES (IMPLICATION, EQUIVALENCE, ETC.)

IDENTIFYING DEDUCTION RULES, ANNOTATING DEDUCTIONS

CONSTRUCTING DEDUCTIONS

KNOWING HOW TO START A CONDITIONAL PROOF

CONSTRUCTING A CONDITIONAL PROOF

IDENTIFYING WHICH RULE TO APPLY TO GIVEN PREMISES

KNOWING HOW TO START AN INDIRECT PROOF

GENERAL STRATEGY FOR AN INDIRECT PROOF

................
................

In order to avoid copyright disputes, this page is only a partial summary.

Google Online Preview   Download