This preview shows pages 1–5. Sign up to view the full content.
Propositional Logic
Propositional Logic
Truth Functions
This preview has intentionally blurred sections. Sign up to view the full version.
View Full DocumentIntroduction
Introduction
In 6.1 we symbolized simple statements and
applied operators to natural language in
order to show the logical form of
statements. In this section we will learn how
to assess the truth of logical forms by
defining the operators that compose them.
Last, we will reveal various problems with
our symbolic language in capturing the
meaning of natural language.
TruthFunctional Definitions of
TruthFunctional Definitions of
the Logical Operators
the Logical Operators
Logical operators are functional in that the truth value of
a compound proposition is determined by the truth value
of its components in relation to the definition of the
operator.
The definitions of the logical operators are presented in
terms of statement variables, such as the lowercase
letters p, q, r, and s.
These variables stand for any
possible statement, say A or
∼
(A
•
B).
This preview has intentionally blurred sections. Sign up to view the full version.
View Full DocumentStatement Forms
Statement Forms
Statement variables are used to construct
This is the end of the preview. Sign up to
access the rest of the document.
 Fall '06
 ?

Click to edit the document details