Трудно представить будущее информационных технологий с классической   двоичной системой. Более того, сегодня уже существуют реализации неклассических логических технологий и моделей. Но автор этой статьи изначально сосредоточился не на технологии, а на гуманитарной логике — логике как гуманитарной науке. И сразу можно задавать вопрос: «А есть ли не гуманитарная логика?» Конечно, есть, если понимать логику как систему операндов и операторов для выполнения «мыслительных действий» аппаратов и программ с правильными результатами. Вполне логично задавать другой вопрос:  «Стоит брать на основу компьютеров не гуманитарную логику?»...

Знакомы ли Вы с понятием "формальная логика"? Что такое конъюнкция и дизъюнкция? А импликация? В статье будут рассмотрены данные понятия. Надеюсь статья будет Вам полезна. Формальная логика (математическая логика) является важнейшей основой функционирования современных компьютеров. Мы используем законы формальной логики, когда делаем запрос на поиск информации в Интернете или базе данных или когда анализируем правильность математического вывода. Многие элементы компьютеров проектируются и работают на основе законов формальной логики...