Introductory logic phi 120
This presentation is the property of its rightful owner.
Sponsored Links
1 / 66

Introductory Logic PHI 120 PowerPoint PPT Presentation


  • 102 Views
  • Uploaded on
  • Presentation posted in: General

Presentation: "Truth Tables – Validity vs. Soundness". Introductory Logic PHI 120. This PowerPoint Presentation contains a large number of slides, a good many of which are nearly identical. If you print this Presentation, I recommend six or nine slides per page. Homework.

Download Presentation

Introductory Logic PHI 120

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


Presentation: "Truth Tables – Validity vs. Soundness"

Introductory LogicPHI 120

This PowerPoint Presentation contains a large number of slides, a good many of which are nearly identical. If you print this Presentation, I recommend six or nine slides per page.


Homework

  • Study Allen/Hand Logic Primer

    • Sec. 1.1, p. 2: “soundness”

    • Sec. 2.2, p. 45, “incompatible premises”

  • Ex. 2.2: i-xii


  • Validity: An argument is valid if and only if:

  • if all of its premises are true

  • its conclusion is true.

  • Corollary: It is impossible for a valid argument to have:

  • all true premises

  • false conclusion

P & Q, ~P ⊢ R

Validity vs. soundness


Validity vs. Soundness

Valid Argument

  • No invalidating assignment

    Criteria of a Sound Argument

  • argument is valid and

  • all premises are True.

Valid but Unsound

  • no invalidating assignment

  • not all premises true

Invalidating Assignment

(1) conclusion is False

(2) all premises are True


Incompatible Premises


Incompatible Premises

Atomic statements MUST be written in alphabetical order


Incompatible Premises


Incompatible Premises


Incompatible Premises


Incompatible Premises


Incompatible Premises


Incompatible Premises


Incompatible Premises


Incompatible Premises


Incompatible Premises


Incompatible Premises


Incompatible Premises


Incompatible Premises


Incompatible Premises


Incompatible Premises


Incompatible Premises


Incompatible Premises

Testing for Validity:

Find the Invalidating Assignment


Incompatible Premises


Incompatible Premises


Incompatible Premises


Incompatible Premises


Incompatible Premises


Incompatible Premises

No Invalidating Assignment

So the argument is valid


p. 45

Incompatible Premises


Validity vs. Soundness

Valid Argument

  • Impossible for conclusion to be False and all premises True

    Sound Argument

  • An argument is sound if and only if it is valid and all its premises are true.

Valid but Unsound

  • No invalidating assignment

  • Not all premises true


Determine truth-values of:

  • atomic statements

  • negations of atomics

  • inside parentheses

  • negation of the parentheses

  • any remaining connectives

Truth Tables

Sequents


Truth TablesDirections: (i) Construct a Truth Table in the grids provided. (ii) Circle the governing connective in each sentence. (iii) If the sequent is invalid, circle the invalidating assignment and check the line which reads INVALID. If the sequent is valid, check the line which reads VALID. (iv) In the space provided, identify what kind of truth value the conclusion has: Tautology, Inconsistency, or Contingency.

~P, R v ~P <-> P v Q ⊢ ~Q

First, identify the governing connectives.


Truth TablesDirections: (i) Construct a Truth Table in the grids provided. (ii) Circle the governing connective in each sentence. (iii) If the sequent is invalid, circle the invalidating assignment and check the line which reads INVALID. If the sequent is valid, check the line which reads VALID. (iv) In the space provided, identify what kind of truth value the conclusion has: Tautology, Inconsistency, or Contingency.

~P, R v ~P <-> P v Q ⊢ ~Q

First, identify the governing connectives.


Truth TablesDirections: (i) Construct a Truth Table in the grids provided. (ii) Circle the governing connective in each sentence. (iii) If the sequent is invalid, circle the invalidating assignment and check the line which reads INVALID. If the sequent is valid, check the line which reads VALID. (iv) In the space provided, identify what kind of truth value the conclusion has: Tautology, Inconsistency, or Contingency.

~P, R v ~P <-> P v Q ⊢ ~Q

First, identify the governing connectives.


Truth TablesDirections: (i) Construct a Truth Table in the grids provided. (ii) Circle the governing connective in each sentence. (iii) If the sequent is invalid, circle the invalidating assignment and check the line which reads INVALID. If the sequent is valid, check the line which reads VALID. (iv) In the space provided, identify what kind of truth value the conclusion has: Tautology, Inconsistency, or Contingency.

~P, (R v ~P)<->(P v Q)⊢ ~Q

The second premise is a complex binary: Φ <-> Ψ


Truth TablesDirections: (i) Construct a Truth Table in the grids provided. (ii) Circle the governing connective in each sentence. (iii) If the sequent is invalid, circle the invalidating assignment and check the line which reads INVALID. If the sequent is valid, check the line which reads VALID. (iv) In the space provided, identify what kind of truth value the conclusion has: Tautology, Inconsistency, or Contingency.

~P, R v ~P <-> P v Q ⊢ ~Q

The conclusion is a negation.


Truth Tables – Sequents

construct the truth table


~P, R v ~P <-> P v Q ⊢ ~Q

Determine the number of rows for the sequent

23 simple statements = 8 rows


Truth TablesDirections: (i) Construct a Truth Table in the grids provided. (ii) Circle the governing connective in each sentence. (iii) If the sequent is invalid, circle the invalidating assignment and check the line which reads INVALID. If the sequent is valid, check the line which reads VALID. (iv) In the space provided, identify what kind of truth value the conclusion has: Tautology, Inconsistency, or Contingency.

_ __

Valid

____

Invalid


Truth TablesDirections: (i) Construct a Truth Table in the grids provided. (ii) Circle the governing connective in each sentence. (iii) If the sequent is invalid, circle the invalidating assignment and check the line which reads INVALID. If the sequent is valid, check the line which reads VALID. (iv) In the space provided, identify what kind of truth value the conclusion has: Tautology, Inconsistency, or Contingency.

_ __

Valid

____

Invalid


Truth TablesDirections: (i) Construct a Truth Table in the grids provided. (ii) Circle the governing connective in each sentence. (iii) If the sequent is invalid, circle the invalidating assignment and check the line which reads INVALID. If the sequent is valid, check the line which reads VALID. (iv) In the space provided, identify what kind of truth value the conclusion has: Tautology, Inconsistency, or Contingency.

_ __

Valid

____

Invalid

Alphabetical Sequence!


Truth TablesDirections: (i) Construct a Truth Table in the grids provided. (ii) Circle the governing connective in each sentence. (iii) If the sequent is invalid, circle the invalidating assignment and check the line which reads INVALID. If the sequent is valid, check the line which reads VALID. (iv) In the space provided, identify what kind of truth value the conclusion has: Tautology, Inconsistency, or Contingency.

_ __

Valid

____

Invalid


Truth TablesDirections: (i) Construct a Truth Table in the grids provided. (ii) Circle the governing connective in each sentence. (iii) If the sequent is invalid, circle the invalidating assignment and check the line which reads INVALID. If the sequent is valid, check the line which reads VALID. (iv) In the space provided, identify what kind of truth value the conclusion has: Tautology, Inconsistency, or Contingency.

_ __

Valid

____

Invalid


Truth TablesDirections: (i) Construct a Truth Table in the grids provided. (ii) Circle the governing connective in each sentence. (iii) If the sequent is invalid, circle the invalidating assignment and check the line which reads INVALID. If the sequent is valid, check the line which reads VALID. (iv) In the space provided, identify what kind of truth value the conclusion has: Tautology, Inconsistency, or Contingency.

_ __

Valid

____

Invalid


Truth TablesDirections: (i) Construct a Truth Table in the grids provided. (ii) Circle the governing connective in each sentence. (iii) If the sequent is invalid, circle the invalidating assignment and check the line which reads INVALID. If the sequent is valid, check the line which reads VALID. (iv) In the space provided, identify what kind of truth value the conclusion has: Tautology, Inconsistency, or Contingency.

_ __

Valid

____

Invalid


Truth TablesDirections: (i) Construct a Truth Table in the grids provided. (ii) Circle the governing connective in each sentence. (iii) If the sequent is invalid, circle the invalidating assignment and check the line which reads INVALID. If the sequent is valid, check the line which reads VALID. (iv) In the space provided, identify what kind of truth value the conclusion has: Tautology, Inconsistency, or Contingency.

_ __

Valid

____

Invalid


Truth TablesDirections: (i) Construct a Truth Table in the grids provided. (ii) Circle the governing connective in each sentence. (iii) If the sequent is invalid, circle the invalidating assignment and check the line which reads INVALID. If the sequent is valid, check the line which reads VALID. (iv) In the space provided, identify what kind of truth value the conclusion has: Tautology, Inconsistency, or Contingency.

_ __

Valid

____

Invalid


Truth TablesDirections: (i) Construct a Truth Table in the grids provided. (ii) Circle the governing connective in each sentence. (iii) If the sequent is invalid, circle the invalidating assignment and check the line which reads INVALID. If the sequent is valid, check the line which reads VALID. (iv) In the space provided, identify what kind of truth value the conclusion has: Tautology, Inconsistency, or Contingency.

(R v ~P)<->(P v Q)

_ __

Valid

____

Invalid


Truth TablesDirections: (i) Construct a Truth Table in the grids provided. (ii) Circle the governing connective in each sentence. (iii) If the sequent is invalid, circle the invalidating assignment and check the line which reads INVALID. If the sequent is valid, check the line which reads VALID. (iv) In the space provided, identify what kind of truth value the conclusion has: Tautology, Inconsistency, or Contingency.

(R v ~P)<->(P v Q)

_ __

Valid

____

Invalid


Truth TablesDirections: (i) Construct a Truth Table in the grids provided. (ii) Circle the governing connective in each sentence. (iii) If the sequent is invalid, circle the invalidating assignment and check the line which reads INVALID. If the sequent is valid, check the line which reads VALID. (iv) In the space provided, identify what kind of truth value the conclusion has: Tautology, Inconsistency, or Contingency.

_ __

Valid

____

Invalid


Truth TablesDirections: (i) Construct a Truth Table in the grids provided. (ii) Circle the governing connective in each sentence. (iii) If the sequent is invalid, circle the invalidating assignment and check the line which reads INVALID. If the sequent is valid, check the line which reads VALID. (iv) In the space provided, identify what kind of truth value the conclusion has: Tautology, Inconsistency, or Contingency.

_ __

Valid

____

Invalid


Truth TablesDirections: (i) Construct a Truth Table in the grids provided. (ii) Circle the governing connective in each sentence. (iii) If the sequent is invalid, circle the invalidating assignment and check the line which reads INVALID. If the sequent is valid, check the line which reads VALID. (iv) In the space provided, identify what kind of truth value the conclusion has: Tautology, Inconsistency, or Contingency.

_ __

Valid

____

Invalid


Truth TablesDirections: (i) Construct a Truth Table in the grids provided. (ii) Circle the governing connective in each sentence. (iii) If the sequent is invalid, circle the invalidating assignment and check the line which reads INVALID. If the sequent is valid, check the line which reads VALID. (iv) In the space provided, identify what kind of truth value the conclusion has: Tautology, Inconsistency, or Contingency.

_ __

Valid

____

Invalid


Truth TablesDirections: (i) Construct a Truth Table in the grids provided. (ii) Circle the governing connective in each sentence. (iii) If the sequent is invalid, circle the invalidating assignment and check the line which reads INVALID. If the sequent is valid, check the line which reads VALID. (iv) In the space provided, identify what kind of truth value the conclusion has: Tautology, Inconsistency, or Contingency.

_ __

Valid

____

Invalid


Truth TablesDirections: (i) Construct a Truth Table in the grids provided. (ii) Circle the governing connective in each sentence. (iii) If the sequent is invalid, circle the invalidating assignment and check the line which reads INVALID. If the sequent is valid, check the line which reads VALID. (iv) In the space provided, identify what kind of truth value the conclusion has: Tautology, Inconsistency, or Contingency.

_ __

Valid

____

Invalid


Truth TablesDirections: (i) Construct a Truth Table in the grids provided. (ii) Circle the governing connective in each sentence. (iii) If the sequent is invalid, circle the invalidating assignment and check the line which reads INVALID. If the sequent is valid, check the line which reads VALID. (iv) In the space provided, identify what kind of truth value the conclusion has: Tautology, Inconsistency, or Contingency.

_ __

Valid

____

Invalid


Truth TablesDirections: (i) Construct a Truth Table in the grids provided. (ii) Circle the governing connective in each sentence. (iii) If the sequent is invalid, circle the invalidating assignment and check the line which reads INVALID. If the sequent is valid, check the line which reads VALID. (iv) In the space provided, identify what kind of truth value the conclusion has: Tautology, Inconsistency, or Contingency.

_ __

Valid

____

Invalid


Truth TablesDirections: (i) Construct a Truth Table in the grids provided. (ii) Circle the governing connective in each sentence. (iii) If the sequent is invalid, circle the invalidating assignment and check the line which reads INVALID. If the sequent is valid, check the line which reads VALID. (iv) In the space provided, identify what kind of truth value the conclusion has: Tautology, Inconsistency, or Contingency.

_ __

Valid

____

Invalid

Testing for Validity:

Find the Invalidating Assignment


Truth TablesDirections: (i) Construct a Truth Table in the grids provided. (ii) Circle the governing connective in each sentence. (iii) If the sequent is invalid, circle the invalidating assignment and check the line which reads INVALID. If the sequent is valid, check the line which reads VALID. (iv) In the space provided, identify what kind of truth value the conclusion has: Tautology, Inconsistency, or Contingency.

_ __

Valid

____

Invalid


Truth TablesDirections: (i) Construct a Truth Table in the grids provided. (ii) Circle the governing connective in each sentence. (iii) If the sequent is invalid, circle the invalidating assignment and check the line which reads INVALID. If the sequent is valid, check the line which reads VALID. (iv) In the space provided, identify what kind of truth value the conclusion has: Tautology, Inconsistency, or Contingency.

_ __

Valid

____

Invalid


Truth TablesDirections: (i) Construct a Truth Table in the grids provided. (ii) Circle the governing connective in each sentence. (iii) If the sequent is invalid, circle the invalidating assignment and check the line which reads INVALID. If the sequent is valid, check the line which reads VALID. (iv) In the space provided, identify what kind of truth value the conclusion has: Tautology, Inconsistency, or Contingency.

_ __

Valid

____

Invalid


Truth TablesDirections: (i) Construct a Truth Table in the grids provided. (ii) Circle the governing connective in each sentence. (iii) If the sequent is invalid, circle the invalidating assignment and check the line which reads INVALID. If the sequent is valid, check the line which reads VALID. (iv) In the space provided, identify what kind of truth value the conclusion has: Tautology, Inconsistency, or Contingency.

_ __

Valid

____

Invalid


Truth TablesDirections: (i) Construct a Truth Table in the grids provided. (ii) Circle the governing connective in each sentence. (iii) If the sequent is invalid, circle the invalidating assignment and check the line which reads INVALID. If the sequent is valid, check the line which reads VALID. (iv) In the space provided, identify what kind of truth value the conclusion has: Tautology, Inconsistency, or Contingency.

_ __

Valid

__

Invalid


Truth TablesDirections: (i) Construct a Truth Table in the grids provided. (ii) Circle the governing connective in each sentence. (iii) If the sequent is invalid, circle the invalidating assignment and check the line which reads INVALID. If the sequent is valid, check the line which reads VALID. (iv) In the space provided, identify what kind of truth value the conclusion has: Tautology, Inconsistency, or Contingency.

_ __

Valid

__

Invalid


Truth TablesDirections: (i) Construct a Truth Table in the grids provided. (ii) Circle the governing connective in each sentence. (iii) If the sequent is invalid, circle the invalidating assignment and check the line which reads INVALID. If the sequent is valid, check the line which reads VALID. (iv) In the space provided, identify what kind of truth value the conclusion has: Tautology, Inconsistency, or Contingency.

_ __

Valid

__

Invalid


Homework

  • Study Allen/Hand Logic Primer

    • Sec. 1.1, p. 2: “soundness”

    • Sec. 2.2, p. 45, “incompatible premises”

  • Ex. 2.2: i-xii


  • Login