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

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

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

Guest



Новичок

Вообщем при решении выводимости получилась такая штука,
((B > &#9488; A) > &#9488;(A > &#9488;B)) > ((( B> &#9488;A) > &#9488;(A > &#9488;B)) > &#9488;(B > &#9488;A))

Обозначения:
&#9488; - отрицание
> - импликация

очень похоже на одну из аксиом:
(&#9488;B > &#9488;A) > (( &#9488;B > A) > B )
если заменить в ней:
&#9488;B на (B > &#9488; A)
&#9488;A на &#9488;(A > &#9488;B)
A на &#9488;(A > &#9488;B)
B на &#9488;(B > &#9488;A)

получается так что в первой скобке уже не будет знака отрицания у " &#9488;B на (B > &#9488; A)"
справедлива ли будет эта замена? если да то как доказать что эта как бы подобная, аналогичная аксиома верна? семантически доказывается ее выводимость, путем построения таблицы истинности. а как доказать синтаксически ? подскажите пожалуйста  

все борюсь с одной выводимостью, если смогу вот это доказать то и выводимость доделаю( а если нет то я уже незнаю что делать со своей выводимостью( вот она :
&#9488;( A > &#9488; B ) |- &#9488;( B > &#9488; A )

|- знак выводимости.

действия были такие:

1. &#9488;(A>&#9488;B)>((B>&#9488;B)>&#9488;(A>&#9488;B) по аксиоме: (A > ( B > A ))
2. &#9488;(A>&#9488;B) - гипотеза.
3. (B>&#9488;A)>&#9488;(A>&#9488;B)) 1,2 MP ( 1,2 по правилу Modus ponens)
4. ((B > &#9488; A) > &#9488;(A > &#9488;B)) > ((( B> &#9488;A) > &#9488;(A > &#9488;B)) > &#9488;(B > &#9488;A)) как раз моя проблема(((
5. ((B > &#9488;A)>&#9488;(A>&#9488;B))>&#9488;(B>&#9488;A) 3,4 MP
6. &#9488;(B>&#9488;A) 3,5 MP

может быть кто тут подскает либо как доказать первую проблему либо может это все таки ошибка и направит меня в правельную сторону реения всей выводимости( Помогите пожалуйста замучился с ней уже(

Всего сообщений: Нет | Присоединился: Never | Отправлено: 12 дек. 2007 18:42 | IP
cjsyxar


Новичок

1         f = отр(X) <-> (отр(Z) <-> (Y v XZ))


1.Для заданной функции
1.1.построить таблицу истинности;
1.2.получить СДНФ и СКНФ по таблице истинности;
1.3.найти МДНФ и МКНФ;
1.4.преобразовать исходную функцию к ДНФ;
1.5.преобразовать исходную функцию к КНФ.

помогите найти пункты 1.4 и 1.5

(Сообщение отредактировал cjsyxar 10 апр. 2012 11:29)

Всего сообщений: 3 | Присоединился: апрель 2012 | Отправлено: 10 апр. 2012 11:26 | IP
cjsyxar


Новичок



(Сообщение отредактировал cjsyxar 10 апр. 2012 11:35)

Всего сообщений: 3 | Присоединился: апрель 2012 | Отправлено: 10 апр. 2012 11:27 | IP
Dim


Новичок

Помогите ответить:
 I  Какое из дифференциальных выражений является полным  дифференциалом?
1.(x+3y^2) dx + (x^2+y^2) dy
2.cos(x)cos(y)xdx - sin(y)*(sin(x)+4cos(y)) dy
3. ysin(x) dx+xsin(y) dy
4. x^2*lny dx+(x^3)/y dy
5. arccos(y) dx+ arccos(x) dy

II Какой из приведенных ниже интегралов является несобственным, если функция  - непрерывна?
1. неопределённый интеграл
2. интеграл от 0 до а
3. интеграл от -а до а
4. интеграл от а до бесконечности
5. интеграл от а до b

III Какое из дифференциальных уравнений не является однородным
1.(xy-y^2) dx- (x^2-2xy) dy=0
2. y'=(xy-y^2)/(x^2-2xy)
3. xy'=y
4. xy'=y+1
5. y'=(x^2)/(y^2)

Всего сообщений: 42 | Присоединился: январь 2012 | Отправлено: 11 апр. 2012 0:04 | IP

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

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

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

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

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

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

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

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