Lecture 4 (1)

Lecture 4 (1) - Lecture 4 Logic is a Game What is a Logic?...

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
Lecture 4 Logic is a Game
Background image of page 2
What is a Logic? The word Logic has many meanings, e.g. check: http://en.wikipedia.org/wiki/Logic . In our context, a logic is a set of sentences, written in a formal language, and has: A Syntax: Rules for defining legal sentences. A Semantics: Rules for giving meaning to those sentences.
Background image of page 3

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

View Full DocumentRight Arrow Icon
Propositional (Boolean) Logic Syntax: Formed from propositional variables X, Y, Z, etc. using the operations: ¬ A, (A B), (A B). A different notation: A , A+B, AB Semantics: Each propositional variable says something that is true or false about our world. ¬ A means not A. (A B) means A and B. (A B) means A or B (or both).
Background image of page 4
Consider the sentence: A = (( ¬ X Y) ¬ Z) ¬ (( ¬ Y Z) X). Let X and Y be true, and Z be false. Question: Is A true or false? Notes: We build the truth values of the parts of A bottom-up. We can visualize A as a tree or as a Boolean
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 / 11

Lecture 4 (1) - Lecture 4 Logic is a Game What is a Logic?...

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