formal test for validity
DESCRIPTION
Formal Test for Validity. evaluations. Evaluations. An evaluation is an assignment of truth-values to sentence letters. For example: A = T B = T C = F D = T E = F . Evaluating WFFs. To evaluate a WFF is to determine whether it is true or false according to an evaluation. - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: Formal Test for Validity](https://reader034.vdocument.in/reader034/viewer/2022051317/56815ebc550346895dcd40dd/html5/thumbnails/1.jpg)
Formal Test for Validity
![Page 2: Formal Test for Validity](https://reader034.vdocument.in/reader034/viewer/2022051317/56815ebc550346895dcd40dd/html5/thumbnails/2.jpg)
EVALUATIONS
![Page 3: Formal Test for Validity](https://reader034.vdocument.in/reader034/viewer/2022051317/56815ebc550346895dcd40dd/html5/thumbnails/3.jpg)
Evaluations
An evaluation is an assignment of truth-values to sentence letters. For example:• A = T• B = T• C = F• D = T• E = F• ...
![Page 4: Formal Test for Validity](https://reader034.vdocument.in/reader034/viewer/2022051317/56815ebc550346895dcd40dd/html5/thumbnails/4.jpg)
Evaluating WFFs
To evaluate a WFF is to determine whether it is true or false according to an evaluation.
Let’s consider ((Q & ~P) → R)
Here’s our evaluation: Q = T, P = T, R = F.
![Page 5: Formal Test for Validity](https://reader034.vdocument.in/reader034/viewer/2022051317/56815ebc550346895dcd40dd/html5/thumbnails/5.jpg)
Evaluation: Stage 1
P Q R
Write down sentence letters.
![Page 6: Formal Test for Validity](https://reader034.vdocument.in/reader034/viewer/2022051317/56815ebc550346895dcd40dd/html5/thumbnails/6.jpg)
Evaluation: Stage 1
P Q RT T F
Insert truth-values from evaluation.
![Page 7: Formal Test for Validity](https://reader034.vdocument.in/reader034/viewer/2022051317/56815ebc550346895dcd40dd/html5/thumbnails/7.jpg)
Evaluation: Stage 2
P Q R ((Q & ~ P) → R)T T F
Copy down the formula to evaluate.
![Page 8: Formal Test for Validity](https://reader034.vdocument.in/reader034/viewer/2022051317/56815ebc550346895dcd40dd/html5/thumbnails/8.jpg)
Evaluation: Stage 3
P Q R ((Q & ~ P) → R)T T F T
Copy the truth-values of each variable.
![Page 9: Formal Test for Validity](https://reader034.vdocument.in/reader034/viewer/2022051317/56815ebc550346895dcd40dd/html5/thumbnails/9.jpg)
Evaluation: Stage 3
P Q R ((Q & ~ P) → R)T T F T T
Copy the truth-values of each variable.
![Page 10: Formal Test for Validity](https://reader034.vdocument.in/reader034/viewer/2022051317/56815ebc550346895dcd40dd/html5/thumbnails/10.jpg)
Evaluation: Stage 3
P Q R ((Q & ~ P) → R)T T F T T F
Copy the truth-values of each variable.
![Page 11: Formal Test for Validity](https://reader034.vdocument.in/reader034/viewer/2022051317/56815ebc550346895dcd40dd/html5/thumbnails/11.jpg)
Evaluation: Stage 4
P Q R ((Q & ~ P) → R)T T F T T F
Find a connective to evaluate.
![Page 12: Formal Test for Validity](https://reader034.vdocument.in/reader034/viewer/2022051317/56815ebc550346895dcd40dd/html5/thumbnails/12.jpg)
Evaluation: Stage 4
P Q R ((Q & ~ P) → R)T T F T T F
Need these truth values.
![Page 13: Formal Test for Validity](https://reader034.vdocument.in/reader034/viewer/2022051317/56815ebc550346895dcd40dd/html5/thumbnails/13.jpg)
Evaluation: Stage 4
P Q R ((Q & ~ P) → R)T T F T T F
Need these truth values.
![Page 14: Formal Test for Validity](https://reader034.vdocument.in/reader034/viewer/2022051317/56815ebc550346895dcd40dd/html5/thumbnails/14.jpg)
Evaluation: Stage 4
P Q R ((Q & ~ P) → R)T T F T T F
Need this truth value.
![Page 15: Formal Test for Validity](https://reader034.vdocument.in/reader034/viewer/2022051317/56815ebc550346895dcd40dd/html5/thumbnails/15.jpg)
Evaluation: Stage 4
P Q R ((Q & ~ P) → R)T T F T F T F
Need this truth value.
![Page 16: Formal Test for Validity](https://reader034.vdocument.in/reader034/viewer/2022051317/56815ebc550346895dcd40dd/html5/thumbnails/16.jpg)
Evaluation: Stage 4
P Q R ((Q & ~ P) → R)T T F T F T F
Need these truth values.
![Page 17: Formal Test for Validity](https://reader034.vdocument.in/reader034/viewer/2022051317/56815ebc550346895dcd40dd/html5/thumbnails/17.jpg)
Evaluation: Stage 4
P Q R ((Q & ~ P) → R)T T F T F F T F
Need these truth values.
![Page 18: Formal Test for Validity](https://reader034.vdocument.in/reader034/viewer/2022051317/56815ebc550346895dcd40dd/html5/thumbnails/18.jpg)
Evaluation: Stage 4
P Q R ((Q & ~ P) → R)T T F T F F T F
Need these truth values.
![Page 19: Formal Test for Validity](https://reader034.vdocument.in/reader034/viewer/2022051317/56815ebc550346895dcd40dd/html5/thumbnails/19.jpg)
Evaluation: Stage 4
P Q R ((Q & ~ P) → R)T T F T F F T T F
Need these truth values.
![Page 20: Formal Test for Validity](https://reader034.vdocument.in/reader034/viewer/2022051317/56815ebc550346895dcd40dd/html5/thumbnails/20.jpg)
In-Class Exercises
Evaluation: P = F, Q = F, R = T
• ~(~P & ~Q)• ~(P → ~Q)• ((P & ~Q) & R)
![Page 21: Formal Test for Validity](https://reader034.vdocument.in/reader034/viewer/2022051317/56815ebc550346895dcd40dd/html5/thumbnails/21.jpg)
FULL TRUTH-TABLES
![Page 22: Formal Test for Validity](https://reader034.vdocument.in/reader034/viewer/2022051317/56815ebc550346895dcd40dd/html5/thumbnails/22.jpg)
Possibilities for One Sentence Letter
φ …φ…TF
![Page 23: Formal Test for Validity](https://reader034.vdocument.in/reader034/viewer/2022051317/56815ebc550346895dcd40dd/html5/thumbnails/23.jpg)
Possibilities for Two Sentence Letters
φ ψ …φ…ψ…T TT FF TF F
![Page 24: Formal Test for Validity](https://reader034.vdocument.in/reader034/viewer/2022051317/56815ebc550346895dcd40dd/html5/thumbnails/24.jpg)
Possibilities for Three Sentence Letters
φ ψ χ …φ…ψ…χ…T T TT T FT F TT F FF T TF T FF F TF F F
![Page 25: Formal Test for Validity](https://reader034.vdocument.in/reader034/viewer/2022051317/56815ebc550346895dcd40dd/html5/thumbnails/25.jpg)
~(~P & ~Q)
P Q ~ (~ P & ~ Q)T TT FF TF F
![Page 26: Formal Test for Validity](https://reader034.vdocument.in/reader034/viewer/2022051317/56815ebc550346895dcd40dd/html5/thumbnails/26.jpg)
Copy Whole Column
P Q ~ (~ P & ~ Q)T T TT F TF T FF F F
![Page 27: Formal Test for Validity](https://reader034.vdocument.in/reader034/viewer/2022051317/56815ebc550346895dcd40dd/html5/thumbnails/27.jpg)
Copy Whole Column
P Q ~ (~ P & ~ Q)T T T TT F T FF T F TF F F F
![Page 28: Formal Test for Validity](https://reader034.vdocument.in/reader034/viewer/2022051317/56815ebc550346895dcd40dd/html5/thumbnails/28.jpg)
Evaluate Each Row
P Q ~ (~ P & ~ Q)T T F T TT F F T FF T T F TF F T F F
![Page 29: Formal Test for Validity](https://reader034.vdocument.in/reader034/viewer/2022051317/56815ebc550346895dcd40dd/html5/thumbnails/29.jpg)
Evaluate Each Row
P Q ~ (~ P & ~ Q)T T F T F TT F F T T FF T T F F TF F T F T F
![Page 30: Formal Test for Validity](https://reader034.vdocument.in/reader034/viewer/2022051317/56815ebc550346895dcd40dd/html5/thumbnails/30.jpg)
~(~P & ~Q)
P Q ~ (~ P & ~ Q)T T F T F F TT F F T F T FF T T F F F TF F T F T T F
![Page 31: Formal Test for Validity](https://reader034.vdocument.in/reader034/viewer/2022051317/56815ebc550346895dcd40dd/html5/thumbnails/31.jpg)
~(~P & ~Q)
P Q ~ (~ P & ~ Q)T T T F T F F TT F T F T F T FF T T T F F F TF F F T F T T F
![Page 32: Formal Test for Validity](https://reader034.vdocument.in/reader034/viewer/2022051317/56815ebc550346895dcd40dd/html5/thumbnails/32.jpg)
(~(~P & ~Q) ↔ (P v Q))
So “~(~P & ~Q)” has the same truth-table as “(P v Q).” Why is that?
Suppose I say: “you didn’t do your homework and you didn’t come to class on time.” When is this statement false? When either you did your homework or you came to class on time.
![Page 33: Formal Test for Validity](https://reader034.vdocument.in/reader034/viewer/2022051317/56815ebc550346895dcd40dd/html5/thumbnails/33.jpg)
In-Class Exercise
Write a full truth-table for:
~(P → ~Q)
![Page 34: Formal Test for Validity](https://reader034.vdocument.in/reader034/viewer/2022051317/56815ebc550346895dcd40dd/html5/thumbnails/34.jpg)
~(P → ~Q)
P Q ~ (P → ~ Q)T TT FF TF F
![Page 35: Formal Test for Validity](https://reader034.vdocument.in/reader034/viewer/2022051317/56815ebc550346895dcd40dd/html5/thumbnails/35.jpg)
~(P → ~Q)
P Q ~ (P → ~ Q)T T T TT F T FF T F TF F F F
![Page 36: Formal Test for Validity](https://reader034.vdocument.in/reader034/viewer/2022051317/56815ebc550346895dcd40dd/html5/thumbnails/36.jpg)
~(P → ~Q)
P Q ~ (P → ~ Q)T T T F TT F T T FF T F F TF F F T F
![Page 37: Formal Test for Validity](https://reader034.vdocument.in/reader034/viewer/2022051317/56815ebc550346895dcd40dd/html5/thumbnails/37.jpg)
~(P → ~Q)
P Q ~ (P → ~ Q)T T T F F TT F T T T FF T F T F TF F F T T F
![Page 38: Formal Test for Validity](https://reader034.vdocument.in/reader034/viewer/2022051317/56815ebc550346895dcd40dd/html5/thumbnails/38.jpg)
~(P → ~Q)
P Q ~ (P → ~ Q)T T T T F F TT F F T T T FF T F F T F TF F F F T T F
![Page 39: Formal Test for Validity](https://reader034.vdocument.in/reader034/viewer/2022051317/56815ebc550346895dcd40dd/html5/thumbnails/39.jpg)
(~(P → ~Q) ↔ (P & Q))
So “~(P → ~Q)” has the same truth-table as “(P & Q).” Why is that?
Suppose I say: “If you eat this spicy food, you will cry.” You might respond by saying “No, that’s not true: I will eat the spicy food and I will not cry.”
![Page 40: Formal Test for Validity](https://reader034.vdocument.in/reader034/viewer/2022051317/56815ebc550346895dcd40dd/html5/thumbnails/40.jpg)
In-Class Exercise
Write a full truth-table for:
(P & (~Q & R))
![Page 41: Formal Test for Validity](https://reader034.vdocument.in/reader034/viewer/2022051317/56815ebc550346895dcd40dd/html5/thumbnails/41.jpg)
(P & (~Q & R))P Q R (P & (~ Q & R))T T TT T FT F TT F FF T TF T FF F TF F F
![Page 42: Formal Test for Validity](https://reader034.vdocument.in/reader034/viewer/2022051317/56815ebc550346895dcd40dd/html5/thumbnails/42.jpg)
(P & (~Q & R))P Q R (P & (~ Q & R))T T T T T TT T F T T FT F T T F TT F F T F FF T T F T TF T F F T FF F T F F TF F F F F F
![Page 43: Formal Test for Validity](https://reader034.vdocument.in/reader034/viewer/2022051317/56815ebc550346895dcd40dd/html5/thumbnails/43.jpg)
(P & (~Q & R))P Q R (P & (~ Q & R))T T T T F T TT T F T F T FT F T T T F TT F F T T F FF T T F F T TF T F F F T FF F T F T F TF F F F T F F
![Page 44: Formal Test for Validity](https://reader034.vdocument.in/reader034/viewer/2022051317/56815ebc550346895dcd40dd/html5/thumbnails/44.jpg)
(P & (~Q & R))P Q R (P & (~ Q & R))T T T T F T F TT T F T F T F FT F T T T F T TT F F T T F F FF T T F F T F TF T F F F T F FF F T F T F T TF F F F T F F F
![Page 45: Formal Test for Validity](https://reader034.vdocument.in/reader034/viewer/2022051317/56815ebc550346895dcd40dd/html5/thumbnails/45.jpg)
(P & (~Q & R))P Q R (P & (~ Q & R))T T T T F F T F TT T F T F F T F FT F T T T T F T TT F F T F T F F FF T T F F F T F TF T F F F F T F FF F T F F T F T TF F F F F T F F F
![Page 46: Formal Test for Validity](https://reader034.vdocument.in/reader034/viewer/2022051317/56815ebc550346895dcd40dd/html5/thumbnails/46.jpg)
(P & (~Q & R))P Q R (P & (~ Q & R))T T T T F F T F TT T F T F F T F FT F T T T T F T TT F F T F T F F FF T T F F F T F TF T F F F F T F FF F T F F T F T TF F F F F T F F F
![Page 47: Formal Test for Validity](https://reader034.vdocument.in/reader034/viewer/2022051317/56815ebc550346895dcd40dd/html5/thumbnails/47.jpg)
TRUTH-TABLES AND VALIDITY
![Page 48: Formal Test for Validity](https://reader034.vdocument.in/reader034/viewer/2022051317/56815ebc550346895dcd40dd/html5/thumbnails/48.jpg)
The Truth-Table Test for Validity
We know that an argument is deductively valid when we know that if it is true, then its conclusion must be true.
We can use truth-tables to show that certain arguments are valid.
![Page 49: Formal Test for Validity](https://reader034.vdocument.in/reader034/viewer/2022051317/56815ebc550346895dcd40dd/html5/thumbnails/49.jpg)
The Test
Suppose we want to show that the following argument is valid:
(P → Q) ~QTherefore, ~P
We begin by writing down all the possible truth-values for the sentence letters in the argument.
![Page 50: Formal Test for Validity](https://reader034.vdocument.in/reader034/viewer/2022051317/56815ebc550346895dcd40dd/html5/thumbnails/50.jpg)
Write Down All the Possibilities
P QT TT FF TF F
![Page 51: Formal Test for Validity](https://reader034.vdocument.in/reader034/viewer/2022051317/56815ebc550346895dcd40dd/html5/thumbnails/51.jpg)
Write Truth-Table for Premises
P Q (P → Q) ~QT T T FT F F TF T T FF F T T
![Page 52: Formal Test for Validity](https://reader034.vdocument.in/reader034/viewer/2022051317/56815ebc550346895dcd40dd/html5/thumbnails/52.jpg)
Write Truth-Table for Conclusion
P Q (P → Q) ~Q ~PT T T F FT F F T FF T T F TF F T T T
![Page 53: Formal Test for Validity](https://reader034.vdocument.in/reader034/viewer/2022051317/56815ebc550346895dcd40dd/html5/thumbnails/53.jpg)
Look at Lines Where Premises are True
P Q (P → Q) ~Q ~PT T T *F FT F *F T FF T T *F TF F T T T
![Page 54: Formal Test for Validity](https://reader034.vdocument.in/reader034/viewer/2022051317/56815ebc550346895dcd40dd/html5/thumbnails/54.jpg)
In Class Exercise
Deductively Valid?
(P → Q), ~P Ⱶ ~Q
![Page 55: Formal Test for Validity](https://reader034.vdocument.in/reader034/viewer/2022051317/56815ebc550346895dcd40dd/html5/thumbnails/55.jpg)
Look at Lines Where Premises are True
P Q (P → Q) ~P ~QT T T *F FT F *F *F TF T T T FF F T T T
![Page 56: Formal Test for Validity](https://reader034.vdocument.in/reader034/viewer/2022051317/56815ebc550346895dcd40dd/html5/thumbnails/56.jpg)
Look at Lines Where Premises are True
P Q (P → Q) ~P ~QT T T *F FT F *F *F TF T T T FF F T T T
![Page 57: Formal Test for Validity](https://reader034.vdocument.in/reader034/viewer/2022051317/56815ebc550346895dcd40dd/html5/thumbnails/57.jpg)
In Class Exercise
Deductively Valid?
~(P v Q) Ⱶ (~P & ~Q)
![Page 58: Formal Test for Validity](https://reader034.vdocument.in/reader034/viewer/2022051317/56815ebc550346895dcd40dd/html5/thumbnails/58.jpg)
Grade Distribution
<20 20-24 25-29 30-34 35-39 40-44 45-500
1
2
3
4
5
6
7
8
9
Marks
Marks