Upcoming SlideShare
×

Like this presentation? Why not share!

# 6.3 Truth Tables For Propositions

## on Jun 05, 2009

• 6,722 views

Course lecture I developed over section 6.3 of Patrick Hurley\'s "A Concise Introduction to Logic".

Course lecture I developed over section 6.3 of Patrick Hurley\'s "A Concise Introduction to Logic".

### Views

Total Views
6,722
Views on SlideShare
6,720
Embed Views
2

Likes
2
0
0

### Report content

• Comment goes here.
Are you sure you want to

## 6.3 Truth Tables For PropositionsPresentation Transcript

• 6.3 Truth Tables for Propositions
• Truth tables
• These are ways of labeling every possible truth value for each symbol and variable in a proposition.
• To figure out the number of lines, use the following equation:
• L = 2^n
• Or more simply put, start with 2 lines and double that number for every “unique” variable in a proposition.
• One variable (A) = 2
• Two variables (A, B) = 4
• Three variables (A, B, C) = 8
• Note: There are two ways of doing truth tables so I’ll be showing you each one.
• Making truth tables
• Now let’s apply these rules in practice.
• Example:
• There are two unique variables, A and B, so this table is four lines long.
• For each unique variable you encounter after the first, divide the number of lines in half and use that as a measurement for how often you should alternate T’s and F’s. We have two lines so half of that is one, so there will be one T followed by one F for each spot under B.
F F F T T F T T T F F F F F F T T T T T T F T T B > B) ~ v (A
• Alternate method
• There is a different method for doing truth tables; it uses the same rules but in a different way.
• Write out the proposition but make two columns to the left: one for each variable you have. Follow the same rules for figuring out the number of lines and which value goes on each one, then just plug them into the columns and use the rules for the symbols to decide which ones are true and which are false.
T T F F F F T F F T T F F T T T F T T T T T T T B > A)] > (B · B) V [(A B A
• Ways to classify propositions
• There are a number of different qualities a proposition can have that we can use to classify them.
• Tautologous (logically true)
• The truth values in the column under the main operator are all true.
• Truth values under the main operator are all false.
• Contingent
• Truth values under the main operator have at least one truth value that is true and at least one that is false.
• Ways to compare propositions
• These definitions are used in comparing two separate propositions and showing the relationship between them.
• Logically equivalent
• The truth values under the main operator are the same in each proposition.