Seminar 2

Definiii constructive
Definiia constructiv a mulimii numerelor naturale
Fie N o mulime nevid.
Baza. 0 N
Pas constructiv. Dac n N, i s : N N o funcie (denumit succesor), atunci s(n) N
Exerciiu.
Cum se reprezint numrul 3? Dar numrul 100?
Definiia constructiv a operaiei de adunare
Fie N mulimea numerelor naturale i funcia + : N N N.
Baza: n + 0 = n, pentru fiecare n N
Pas constructiv: n + s(m) = s(n + m), pentru fiecare n, m N
Exerciiu.
Demonstrai utiliznd definiiile de mai sus c 2 + 3 = 5, unde 2, 3, 5 N.

Sintaxa LP
Definiia 2. 1. Fie A o mulime nevid de variabile propoziionale, C = {, , } mulimea
conectorilor logici i P = { ( , ) } mulimea parantezelor.
Formulele vor fi cuvinte peste alfabetul L = A U C U P:
Baza (formulele elementare sunt formule). A LP .
Pas constructiv.
(i) Dac F LP atunci ( F) LP.
(ii) Dac F1, F2 LP atunci (F1 F2) LP.
(iii) Dac F1, F2 LP atunci (F1 F2) LP.
(iv) Dac F LP atunci (F) LP.
Arborele asociat unei formule
Definii constructiv arborele asociat unei formule.
Mulimea subformulelor
Baza. F = A A. Atunci subf(F) = {A}.
Pas constructiv.
(i) Dac F LP atunci subf( F) = { F } U subf(F).
(ii) Dac F1, F2 LP atunci subf(F1 F2) = {F1 F2} U subf(F1) U subf(F2).
(iii) Dac F1, F2 LP atunci subf(F1 F2) = {F1 F2} U subf(F1) U subf(F2).
(iv) Dac F LP atunci subf( (F) ) = { (F) } U subf(F)

Exerciii
1. Construii arborele i mulimea subformulelor formulei:
a.

b.
c.

d.