1. Понятие множества. Конечные и бесконечные множества, пустое множество. Подмножество: количество подмножеств конечного множества

3. Понятие и характеристики высказывания.
Высказыванием называется любое повествовательное предложение, относительно которого можно сказать истинно оно или ложно. Высказывание может быть сформулировано с помощью слов, символов, специальных знаков. Виды высказываний: простые и сложные (составные). Высказывание, которое можно разложить на части называется простым (ель – хвойное дерево). Высказывание, которое можно разложить на части, каждое из которых в свою очередь будет высказыванием, называется сложным (ель – хвойное и вечнозеленое дерево). Совокупность высказываний обозначается заглавной латинской буквой. Высказывание, содержащее неизвестную величину называется неопределенным или предикатом.
4. Основные логические операции (дизъюнкция, произведение (конъюнкция), импликация, эквиваленция, отрицание). Логические операции: отрицание, дизъюнкция, конъюнкция, импликация, эквивалентность. Отрицание — высказывание а, называется такое высказывание  (не а), которое ложно, если а истина, и истинно, если а ложно. Конъюнкция – высказывание а^в (а и в), которое истинно только тогда, когда истины оба составляющих высказывания. Дизъюнкция – высказывание аvв (а или в), которое ложно только тогда, когда ложны оба составляющих высказывания. Импликация – называется такое высказывание а→в (если а, то в), которое ложно только тогда, когда а истинно, а в ложно. Эквивалентность – высказывание а↔в (ттогда), которое истинно, когда одновременно либо истинны, либо ложны оба составляющих высказывания.

5. Понятие формулы логики. Таблица истинности и методика ее построения.
Формула – логическое выражение, в котором используются символы высказываний, знаки логических операций и символы скобок, для которого можно построить таблицу истинности. Список переменных формулы – упорядоченный набор высказывательных переменных f, если все переменные формулы содержатся в этом наборе. Равносильными называются 2 формулы логики высказываний А и В, если они зависят от одного и того же списка переменных и на каждой оценке списка они принимают одинаковые значения. Алгоритм построения таблицы истинности: а) определяется порядок выполнения логический операций (¯,^,v,→,↔); б) количество строк в таблице истинности вычисляется по формуле 2n+1, где n количество высказываний, 1 – заголовок; в) количество столбцов = количество переменных + количество логических операций.