Timeline for Deduction theorem
Current License: CC BY-SA 3.0
11 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 7, 2015 at 8:27 | comment | added | kakaz | If notation is Your problem - just learn how to use it. It is research level site! en.wikipedia.org/wiki/Polish_notation#Polish_notation_for_logic | |
| Sep 13, 2014 at 2:29 | comment | added | Włodzimierz Holsztyński | @Mariano, why don't you represent just yourself, and don't worry about your imagined pretty much everyone else. | |
| May 27, 2014 at 14:00 | history | edited | Doug Spoonwood | CC BY-SA 3.0 |
added 228 characters in body
|
| Jun 28, 2013 at 1:41 | comment | added | Mariano Suárez-Álvarez | I admire your insistence in voluntarily writing in a way which is essentially opaque to pretty much everyone else... :-/ | |
| Jun 28, 2013 at 1:18 | comment | added | David Roberts♦ | @DougSpoonwood That's great, thanks. | |
| Jun 28, 2013 at 1:16 | comment | added | Doug Spoonwood | @DavidRoberts I'm not sure what you're looking for in terms of an explanation here. That said, I did add a small part on formation rules, if that helps. | |
| Jun 28, 2013 at 1:11 | history | edited | Doug Spoonwood | CC BY-SA 3.0 |
added 365 characters in body
|
| Jun 28, 2013 at 1:04 | comment | added | Margaret Friedland | I agree with @David; meanwhile, there is this: en.wikipedia.org/wiki/Polish_notation | |
| Jun 28, 2013 at 0:29 | comment | added | David Roberts♦ | It would help if you explained strings like CCCCqrCprsCCpqs - perhaps they are standard, but Octavio hasn't given any indication that s/he knows what that would mean. | |
| Jun 28, 2013 at 0:19 | review | First posts | |||
| Jun 28, 2013 at 0:29 | |||||
| Jun 28, 2013 at 0:02 | history | answered | Doug Spoonwood | CC BY-SA 3.0 |