И код направления подготовки
жүктеу/скачать 341.63 Kb.
|
- Бұл бет үшін навигация:
- Определение.
- Замечание
- Булева алгебра.
| Определение. Присоединение частицы «не» к высказыванию называется операцией логического отрицания или инверсией.
Замечание. Инверсия делает истинное высказывание ложным и наоборот Определение. Составное высказывание, полученное с использованием оборота «если А, то В» (« А влечет В», «из А следует В»), называется операцией импликации. Замечание. Импликация двух высказываний А и В ложна тогда и только тогда, когда А истинно, а В ложно. Определение. Составное высказывание, полученное с использованием оборота «для того чтобы А, необходимо и достаточно, чтобы В» («А тогда и только тогда, когда В»), называется операцией эквиваленции (эквивалентности). Замечание. Эквиваленция двух высказываний А и В истинна тогда и только тогда, когда истинностные значения А и В совпадают. 2. Формулы логики высказываний. Равносильность формул. Определим понятие формулы логики высказываний. Алфавит логики высказываний содержит следующие символы: высказывательные переменные Х1, Х2, Х3, …; логические символы , , , →, ~ ; символы скобок ( , ) . Определение. Слово в алфавите логики высказываний называется формулой, если оно удовлетворяет следующему определению: любая высказывательная переменная – формула; если А и В – формулы, то ( А), (А В), (А В), (А→ В), (А ~ В) – формулы; только те слова являются формулами, для которых это следует из 1) и 2). Подформулой формулы А называется любое подслово А, само являющееся формулой. Вопросы для закрепления: Что представляет собой высказывание? Приведите пример. Назовите логические операции Что такое формула логики высказываний? Литература: Основная [1]; дополнительная [3]; Интернет ресурсы [1]-[4] Тема 4 Булева алгебра. Количество часов 1 Основные вопросы/план темы: Булева алгебра. Логические функции одной и двух переменных. Тезисы лекции*: жүктеу/скачать 341.63 Kb. Достарыңызбен бөлісу:
|