Timeline for Representing modus ponens in a Polish propositional logic with NAND as the only connective
Current License: CC BY-SA 4.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 22, 2020 at 3:46 | comment | added | Wlod AA | You could really make the format of the second part readable form. | |
| Mar 22, 2020 at 2:17 | vote | accept | Frode Alfson Bjørdal | ||
| Mar 21, 2020 at 22:23 | history | edited | Frode Alfson Bjørdal | CC BY-SA 4.0 |
I edited after a comment by Andreas Blass
|
| Mar 21, 2020 at 22:22 | comment | added | Frode Alfson Bjørdal | @AndreasBlass Thank you for identifying that typo. I will edit. | |
| Mar 21, 2020 at 22:11 | comment | added | Andreas Blass | About the title: It seems to me that the rule "infer $r$ from $\uparrow p\uparrow rr$ and $p$" (i.e., in Nicod's rule replace $q$ with $r$ rather than with $p$) is intuitively closer to modus ponens than the rule you asked about. | |
| Mar 21, 2020 at 21:48 | answer | added | Branden Fitelson | timeline score: 4 | |
| Mar 21, 2020 at 20:45 | history | edited | Frode Alfson Bjørdal | CC BY-SA 4.0 |
deleted 37 characters in body
|
| Mar 21, 2020 at 18:15 | history | asked | Frode Alfson Bjørdal | CC BY-SA 4.0 |