6.2 Truth Functions

6.2 Truth Functions - Propositional Logic Truth Functions...

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

View Full Document Right Arrow Icon
Propositional Logic Propositional Logic Truth Functions
Background image of page 1

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

View Full DocumentRight Arrow Icon
Introduction 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.
Background image of page 2
Truth-Functional Definitions of Truth-Functional 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 lower-case letters p, q, r, and s. These variables stand for any possible statement, say A or (A B).
Background image of page 3

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

View Full DocumentRight Arrow Icon
Statement Forms Statement Forms Statement variables are used to construct
Background image of page 4
Image of page 5
This is the end of the preview. Sign up to access the rest of the document.

Page1 / 20

6.2 Truth Functions - Propositional Logic Truth Functions...

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

View Full Document Right Arrow Icon
Ask a homework question - tutors are online