Timeline for Sum ergo cogito?
Current License: CC BY-SA 4.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 31, 2019 at 21:07 | comment | added | Eodnhoj7 | (P=P)=(-P=-P) works on the truth table. P if and only if (-P=-P) works as well because it requires expression through the law of identity. The same applies for -P if and only if (-P=-P), but this does not work. Even then the statement of (P=P)=(-P=-P) necessitates that considering both P and -P are subject to the law of identity, we are observing a contradiction in form. P=/-P can be expressed as (P=P)=/(-P=-P) as each variable is subject to the law of identity...but the calculator says (P=P)=(-P=-P). The calculator is to limited and cannot deal with advanced recurssion problems. | |
| Aug 24, 2019 at 12:37 | history | answered | Frank Hubeny | CC BY-SA 4.0 |