Судження

Д. – свідок. .

Отже, Д. зобов’язаний давати справедливі свідчення”.

Запропоноване міркування – простий категоричний силогізм. Щоб визначити правильність даного міркування, потрібно дослідити чи дотримані основні правила простого категоричного силогізму.

Загальні правила категоричного силогізму:

І. Правила термінів:

1)в силогізмі повинно бути тільки три терміни; (дане правило дотримано)

2)середній термін повинен бути розподілений хоча би в одному з засновків (правило дотримане: середній термін є розподіленим у більшому засновку);

3)термін не розподілений в засновку, не може бути розподілений і в висновку (це правило також дотримане).

ІІ. Правила засновків:

1)хоча би один із засновків повинен бути ствердним судженням (правило витримане: обидва засновки - стверджувальні)

2)якщо б один із засновків – заперечне судження, то і висновок повинен бути заперечним (правило для даного міркування не застосовується через відсутність заперечувальних суджень в ньому).

3)хоча б один із засновків повинен бути загальним судженням (більший засновок – загальне судження, правило дотримане).

4)якщо один із засновків часткове судження, то і висновок буде частковим (менший засновок і висновок – часткові судження, правило дотримане).

Не було порушено жодного правила простого категоричного силогізму, отже дане міркування – вірне.

7. За допомогою таблиць істинності визначити, чи є логічним законом така формула: (( А  В) v (А  В)) = В.

Для перевірки того, чи є запропонована формула логічним законом, побудуємо таблицю істинності:

12345

АВ((А  B)v(A  B))

=B

1ііІіхіі

2іхХххіх

3хіХіііі

4ххХххіх