Форум
» Назад на решение задач по физике и термеху
Регистрация | Профиль | Войти | Забытый пароль | Присутствующие | Справка | Поиск

» Добро пожаловать, Гость: Войти | Регистрация
    Форум
    Математика
        Логика (логичечкие исчисления)
Отметить все сообщения как прочитанные   [ Помощь ]
» Добро пожаловать на форум "Математика" «

Переход к теме
<< Назад Вперед >>
Одна страница
Модераторы: Roman Osipov, RKI, attention, paradise
  

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

Отправка ответа:
Имя пользователя   Вы зарегистрировались?
Пароль   Забыли пароль?
Сообщение

Использование HTML запрещено

Использование IkonCode разрешено

Смайлики разрешены

Опции отправки

Добавить подпись?
Получать ответы по e-mail?
Разрешить смайлики в этом сообщении?
Просмотреть сообщение перед отправкой? Да   Нет
 

Переход к теме
<< Назад Вперед >>
Одна страница

Форум работает на скрипте © Ikonboard.com