Контрольна робота з логіки

3.Визначте табличним методом при яких значеннях змінних А і В вираз буде істинним?

(А V B)  A

АВ(А V В) A

1іііі

2іхіі

3хііх

4хххі

де

і – істинне,

х – хибне,

V – «або» (зв’язка диз’юнкції),

 - «Якщо... , то...» (зв’язка імплікації).

З таблиці істинності випливає, що вираз буде істинним практично при всіх значеннях змінних А і В (1, 2, 4-й рядки таблиці), за винятком одного (3 рядок таблиці), коли А – хибне, а В – істинне.

4.Дайте приклад загально-заперечувального судження. Запишіть його в термінах логіки предикатів.

Стверджувати або заперечувати щось можна про один предмет, про частину предметів і про всі предмети класу. У відповідності з цим категоричні судження поділяють за кількістю і якістю. Загально-заперечувальним називається судження, в якому щось заперечується про цілий клас предметів.

Наприклад: “Ніхто з студентів немає права ігнорувати екзаменаційну сесію”.

Схематично дане судження можна зобразити так: “Всі S не є Р”. (S – P)

5.Побудуйте пряме доведення тези С, використовуючи такі аргументи:

А  B, B v C, A ٨ C

Прямим називається доведення, в якому при обґрунтуванні тези не користуються суперечливими тезі припущеннями.

Припустимо, що А – істинне, тоді

А  B, А звідси В v C, B

В C

Тезу С доведено.