Рубрика: Логика

Определите правильность построения, модус и фигуру следующих категорических силлогизмов:

Все люди являются разумными существами.
Все студенты являются людьми
———————————————————
Все студенты являются разумными существами.
Решение:
Выпишем термины:
Больший термин Р – «Являться разумными существами»
Меньший темин S –

Выпишем термины:
Больший термин Р – «являться насекомыми»
Меньший темин S – «членистоногие»
Средний термин М – «муха»

Большая посылка: Некоторые насекомые (Р-)не являются мухами(М+).
Меньшая посылка: Все мухи (М+) являются членистоногими (S-)
Заключение: Некоторые членистоногие (S-) не

К данному тезису подберите аргументы, аргументируйте тезис, применяя любую форму обоснования.
Авария произошла по вине водителя разбившегося автомобиля.

Решение:
Авария произошла по вине водителя разбившегося автомобиля(Т)
Подбираем аргументы:
— был пьян (а1)
— нарушал правила (а2)
— превышал

Приведите пример и символическую запись сложной деструктивной дилеммы.

Решение:
Сложная деструктивная дилемма:
Первая посылка состоит из двух условных суждений с разными основаниями и разными выводами, а вторая посылка – это отрицание обоих выводов.

Пример:
Если я ответственен ,

Проведите ограничение следующих понятий.
а) Система права; б) Стакан чая.

Решение:
а) Понятие «гражданские права» будет рассматриваться как ограничение понятия «система права», а понятие «авторские права» будет ограничением последнего.
Можно кратко представить:
Система права  гражданские права авторские права

выявите структуру сложных высказываний, укажите, из каких простых высказываний они образованы и с помощью каких логических связок. Напишите формулу языка нулевого порядка, формализующую данное высказывание. Постройте его отрицание, и это отрицание сформулируйте на обычном языке:

9 вариант
«если

Докажите общезначимость заданных формул методом составления истинностных таблиц:
((┐P—>┐Q)—>(Q—>P))

Решение:
P    R    Q   ┐P ┐Q  ┐P —>┐Q    Q—> P    ((┐P—>┐Q)—>(Q—>P))
0    0    0    1    1        1               1                        1
0    0    1    1    0        0               0                        1
0    1