lecture19 - Lecture 19 Symbols of Propositional Logic...

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

View Full Document Right Arrow Icon
Lecture 19 Symbols of Propositional Logic Patrick Maher Philosophy 102 Spring 2009
Background image of page 1

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

View Full DocumentRight Arrow Icon
Simple statements A statement is a sentence that can be true or false. A simple statement is a statement that does not have another statement as a component. In propositional logic, simple statements are represented by any convenient upper-case letter. Examples Kangaroos are marsupials: K Aristotle was the first logician: A
Background image of page 2
Negation The negation of a statement asserts that the statement is false. Negation is symbolized by (tilde). Examples Plato was not a logician: P It is not the case that Plato was a logician: P It is false that Plato was a logician: P
Background image of page 3

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

View Full DocumentRight Arrow Icon
Conjunction The conjunction of two statements asserts that both statements are true. Conjunction is symbolized by · (dot). Examples Plato was a philosopher and Euclid was a mathematician: P · E Plato was a philosopher but Euclid was a mathematician: P · E Plato was a philosopher; however, Euclid was a mathematician: P · E Aristotle and Boole were logicians: A · B
Background image of page 4
Disjunction The disjunction of two statements asserts that one or the other statement is true. Disjunction is symbolized by
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.

This note was uploaded on 04/13/2009 for the course PHIL 102 taught by Professor Weinberg during the Spring '08 term at University of Illinois at Urbana–Champaign.

Page1 / 14

lecture19 - Lecture 19 Symbols of Propositional 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