Перегляд

'''Універсальна здійсне́нність''' — [[властивість]] [[формула|формул]] [[Логіка предикатів|логіки предикатів]].

==Термінологія і походження==
''англ.'' — universal satisfiability<br />
''рос.'' — универсальная выполнимость

==Означення==
Словосполучення &laquo;універсальна здійсненність&raquo; — термін.<br /> '''''Означення''''': формула називається універсально здійсненною, якщо вона [[Здійсненність|здійсненна]] на будь-якій [[модель|моделі]] (або, що те саме, здійсненна за будь-якої [[Інтерпретація|інтерпретації]]). 

==Властивості==
Універсальна здійсненність та здійсненність пов’язані наступним законом:
{{початок цитати}}Формула φ універсально здійсненна т.&nbsp;і&nbsp;т.&nbsp;т., коли її заперечення ¬φ нездійсненне{{кінець цитати}}
або, що те саме,
{{початок цитати}}Формула φ здійсненна т.&nbsp;і&nbsp;т.&nbsp;т., коли її заперечення ¬φ не є універсально здійсненним.{{кінець цитати}}

Як властивість універсальна здійсненність [[Розв’язність|нерозв’язна]].

=Джерела=
#''Хермес&nbsp;Г.'' Проблема разрешимости и игра &laquo;домино&raquo; // 
''Эббинхауз&nbsp;Г.-Д., Якобс.&nbsp;К., Ман.&nbsp;Ф.-К., Хермес&nbsp;Г.'' Машины Тьюринга и рекурсивные функции. Пер.&nbsp;с&nbsp;нем. — М.: Мир, 1972. — С.&nbsp;150–182.