Математическая логика, Исчисление высказываний |
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 Эскизы прикрепленных изображений -------------------- Закон иудеев: Семь раз отмерь, один отрежь.
Закон экономии: Семь раз отмерь, семь раз отрежь. Закон программиста: Семь раз отрежь, ошибся, отмерь. |
Altair |
26.11.2004 21:58
Сообщение
#2
|
Ищущий истину Группа: Модераторы Сообщений: 4 824 Пол: Мужской Реальное имя: Олег Репутация: 45 |
Все эти примеры доказываются с помощью таблицы истинности!
-------------------- Помогая друг другу, мы справимся с любыми трудностями!
"Не опускать крылья!" (С) |
Amro |
26.11.2004 22:08
Сообщение
#3
|
Пионер Группа: Пользователи Сообщений: 146 Пол: Мужской Репутация: 2 |
Цитата Все эти примеры доказываются с помощью таблицы истинности! В таблице истинности мне не надо .... таблицы истинности -- это алгебра высказываний .... а я вроде написал раздел "исчисление высказываний" а если точнее то "формальное исчисление высказываний" в этом разделе мат логики всё доказывается при помощи теорем и аксиом !!!!!!!!!!!!! Через таблицы истинности я бы и сам как-нибудь допетрился ..... увы здесь не то ... Сообщение отредактировано: Amro - 26.11.2004 22:11 -------------------- Закон иудеев: Семь раз отмерь, один отрежь.
Закон экономии: Семь раз отмерь, семь раз отрежь. Закон программиста: Семь раз отрежь, ошибся, отмерь. |
Altair |
26.11.2004 22:14
Сообщение
#4
|
Ищущий истину Группа: Модераторы Сообщений: 4 824 Пол: Мужской Реальное имя: Олег Репутация: 45 |
тогда прошу прощения...
-------------------- Помогая друг другу, мы справимся с любыми трудностями!
"Не опускать крылья!" (С) |
Amro |
27.11.2004 23:06
Сообщение
#5
|
Пионер Группа: Пользователи Сообщений: 146 Пол: Мужской Репутация: 2 |
Чувствую в понедельник я покойник ....
-------------------- Закон иудеев: Семь раз отмерь, один отрежь.
Закон экономии: Семь раз отмерь, семь раз отрежь. Закон программиста: Семь раз отрежь, ошибся, отмерь. |
Dark |
27.11.2004 23:51
Сообщение
#6
|
Знаток Группа: Пользователи Сообщений: 408 Пол: Мужской Репутация: 3 |
Я попробую =)
сначала определения 1. !(!a) = a отрицание 2.a. a&b = b&a коньюнкция b. a&0=0 c. a&1=a d. a&a=a 3.a. a&b = b&a дизьюнкция b. a&0=a c. a&1=1 d. a&a=a = - [три черточки] != - [три черточки перечеркнутые] 4.a. a->b!= b->a b. 1->a=a c. 0->a=1 d. a->a=1 e. a->1=1 f. a->0=!a -------------------- - Где я?
- Во тьме. - В какой тьме? - Во тьме твоего мозга. |
Dark |
28.11.2004 1:29
Сообщение
#7
|
Знаток Группа: Пользователи Сообщений: 408 Пол: Мужской Репутация: 3 |
1.
AVC->BVC = !(AVC)VBVC !(AVC)=!AV!C !AV!CVBVC=!AVB !AVB=A->B ЧТО НИБУДЬ НЕ ПОНЯТНО??? -------------------- - Где я?
- Во тьме. - В какой тьме? - Во тьме твоего мозга. |
Dark |
28.11.2004 1:36
Сообщение
#8
|
Знаток Группа: Пользователи Сообщений: 408 Пол: Мужской Репутация: 3 |
2. Не знаю
3. (X->Y)->(!(!Y V Z) V !X V Z) (X->Y)->(Y V ! Z) V !X V Z) (!X V Y) -> (Y V !X) !(!X V y) V (Y v !X) X V !Y V Y V !X = 1 Ч.Т.Д. -------------------- - Где я?
- Во тьме. - В какой тьме? - Во тьме твоего мозга. |
fms |
28.11.2004 1:49
Сообщение
#9
|
Бывалый Группа: Пользователи Сообщений: 195 Пол: Женский Репутация: 0 |
есть лекции в электр. виде те, которые читались у нас универе.) если надо могу отправить..)
-------------------- непонимающая..
|
Amro |
28.11.2004 13:54
Сообщение
#10
|
Пионер Группа: Пользователи Сообщений: 146 Пол: Мужской Репутация: 2 |
Dark
Спасибо!!! щас попробую разобраться .... fms Если есть выкладывай на форум или на мой ящик amro8@rambler.ru -------------------- Закон иудеев: Семь раз отмерь, один отрежь.
Закон экономии: Семь раз отмерь, семь раз отрежь. Закон программиста: Семь раз отрежь, ошибся, отмерь. |
Эрпэгэшник |
7.12.2004 7:40
Сообщение
#11
|
Гость |
fms
Плиз отправь на rpgshnik@rambler.ru Ктонить можен помочь, а точнее решить. Нужно проверить выполнима ли и построить мн-во в котором она истина. Сообщение отредактировано: Эрпэгэшник - 7.12.2004 7:43 Эскизы прикрепленных изображений |
BlackNightFear |
7.12.2004 18:24
Сообщение
#12
|
Новичок Группа: Пользователи Сообщений: 48 Пол: Мужской Репутация: 0 |
Думаю, если я выложу сюда некоторые основные формулы логики это не кому не помешает... хотя я уверен что большинство здешних посетителей знают их!
// "+" это сложение по модулю! // /\ - дизьюнкция x -> y = !x V y x <-> y = ! ( x + y ) x <-> y = ( x -> y ) /\ ( y -> x ) x | y = ! ( x /\ y ) !x = 1 + x x <-> y = 1 + x + y x V y = ( x -> y ) -> y x V y = !x -> y x + y = ! ( x <-> y ) !( x V y ) = !x /\ !y !( x /\ y ) = !x V !y x V y = ! ( !x /\ !y ) x /\ x = x x /\ !x = 0 x /\ 0 = 0 x /\ 1 = x x V x = x x V !x = x x V 0 = x X V 1 = 1 C ними примерчики доказываются попроще!((-; |
Текстовая версия | 30.09.2024 9:51 |