Designed for use by students in introductory logic classes, this app allows you to:
– Check the syntax of symbolic sentences.
– Generate truth tables.
– Test for consistency and validity.
– Choose a symbolic notation to match any textbook.Visit www.hatzicware.com to download a user guide.
Download from AppStore: here