рефераты конспекты курсовые дипломные лекции шпоры

Раздел Математика
/
Союзы «и», «или», «если, то», «тогда и только тогда, когда», а также частицу «не» (словосочетание «неверно, что») называют логическими связками.

Реферат Курсовая Конспект

Выберите учебное заведение

Союзы «и», «или», «если, то», «тогда и только тогда, когда», а также частицу «не» (словосочетание «неверно, что») называют логическими связками.

Союзы «и», «или», «если, то», «тогда и только тогда, когда», а также частицу «не» (словосочетание «неверно, что») называют логическими связками. - раздел Математика, Тема3: Элементы математической логики Предложения, Образованные Из Других Предложений С Помощью Логических Связок, ...

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

Пример 2. Из предложений «Солнце всходит на востоке» и «Солнце заходит на западе» можно получить следующие составные высказывания: «Солнце всходит на востоке и заходит на западе»; «Солнце всходит на востоке или заходит на западе»; «Если солнце всходит на востоке, то оно заходит на западе»; «Солнце всходит на востоке тогда и только тогда, когда оно заходит на западе»; «Солнце не всходит на востоке» или «Неверно, что солнце заходит на западе».

В грамматике различают предложения простые и сложные. Предложение, простое по своей грамматической структуре, может быть составным с точки зрения логики. Например, простое с точки зрения грамматики предложение «На улице холодно и сыро» считается в логике сложным, так как образовано с помощью логической связки «и» из двух элементарных предложений «На улице холодно» и «На улице сыро». Простое предложение «Завтра не будет осадков» по своей логической структуре не является элементарным, так как содержит логическую связку «не».

Возникает вопрос: как определить значение истинности сложного высказывания?

В математической логике смысл логических связок уточняется так, чтобы вопрос об истинности или ложности составных предложений, образованных из высказываний во всех случаях решался однозначно. Таким уточнением займемся ниже.

Развернуть

Открыть в широком формате

– Конец работы –

Эта тема принадлежит разделу:

Тема3: Элементы математической логики

Встреча математики с логикой в прошлом столетии привела к таким же последствиям что и приход принца в зачарованный замок спящей красавицы после... Л Э Гуревич Э Б Глинер... Введение...

Если Вам нужно дополнительный материал на эту тему, или Вы не нашли то, что искали, рекомендуем воспользоваться поиском по нашей базе работ: Союзы «и», «или», «если, то», «тогда и только тогда, когда», а также частицу «не» (словосочетание «неверно, что») называют логическими связками.

Что будем делать с полученным материалом:

Если этот материал оказался полезным ля Вас, Вы можете сохранить его на свою страничку в социальных сетях:

Все темы данного раздела:

Высказывание – это повествовательное предложение (утверждение), о котором можно говорить, что оно истинно или ложно.
Высказывания обозначают большими или маленькими латинскими буквами. Пример 1. А: «Москва – столица России» – истинное высказывание. b = «Волга впадает в Черное море» –

Конъюнкцией двух высказываний называется новое высказывание, которое истинно тогда и только тогда, когда оба высказывания истинны.
Конъюнкция обозначается или А&B; читается: «А и В». Таблица истинности для конъюнкции выглядит следующим образом: А

Дизъюнкцией двух высказываний является новое высказывание, которое ложно тогда и только тогда, когда оба высказывания ложны.
Дизъюнкция обозначается и читается «А или В». Таблица истинности для дизъюнкции выглядит следующим образом: А В

Импликацией двух высказываний называется новое высказывание, которое ложно тогда и только тогда, когда первое высказывание истинно, а второе – ложно.
Импликация обозначается или , читается «Если А, то В». Таблица истинности импликации выглядит так: А В

Формулы логики высказываний
В логике высказываний – первом и основном разделе математической логики – элементарные высказывания рассматриваются как нерасчленяемые «атомы», а составные высказывания – как молекулы, образованные

Никаких других формул в логике высказываний нет.
Определение такого вида называется индуктивным. В п.п. 1 и 2 определены элементарные формулы, в п.п. 3 и 4 даны правила образования новых формул из любых двух данных формул.

Формулы, принимающие значение «истина» при всех наборах значений входящих в нее переменных, называются тождественно истинными или тавтологиями.
Одна из задач математической логики состоит в поиске формул, являющихся тавтологиями и противоречиями (тождественно ложными, т.е. принимающими при всех наборах зн

Формулы F1 и F2 называются равносильными, если их эквиваленция – тавтология.
Равносильность двух формул записывается так: (читается: формула F1 равносильна формуле F2). Проверить, равносильны ли формулы, можно двумя способами: 1)