Guest
Новичок
|
    
Вообщем при решении выводимости получилась такая штука,
((B > ┐ A) > ┐(A > ┐B)) > ((( B> ┐A) > ┐(A > ┐B)) > ┐(B > ┐A))
Обозначения:
┐ - отрицание
> - импликация
очень похоже на одну из аксиом:
(┐B > ┐A) > (( ┐B > A) > B )
если заменить в ней:
┐B на (B > ┐ A)
┐A на ┐(A > ┐B)
A на ┐(A > ┐B)
B на ┐(B > ┐A)
получается так что в первой скобке уже не будет знака отрицания у " ┐B на (B > ┐ A)"
справедлива ли будет эта замена? если да то как доказать что эта как бы подобная, аналогичная аксиома верна? семантически доказывается ее выводимость, путем построения таблицы истинности. а как доказать синтаксически ? подскажите пожалуйста
все борюсь с одной выводимостью, если смогу вот это доказать то и выводимость доделаю( а если нет то я уже незнаю что делать со своей выводимостью( вот она :
┐( A > ┐ B ) |- ┐( B > ┐ A )
|- знак выводимости.
действия были такие:
1. ┐(A>┐B)>((B>┐B)>┐(A>┐B) по аксиоме: (A > ( B > A ))
2. ┐(A>┐B) - гипотеза.
3. (B>┐A)>┐(A>┐B)) 1,2 MP ( 1,2 по правилу Modus ponens)
4. ((B > ┐ A) > ┐(A > ┐B)) > ((( B> ┐A) > ┐(A > ┐B)) > ┐(B > ┐A)) как раз моя проблема(((
5. ((B > ┐A)>┐(A>┐B))>┐(B>┐A) 3,4 MP
6. ┐(B>┐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
|
|
|
Форум
Вопрос по мат. логике
