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

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

Тезис С доказан.



Вернуться назад