Доказать клаузу

@marina_petrova · Регистрация: 16.11.2016

Author24 — интернет-сервис помощи студентам

Доказать клаузу.

@Ellipsoid · 05.12.2016, 14:28

1) Предположим, что логическое следование не выполняется. Тогда найдутся такие высказывания $https://www.cyberforum.ru/cgi-bin/latex.cgi?P,Q, R$ , что высказывания $https://www.cyberforum.ru/cgi-bin/latex.cgi?R, (P \to Q) \to (R \to P)$ истинны, а высказывание $https://www.cyberforum.ru/cgi-bin/latex.cgi?P$ ложно. Тогда, используя определение импликации... Нужно получить противоречие. Оно будет, если следование, указанное в условии задачи, выполняется.

@marina_petrova 3 / 3 / 0 Регистрация: 16.11.2016 Сообщений: 66
		1
	Доказать клаузу 05.12.2016, 13:22. Показов 999. Ответов 1 Метки нет (Все метки) Доказать клаузу. Миниатюры 0

@Ellipsoid 1891 / 1472 / 173 Регистрация: 16.06.2012 Сообщений: 3,342
	05.12.2016, 14:28	2
	1) Предположим, что логическое следование не выполняется. Тогда найдутся такие высказывания $https://www.cyberforum.ru/cgi-bin/latex.cgi?P,Q, R$ , что высказывания $https://www.cyberforum.ru/cgi-bin/latex.cgi?R, (P \to Q) \to (R \to P)$ истинны, а высказывание $https://www.cyberforum.ru/cgi-bin/latex.cgi?P$ ложно. Тогда, используя определение импликации... Нужно получить противоречие. Оно будет, если следование, указанное в условии задачи, выполняется. 0