 Математическая логика, Исчисление высказываний |
Компиляция правил для данного раздела
1. Заголовок темы должен быть информативным. В противном случае тема закрывается и удаляется ...
2. НЕ используйте форум для личного общения, все что не относится к обсуждению темы - на PM!
3. Одна тема - один вопрос (задача)
4. Спрашивайте и отвечайте четко и по существу!!!
| Amro |
 26.11.2004 21:23
Сообщение
#1
|
 Пионер  Группа: Пользователи Сообщений: 146 Пол: Мужской Репутация:  2   |
Люди!!! Горю!!! Нужна помощь!!! В понедельник контрольная по мат логике, дали нулевой вариант, а я вообще в ней не шарю .... В общем проходим мы сейчас тему исчисление высказываний, а вернее это целый раздел ....
Если есть кто знающий!?? может объясните на "пальцах" как доказывать нижеприведённые примеры .... (|- знак выводимости .... --> импликация ....... V дизъюнкция .... & конъюнкция) Особенно интересует 1,2 и 5 примеры .... Можь у кого электронные лекции есть, с примерами решения??? Буду благодарен!!! :thanks: Сообщение отредактировано: Amro - 26.11.2004 21:31 Эскизы прикрепленных изображений 
-------------------- Закон иудеев: Семь раз отмерь, один отрежь.
Закон экономии: Семь раз отмерь, семь раз отрежь. Закон программиста: Семь раз отрежь, ошибся, отмерь. |
   |
 
|
Сообщений в этой теме
Amro Математическая логика 26.11.2004 21:23
Altair Все эти примеры доказываются с помощью таблицы ист... 26.11.2004 21:58 Amro
В таблице истинности мне не надо .... таблицы ист... 26.11.2004 22:08 Altair тогда прошу прощения... 26.11.2004 22:14 Amro Чувствую в понедельник я покойник .... 27.11.2004 23:06 Dark Я попробую =)
сначала определения
1. !(... 27.11.2004 23:51 Dark 1.
AVC->BVC = !(AVC)VBVC
!(AVC)=!A... 28.11.2004 1:29 Dark 2. Не знаю
3. (X->Y)->(!(!Y V Z) V ... 28.11.2004 1:36 fms есть лекции в электр. виде те, которые читались у ... 28.11.2004 1:49 Amro Dark
Спасибо!!! щас попробую разобрат... 28.11.2004 13:54 Эрпэгэшник fms
Плиз отправь на rpgshnik@rambler.ru
Ктонить ... 7.12.2004 7:40
BlackNightFear Думаю, если я выложу сюда некоторые основные форму... 7.12.2004 18:24  |
1 чел. читают эту тему (гостей: 1, скрытых пользователей: 0)
Пользователей: 0
|
Текстовая версия | 25.07.2025 5:53 |