На данной web-странице представлен полный перечень задач из категории A10. Упражнения из категории А10 посвящены знанию основных понятий и законов математической логики.
Математическая логика - один из разделов математики, изучающий всевозможные доказательства и вопросы фундаментальной математики.
Можно выделить следующие разделы математической логики:
алгебра логики
логика высказываний
теория доказательств
теория моделей
Алгебра логики - раздел математической логики, изучающий действие логических операций над высказываниями.
Логическое высказывание - некое предложение, в отношении которого можно однозначно декламировать, истинно оно или ложно. В алгебре логике акцент делают на значении выражения, а не его смысле. Значением выражения является одно из двух предопределенных значений: ИСТИНА (обозначается TRUE или 1) или ЛОЖЬ (обозначается FALSE или 0).
Пример логического высказывания: "Информатика - довольно легкая дисциплина!".
Основные логические операции в алгебре логики:
инверсия;
конъюнкция;
дизъюнкция;
импликация;
эквивалентность.