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

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

View Full Document Right Arrow Icon
Background image of page 1

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

View Full DocumentRight Arrow Icon
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)
Background image of page 2
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 ?
Background image of page 3

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

View Full DocumentRight Arrow Icon
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.
Background image of page 4
Under any interpretation, the follow- ing eight conditions hold. If ~X is true, then X is false.
Background image of page 5

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

View Full DocumentRight Arrow Icon
Image of page 6
This is the end of the preview. Sign up to access the rest of the document.

Page1 / 15

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

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

View Full Document Right Arrow Icon
Ask a homework question - tutors are online