# 19 - Propositional Logic 10/19 I Introducing Propositional...

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

Propositional Logic 10/19 I. Introducing Propositional Logic a. Propositional Logic is a branch of formal logic. i. What makes it formal is that is abstracts from the content of propositions to study their form ii. A form of a proposition is a general pattern that it shares with other propositions iii. To identify the prop form of props, logicians have created a set of symbol to represent the form of props. iv. This set of symbols is the ‘language of propositional logic’ II. On way to Identify a Form of a Proposition a. In propositional logic, we use lover case letter as variable for propositions. b. One way of identifying the form of a proposition is to replace the entire proposition with a single variable (p). c. Every conceivable proposition has the propositional form p d. But we also want a way of representing the fact that the props in the left hand column below share a form that the columns in the right hand column do not, and vice versa. III. Propositional Connectives

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 03/03/2011 for the course PHIL 100 taught by Professor Forte during the Fall '08 term at Bridgewater State University.

### Page1 / 2

19 - Propositional Logic 10/19 I Introducing Propositional...

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

View Full Document
Ask a homework question - tutors are online