6.2 truth functions

6.2 Truth Functions
Download Document
Showing pages : 1 - 5 of 20
This preview has blurred sections. Sign up to view the full version! View Full Document
Propositional Logic Propositional Logic Truth Functions
Background image of page 1
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
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.