Главная страница Случайная лекция Мы поможем в написании ваших работ! Порталы: БиологияВойнаГеографияИнформатикаИскусствоИсторияКультураЛингвистикаМатематикаМедицинаОхрана трудаПолитикаПравоПсихологияРелигияТехникаФизикаФилософияЭкономика Мы поможем в написании ваших работ! |
Разделительное (не исключающее) суждение а v b (дизъюнкция)
Правилонестрогой дизъюнкции: суждения этого вида бывают ложными только в случае ложности всех составляющих простых суждений (дизъюнктов). Исключающе-разделительное суждение а v b (строгая дизъюнкция). Смысл союза "либо" – утверждение несовместимости, противоречия составляющих суждений. Правило: строгая дизъюнкция ложна, когда совпадают значения истинности входящих в неё простых суждений, и истинна, когда они различны.
Условное суждение а ® b (импликация). Суждение а называется в импликации основанием (антецедентом), суждение b – следствием (консеквентом).
Правило: импликативное суждение бывает ложным тогда и только тогда, когда из истинного основания вытекает ложное следствие.
Эквивалентное суждение аº b (эквиваленция)
Правило: эквивалентные суждения истинны тогда и только тогда, когда значения истинности простых суждений совпадают.
Отрицательные суждения состоят из суждения и союза, его отрицающего. Поэтому таблица очень проста:
Истинность суждений отрицания устанавливается на основании закона исключённого третьего.
Дата добавления: 2014-09-26; просмотров: 359; Нарушение авторских прав Мы поможем в написании ваших работ! |