12/25/2022 0 Comments Propositional logic shortcuts on a mac![]() Some helper exercises in earlier sections added. Several "invisible" changes to data structures. Version 1.15 (released Aug 11, 2018) Alpha version of Section 22, introducing the existential introduction law (the first law in which one can have multiple deductions from a single choice of inputs for reasons other than permutation of the inputs).Also patched bugs in universal specification and universal introduction (thanks to dP dt for reporting the first error). Version 1.15.1 (released Aug 12, 2018) Bug with variable matching fixed (thanks to dP dt and Andre Maute for reporting the error).UI for pull (arbitrary variables) changed. Further bug in universal specification legality checking patched (thanks to Andre Maute for reporting the error), as well as a technical bug in the search-and-replace code. ![]()
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. Archives
December 2022
Categories |