Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Пособие по логике.docx
Скачиваний:
2
Добавлен:
01.07.2025
Размер:
537.4 Кб
Скачать

3.1.Рационализатор;3.2.Радиоэлектронщик;3.3.Респиратор;3.4.

радиатор;3.5.радист;3.6.рвач;3.7.радикулит;3.8.ревматизм;3.9.ре-

лигия;3.10.реформа;3.11.революция;3.12.реакция;3.13.радиация;

3.14.Репетиция;3.15.Ресторан;3.16.Рыба;3.17.Рука;3.18.Рысь;3.19.

рудокоп;3.20.раб;3.21.рабочий;3.22.рыбак;3.23.ринг;3.24.риск;

3.25.рынок;3.26.ракета;3.27.розетка;3.28.рыцарь;3.29.ремонт;

3.30.Редиска.

    1. Логическиеотношениямеждусуждениями.

Логическоеотношение-этоспецифическийхарактерзависимо-стилогическогозначенияодногосужденияотлогическогозначе-ниядругого.Общеепредставлениеовозможныхлогическихотношени-яхмеждусуждениямиможетбытьзаданоприпомощиследующейта-блицы:

Несравнимыминазываютсясуждения,логическиезначениякото-рыхполностьюнезависимы друготдруга:

p

q

и

и

и

л

л

и

л

л

Впротивномслучае сужденияназываютсясравнимыми.

Сравнимыесуждениябываютсовместимымиинесовместимыми;последние,вотличие отпервых,немогутбытьодновременно истинны-ми:

Существует3видасовместимости:

-1.Полнаясовместимостьилиэквивалентность-логическиезначениясужденийвсегдасовпадают,т.е.

-2.Частичнаясовместимостьилисубъконтрарность-суждениянемогутбытьодновременноложными,т.е.

p

q

и

и

и

л

л

и

л

л

-3.Подчинение-истинностьодного(подчиняющего)сужденияис-ключаетложностьдругого(подчиненного),т.е.

p

q

и

и

и

л

л

и

л

л

рподчиняетq;

p

q

и

и

и

л

л

и

л

л

qподчиняетр.

Влогикеразличаюттакже2виданесовместимости:

-1.Противоположностьиликонтрарность-суждениянемогутбытьодновременноистинными,номогутбытьодновременноложны-ми:

-2.Противоречивостьиликонтрадикторность-суждениянемо-гутбытьниодновременноистинными,ниодновременноложными:

p

q

и

и

и

л

л

и

л

л

Примечание.Даннаяклассификацияоказываетсянеполной,еслихотябыодноизсравниваемыхсуждений-тождественно-истин-наяилитождественно-ложнаяформула.Например, длядвухтожде-ственно-истинныхформулмыимеем:

p

q

и

и

и

л

л

и

л

л

адлядвухтождественно-ложныхформул:

      1. Логическиеотношениямеждупростымисуждениями.Простыесуждениясравнимытольковтомслучае,еслиихсубъек-тыипредикатыодинаковы.Логическиеотношениямеждусравни-

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

А Е

I О

-Эквивалентныесуждения:А-А,Е-Е,I-I,О-О;

  • Частичносовместимыесуждения:I-O;

  • Подчиненныесуждения:А-I,E-O;

  • Противоположныесуждения:А-Е;

  • Противоречивыесуждения:A-O,E-I.

      1. Логическиеотношениямеждусложнымисуждениями.Сложныесуждениясравнимытольковтомслучае,еслионисосто-ятизоднихитехжепростыхсуждений.Логические отношения меж-дусложнымисуждениямиопределяютсяприпомощипостроениясов-