|
Все люди талантливы.
Все студенты люди.
-----------------------
Все суденты талантливы.
Ни один химик не есть пчеловод.
Некоторые пчеловоды художники.
--------------------------------
Некоторые художники не химики.
Алгоритм «Импульс».
Алгоритм анализа (доказательства) законов логики суждений чрезвычайно прост (здесь и далее апостроф означает отрицание):
- произвести замену всех знаков импликации на символы дизъюнкции в соответствии с известной формулой x —> y = x' + y;
- привести полученное выражение с помощью закона де Моргана к дизъюнктивной нормальной форме(ДНФ);
- занести ДНФ в карту Карно и убедиться, что она вся покрыта единицами это свидетельствует о истинности проверяемого закона или суждения.
X нет воды,
Y есть водород и оксид магния,
Z есть углерод,
U есть углекислый газ,
V есть кислород,
W есть углекислота.
(x —> y')(zu' —> v')(ux' —> w) —> (yvz —> w) =
= (x'+y')(z'+u+v')(u'+x+w) —> (y'+v'+z'+w) =
= xy+zu'v+ux'w'+y'+v'+z'+w = 1.
X бог всемогущ,
Y бог всеблаг,
U зло существует,
V бог бессилен против зла,
W бог желает предотвратить зло.
u(u —> (v+w'))(x —> v')(y —> w) —> (xy)' =
= u(u'+v+w')(x'+v')(y'+w) —> (xy)' =
= u'+uv'w+xv+yw'+x'+y' = 1.
Axy = x'+y = (xy')'
Exy = x'+y' = (xy)'
Ixy(8) = x+y+x'y' = 1, где в скобках указан номер базиса для частно-утвердительного суждения.
- Ixy = x
- Ixy = x+y+ix'y' русский базис
- Ixy = xy + i(x'+y') базис Аристотеля
- Ixy = x+y'+ ix'y
- Ixy = x+ix'
- Ixy = x+y
- Ixy = y+iy'
- Ixy = x+y+x'y' = 1 базис
Васильева
Только философы эгоисты.
Нет циника, который не был бы эгоистом.
---------------------------------------
Следовательно, все циники философы.
M = AmxAym = (m'+x)(y'+m) = m'y'+xy'+mx
F(x,y) = y'+x = Ayx, т.е. наш результат подтвердил истинность заключения.
m ======------
x =========----
y =====-------
xy f(x,y)
00 1
01 0
10 1
11 1
F(x,y) = y'+x = Ayx ,
т.е. результаты всех трёх методов синтеза совпали.
Лишь глупые люди верят в конец света.
Тот, кто верит в гармонию мира, не верит в конец света.
---------------------------------------------------------
Всегда найдётся глупец, который не верит в гармонию мира.
M = AmxEym = (m'+x)(y'+m') = m'+xy'
f(x,y) = xy'+i = Ixy'(3)
m ======------
x =========----
y1 --------====
y2 ------==----
y3 ------=======
xy f(x,y)
00 i
01 i
10 1
11 i
F(x,y) = xy'+i = Ixy'(3).
Только в споре рождается истина.
Никто не станет спорить, кроме глупца или мошенника.
----------------------------------------------------
Лишь глупец или мошенник могут достичь истины.
M = AxmAmy = (x'+m)(m'+y) = m'x'+x'y+my
F(x,y) = x'+y = Axy.
m ======------
x ====--------
y ===========--
xy f(x,y)
00 1
01 1
10 0
11 1
F(x,y) = x'+y = Axy.
Все люди разумны.
Некоторые животные люди.
-----------------------------
Некоторые животные разумны.
Все люди(m) и только люди разумны(x).
Все люди(m) животные(y).
F(x,y) = ?
M = (x»m)Amy = (xm+x'm')(m'+y) = m'x'+xmy+x'm'y = m'x'+xmy
F(x,y) = x'+y = Axy.
m =====-------
x =====-------
y ========----
xy f(x,y)
00 1
01 1
10 0
11 1
F(x,y) = x'+y = Axy.
Все квадраты(m) суть прямоугольники(x)
Все квадраты(m) суть ромбы(y)
f(x,y) = ?
M = AmxAmy (m=xy) = (m'+x)(m'+y)(mxy+m'x'+m'y') = mxy+m'x'+m'y'
f(x,y) = xy+x'+y' = Ixy(8)
m =====-------
x ==========---
y =====-----==
xy f(x,y)
00 1
01 1
10 1
11 1
F(x,y) = Ixy(8)
m --====---
x --========
y ======---
xy f(x,y)
00 0
01 1
10 1
11 1
F(x,y) = x+y = Ax'y = Ay'x
Все люди смертны.
Некоторые люди неграмотны.
Все неграмотные смертны.
ax = bc, bx = ac. Найти х.
(e=c) —> (e+b=c+b) = ec'+e'c+(e+b)(c+b)+(e+b)'(c+b)' =
ec'+e'c+ec+b+e'b'c' = 1;
(cx=cy) —> (x=y) = cx(cy)'+(cx)'cy+xy+x'y' =
cxy'+cx'y+xy+x'y' <> 1
M = (ax = bc)(bx = ac)
M' = (ax Е bc) + (bx Е ac)
= ab'x+ac'x+a'bc+bcx'+a'bx+bc'x+acx'+ab'c.
После занесения M'в карту Карно получим
M = a'b'+abcx+c'x'.
x(a,b,c) = abc+ia'b'+jc(ab'+a'b); x(a,c) = ac+ia'.
a(b,c,x) = bcx+ic'x'+jb(cx'+c'x); a(b,c) = bc+ic'.
a ---==--=
b ---===--
c --==----
x -===----
Название вуза | Адрес | Дата |
Акад.слав.культуры | 113519,М.,ул.Красного Маяка,4а | 27.12.99 |
Межд.русск.ун-т | 121019,М.,а/я223 | 27.12.99 |
МГУ | 119899,М.,Ленинские горы | 27.12.99 |
Рос.ун-т др.народ. | 117198,М.,ул.Миклухо-Маклая,6 | 27.12.99 |
МИЭМ | 109028,М.,Б.Вузовский пер.,3/12 | 27.12.99 |
МИЭТ | 103498,г.Зеленоград,К-498 | 27.12.99 |
Мос.гос.откр.пед.ин-т | 109004,М.,Верхн.Радищевская ул., 16 | 27.12.99 |
МИРЭА | 117454,М.,просп.Вернадского,78 | 27.12.99 |
МФТИ | 141700,г.Долгопрудный,Институт.пер.,9 | 27.12.99 |
МЭИ | 105835,М.,Красноказарменная ул.,14,17 |
Литература