Truth Tables APK
Информация
Версия 3.43 (#45)
Обновлено 15 November 2013 г.
Размер APK 207.1 KB
Требуемая версия Android Android 2.2+ (Froyo)
Продавец Erpelstolz
Категории Бесплатные Образование Приложения
Приложения id at.ac.univie.phl.logik.android.truthtables
Записка автора Правда столы для классической логики и ряда неклассических систем
Снимки экрана
Нажмите на изображение, чтобы увидеть полный размер
Таблица содержимого
Последние обновления
Что нового на Truth Tables 3.43
* cleaning up layouts (please report any problem with exotic devices)
* allowing "*" and "+" for conjunction and disjunction, respectively (requested by a user)
* optionally showing separator lines between main columns (requested by a user)
* on-screen keyboard optionally showing the propositional letters A, B, C,... instead of P, Q, R,... (requested by a user)
Описание
Эта бесплатная версия поддерживает все обычные связки классической логики, то есть отрицание, союз, (включительно) дизъюнкция, conditonal (материальная импликация), а biconditional (материал эквивалентности), а также постоянные 1 и 0, обозначающие истину и ложь соответственно. Здорово то, что, помимо несколько скучной стандартных обозначениях логики, вы можете использовать усовершенствованной, блестящие польская запись Лукасевича, тоже.
И это не останавливаться на достигнутом. Если вы вниз к земле, здравого смысла такой человек, вы найдете его обнадеживает, что по умолчанию, программа использует классический, двузначную, логику. Но если вы больше любите рисковать, никогда не останавливаясь перед предприятием, вы будете рады узнать, что истина Столы для Android поддерживает ряд неклассических, многозначных систем логики, тоже. Никогда не входите в реку дважды, и два негатива не делают подтверждение, так сказать!
Оценки и отзывы
Рейтинг: 4.1 из 5 · 5+ голоса
(*) требуется
Предыдущие версии
Похоже на: Truth Tables
MyRoute Multi Stop Navigation APK
OdinDownloadHelper for Samsung APK
Лучшие загруженные приложения
فیلتر شکن جدید و قوی،فیلتر شکن قوی و پرسرعت رایگان APK