Реферат: Краткая методичка по логике
х, y, z, х0 , y0 , z0 , х1 , y1 , z1 , … обозначают переменные.
uv обозначает результат написания выражения v после выражения u.
Термами называются знакосочетания с такими порождающими правилами:
D х
Dc
Du1 ,…,un , f (u1 , … ,un ). fn-местный, n¹0.
Обозначения для термов: a, b, a0 , b0 , a1 , b1 , …
Пример индуктивной последовательности термов:
f
c1
f
(c1 , f)
f
(c1 , c1 , f(c1 , f))
c2
f
(c1 , f,f(c1 , f), c2 )
f
(c2 )
f(f(c2 ))
Высказываниями, соотношениями, формулами называются знакосочетания с такими правилами порождения:
D g здесь g нульместный
D g(а1 ,…,аn ) здесь gn-местный, n¹0
D u, "x(u)
D u, $x(u)
D u, Ø(u)
D u, v, (u)Ù(v)
D u, v, (u)Ú(v)
D u, v, (u)Þ(v)
D u, v, (u)Û(v)
Пример индуктивной последовательности формул (на основе термов из предыдущего примера)
g
(f, c1 )
g