Логика. Погудина Т.В. - 30 стр.

UptoLike

ВУЗ: 

ТулГУ | Тула

Составители: 

Рубрика: 

то", "однако", "не только ..., но и" и др. Конъюнкция обозначается чаще всего
следующими знаками "&", "^", "."и др. Если буквы "а" и "в" обозначают суж-
дения, то конъюкция будет “a^в “ читаемая как "а" и "в". Например. "Мал зо-
лотник, до дорог". Дизъюнкция
обозначается связками "или", "либо", "то ли
... то ли". Иногда такое суждение называют разделительным. Обозначается
символически "V". Дизъюнкция бывает нестрогой,
которая может обозначать
или одно, или другое, или оба вместе. Строгая
дизъюнкция обозначает одно
из двух. Она обозначается символически "ν
". Например, "или пан, или про-
пал" / а ν
в/ - строгая дизъюнкция. Пример нестрогой: "Будет тепло или пой-
дет дождь" /может быть и то и другое вместе/. Импликация
/условная связь/.
Самая распространенная связка "если.., то..". Условная связь обозначается
стрелкой " → " /а → в/ или подковой "⊃" /а ⊃ в/. В условном суждении раз-
личают основание и следствие. Кроме задачи обоснования причинной связи,
условное суждение выполняет множество других задач: оно может фиксиро-
вать какую-то последовательность, отличную от причинной
связи. Например,
"Если вчера была плохая погода, то сегодня погода хорошая". Оно может вы-
ражать неверие во что-то /"Если вы решите эту задачу, то я докажу теорему
Ферма"/. Эквиваленция
обозначается связкой "если и только если", а так же "
тогда и только тогда, когда", "в том и только в том случае, когда" и т.п. Ино-
гда ее называют "двусторонней импликацией". Обозначается символически
знаком "↔ " или знаком " ≡ " /а↔в/. Эквивалентность обозначает равнознач-
ность основания и следствия. Например: "Если треугольник равносторонний
,
то он равноугольный". "Фирма будет согласна принять предложение о по-
купке товара тогда и только тогда, когда будет снижена цена на этот товар на
15%". Отрицание
обозначается вязкой "неверно, что". С помощью отрицания
получается новое суждение. Например, суждение "Курить - здоровью вре-
дить" превращается в отрицательное "Неверно, что курить - здоровью вре-
дить". Вместо слов "неверно, что" очень часто используется слово "не". На-
пример, суждение "Неверно, что дельфин является разумным животным",
можно сказать "Дельфин не является разумным животным''.
Отрицание

Страницы