Единственной целью этой программы является создание и отображение таблиц истины.
Эта бесплатная версия поддерживает все обычные соединительные классические логики, то есть отрицание, соединение, (включительно) разъединение, кондитональный (материальный подтекст) и двусловный (материальная эквивалентность), а также константы 1 и 0, обозначающие истину и ложь, соответственно. Прохладный вещь заключается в том, что, помимо несколько скучно стандартные нотации логики, вы можете использовать Лукасевич в потоке подкладкой, блестящие польские нотации, тоже.
И это не останавливаться на достигнутом. Если вы вниз к земле, здравый смысл рода человека, вы найдете его обнадеживает, что, по умолчанию, программа использует классическую, двух-ценной, логики. Но если вы больше авантюрного типа, никогда не останавливаясь на предприятии, вы будете рады узнать, что Правда Таблицы для Android поддерживает ряд неклассических, мульти-ценных систем логики, тоже. Никогда не входите в реку дважды, и два негатива не делают подтверждения, так сказать!
история версии
- Версия 3.43 размещено на 2013-11-14
- NAND и NOR более заметны для большинства размеров экрана (запрошенных пользователем), очистка макетов (пожалуйста, сообщите о любых проблемах с экзотическими устройствами), позволяя «квота; цитата; и квота; для соединения и разъединения, соответственно (по запросу пользователя), » по желанию показывающие линии сепаратора между основными столбцами (запрошенные пользователем,...), на экране клавиатуры, необязательно показывая вместо P, Q, R,... (запрашивается пользователем) - Версия 2.101 размещено на 2011-05-02
Несколько исправлений и обновлений
Подробная информация о программе
- Категории: Образования > Преподавание и учебные инструменты
- Издателя: Erpelstolz
- Лицензии: Бесплатный
- Цена: N/A
- Версия: 3.43
- Платформы: android