
logic.ppt
- Количество слайдов: 126
Исчисление высказываний. Сентенциональные связки.
В математике и других рассуждения постоянно встречаются повествовательные предложения с помощью слова не или путем связывания предложений с помощью слов и, или, если …, то (или влечет), тогда и только тогда, когда.
Эти пять слов или комбинаций слов называются сентенциональными связками.
Проанализируем структуру сложных предложений (т. е. таких повествовательных предложений, в которых содержится одна или более чем одна связка),
составленных из простых предложений (т. е. таких каждое из которых или не содержит связку, или рассматривается как «неразложимое» ).
Рассмотрим каждую связку отдельно.
Предложение видоизмененное словом «не» , называется отрицанием первоначального предложения.
Например, « 2 не есть простое число» это отрицание предложения « 2 есть простое число» ,
а предложение «Неверно, что 2 есть простое число и 6 есть составное число» - отрицание предложения « 2 есть простое число и 6 есть составное число» .
Грамматика заставляет нас применить выражение «неверно, что» вместо простого «не» , потому что последнее предложение – сложное.
Слово «и» употребляется, чтобы соединить два предложения в сложное, которое называется конъюнкцией этих двух предложений.
Например, предложение «Солнце светит и на дворе холодно» представляет собой конъюнкцию предложений «Солнце светит» и «На дворе холодно» .
В обыденной речи в качестве синонимов вместо «и» пользуются другими словами, вроде «а» .
Предложение, образованное соединением двух предложений словом «или» , называется дизъюнкцией этих предложений.
Будем всегда предполагать, что «или» употребляется не в разделительном смысле (либо-либо), а в том значении, как в официальных английских документах, где это часто выражается варваризмом «и/или» .
Мы интерпретировали «или» таким же образом в определении объединения двух множеств.
Из двух предложений можно построить одно вида «если …, то …» , которое называется импликацией (или условным предложением).
Предложение, непосредственно следующее за «если» , есть антецедент, а предложение, непосредственно следующее за «то» , есть консеквент.
Например: «Если , то » - условное предложение, в котором « - антецедент и - консеквент. »
Ниже приведено несколько выражений, которые мы будем считать имеющими тот же смысл, что и «если P, то Q» (где P и Q – предложения):
• P влечет Q; • P только тогда, когда Q; • P есть достаточное условие для Q; • Q при условии, что P; • Q если P; • Q есть необходимое условие P.
Слова «тогда и только тогда, когда» употребляются, чтобы из двух предложений получить эквиваленцию (или биусловное предложение).
Мы рассматриваем эквиваленцию P тогда и только тогда, когда Q как имеющую то же значение, что и если P , то Q, и, если Q, то P; Q есть необходимое и достаточное условие для P.
Введением букв P, Q, … для замены простых предложений, специальных символов для каждой связки и круглых скобок там, где это может понадобиться для пунктуации,
мы можем показать эффективным образом связную структуру сложного предложения.
Выберем следующие символы для связок:
• ~ для «не» • Λ для «и» • V для «или» • → для «если …, то …» • ↔ для «тогда и только тогда, когда»
Так, если P и Q, - предложения, то ~ P, P Λ Q, P V Q, P → Q, P ↔ Q будут, соответственно, отрицанием предложения P, конъюнкцией, дизъюнкцией, импликацией, эквиваленцией предложений P и Q.
Примеры
1. Предложение « 2 есть простое число и 6 есть составное число» может быть символически записано, как P Λ С, где P - « 2 есть простое число» и С – « 6 есть составное число» .
2. Предложение «Если Пираты или Щенки проиграют и Великаны выиграют, то Увертыши потеряют первое место и, кроме того, я проиграю пари» - импликация, поэтому оно может быть символически записано в виде А→С
Антецедент составлен из трех простых предложений: P (Пираты проиграют), С (Щенки проиграют), G (Великаны выиграют),
а консеквент есть конъюнкция предложений D (Увертыши потеряют первое место) и B (я проиграю пари).
Первоначальное предложение может быть символически записано при помощи введенных обозначений для простых предложений как
3. Предложение «Если рабочие и администрация упорствуют, то забастовка будет урегулирована тогда и только тогда, когда правительство добьется судебного запрещения, но войска не будут посланы на завод» является импликацией.
Антецедент есть дизъюнкция предложений L (рабочие упорствуют) и M (администрация упорствует). Консеквент есть эквиваленция, левая часть которой есть S (забастовка будет урегулирована),
а правая часть есть конъюнкция предложения G (правительство добьется судебного запрещения) и отрицания предложения R (войска будут посланы на завод).
Итак, первоначальное предложение может быть символически записано так: .
Чтобы устранить чрезмерное количество круглых скобок при записи сложных предложений в символической форме, введем некоторые соглашения (как в алгебре).
Условимся, что ↔ есть сильнейшая связка (это значит, что она имеет наибольшую область действия), а за ней следует →. Далее следуют Λ и V , которым приписывают равную силу, и затем ~, - слабейшая связка.
Например, означает ; » ;
теперь третий из вышеописанных примеров может быть записан следующим образом: .
Упражнения 1. Запишите символически следующие сложные предложения, употребляя буквы для обозначения простых компонентов предложения (под простыми компонентами мы подразумеваем предложения, не содержащие связок):
1) Идет дождь или кто-то не выключил душ. 2) Если вечером будет туман, то Джон или останется дома, или должен будет взять такси. 3) Джон сядет, и он и Джордж будут ждать.
4) Джон сядет и будет ждать или Джордж будет ждать. 5) Я поеду или на автобусе, или на такси. 6) Ни Север, ни Юг не победили в гражданской войне.
7) Хлеба уцелеют тогда и только тогда, когда будут вырыты ирригационные канавы; если хлеба не уцелеют, то фермеры обанкротятся и оставят фермы.
8) Если я устал или голоден, я не могу заниматься. 9) Если Джон встанет и пойдет в школу, он будет доволен, а если он не встанет, он не будет доволен.
2. Пусть С будет «сегодня ясно» , R – «сегодня идет дождь» , S – «сегодня идет снег» и Y – «вчера было пасмурно» . Переведите на обычный язык следующие предложения:
1) ; 4) ; 2) ; 5) ; 3) ; 6) .
Исчисление высказываний. Истинностные таблицы
Под высказыванием мы понимаем повествовательное предложение, которое имеет то свойство, что оно может быть классифицировано либо как истинное, либо как ложное, но не как то и другое вместе.
«Истинность» или «ложность» предложения, которую мы приписываем высказыванию, и есть истинностное значение высказывания.
В дальнейшем будем кратко обозначать «истинность» через – «И» и «ложность» через «Л» . Если P и Q – высказывания и связки употребляются в их обычном смысле, то каждое из предложений
есть высказывания.
Исходя из обычного значения слова «не» , если высказывание истинно, то его отрицание ложно, и наоборот.
Например, если S есть истинное высказывание (имеет истинностное значение И) «Луна – спутник Земли» , то ложно (имеет истинностное значение Л).
По определению конъюнкции двух высказываний истина тогда и только тогда, когда оба составляющих высказывания истинны.
Например, « 3 – простое число и 2+2=5» - ложное высказывание, потому что « 2+2=5» - ложное высказывание.
При условии, что связка «или» понимается в неразделительном смысле, обычное употребление квалифицирует дизъюнкцию как ложную тогда и только тогда, когда оба составляющих высказывания ложны.
Приписывание истинных значений может быть сведено в краткие истинностные таблицы, при помощи которых можно приписывать истинностное значение любому высказыванию
для всех возможных случаев приписывания истинностных значений составляющим его высказываниям.
Отрицание Дизъюнкция Импликация Эквиваленция P Q P Конъюнкция P Q PQ P Q и л и и и л и и л л л и и л и л л л л л и
Обоснование истинностных значений, приписываемых импликации, состоит в том, что по интуитивному пониманию истинно тогда и только тогда, когда Q следует каким-либо образом из P.
Так, если P истинно и Q ложно, то мы хотим, чтобы тоже было ложно; этим объясняется вторая строка таблицы.
Далее, предположим, что Q истинно. Тогда естественно считать, что истинно, независимо от P и его истинностного значения.
Это рассуждение объясняет истинностные значения в первой и третьей строках таблицы. Чтобы обосновать четвертую строку таблицы, рассмотрим высказывание.
Мы полагаем, что эта импликация будет истинна независимо от выбора P и Q. Но, если P и Q оба ложны, тогда Р Λ Q ложно;
таким образом, мы вынуждены считать, что если и антецедент и консеквент ложны, то импликация истинна.
Таблица для эквиваленции определяется из таблиц конъюнкции и импликации, исходя из того, что значит то же самое, что и .
Эти пять таблиц должны пониматься из определения; это обычные определения, принятые в математике. Мы лишь попытались как-то согласовать их с естественным пониманием сентенциональных связок.
Из этих определений непосредственно следует, что если P и Q – высказывания, то и - тоже высказывания.
Отсюда непосредственно вытекает, что каждое сложное предложение, чьи простые компоненты – высказывания, само есть высказывание.
Если истинностные значения простых компонентов известны, то истинностное значение сложного высказывания может быть определено механически.
Примеры
Упражнения
Исчисление предикатов. Символизация обычного языка
Примеры
1. Предложение
2. Предложение
3. Предложение
Примеры В
Упражнения