Date post: | 03-Jan-2016 |
Category: |
Documents |
Upload: | illana-combs |
View: | 22 times |
Download: | 0 times |
Validity and Conditionals
There is a relationship between validity of an argument and a corresponding conditional.
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
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.
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
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
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
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
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