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

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

Переход к теме
<< Назад Вперед >>
Несколько страниц [ 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 ]
Модераторы: Roman Osipov, RKI, attention, paradise
  

Olegmath2


Полноправный участник


Цитата: Yulya написал 1 июня 2009 20:16
согласна....у меня проблема со скобкой с <--> ..она как-то никак не преобразуется по норм...



Давайте сначала докажем формулу: a<->b = a'*b' v a*b
= это знак равносильности,
a' - это отрицание a.
* - это конъюнкция,
v - это дизъюнкция.
Найдите в списке основных равносильностей ту, которая выражает эквиваленцию через две импликации и равносильность, выражающую импликацию через дизюнкцию и отрицание!


(Сообщение отредактировал Olegmath2 1 июня 2009 20:33)

Всего сообщений: 235 | Присоединился: февраль 2009 | Отправлено: 1 июня 2009 20:24 | IP
Yulya



Начинающий

у меня тока закон введения замены эквив-ти есть....а вообще по идее а <->b должна быть равносильна: (не А конъюнкция не В) дизъюнкция (В конъюнкция А)

Всего сообщений: 75 | Присоединился: май 2009 | Отправлено: 1 июня 2009 20:31 | IP
Olegmath2


Полноправный участник


Цитата: Yulya написал 1 июня 2009 20:31
у меня тока закон введения замены эквив-ти есть....а вообще по идее а <->b должна быть равносильна: (не А конъюнкция не В) дизъюнкция (В конъюнкция А)


Да, всё правильно вы говорите! Я перепутал и уже исправил! Так, теперь примените эту равносильность для преобразования вашей формулы. Затем во второй скобке примените закон де Моргана!

Всего сообщений: 235 | Присоединился: февраль 2009 | Отправлено: 1 июня 2009 20:37 | IP
Yulya



Начинающий

я так и делаю..но я запуталась с этими отрицаниями,где что как меняется.......(

Всего сообщений: 75 | Присоединился: май 2009 | Отправлено: 1 июня 2009 20:45 | IP
Yulya



Начинающий

это должно получиться (не Z конъюнкция х) дизъюнкция (х конъюнкция Z) и всё это в отрицании??

Всего сообщений: 75 | Присоединился: май 2009 | Отправлено: 1 июня 2009 20:47 | IP
Olegmath2


Полноправный участник

Не старайтесь делать всё сразу делайте постепенно! Сначала "разорвите" внешнюю черту, стоящую над всей второй скобкой по закону де Моргана!


(Сообщение отредактировал Olegmath2 1 июня 2009 20:56)

Всего сообщений: 235 | Присоединился: февраль 2009 | Отправлено: 1 июня 2009 20:56 | IP
Olegmath2


Полноправный участник


Цитата: Yulya написал 1 июня 2009 20:47
это должно получиться (не Z конъюнкция х) дизъюнкция (х конъюнкция Z) и всё это в отрицании??



Здесь есть ошибка! Пользуйтесь равносильностью: a<->b = (a'*b') v (a*b)

Всего сообщений: 235 | Присоединился: февраль 2009 | Отправлено: 1 июня 2009 21:03 | IP
Yulya



Начинающий

(Z конъюнкция Х) д (не Х конъюнкция не Z)?...................

Всего сообщений: 75 | Присоединился: май 2009 | Отправлено: 1 июня 2009 21:05 | IP
Olegmath2


Полноправный участник


Цитата: Yulya написал 1 июня 2009 21:05
(Z конъюнкция Х) д (не Х конъюнкция не Z)?...................


И снова у вас ошибка!

A=(x v y')->(z<->x')'=(x v y')->((z'*x'') v (z*x'))'= ...  Что дальше? Примените закон снятия двойного отрицания! Старайтесь пользоваться моими обозначениями! Мне так будет удобнее! Напишите, что у вас получится дальше!

Всего сообщений: 235 | Присоединился: февраль 2009 | Отправлено: 1 июня 2009 21:12 | IP
Yulya



Начинающий

дурдом... я весь вечер сижу над этим...не получается..не знаю....................значчит,я тупая((((((

Всего сообщений: 75 | Присоединился: май 2009 | Отправлено: 1 июня 2009 21:21 | IP

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

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

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

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

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

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

Переход к теме
<< Назад Вперед >>
Несколько страниц [ 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 ]

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