АвтоАвтоматизацияАрхитектураАстрономияАудитБиологияБухгалтерияВоенное делоГенетикаГеографияГеологияГосударствоДомДругоеЖурналистика и СМИИзобретательствоИностранные языкиИнформатикаИскусствоИсторияКомпьютерыКулинарияКультураЛексикологияЛитератураЛогикаМаркетингМатематикаМашиностроениеМедицинаМенеджментМеталлы и СваркаМеханикаМузыкаНаселениеОбразованиеОхрана безопасности жизниОхрана ТрудаПедагогикаПолитикаПравоПриборостроениеПрограммированиеПроизводствоПромышленностьПсихологияРадиоРегилияСвязьСоциологияСпортСтандартизацияСтроительствоТехнологииТорговляТуризмФизикаФизиологияФилософияФинансыХимияХозяйствоЦеннообразованиеЧерчениеЭкологияЭконометрикаЭкономикаЭлектроникаЮриспунденкция

ВЫРАЖЕНИЕ ЛОГИЧЕСКИХ СВЯЗОК (ЛОГИЧЕСКИХ ПОСТОЯННЫХ) В ЕСТЕСТВЕННОМ ЯЗЫКЕ

Читайте также:
  1. I. Решение логических задач средствами алгебры логики
  2. II. Решение логических задач табличным способом
  3. III. Решение логических задач с помощью рассуждений
  4. Root(Выражение, имя переменной)
  5. RS-триггеры на логических элементах
  6. А 55. ЗАКОНОМІРНОСТІ ДІЇ КОЛОГИЧЕСКИХ ФАКТОРІВ НА ЖИВІ ОРГАНІЗМИ
  7. А) ИСПОЛЬЗОВАНИЕ КАТЕГОРИИ ВИДА В РУССКОМ ЯЗЫКЕ
  8. А) ПЕРЕВОД ИДИОМ (ФРАЗЕОЛОГИЧЕСКИХ СРАЩЕНИЙ)
  9. А) ПЕРЕДАЧА НА РУССКОМ ЯЗЫКЕ ФУНКЦИИ АРТИКЛЯ
  10. Актуальность исследования геронтопсихологических проблем
  11. Анализ технических требований чертежа, выявление технологических задач и условий изготовления детали
  12. Аналитическая деятельность командира по анализу и оценке морально-психологических состояний военнослужащих

В мышлении мы оперируем не только простыми, но и слож­ными суждениями, образуемыми из простых посредством логи­ческих связок (или операций) — конъюнкции, дизъюнкции, имп­ликации, эквиваленции, отрицания, которые также называются логическими константами, или логическими постоянными. Про­анализируем, каким образом перечисленные логические связки выражаются в естественном (русском) языке.

Конъюнкция (знак «л») выражается союзами «и», «а», «но», «да», «хотя», «который», «зато», «однако», «не только..., но и» и др. В логике высказываний знак «л» соединяет простые выска­зывания, образуя из них сложные. В естественном языке союз «и» и другие слова, соответствующие конъюнкции, могут соединять существительные, глаголы, наречия, прилагательные и другие части речи. Например, «В корзине у деда лежали подберезовики и маслята» (aÙb), «Интересная и красиво оформленная книга лежит на столе». Последнее высказывание нельзя разбить на два простых, соединенных конъюнкцией: «Интересная книга лежит на толе» и «Красиво оформленная книга лежит на столе», — так как создается впечатление, что на столе лежат две книги, а не одна.

В логике высказываний действует закон коммутативности конъюнкции (aÙb)º(bÙa). В естественном русском языке такого закона нет, так как действует фактор времени. Там, где учитывается последовательность во времени, употребление союза «и» некоммутативно. Поэтому не будут эквивалентными, например, такие два высказывания: 1) «Прицепили паровоз, и поезд тро­нулся» и 2) «Поезд тронулся, и прицепили паровоз».

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

О выражении конъюнкции средствами естественного языка пишет С. Клини в своей книге «Математическая логика». В раз­деле «Анализ рассуждений» он приводит (не исчерпывающий) список выражений естественного языка, которые могут быть заменены символами «Л» или «&». Формула А ^ В в естествен­ном языке может выражаться так:

 

«Не только А, но и В. Как А, так и В.

В, хотя и Л. А вместе с В.

В, несмотря на А. А, в то время как В» 7.

 

Придумать примеры всех этих структур предоставляем чита­телю.

В естественном (русском) языке дизъюнкция (обозначенная aÚb и aÚb) выражается союзами: «или», «либо», «то ли... то ли» и др. Например, «Вечером я пойду в кино или в библиотеку»; «Это животное принадлежит либо к позвоночным, либо к беспоз­воночным»; «Доклад будет то ли по произведениям Л. Н. Тол­стого, то ли по произведениям Ф. М. Достоевского».

Для обоих видов дизъюнкции действует закон коммутативно­сти: (aÚbº(bÚa) и (aÚb)º(bÚa). В естественном языке эта эквивалентность сохраняется. Например, суждение «Я куплю ма­сло или хлеб» эквивалентно суждению «Я куплю хлеб или масло». С. Клини показывает, какими разнообразными способами могут быть выражены в естественном языке импликация (AÊB) и эквиваленция (A ~ B).

(Буквами А и В обозначены переменные высказыва­ния.)

Приведем логические схемы и соответствующие им примеры, иллюстрирующие разнообразные способы выражения имплика­ции А -> В (где А — антецедент, В — ковсеквент).

1. Если А, то В.

Если поставщики вовремя доставят детали, то завод выпол­нит свой производственный план.

2. Коль скоро А, то В.

Коль скоро приложенные силы снимаются, то сжатая пружина возвращается к своей первоначальной форме.

3. Когда А, имеет место В.

Когда наступает плохая погода, имеет место повышение числа сердечно-сосудистых заболеваний у людей.

4. Для В достаточно А.

Для того чтобы газы расширились, достаточно их нагреть.

5. Для А необходимо В.

Для сохранения мира на Земле необходимо объединить усилия всех государств в борьбе за мир.

6. А, только если В.

Студенты этого курса не приходили на субботник, только если они были больны.

7. В. если А.

Я разрешу тебе пойти погулять, если ты выполнишь все домашние задания.

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

1. А, если и только если В.

Иванов не закончит свои эксперименты к сроку, если и только если ему не помогут сотрудники.

2. Если А, то В, и наоборот.

Если студент сдал все экзамены и практику на «отлично», то он получает диплом с отличием, и наоборот.

3. А, если В, и В, если А.

Многоугольник является вписанным в круг, если его вершины лежат на окружности, и вершины многоугольника лежат на окру­жности, если этот многоугольник является вписанным в круг.

4. Для А необходимо и достаточно В.

Для того чтобы число без остатка делилось на 3, необходимо и достаточно, чтобы сумма цифр этого числа делилась без остатка на 3.

5. А равносильно В (иногда).

То, что площадь правильного многоугольника равна произ­ведению полупериметра на апофему, равносильно тому, что пло­щадь правильного многоугольника равна произведению периме­тра на половину апофемы.

6. А тогда и только тогда, когда В.

Фирма будет согласна принять предложение о покупке товара тогда и только тогда, когда будет снижена цена этого товара на 15%.

Из приведенных выше схем и соответствующих им высказы­ваний с конкретным разнообразным содержанием становится ясно, насколько многогранны в естественном языке (в частности, в русском) средства выражения импликации, эквиваленции и дру­гих логических связок (логических терминов). Это можно сказать и о других естественных языках9.

Импликация (a®b) не совсем соответствует по смыслу союзу «если... то» естественного языка, так как в ней может отсут­ствовать содержательная связь между суждениями а и b. В логике высказываний законом является формула:(a®b)º(aÚb).

Но в естественном языке дело обстоит иначе. Иногда союз «если, то» выражает не импликацию, а конъюнкцию. Например, «Если вче­ра было пасмурно, то сегодня ярко светит солнце». Это сложное суждение выражается формулой aÙb. Кроме логических связок для выражения общих и частных суждений в логике используются квантор общности и квантор существования. Запись с квантором общности VcP(c) обычно читается так: «Все х (из некоторой области объектов) обладают свойством Р», а запись с квантором существования З хР (х) чита­ется так: «Существуют такие х (в данной области), которые обладают свойством Р». Например, 3x(x>100) читается как «Существуют такие х, которые больше 100», где под х подразумева­ются числа. Квантор общности выражается словами: «все», «вся­кий», «каждый», «ни один» и др. Квантор существования выража­ется словами: «некоторые», «существуют», «большинство», «ме­ньшинство», «только некоторые», «иногда», «тот, который», «не все», «многие», «немало», «немногие», «много», «почти все» и др.

С. Клини пишет о том, что, переводя выражения обычного языка с помощью табличных пропозициональных связок, мы лишаемся некоторых оттенков смысла, но зато выигрываем в то­чности10.

В практике математических и иных рассуждений имеются понятия «необходимое условие» и «достаточное условие». Условие называется необходимым, если оно вытекает из заключения (след­ствия). Условие называется достаточным, если из него вытекает заключение (следствие). В импликации а -> b переменная а является основанием. Она называется антецедентом. Переменная b — след­ствием (заключением). Она называется консеквентом.

Учащимся на уроках математики предлагаются задачи типа 1—4, требующие в каждом из следующих предложений вместо многоточия поставить слова: «необходимо» или «достаточно», либо «необходимо и достаточно»:

1. Для того чтобы сумма двух целых чисел была четным числом... чтобы каждое слагаемое было четным.

2. Для того чтобы число делилось на 15... чтобы оно дели­лось на 5.

3. Для того чтобы произведение - 3) (х +2) (х — 5) было рав­но 0,... чтобы х = 3.

4. Для того чтобы четырехугольник был прямоугольником... чтобы все его углы были равны11.

 


1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 30 | 31 | 32 | 33 | 34 | 35 | 36 | 37 | 38 | 39 | 40 | 41 | 42 | 43 | 44 | 45 | 46 | 47 | 48 | 49 | 50 | 51 | 52 | 53 | 54 | 55 | 56 | 57 | 58 | 59 | 60 | 61 | 62 | 63 | 64 | 65 | 66 | 67 | 68 | 69 | 70 | 71 | 72 | 73 | 74 | 75 | 76 | 77 | 78 | 79 | 80 | 81 | 82 | 83 | 84 | 85 | 86 | 87 | 88 | 89 | 90 | 91 | 92 | 93 | 94 | 95 | 96 | 97 | 98 | 99 | 100 |

Поиск по сайту:



Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав. Студалл.Орг (0.005 сек.)