Timeline for In fitch, S → (R ∨ P), P → (¬R → Q) ∴ S → (Q ∨ R)
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 13, 2017 at 3:05 | history | edited | user3017 | CC BY-SA 3.0 |
edited body
|
| Dec 13, 2017 at 2:35 | history | edited | user3017 | CC BY-SA 3.0 |
added 173 characters in body
|
| Dec 13, 2017 at 2:23 | history | answered | user3017 | CC BY-SA 3.0 |