**stmt1: **Following statement is false;
**stmt2: **Preceding statement is false; **Explanation:** It has the following possible solutions: Take row 1: Stmt 2 is true, Stmt 1 is false. What Paradox? Take row 2: Stmt 2 is false, Stmt 1 is true. What Paradox? |

**stmt3: **Following statement is true;
**stmt4: **Preceding statement is false; **Explanation:** Take row 1: stmt3 is true, therefore stmt4 is true, therefore stmt3 is false. Now row 2: stmt3 is false, therefore stmt4 is false, therefore stmt3 is true. Completely un-decidable. |

## No comments:

Post a Comment