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