Logica computationala

Vocabularul limbajului este V [ L [ S; unde V este multimea propozitiilor elementare; V 6= ;. Convenim sa notam simbolurile din multimea V prin literele alfabetului latin... este multimea conectivelor logice: conjunctie, disjunctie,implicatie, echivalenta si negatie; S = f

(; )g este multimea simbolurilor de punctuatie. Presupunem indeplinite conditiile V \ L = ;, V \ S = ;:
Convenim sa numim asamblaje elementele multimii A = (V [ L [ S)¤. Pentru ® 2 A si x 2 V [ L [ S indicam prin ® hxi faptul ca simbolul x

apare cel putin o data printre simbolurile asamblajului ® respectiv prin ® ixh
situatia contrara.

((k ((ka) _ b)) $ (a ^ (kb))) = ®
deci ® 2 FORM:

O modalitate similara pentru descrierea regulilor de buna formare pentru
structurile simbolice din sortul FORM este bazata pe notiunea de SGF
(Secventa Generativa Formule).