Шпаргалка: Основы логики

6. Транзитивность (выше, родственники).

7. Антитранизитивность (знает).

24. Отрицание суждений. Отрицание простых: атрибутивных и реляционных; сложных суждений

Отрицание суждения – это замена существующей связки внутри сложного высказывания на другую, противоположную последней.

Отрицание атрибутивных суждений имеют вид «S не есть P» (например, яблоко не зелённое). Отрицание реляционного суждения имеет вид «S не есть S» (например, Ваня не выше Пети).

25. Модальное высказывание

Модальное высказывание – это отдельный вид суждения, в котором отражается отношение и связь между субъектом и предикатом и показывается отношение к предмету с помощью модальных отношений. Модальное высказывание содержит дополнительную информацию (например, «Возможно, завтра я пойду в театр»).