qip
Новичок
|
     
Помогите кто чем может. Задали в универе по логике несколько задач, теории и практики, как таковой, почти не было. А сам осилить не могу(((
Упростить выражения, назвать используемые законы логики.
__ _ _ _ _
1) XY <--> ( ( X v Y ) Z --> X Y Z)
____ _ _ _ _ _
2) X v Y --> ( ( X Y v X Y Z ) --> Y Z )
Зараннее благодарю.
|
Всего сообщений: 18 | Присоединился: октябрь 2008 | Отправлено: 5 нояб. 2008 16:33 | IP
|
|
qip
Новичок
|
Во втором примере сдвинулись символы отрицания. Вот правильный вариант.
___ __ __ _
XvY-->((XYvXYZ)-->YZ)
|
Всего сообщений: 18 | Присоединился: октябрь 2008 | Отправлено: 5 нояб. 2008 16:37 | IP
|
|
qip
Новичок
|
Не (XvY) --> ((Не(XY)vНе(XY)Z)-->Y Не(Z))
|
Всего сообщений: 18 | Присоединился: октябрь 2008 | Отправлено: 5 нояб. 2008 16:39 | IP
|
|
qip
Новичок
|
Задание №2
=====================
Проверить правильность умозаключения методом приведения к абсурду:
|X Y --> Z Z1
|XYZ
|Z1
__________
_
X Y
|
Всего сообщений: 18 | Присоединился: октябрь 2008 | Отправлено: 5 нояб. 2008 20:13 | IP
|
|
Guest
Новичок
|
В 2 используйте тождество A->B = -AvB
|
Всего сообщений: Нет | Присоединился: Never | Отправлено: 7 нояб. 2008 0:12 | IP
|
|
qip
Новичок
|
Проблема в том что логику я не знаю совсем. А учебников нормальных ни в интернете ни в магазинах нет. Может посоветуете что-нибудь.
|
Всего сообщений: 18 | Присоединился: октябрь 2008 | Отправлено: 7 нояб. 2008 16:54 | IP
|
|
Форум
Логика (логичечкие исчисления)
