Основные функции математической логики

Автор работы: Пользователь скрыл имя, 23 Октября 2014 в 17:54, реферат

Описание работы

Слово логика означает совокупность правил, которым подчиняется процесс мышления. Сам термин "логика" происходит от древнегреческого «logos», означающего "слово, мысль, понятие, рассуждение, закон". Формальная логика - наука о формах и законах мышления. Законы логики отражают в сознании человека свойства, связи и отношения объектов окружающего мира. Логика как наука позволяет строить формальные модели окружающего мира, отвлекаясь от содержательной стороны. Основными формами мышления являются понятия, суждения и умозаключения.

Содержание работы

1. Основные понятия формальной логики;
2. Логические выражения и логические операции.
3. Логические функции:
1) инверсия;
2) конъюнкция;
3) дизъюнкция;
4) импликация и эквивалентность.