Timeline for Intro Natural Deduction Problem: Given premise (p -> q) -> p show p using deduction
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 29, 2020 at 23:55 | vote | accept | clay | ||
| Jul 29, 2020 at 23:53 | history | edited | clay | CC BY-SA 4.0 |
added 442 characters in body
|
| Jul 29, 2020 at 21:54 | history | edited | clay | CC BY-SA 4.0 |
edited body
|
| Jul 29, 2020 at 19:28 | answer | added | Mauro ALLEGRANZA | timeline score: 1 | |
| Jul 29, 2020 at 19:17 | review | First posts | |||
| Jul 29, 2020 at 19:24 | |||||
| Jul 29, 2020 at 19:14 | history | asked | clay | CC BY-SA 4.0 |