Скачать презентацию Исчисление высказываний Сентенциональные связки В математике и Скачать презентацию Исчисление высказываний Сентенциональные связки В математике и

logic.ppt

  • Количество слайдов: 126

Исчисление высказываний. Сентенциональные связки. Исчисление высказываний. Сентенциональные связки.

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

Эти пять слов или комбинаций слов называются сентенциональными связками. Эти пять слов или комбинаций слов называются сентенциональными связками.

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

составленных из простых предложений (т. е. таких каждое из которых или не содержит связку, составленных из простых предложений (т. е. таких каждое из которых или не содержит связку, или рассматривается как «неразложимое» ).

Рассмотрим каждую связку отдельно. Рассмотрим каждую связку отдельно.

Предложение видоизмененное словом «не» , называется отрицанием первоначального предложения. Предложение видоизмененное словом «не» , называется отрицанием первоначального предложения.

Например, « 2 не есть простое число» это отрицание предложения « 2 есть простое Например, « 2 не есть простое число» это отрицание предложения « 2 есть простое число» ,

а предложение «Неверно, что 2 есть простое число и 6 есть составное число» - а предложение «Неверно, что 2 есть простое число и 6 есть составное число» - отрицание предложения « 2 есть простое число и 6 есть составное число» .

Грамматика заставляет нас применить выражение «неверно, что» вместо простого «не» , потому что последнее Грамматика заставляет нас применить выражение «неверно, что» вместо простого «не» , потому что последнее предложение – сложное.

Слово «и» употребляется, чтобы соединить два предложения в сложное, которое называется конъюнкцией этих двух Слово «и» употребляется, чтобы соединить два предложения в сложное, которое называется конъюнкцией этих двух предложений.

Например, предложение «Солнце светит и на дворе холодно» представляет собой конъюнкцию предложений «Солнце светит» Например, предложение «Солнце светит и на дворе холодно» представляет собой конъюнкцию предложений «Солнце светит» и «На дворе холодно» .

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

Предложение, образованное соединением двух предложений словом «или» , называется дизъюнкцией этих предложений. Предложение, образованное соединением двух предложений словом «или» , называется дизъюнкцией этих предложений.

Будем всегда предполагать, что «или» употребляется не в разделительном смысле (либо-либо), а в том Будем всегда предполагать, что «или» употребляется не в разделительном смысле (либо-либо), а в том значении, как в официальных английских документах, где это часто выражается варваризмом «и/или» .

Мы интерпретировали «или» таким же образом в определении объединения двух множеств. Мы интерпретировали «или» таким же образом в определении объединения двух множеств.

Из двух предложений можно построить одно вида «если …, то …» , которое называется Из двух предложений можно построить одно вида «если …, то …» , которое называется импликацией (или условным предложением).

Предложение, непосредственно следующее за «если» , есть антецедент, а предложение, непосредственно следующее за «то» Предложение, непосредственно следующее за «если» , есть антецедент, а предложение, непосредственно следующее за «то» , есть консеквент.

Например: «Если , то » - условное предложение, в котором « - антецедент и Например: «Если , то » - условное предложение, в котором « - антецедент и - консеквент. »

Ниже приведено несколько выражений, которые мы будем считать имеющими тот же смысл, что и Ниже приведено несколько выражений, которые мы будем считать имеющими тот же смысл, что и «если P, то Q» (где P и Q – предложения):

 • P влечет Q; • P только тогда, когда Q; • P есть • P влечет Q; • P только тогда, когда Q; • P есть достаточное условие для Q; • Q при условии, что P; • Q если P; • Q есть необходимое условие P.

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

Мы рассматриваем эквиваленцию P тогда и только тогда, когда Q как имеющую то же Мы рассматриваем эквиваленцию P тогда и только тогда, когда Q как имеющую то же значение, что и если P , то Q, и, если Q, то P; Q есть необходимое и достаточное условие для P.

Введением букв P, Q, … для замены простых предложений, специальных символов для каждой связки Введением букв P, Q, … для замены простых предложений, специальных символов для каждой связки и круглых скобок там, где это может понадобиться для пунктуации,

мы можем показать эффективным образом связную структуру сложного предложения. мы можем показать эффективным образом связную структуру сложного предложения.

Выберем следующие символы для связок: Выберем следующие символы для связок:

 • ~ для «не» • Λ для «и» • V для «или» • • ~ для «не» • Λ для «и» • V для «или» • → для «если …, то …» • ↔ для «тогда и только тогда, когда»

Так, если P и Q, - предложения, то ~ P, P Λ Q, P Так, если P и Q, - предложения, то ~ P, P Λ Q, P V Q, P → Q, P ↔ Q будут, соответственно, отрицанием предложения P, конъюнкцией, дизъюнкцией, импликацией, эквиваленцией предложений P и Q.

Примеры Примеры

1. Предложение « 2 есть простое число и 6 есть составное число» может быть 1. Предложение « 2 есть простое число и 6 есть составное число» может быть символически записано, как P Λ С, где P - « 2 есть простое число» и С – « 6 есть составное число» .

2. Предложение «Если Пираты или Щенки проиграют и Великаны выиграют, то Увертыши потеряют первое 2. Предложение «Если Пираты или Щенки проиграют и Великаны выиграют, то Увертыши потеряют первое место и, кроме того, я проиграю пари» - импликация, поэтому оно может быть символически записано в виде А→С

Антецедент составлен из трех простых предложений: P (Пираты проиграют), С (Щенки проиграют), G (Великаны Антецедент составлен из трех простых предложений: P (Пираты проиграют), С (Щенки проиграют), G (Великаны выиграют),

а консеквент есть конъюнкция предложений D (Увертыши потеряют первое место) и B (я проиграю а консеквент есть конъюнкция предложений D (Увертыши потеряют первое место) и B (я проиграю пари).

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

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

Антецедент есть дизъюнкция предложений L (рабочие упорствуют) и M (администрация упорствует). Консеквент есть эквиваленция, Антецедент есть дизъюнкция предложений L (рабочие упорствуют) и M (администрация упорствует). Консеквент есть эквиваленция, левая часть которой есть S (забастовка будет урегулирована),

а правая часть есть конъюнкция предложения G (правительство добьется судебного запрещения) и отрицания предложения а правая часть есть конъюнкция предложения G (правительство добьется судебного запрещения) и отрицания предложения R (войска будут посланы на завод).

Итак, первоначальное предложение может быть символически записано так: . Итак, первоначальное предложение может быть символически записано так: .

Чтобы устранить чрезмерное количество круглых скобок при записи сложных предложений в символической форме, введем Чтобы устранить чрезмерное количество круглых скобок при записи сложных предложений в символической форме, введем некоторые соглашения (как в алгебре).

Условимся, что ↔ есть сильнейшая связка (это значит, что она имеет наибольшую область действия), Условимся, что ↔ есть сильнейшая связка (это значит, что она имеет наибольшую область действия), а за ней следует →. Далее следуют Λ и V , которым приписывают равную силу, и затем ~, - слабейшая связка.

Например, означает ; » ; Например, означает ; » ;

теперь третий из вышеописанных примеров может быть записан следующим образом: . теперь третий из вышеописанных примеров может быть записан следующим образом: .

Упражнения 1. Запишите символически следующие сложные предложения, употребляя буквы для обозначения простых компонентов предложения Упражнения 1. Запишите символически следующие сложные предложения, употребляя буквы для обозначения простых компонентов предложения (под простыми компонентами мы подразумеваем предложения, не содержащие связок):

1) Идет дождь или кто-то не выключил душ. 2) Если вечером будет туман, то 1) Идет дождь или кто-то не выключил душ. 2) Если вечером будет туман, то Джон или останется дома, или должен будет взять такси. 3) Джон сядет, и он и Джордж будут ждать.

4) Джон сядет и будет ждать или Джордж будет ждать. 5) Я поеду или 4) Джон сядет и будет ждать или Джордж будет ждать. 5) Я поеду или на автобусе, или на такси. 6) Ни Север, ни Юг не победили в гражданской войне.

7) Хлеба уцелеют тогда и только тогда, когда будут вырыты ирригационные канавы; если хлеба 7) Хлеба уцелеют тогда и только тогда, когда будут вырыты ирригационные канавы; если хлеба не уцелеют, то фермеры обанкротятся и оставят фермы.

8) Если я устал или голоден, я не могу заниматься. 9) Если Джон встанет 8) Если я устал или голоден, я не могу заниматься. 9) Если Джон встанет и пойдет в школу, он будет доволен, а если он не встанет, он не будет доволен.

2. Пусть С будет «сегодня ясно» , R – «сегодня идет дождь» , S 2. Пусть С будет «сегодня ясно» , R – «сегодня идет дождь» , S – «сегодня идет снег» и Y – «вчера было пасмурно» . Переведите на обычный язык следующие предложения:

1) ; 4) ; 2) ; 5) ; 3) ; 6) . 1) ; 4) ; 2) ; 5) ; 3) ; 6) .

Исчисление высказываний. Истинностные таблицы Исчисление высказываний. Истинностные таблицы

Под высказыванием мы понимаем повествовательное предложение, которое имеет то свойство, что оно может быть Под высказыванием мы понимаем повествовательное предложение, которое имеет то свойство, что оно может быть классифицировано либо как истинное, либо как ложное, но не как то и другое вместе.

 «Истинность» или «ложность» предложения, которую мы приписываем высказыванию, и есть истинностное значение высказывания. «Истинность» или «ложность» предложения, которую мы приписываем высказыванию, и есть истинностное значение высказывания.

В дальнейшем будем кратко обозначать «истинность» через – «И» и «ложность» через «Л» . В дальнейшем будем кратко обозначать «истинность» через – «И» и «ложность» через «Л» . Если P и Q – высказывания и связки употребляются в их обычном смысле, то каждое из предложений

есть высказывания. есть высказывания.

Исходя из обычного значения слова «не» , если высказывание истинно, то его отрицание ложно, Исходя из обычного значения слова «не» , если высказывание истинно, то его отрицание ложно, и наоборот.

Например, если S есть истинное высказывание (имеет истинностное значение И) «Луна – спутник Земли» Например, если S есть истинное высказывание (имеет истинностное значение И) «Луна – спутник Земли» , то ложно (имеет истинностное значение Л).

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

Например, « 3 – простое число и 2+2=5» - ложное высказывание, потому что « Например, « 3 – простое число и 2+2=5» - ложное высказывание, потому что « 2+2=5» - ложное высказывание.

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

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

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

Отрицание Дизъюнкция Импликация Эквиваленция P Q P Конъюнкция P Q PQ P Q и Отрицание Дизъюнкция Импликация Эквиваленция P Q P Конъюнкция P Q PQ P Q и л и и и л и и л л л и и л и л л л л л и

Обоснование истинностных значений, приписываемых импликации, состоит в том, что по интуитивному пониманию истинно тогда Обоснование истинностных значений, приписываемых импликации, состоит в том, что по интуитивному пониманию истинно тогда и только тогда, когда Q следует каким-либо образом из P.

Так, если P истинно и Q ложно, то мы хотим, чтобы тоже было ложно; Так, если P истинно и Q ложно, то мы хотим, чтобы тоже было ложно; этим объясняется вторая строка таблицы.

Далее, предположим, что Q истинно. Тогда естественно считать, что истинно, независимо от P и Далее, предположим, что Q истинно. Тогда естественно считать, что истинно, независимо от P и его истинностного значения.

Это рассуждение объясняет истинностные значения в первой и третьей строках таблицы. Чтобы обосновать четвертую Это рассуждение объясняет истинностные значения в первой и третьей строках таблицы. Чтобы обосновать четвертую строку таблицы, рассмотрим высказывание.

Мы полагаем, что эта импликация будет истинна независимо от выбора P и Q. Но, Мы полагаем, что эта импликация будет истинна независимо от выбора P и Q. Но, если P и Q оба ложны, тогда Р Λ Q ложно;

таким образом, мы вынуждены считать, что если и антецедент и консеквент ложны, то импликация таким образом, мы вынуждены считать, что если и антецедент и консеквент ложны, то импликация истинна.

Таблица для эквиваленции определяется из таблиц конъюнкции и импликации, исходя из того, что значит Таблица для эквиваленции определяется из таблиц конъюнкции и импликации, исходя из того, что значит то же самое, что и .

Эти пять таблиц должны пониматься из определения; это обычные определения, принятые в математике. Мы Эти пять таблиц должны пониматься из определения; это обычные определения, принятые в математике. Мы лишь попытались как-то согласовать их с естественным пониманием сентенциональных связок.

Из этих определений непосредственно следует, что если P и Q – высказывания, то и Из этих определений непосредственно следует, что если P и Q – высказывания, то и - тоже высказывания.

Отсюда непосредственно вытекает, что каждое сложное предложение, чьи простые компоненты – высказывания, само есть Отсюда непосредственно вытекает, что каждое сложное предложение, чьи простые компоненты – высказывания, само есть высказывание.

Если истинностные значения простых компонентов известны, то истинностное значение сложного высказывания может быть определено Если истинностные значения простых компонентов известны, то истинностное значение сложного высказывания может быть определено механически.

Примеры Примеры

Упражнения Упражнения

Исчисление предикатов. Символизация обычного языка Исчисление предикатов. Символизация обычного языка

Примеры Примеры

1. Предложение 1. Предложение

2. Предложение 2. Предложение

3. Предложение 3. Предложение

Примеры В Примеры В

Упражнения Упражнения