network profile
| bio | website | protovore.com |
|---|---|---|
| location | New York, NY | |
| age | ||
| visits | member for | 1 year, 11 months |
| seen | Jul 12 '11 at 16:53 | |
| stats | profile views | 23 |
|
Nov 9 |
awarded | Yearling |
|
Jan 11 |
awarded | Popular Question |
|
Jun 28 |
awarded | Scholar |
|
Jun 28 |
accepted | In classical logic, why is$ (p\Rightarrow q)$ True if both p and q are False? |
|
Jun 28 |
comment |
In classical logic, why is$ (p\Rightarrow q)$ True if both p and q are False? I had been reading line 3 (and 4 for that matter) as 'if p were to be true, then q', then inspecting the value of p, setting it to true, and then evaluating the statement. Line 3 leaves (T,T) => T like line 1, so no problem. Line 4 leaves (T,F) => T unlike line 2 (T,F) => F, so a problem. |
|
Jun 28 |
awarded | Supporter |
|
Jun 28 |
comment |
In classical logic, why is$ (p\Rightarrow q)$ True if both p and q are False? Thinking of it as a promise and that you are evaluating the promise itself and not the causality is extremely helpful. Thanks a lot. |
|
Jun 28 |
awarded | Nice Question |
|
Jun 28 |
awarded | Announcer |
|
Jun 28 |
awarded | Student |
|
Jun 28 |
asked | In classical logic, why is$ (p\Rightarrow q)$ True if both p and q are False? |
