Essays.club - Получите бесплатные рефераты, курсовые работы и научные статьи
Поиск

Введение в математическую логику

Автор:   •  Апрель 29, 2023  •  Лекция  •  612 Слов (3 Страниц)  •  133 Просмотры

Страница 1 из 3

Лекция 8. Введение в математическую логику

Логика высказываний

Основными объектами математической логики являются простые и составные высказывания.

Высказывание – повествовательное предложение (утверждение, суждение), о котором имеет смысл говорить истинно оно или ложно. Научные знания: (законы и явления), события повседневной жизни и т.п. Например, «сегодня идет дождь», «сейчас 12:35».

Простое (элементарное) высказывание – высказывание, которое рассматривается как некое неделимое целое.

Сложное (составное) высказывание – высказывание, составленное из простых с помощью логических связок.

Из числа высказываний исключаются вопросы, приказы, лозунги, междометия, утверждения, выражающие субъективные чувства.

Обозначим истинное высказывание за 1, ложное – 0.

Таблица, определяющая истинность сложного высказывания для различных вариантов истинности исходных высказываний, называется таблицей истинности.

Основные логические связки (операции) логики высказываний

Конъюнкцией (операцией «И», логическим произведением) двух высказываний P и Q называется высказывание, истинное, когда оба высказывания истинны, и ложное во всех других случаях. Обозначается P & Q; P  Q; P  Q.

Дизъюнкцией (операцией «ИЛИ», логической суммой) высказываний P и Q называется высказывание, ложное, когда оба высказывания ложны, и истинно в любых других случаях. Обозначение: P  Q; P + Q.

Отрицанием (инверсией) высказывания P называется высказывание, истинное, когда P ложно, и ложное в противном случае. Обозначение: ~P, ¬P, [pic 1] (читается «не P»).

Импликацией (логическим следованием) высказываний P и Q называется высказывание, ложное, когда P истинно, а Q ложно; во всех остальных случаях – истинное. Обозначается P  Q; P  Q; P  Q (читается: «если P то Q», «P влечет Q», «из P следует Q»). P называют посылкой, Q – заключением (следствием).

Эквивалентностью (эквиваленцией, равнозначностью) двух высказываний P и Q называется высказывание, истинное, когда истинностные значения P и Q совпадают, и ложное в противном случае. Обозначается P ~ Q, P  Q, P  Q (читается «P эквивалентно Q», «P, если и только если Q», «P равнозначно Q»).

Неравнозначностью (исключающим «ИЛИ», сложением по модулю 2) двух высказываний P и Q называется высказывание, истинное, когда истинностные значения P и Q не совпадают, и ложное в противном случае. Обозначается: P  Q, P Δ Q и др. (читается: «либо P, либо Q», «или P, или Q»).

...

Скачать:   txt (8.2 Kb)   pdf (187.2 Kb)   docx (237.3 Kb)  
Продолжить читать еще 2 страниц(ы) »
Доступно только на Essays.club