which should seem quite plausible.Īs Graham Kemp points out in his answer, the convention of using 'efq' to discharge an assumption is a little bit non-standard and usually this is called RAA or framed as double negation elimination. ![]() If you’re perfectly happy with your favorite player and just want something that can handle. ![]() Ex Falso is a program that uses the same tag editing back-end as Quod Libet, but isn’t connected to an audio player. (And this was certainly not an unconditional proof of an absurdity, it was under specific assumptions that were framed up in the larger structure of the proof.) Perhaps a better way to think about it is that what we wanted to prove was $P\to Q$ under the assumption that $P$ is false. Ex Falso / Quod Libet, Release 3.4.1 Note: There exists a newer version of this page and the content below may be outdated. So we did assume $\lnot P$ and assume $P$ and get nonsense, but the assumptions had an orderly motivation and nonsense was exactly what we needed to prove $Q,$ which was a goal we had at that moment in the proof.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |