А.Ф.деп. алгебралық пікірлерге болады.
1)Натурал сандар жиыны,
2)Таңбалар х,у,z,x1,y,z,x2……
3-5)А және В алгебра болса,онда )А)(В); (А) × (В),(А)d
Сәйкес келген мәндер қарастырайық
Л1)0,1- константа (Ақиқат,)
2)ù,Ù,Ú,®, ~«,логикалық амалдар
3)p,q,r,s,p,q,r,s,,.. аргумент тер
4)(,)-жақш
Осылардан А.Ф жазылуы мүмкін ба?
Осы мәселені шешуге әрекет жасаймыз.
1) 0,1Айтылымдық формула
2)Аргумент тер p,q,s,r,…А.Ф.
3-7)Егер А және ВА.Ф болса,онда ù(А);(А)Ù(В);(А)Ú(В), (А)®(В), (А)«(В)
Айтымдық функция.
qÛpÞsÚrÙùq
(q)Û(p®sÚrÙù q);
(q)Û((p)Û(sÚrÙù q));
(q)Û((p)Þ((p)Þ((s)ÚrÙù q)));
(q)Û((p)Þ((s)Ú((r)Ù( ù q))));
(q)Û((p)Þ((s)Ú((r)Ù( ù (q)))));
А.Ф. (q)Þ((r)Ù(ù(p))) болай жазылады qÞr Ùù p.
А.Ф.(r)Þ((r)Þ((p)Ù(ù(s))))
rÞ(rÞpÙù s)
rÞrÞpÙù s дұрыс емес.