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

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

View Full Document Right Arrow Icon
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
Background image of page 1

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

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

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