S

Не которые животные суть позвоночные.

S

IV. – Некоторые книги не суть полезны.

Р

S

Некоторые змеи не имеют ядовитых зубов.

Р

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

Противоположность

А ( контрарность) Е

п п

о о

д д

ч ч

и и

н н

е е

н н

и и

е е

I Частичная совместимость О

(субконтрарность)

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

После изучения данного блока учебного курса рекомендуется составить таблицу истинности и таблицу ложности суждений А, Е, О, I, обозначив истинность символом «1» и ложность символом «0». Эти таблицы не нужно знать наизусть, но должно уметь их выводить.

Если А 1, то Е 0, О 0, I 1;

Если Е 1, то О 1; I 0, А 0;

Если О 1, то I н, А 0; Е н;

Если I 1, то А н, Е 0; О н;

Если А 0, то Е н; О 1; I н;

Если Е 0, то О н; I 1; А н;

Если О 0; то I 1; А 1; Е 0;

Если I 0, то А 0; Е 1; О 1;

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

Пример:

Всякое суждение выражается в предложении. А 1

Ни одно суждение не выражается в предложении. Е 0

Некоторые суждения не выражаются в предложении. О 0

Некоторые суждения выражаются в предложении. I 1

1. Некоторые растения вредны.

2. Все науки осуществляются благодаря опыту.

3. Ни один лентяй не заслуживает похвалы.

4. Все студенты сдают экзамены.

5. Некоторые реки судоходны.

6. Никакое знание не бесполезно.

7. Некоторые звезды не видны.

В целях системного освоения и закрепления информации по теме “Суждение” рекомендуется базовые понятия записать в своей логический словарик, а рекомендуемые упражнения, схемы и таблицы записать в свой конспект.

После освоения предыдущий темы можно перейти к табличному методу определения истинности сложных суждений, состоящих из 2-х и более суждений. Для этого необходимо знать определения основных логических связок: конъюнкции, дизъюнкции (слабой и строгой), импликации, эквивалентности и отрицания (тема 3).чтобы построить таблицу истинности, нужно сначала, считая, что все простые суждения независимы друг от друга, перебрать все возможные сочетания их значений. Таких сочетаний будет – 2n, где n – число различных простых суждений в составе сложного суждения.