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


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

Практические задания

1.При помощи колових схем покажите отношение между понятиями: воздух, атмосфера, кислород.

2.Является ли демонстративным данное умозаключение (рассуждение)?

1. А B

2. A .

3. B

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

(А V B)  A

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

5.Постройте прямое доведение тезиса С, используя такие аргументы:

А  B, B v C, A ٨ C

Ответы на практические задания:

1.При помощи колових схем покажите отношение между понятиями: воздух, атмосфера, кислород.

По нашему мнению отношение между предложенными понятиями стоит изобразить так:

где А - воздух,

В - атмосфера,

С - кислород.

Вид отношения между понятиями воздуха и атмосфера - перекрещивание, поскольку не все атмосферы имеют воздух (атмосферы звезд и тому подобное), между понятиями атмосфера и кислород - также отношение перекрещивания, поскольку не все атмосферы содержат кислород (атмосфера Сатурна и тому подобное); между понятиями воздуха и кислород - отношение подчинения, поскольку объем понятия кислород полностью включает у себя объем понятия воздуха.

2.Является ли демонстративным данное умозаключение (рассуждение)?

1. А B

2. A .

3. B

Демонстративным называется умозаключение, в котором вывод с необходимостью вытекает из предпосылок, то есть логическая последовательность в таких рассуждениях представляет собой логический закон. В предложенных предпосылках 1 и 2 вывод 3 следует с необходимостью (согласно логической связи - импликации). Следовательно, данное умозаключение является демонстративным.





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