Timeline for Why is the selection of logical connectives {¬,∨,∧,⇒,⇔}, in set theory?
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 7, 2015 at 11:57 | review | First posts | |||
| Sep 7, 2015 at 12:25 | |||||
| Sep 7, 2015 at 11:56 | comment | added | user2953 | I don't think it's likely that formal logic has its origins in processor architecture. | |
| Sep 7, 2015 at 11:54 | history | answered | Appolo17 | CC BY-SA 3.0 |