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

26.01.2012, 20:12

Решение:
доказать общезначимость исходной формулы, значит показать, что формула на всех наборах единиц и нулей принимает одинаковые значения (равные одному например)

построим таблицу истинности для трех переменных:

 P R
Q
P—>Q ┐Q
P—>┐Q
┐P
(P—>┐Q)—> ┐P
(P—>Q)—>((P—>┐Q)—> ┐P))
Читать далее

Задание на построение краткого, развернутого, полного, неполного, точного,неточного ответа на поставленный вопрос

26.01.2012, 20:59
Постройте краткий и развёрнутый, полный и неполный, точный и неточный ответ на поставленный вопрос.
Кто был создателем неэвклидовой геометрии?



Решение:
Краткий ответ: должен заключаться в «да» или «нет», на данный вопрос нельзя ответить кратко.
Развернутый ответ: российский математик
Читать далее

Задание на подбор аргументов для тезиса

26.01.2012, 21:03

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

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

Читать далее

Пример на сложную деструктивную дилемму

26.01.2012, 21:10

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

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

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

Читать далее

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

26.01.2012, 21:18

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

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

Читать далее

Выявите структуру сложных высказываний

01.02.2012, 08:34

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

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

Читать далее

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

01.02.2012, 18:10

Докажите общезначимость заданных формул методом составления истинностных таблиц:
((┐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    

Читать далее