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

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

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