Тұжырымдар логикасы формуласының анықтамасы

Тұжырымдарды белгілейтін әріптер, логикалық байланыстар, жақшалар логикалық тұжырым тілінің алфавиті деп аталады. Алфавит элементтерінің көмегімен түрлі формулалар құруға болады. Математикалық логикада қабылданғандай формулаға нақтылы анықтама берейік:

Тұжырымдарды белгілейтін кез келген логикалық айнымалы - формула;

А, Ж – символдары формула

Егер А – формула болса, онда А формула

Егер А и В – формулалар болса ,онда (А & В), (А  В), (А), (А  В), (А ~ В), (Р  Q) – формула болады;

Алдыңғы төрт пункттегіден басқа формула жоқ.

Егер тұжырым қарапайым болса, оған қарапайым формула сәйкестендіріледі.

Егер тұжырым құрама болса, онда оған сәйкес формула құру үшін

а) Құрама тұжырым құрып тұрған барлық қарапайым тұжырымдарды байланыстырушылардан бөліп алу керек;