Validity and Conditionals
-
Upload
illana-combs -
Category
Documents
-
view
28 -
download
0
description
Transcript of Validity and Conditionals
![Page 1: Validity and Conditionals](https://reader035.fdocuments.net/reader035/viewer/2022062422/56813647550346895d9dc526/html5/thumbnails/1.jpg)
Validity and Conditionals
There is a relationship between validity of an argument and a corresponding conditional.
![Page 2: Validity and Conditionals](https://reader035.fdocuments.net/reader035/viewer/2022062422/56813647550346895d9dc526/html5/thumbnails/2.jpg)
Validity and Conditionals
There is a relationship between validity of an argument and a corresponding conditional.
Argument: P, -P>-Q | Q
Corresponding Conditional: (P&(-P>-Q))>Q
![Page 3: Validity and Conditionals](https://reader035.fdocuments.net/reader035/viewer/2022062422/56813647550346895d9dc526/html5/thumbnails/3.jpg)
Validity and Conditionals
There is a relationship between validity of an argument and a corresponding conditional.
Argument: P, -P>-Q | Q
Corresponding Conditional: (P&(-P>-Q))>Q
An argument is valid iffits corresponding conditional is a logical truth.
![Page 4: Validity and Conditionals](https://reader035.fdocuments.net/reader035/viewer/2022062422/56813647550346895d9dc526/html5/thumbnails/4.jpg)
Example
Argument: P, -P>-Q | QCorresponding Conditional: (P&(-P>-Q))>Q
An argument is valid iffits corresponding conditional is a logical truth.
P QTFTF
TTFF
TFTF*
TFTT*
TTFF*
P -P>-Q | QP & (-P > -Q)) > Q
![Page 5: Validity and Conditionals](https://reader035.fdocuments.net/reader035/viewer/2022062422/56813647550346895d9dc526/html5/thumbnails/5.jpg)
Example
Argument: P, -P>-Q | QCorresponding Conditional: (P&(-P>-Q))>Q
An argument is valid iffits corresponding conditional is a logical truth.
P QTFTF
TTFF
TFTF
TFTT
TTFF
TFTF*
TFTT*
TTFF*
P -P>-Q | QP & (-P > -Q)) > Q
![Page 6: Validity and Conditionals](https://reader035.fdocuments.net/reader035/viewer/2022062422/56813647550346895d9dc526/html5/thumbnails/6.jpg)
Example
Argument: P, -P>-Q | QCorresponding Conditional: (P&(-P>-Q))>Q
An argument is valid iffits corresponding conditional is a logical truth.
P QTFTF
TTFF
TFTF
TT
TFTT
TTFF
TFTF*
TFTT*
TTFF*
P -P>-Q | QP & (-P > -Q)) > Q
![Page 7: Validity and Conditionals](https://reader035.fdocuments.net/reader035/viewer/2022062422/56813647550346895d9dc526/html5/thumbnails/7.jpg)
Example
Argument: P, -P>-Q | QCorresponding Conditional: (P&(-P>-Q))>Q
An argument is valid iffits corresponding conditional is a logical truth.
P QTFTF
TTFF
TFTF
TT
TFTT
FF
TTFF
TFTF*
TFTT*
TTFF*
P -P>-Q | QP & (-P > -Q)) > Q
![Page 8: Validity and Conditionals](https://reader035.fdocuments.net/reader035/viewer/2022062422/56813647550346895d9dc526/html5/thumbnails/8.jpg)
Example
Argument: P, -P>-Q | QCorresponding Conditional: (P&(-P>-Q))>Q
An argument is valid iffits corresponding conditional is a logical truth.
P QTFTF
TTFF
TFTF
TT
TFTT
FF
TTFF
TFTF*
TFTT*
TTFF*
P -P>-Q | QP & (-P > -Q)) > Q
For more click here