«В ТИСБИ имеются факультеты юридический, экономический и гуманитарный» – это сложное конъюнктивное суждение, состоящее из 3-х простых, его логическая форма (p ^q^r). Для этого случая в трех первых слева столбцах таблицы восемью строками (23) записываются все сочетания значений пропозициональных переменных p, q, r. Механический перебор всех сочетаний осуществляется, если для первой переменной р записать половину строк (четыре строки) истиной (1) и половину ложной (0), для второй переменной чередовать «1» и «0» через две строки, а для последней r – через одну. После заполнения входных столбцов начинаем определять истинные значения сложного суждения, руководствуясь следующей таблицей:

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

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

Найдите составляющие сложное суждение простые суждения, определив тип связи и истинность сложных суждений с помощью таблиц истинности:

1. «Вам никогда не удается создать мудрецов, если будете убивать в детях шалунов» Ж.Руссо

2. « Кто утратил стыд, того нужно считать погибшим» Плавт

3. « Только та победа истинна, когда никто не считает себя побежденным» Будда

4. « Предварительное значение того, что собираешься сделать, дает смелость и легкость» Д. Дидро

5. « Мало иметь хороший ум, главное – хорошо его применять» Р. Декарт

6. «Поэтами рождаются, ораторами становятся» Цицерон

7. « Когда глаза говорят одно, а язык – другое, опытный человек больше верит первым» Эмерсон

Выполнение всех упражнений по теме «Суждение» является достаточным и необходимым условием для перехода к теме «Умозаключение», которая поможет получать новые знания – опосредованные или выводные.

Ключевые слова : суждения простые и сложные; логический квадрат; условия истинности простых и сложных суждений.

ТЕМА V. Умозаключение

Общее понятие о заключении. Структура умозаключения: посылки, заключение, логическая связь между посылками и заключением. Понятие логического следования. Виды умозаключения: дедуктивный, индуктивный, по аналогии. Логически необходимые и вероятные (правдоподобные) умозаключения.