Timeline for Any solution to prove (∀x)(∃y)(Fx & Gy) ⊢ (∃y)(∀x)(Fx & Gy) with natural deduction?
Current License: CC BY-SA 4.0
1 event
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 30, 2018 at 16:33 | history | answered | Frank Hubeny | CC BY-SA 4.0 |