Тұжырымды формальдау процедурасы

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

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

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

б) Оларды сәйкес символдармен алмастыру керек;

в) Тұжырымдардың мағынасына қарай жақшалар қою керек. Формула қарапайым болу үшін сыртқы жақшаларды жазбауға болады; Жақшалар сыңарлары тең болу керек. Мысалы, -формула емес; - формула; -формула.