Fwd: Teaching Logic: A Free App

[Joao Marcos]

---------- Forwarded message ---------

Dear Colleagues,

As we all know, when it comes to teaching technical subjects, practice
makes perfect. With this aim in mind, I've created an app that helps
students learning logic to practice their skills. The app is
effectively a propositional logic calculator. It's completely free and
does not collect any information from its users. It can be installed
on the iOS (iPhones and iPads), Android (phones, tablets, etc.) and
Windows (desktops, laptops, tablets, xbox ones) platforms. Here are
the links to the respective platform versions:

iOS:
https://apps.apple.com/gb/app/the-logic-calculator/id1484264087

Android:
https://play.google.com/store/apps/details?id=com.ioannisvotsis.thelogiccalculator

Windows:
https://www.microsoft.com/en-gb/p/the-logic-calculator/9nj6bpckm4mr?activetab=pivot:overviewtab

You can also find instructions on how to use the app here:

https://votsis.org/logic.html

Although the current version is restricted to propositional logic and,
more particularly, to semantic operations, I plan to extend the app's
functionality considerably over the next few months, e.g. to add a
derivation system, predicate logic, DNF, CNF and automated theorem
proving. Thus, the hope is that it will be useful both as a teaching
tool but also to carry out more advanced work.

Please let me know if you have any suggestions relating to the app (or
if you find any bugs) and feel free to pass on the links to others who
may be interested.

Best wishes,
Ioannis Votsis

-------------------------------------
Dr. Ioannis Votsis
http://www.votsis.org

Co-Director of the Diploma
Senior Lecturer, Philosophy Faculty
New College of the Humanities
19 Bedford Square, London WC1B 3HH
United Kingdom

ioannis...@nchlondon.ac.uk
https://www.nchlondon.ac.uk/faculty/#philosophy