Timeline for In fitch, S → (R ∨ P), P → (¬R → Q) ∴ S → (Q ∨ R)
Current License: CC BY-SA 3.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 13, 2017 at 7:39 | history | edited | Mauro ALLEGRANZA | CC BY-SA 3.0 |
added 5 characters in body
|
| Dec 12, 2017 at 19:57 | history | answered | Mauro ALLEGRANZA | CC BY-SA 3.0 |