Составители:
Рубрика:
16
Для частных суждений нет противоположных и подчинённых им, а есть
только противоречащие и совместимые с ними. Например, для частноутверди-
тельного суждения
Некоторые погонщики слонов курят кальян
получаем (в естественной форме) противоречащее – е:
Ни один погонщик слона не курит кальян
совместимое – о:
Некоторые погонщики слонов не курят кальян.
Задания такого рода очень просты.
3. Логический анализ структуры сложного суждения.
Суждение – это, вообще говоря, то, что может быть истинным или лож-
ным. Сложное суждение строится из простых при помощи логических союзов
(связок), которые являются истинностными функциями, т. е. для каждого набо-
ра значений связываемых ими аргументов (суждений)
каждая связка даёт зна-
чение получающемуся целому. Значение сложного суждения зависит от того,
какие логические союзы связывают содержащиеся в нём простые суждения и от
значений этих простых суждений.
Логические союзы в какой-то степени являются формальными аналогами
союзов и союзных слов естественного языка. Возможные соответствия приво-
дим в следующей ниже
таблице:
Логический союз символ аналог в естественном языке
Конъюнкция
& «и», «а», «но», «тогда как», «при том,
что», запятая и т. п.
Слабая дизъюнкция
∨
«или», «или ..., или ...»,
Строгая дизъюнкция
≠
«либо», «либо ..., либо ...»
Импликация
→
«если ..., то ...»
Эквиваленция
↔
«тогда и только тогда, когда»
Отрицание
¬
«неверно, что», «ложно, что»
Примеры просты. Так, сложные суждения
Слоны не обратили на это внимание, а бегемот обратил.
Страницы
- « первая
- ‹ предыдущая
- …
- 14
- 15
- 16
- 17
- 18
- …
- следующая ›
- последняя »
