Контрольная работа: Закони виключеного третього та несуперечності

Структура судження.

Вид: просте судження.

Суб’єкт – це поняття про предмет думки.

Предикат – це поняття про ознаки предмета.

Зв’язка – вказує на наявність чи відсутність ознаки предмета.

Суб’єкт – церковні шлюби.

Предикат – за релігійними обрядами .

Зв’язка – укладаються.

Невірне.

Церковні шлюби не укладаються у церкві за релігійними обрядами.

4. Формалізувати судження М. і П. обидва брали участь у вчиненні злочину, або обидва непричетні до нього.

А В. Це судження еквіваленції.

5. Встановити дотримання основних принципів правильного мислення у міркуванні:

Якщо суддя – потерпілий, то він не має права вести справу.

Суддя Ф. – потерпілий.

Суддя Ф. не має права вести справу.

Тут порушено принцип визначеності до поняття «Суддя», тому неможливо встановити чи дотримано принципів послідовності та обґрунтованості.

Принцип несуперечності тут дотримано.

6. За допомогою таблиць істинності визначити, чи є логічним законом така формула:

А VВ = (А VВ) (А VВ)

A	B	AVB	A	B	AVB
I	I	I	I	I	X
I	X	I	I	X	I
X	I	I	X	I	I
X	X	X	X	X	X

7. Наведіть приклад IIфігури простого категоричного силогізму. Вкажіть його терміни і модус.

IIфігура: більший засновок має бути судженням загальним. Однин із засновків — судженням заперечення.

Злочин розкрито, коли виявлено весь склад злочину.

Слідством не виявлено особи, яка скоїла злочин.

Отже, злочин не розкрито

Модус АЕЕ.

8. Чи випливає з необхідністю висновок А з таких підстав?

1) В V(С D); 2) С Е; 3) А В; 4) Е VD

ͳ.