Картинки из квадратов \ Теоретико-множественная математика \ Логика и методология дедуктивных наук \ Логика \ Учебники и монографии по математической логике \ Математическая логика (C. Клини, 1973) \ Исчисление предикатов (дополнительные разделы) \ Теорема Геделя о полноте; введение \
 

9.6.2.8.9.6.48.1. Опровержимые и выполнимые формулы в исчислении предикатов,
а также сопутствующие определения

Начало см. здесь.
Клини С. Математическая логика.
Пер. с англ., М.: Мир, 1973, cc. 340 — 341.
Продолжение см. здесь.