Основы логики

В интерактивном дидактическом материале отражены следующие темы:

- Формы мышления

- Инверсия, дизъюнкция, конъюнкция, импликация, эквивалентность

- Логические выражения

- Логические законы и правила преобразования логических выражений

- Базовые логические элементы.

Материал содержит  два минипрактикума; тест самопроверки знаний,  созданный в объектно-ориентированной среде программирования Boland Delphi;  вопросы и задания по теме «Основы логики» и зачётную работу.

Процессор компьютера выполняет арифметические и логические операции над двоичными кодами.
И поэтому чтобы иметь представление об устройстве компьютера, необходимо познакомиться с основными логическими элементами, лежащими в основе его построения. Для понимания принципа работы таких элементов изучим основные начальные понятия алгебры логики.

Логика - это наука о формах и способах мышления.
Термин «логика» происходит от древнегреческого logos, означающего «слово, мысль, понятие, рассуждение, закон»

Основными формами мышления являются понятие, высказывание и умозаключение.

Первые учения о формах и способах рассуждений возникли в странах Дальнего Востока (Китай, Индия), но в основе современной логики лежат учения, созданные древнегреческими мыслителями. Основы формальной логики заложил Аристотель, который впервые отделил логические формы мышления от его содержания.

Алгебру логики так же называют  алгеброй Буля, или булевой алгеброй,  по имени английского математика Джорджа Буля, разработавшего в XIX веке ее основные положения.

Законы логики отражают в сознании человека свойства, связи и отношения объектов окружающего мира.

Логика позволяет строить формальные модели мира, отвлекаясь от содержательной стороны.