Seminar 8

Sintaxa logicii cu predicate de ordinul I

Pentru a construi mulimea de formule a logicii cu predicate de ordinul I, LP1, vom porni cu
urmtoarele mulimi de simboluri:
X = {x1, x2, } variabile
P = {P0, P1, }: simboluri predicative
o fiecare Pi este o mulime cel mult numrabil de predicate de aritate i (i N).
Elementele lui P0 se mai numesc i variabile predicative.
F = {F0, F1, ...}: simboluri funcionale
o fiecare Fi este o mulime cel mult numrabil de funcii de aritate i (i N).
Elementele lui F0 se numesc i constante (funcionale).
C1 = {, , }: conectori logici
C2 = { (x) | x X } U { ( x) | x X } cuantificatori universali, respectiv existeniali
P = { (, ) }
Alfabetul:

Alf = X U ( i
Pi ) U ( Fi ) U C1 U C2 U P
0
i0
Se definete constructiv mulimea termilor T:
Baza. X T i Fo T (variabilele i constantele sunt termi).
Pas constructiv. Pentru fiecare n N*, pentru fiecare f Fn, pentru fiecare t1, t2, , t n
T, f(t1, t2, , t n) T.
Se definete mulimea formulelor atomice, notat cu At, prin:
(i)
Po At (variabilele predicative sunt formule atomice).
(ii)
Pentru fiecare n N*, pentru fiecare P Pn, pentru fiecare
t1, t2, , tn T, avem P(t1, t2, , tn) At.
Mulimea formulelor calculului cu predicate de ordinul I, LP1, este dat constructiv prin:
Baza. At LP1 (formulele atomice sunt formule)
Pas constructiv.
(i)
Dac F LP1 atunci ( F) LP1.
(ii)
Dac F1, F2 LP1 atunci ( F1 F2 ), ( F1 F2 ) LP1
(iii) Dac F LP1 atunci (x)(F) LP1 i ( x)(F) LP1, pentru fiecare x X
Exerciii
Pentru formulele de mai jos, realizai urmtoarele:
a) Identificai simbolurile care apar n formule.
b) Construii mulimea subformulelor i arborele asociat.
F1 = (x)(P(x, a) Q(y) (z)P(z, x))

F2 = (x)(z)(P(x, y, z) Q(x)) (x)(Q(x) R(f(x, z), a))

F3 = P(x) P(y) (z)(x)Q(f(z), x)
F4 = (x)P(x, f(x)) Q(x) P(a, f(z))
F5 = (x)(y)(P(f(x, a), f(a, y)))