Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Рабочая тетрадь по логике № 2 (Суждение).docx
Скачиваний:
66
Добавлен:
05.11.2018
Размер:
183.24 Кб
Скачать

20. Аристотель не был автором закона достаточного основания.

Явная логическая форма: _________________________________________

_______________________________________________________________

_______________________________________________________________

S – ____________________________________________________________

P – ____________________________________________________________

_______________________________________________________________

кванторное слово – _____________________ связка – _________________

Схема суждения: ________________________________________________

Вид по ОКС (прописью и символически): ___________________________

схема распределенности терминов:

S – _______________________________

P – _______________________________

21. Большинство моих друзей любят отдыхать на море.

Явная логическая форма: _________________________________________

_______________________________________________________________

_______________________________________________________________

S – ____________________________________________________________

P – ____________________________________________________________

_______________________________________________________________

кванторное слово – _____________________ связка – _________________

Схема суждения: ________________________________________________

Вид по ОКС (прописью и символически): ___________________________

схема распределенности терминов:

S – _______________________________

P – _______________________________

II. Сложные суждения

Теоретическая справка:

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

В соответствии с функциями логических связок основными видами сложных суждений являются: 1) соединительные (конъюнктивные)  pq; 2) разделительные (дизъюнктивные)  pq; 3) условные (импликативные)  pq; 4) эквивалентные суждения (двойная импликация)  pq. Еще выделяется связка отрицания – «», с помощью нее из истинного высказывания можно получить ложное, и наоборот.

В разделительных (дизъюнктивных) суждениях следует различать нестрогую, или слабую,  pq и строгую, или сильную,  pq, а также полную, или закрытую,  pq и неполную, или открытую  pq дизъюнкцию.

Также следует помнить, что связки естественного языка неравнозначны логическим связкам. Например, союз «и» в естественном языке может выражать не только логическую связку «» (конъюнкцию), но и «/» (дизъюнкцию), и «» (импликацию).

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

Условия истинности сложных суждений (1 – истина, 0 – ложь):

p

q

pq

pq

pq

pq

pq

р

1

1

1

1

0

1

1

0

1

0

0

1

1

0

0

0

0

1

0

1

1

1

0

1

0

0

0

0

0

1

1

1

Отрицание сложных суждений подчиняется законам де-Моргана и «двойного отрицания»:

(p q) ≡ p q

(p q) ≡ p q

(p q) ≡ p q

( p) p