Отправляет email-рассылки с помощью сервиса Sendsay
  Все выпуски  

RusFAQ.ru: Математика


Информационный Канал Subscribe.Ru

РАССЫЛКИ ПОРТАЛА RUSFAQ.RU

/ НАУКА И ОБРАЗОВАНИЕ / Точные науки / Математика

Выпуск № 31
от 05.08.2005, 18:19

Администратор:Tigran K. Kalaidjian
В рассылке:Подписчиков: 55, Экспертов: 15
В номере:Вопросов: 1, Ответов: 1


Вопрос № 24307: ВОТ ВОПРОС ИЗ МАТЕМАТИКИ(ЛОГИКИ): Используя таблицы истенности для логических связок, определить истенное значение приведенных выссказаваний: 1. A дизьюнкция !A 2. A коньюкция !A 3. !(A импликация A) 4. не(А дизьюнкц...

Вопрос № 24.307
ВОТ ВОПРОС ИЗ МАТЕМАТИКИ(ЛОГИКИ):

Используя таблицы истенности для логических связок,
определить истенное значение приведенных выссказаваний:

1. A дизьюнкция !A
2. A коньюкция !A
3. !(A импликация A)
4. не(А дизьюнкция не А)
4. !(A коньюкция !A)

Повторяю:

1. А или не А
2. А и не А
3. не(А -> А)
4. не(А или не А)
5. не(А и не А)

Т.е. если я подставлю вместо "А" 1, тогда получится следующее:

1. true
2. false
3. незнаю (поясните пожалуйста словесно, как работает импликация)
4. false
5. true

Теперь для нуля:

1. true (в любом случае при А=1 или А=0)
2. false (в любом случае при А=1 или А=0)
3. незнаю
4. false (в любом случае при А=1 или А=0)
5. true (в любом случае при А=1 или А=0)

Вроде бы так все делать нужно, но импликацию не понимаю ;-(

И еще один вопрос:
Что такое скаляр?
Как-то в ассемблере вышла ошибка при ассемблировании, что-то связано
с ожиданием скаляра. :-)

Приложение:

Отправлен: 31.07.2005, 18:14
Вопрос задал: Терсков Алексей Николаевич (статус: Посетитель)
Всего ответов отправлено: 1

Отвечает: Ayl
Здравствуйте, Терсков Алексей Николаевич!

1. a + !a = 1 (для любого a)
2. a * !a = 0 (для любого a)
3. !(a -> b) = a*!b
4. !(a + !a) = !1 = 0 (для любого a)
5. !(a * !a) = !0 = 1 (для любого a)

Импликация (a -> b) это такая логическая функция, которая будет ложной только в том случае, когда посылка (a) истинна, а следствие (b) - ложно. На вербальном языке задается фразой "если a, то b".

Вот ее таблица истинности:
a b a->b
0 0 1
0 1 1
1 0 0
1 1 1

то есть, из ложного утверждения может следовать какое-угодно (например, утверждение "если сейчас 2000 год, то завтра я полечу на Луну" - истинно, вне зависимости от того, получе я заврта на Луну или нет).
Если же посылка истинна, то из нее может следовать только истинное утверждение: "если 2*2 = 4, то 2*3 = 6".

Функцию a->b можно переписать как !a + ab.
Теперь рассмотрим функцию !(a->b):
!(a->b) = !(!a + ab) = {правило Де-Моргана (+): !(a+b) = !a*!b} = !(!a)*!(ab) = {правило двойного отрицания: !(!a) = a} = a*!(ab) = {правило Де-Моргана (*): !(a*b) = !a + !b} = a*(!a+!b) = a*(!a)+a*(!b) = {a*(!a) = 0} = 0+a*!b = a*!b

Скаляр - это число. То есть, в твоей программе компилятор ожидает либо число, либо числовое выражение.

Правая и левая импликации:
a -> b
a <- b = b -> a

---------
Трудное - то, что можно сделать немедленно. Невозможное - то, для выполнения чего требуется немного больше времени
Ответ отправил: Ayl (статус: Профессор)
Отправлен: 01.08.2005, 11:48
Оценка за ответ: 5


Отправить вопрос экспертам этой рассылки

Приложение (если необходимо):

* Код программы, выдержки из закона и т.п. дополнение к вопросу.
Эта информация будет отображена в аналогичном окне как есть.

Обратите внимание!
Вопрос будет отправлен всем экспертам данной рассылки!

Для того, чтобы отправить вопрос выбранным экспертам этой рассылки или
экспертам другой рассылки портала RusFAQ.ru, зайдите непосредственно на RusFAQ.ru.


Форма НЕ работает в почтовых программах The BAT! и MS Outlook (кроме версии 2003+)!
Чтобы отправить вопрос, откройте это письмо в браузере или зайдите на сайт RusFAQ.ru.


© 2001-2005, RusFAQ.ru, Россия, Москва. Все права защищены.
Идея, дизайн, программирование, авторское право: Калашников О.А.

Яндекс


Subscribe.Ru
Поддержка подписчиков
Другие рассылки этой тематики
Другие рассылки этого автора
Подписан адрес:
Код этой рассылки: science.exact.mathematicsfaq
Отписаться
Вспомнить пароль

В избранное