# Logic1005 - The tableau method 1 2 3 Interpretation The...

This preview shows pages 1–6. Sign up to view the full content.

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document
A tight schedule This week: HW #4 due Wed., cover the rest of Ch.11 Next week: Ch.12 and first half of Ch.13 (HW #5 due) On Oct. 19th cover the rest of Ch.13 Need to schedule the midterm (2- hour exam) Not on Tuesday and Thursday (conflict with other TR classes)
An interpretation in logic is a consistent truth-value assignment to formulas. Each row in the truth table is one such assignment. p q Formulas with p and q Interpreta- tion 1 T T ? Interpreta- tion 2 T F ? Interpreta- tion 3 F T ? Interpreta- tion 4 F F ?

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document
In propositional logic, the truth values of compound formulas are fixed by those of propositional variables – p, q, r, … . Therefore, an interpretation is a truth- value assignment to propositional vari- ables. With n propositional variables, there are 2n possible interpretations, which are the same as the # of rows in the truth table.
Under any interpretation, the follow- ing eight conditions hold. If ~X is true, then X is false.

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document
This is the end of the preview. Sign up to access the rest of the document.

## This note was uploaded on 02/04/2010 for the course HSS Hss105 taught by Professor Yeelee during the Fall '09 term at Korea Advanced Institute of Science and Technology.

### Page1 / 15

Logic1005 - The tableau method 1 2 3 Interpretation The...

This preview shows document pages 1 - 6. Sign up to view the full document.

View Full Document
Ask a homework question - tutors are online