Review l.jpg
This presentation is the property of its rightful owner.
Sponsored Links
1 / 21

Review PowerPoint PPT Presentation

Review We can use truth tables to determine under what conditions a compound statement is true or false. For example, consider the claim “If Mark and Sarah go to Florida for Spring break, then Kelly won’t” Truth Table (M * S) ~K T T T F FT T T T T TF T F F T FT T F F T TF

Download Presentation

Review

An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -

Presentation Transcript


Review l.jpg

Review

  • We can use truth tables to determine under what conditions a compound statement is true or false.

    For example, consider the claim “If Mark and Sarah go to Florida for Spring break, then Kelly won’t”


Truth table l.jpg

Truth Table

(M * S)~K

T T T F FT

T T T T TF

T F F T FT

T F F T TF

F F T T FT

F F T T TF

F F F T FT

F F F T TF


Classifying statements l.jpg

Classifying Statements

  • A compound statement is logically true (tautologous) if it is true regardless of the truth values of the basic statements

    Example: If Justin and Steve go to the bar, then Justin goes to the bar


Slide4 l.jpg

See?

(J * S)J

T T T T T

T F F T T

F F T T F

F F F T F


Slide5 l.jpg

More

  • A compound statement is logically false (self-contradictory) if it is false regardless of the truth values of the basic statements

    Example: “Mary and Lucy went to the store, but Lucy didn’t”


Slide6 l.jpg

See?

(M * L) * ~L

T T T F FT

T F F F TF

F F T F FT

F F F F TF


More more l.jpg

More More

  • A compound statement is contingent if it is true under some assignments of truth values to the basic statements, false under others

    Example: “If Illinois beats Michigan, then either Illinois goes to the Rose Bowl or Ohio State does”


Slide8 l.jpg

See?

I(R v O)

TT T T T

TT T T F

TT F T T

TF F F F

FT T T T

FT T T F

FT F T T

FT T T F


Comparing statements l.jpg

Comparing Statements

  • Two statements are logically equivalent if they have the same truth value on every row of the truth table

    Example: “Either Mary doesn’t go to France or Joe doesn’t” and “It’s not the case that both Mary and Joe go to France”


Slide10 l.jpg

See?

~M v ~J~(M * J)

FT F FT F T T T

FT T TF T T F F

TF T FT T F F T

TF T TF T F F F


More more more l.jpg

More More More

Two statements are contradictory if they have opposite truth values on every row of the truth table

Example: “If Kwame goes to Yale, then Kwame is smart” and “Kwame goes to Yale but he is not smart”


Slide12 l.jpg

See?

YSY * ~S

T T TT F FT

T F F T T TF

F T T F F FT

F T F F F TF


Ever more l.jpg

Ever More

  • Two or more statements are consistent if there is at least one row on the truth table where all the statements are true

    Example: “If Yuri goes to the ball, then Jin goes,” “Jin goes to the ball and Michelle does not,” and “Yuri goes to the ball or Michelle goes”


Slide14 l.jpg

See?

YJJ * ~MY v M

T TTT FFT T T T

T TT T TTF T T F


Slide15 l.jpg

More!

  • Two or more statements are inconsistent if there are no rows on the truth table where all the statements are true

    Example: “Azar and Sam go to the party,” “Sam and Maria go to the party,” Azar goes to the party, but Maria does not”


Slide16 l.jpg

See?

A * SS * MA * ~M

T T TT T TT F FT

T T TT F F T T TF

T F FF F TT F FT

T F FF F FT T TF

F F TT T TF F FT

F F T T F FF F TF

F F FF F TF F FT

F F F F F FF F TF


Slide17 l.jpg

Note

  • All tautologies are logically equivalent to each other (they always have the same truth value, namely, true), and are consistent

  • All self-contradictions are logically equivalent to each other (they always have the same truth value, namely, false), and are inconsistent

  • All pairs of claims that are contradictory are inconsistent (because they always have differing truth values)

  • Some, but not all, consistent claims are logically equivalent (for example, tautologies)

  • Some, but not all, inconsistent claims are logically equivalent (for example, self-contradictions)


Testing validity with truth tables l.jpg

Testing Validity with Truth Tables

  • An argument is valid if there are NO rows on the truth table for the argument where the premises are true and the conclusion false. Otherwise, the argument is invalid

    Example of validity: “Bob is going to Taco Bell for lunch, and you know if he goes there, he will have nachos. So Bob will have nachos”


Slide19 l.jpg

See?

B /BN //N

TT T TT

TT F FF

FF T TT

F F T FF


Example of invalidity l.jpg

Example of Invalidity

“If Senator Jones is a republican, then he will vote for an increase in spending in the war in Iraq. But he is not a republican. Therefore, he won’t vote for an increase in spending in the war in Iraq”


Slide21 l.jpg

See?

JW /~J //~W

T T TFTFT

T F FFTTF

F T TTFFT

F T FTFTF


  • Login