tfʲɛrdʑˈɛɲʲa raxˈuŋku zdˈaɲ zˈafʃɛ sɔ̃ rˌɔsstʃɨɡˈalnɛ xˈɔdʑbɨ mɛtˈɔdɔ̃ brˈutɛ fˈɔrtsɛ, ktˌura pɔlˈɛɡa na spravdʑˈɛɲʲu dvˈa ˈɛn kˌɔmbʲinˈatsji vartˈɔɕtɕi prˈavdafˈawʒ dla ˈɛn zmʲˈɛnnɨɣ zdaɲʲˈɔvɨɣ vˌɨstɛmpujˈɔntsɨx f tfʲɛrdʑˈɛɲʲu.
Twierdzenia rachunku zdań zawsze są rozstrzygalne – choćby metodą brute force, która polega na sprawdzeniu 2n kombinacji wartości prawda-fałsz dla n zmiennych zdaniowych występujących w twierdzeniu.