Apps in this category may contain mild or occasional cartoon, fantasy or real-life violence, as well as occasional or mild adult, sexually suggestive or horrifying content and may not be suitable for children under 9 years of age.

12+

Apps in this category may contain occasional mild indecent language, frequent or intense cartoon or real-life violence, minor or occasional adult or sexually suggestive material, and simulated gambling, and may be for children under 12 years of age.

17+

You must be at least 17 years old to access this App.

Apps in this category may contain frequent and intense offensive language; Frequent and intense cartoon, fantasy or realistic violence: frequent and intense adult, scary and sexually suggestive subjects: as well as sexual content, nudity, tobacco, alcohol and drugs, may not be suitable for children under 17 years of age.

لقطات الشاشة لـ Logic 101

iPhone

About Logic 101

You thought logic would be easier than math. Now you're doing derivations and it's too late to drop the course. This app is for you.

- Checks the syntax of symbolic sentences.
- Tests whether the derivation is complete.
- Derivable lines are coloured blue; hypotheses are coloured green.
- Provides an annotation of the derivation, showing line justifications.
- Annotated derivations can be emailed as RTF files.

See the complete app help files here:
http://www.hatzicware.com/logic/Help.pdf

See a list of the app's selectable derivation rules here:
http://hatzicware.com/logic/rules.pdf

تحديث لأحدث إصدار 2.2

Last updated on 23/05/2020

الإصدارات القديمة

Updated for iOS 13.0.

Version History

2.2

23/05/2020

Updated for iOS 13.0.

2.0

10/03/2016

- Completely re-written for iOS 9.
- Logical notation and derivation rules can both be chosen to match your textbook.
- Help files have been added.
- Can be used in both portrait and landscape orientations.

1.1

18/09/2009

- Four completed derivation examples from The Logic Book have been added. These can be loaded into the derivation display.
- The derivation evaluator has been made more efficient.

1.0

29/08/2009

Feedback Report