lecture19 - Lecture 19 Symbols of Propositional Logic...

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

Lecture 19 Symbols of Propositional Logic Patrick Maher Philosophy 102 Spring 2009

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

View Full Document
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 ﬁrst logician: A
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

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

View Full Document
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
Disjunction The disjunction of two statements asserts that one or the other statement is true. Disjunction is symbolized by

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 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
Ask a homework question - tutors are online