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.
 Fall '08
 FORTE

Click to edit the document details