Правда для классической логики и для ряда неклассических систем
Единственной целью этой программы является генерирование и отображение Truth Tables .
Эта бесплатная версия поддерживает все обычные соединения классической логики, то есть отрицание, соединение, (инклюзивное) дизъюнкция, кондитональное (материальное значение) и бикондиционная (материальная эквивалентность), а также константы 1 и 0, обозначающие истину и ложь, соответственно. Крутая вещь в том, что, помимо несколько скучной стандартной нотации логики, вы можете использовать блестящую польсную нотацию Лукасевича.
И это здесь не останавливается. Если вы являетесь приземленным, здравым человеком, вы обнаружите, что по умолчанию программа использует классическую двухзначную логику. Но если вы больше приключенческих типов, никогда не останавливаясь, вы не остановитесь на предприятии, вы будете рады узнать, что Truth Tables для Android поддерживают ряд неклассических, многоцветных систем логики. Никогда не входите в реку дважды, и два негатива не делают утверждение, так сказать!
Скачать