Аксиомы равенства являются общезначимыми:
В исчислении высказываний исходными объектами являются:
Возможные миры связаны отношением достижимости:
Временная модальная логика вводит модальности:
Все теоремы чистого исчисления предикатов общезначимы:
Все языки программирования являются формальными языками:
Грамматики эквивалентны, если они порождают один и тот же язык:
Для кванторов необходимости и возможности выполнимы законы двойственности:
Для чистого исчисления предикатов моделью является любая интерпретация:
Если формула ложна в любой интерпретации, то она называется:
Запись ромб F означает, что "F необходимо":
Интерпретация называется моделью формальной теории Т, если всякая теорема Т истинна в этой интерпретации:
Исчисление высказываний не является формальной системой:
Исчисление высказываний полно относительно алгебры высказываний:
Исчисление предикатов в общем случае неразрешимо:
Логика возможного использует модальности "разрешено", "запрещено":
Логика знания называется также временной логикой:
Логику возможного называют логикой:
Множество различных видов элементов формальной системы бесконечно:
Множество различных видов элементов формальной системы называется алфавитом системы:
Наиболее изученной формальной теорией является формальная арифметика:
Наибольшее применение для описания языков программирования имеют грамматики типа:
Объекты формальной системы состоят из неделимых элементов:
Семантика формальной системы задается ее интерпретацией:
Теоремы чистого исчисления тождественно верны в любой предметной области:
Теория называется семантически непротиворечивой, если ни одна из ее теорем не является противоречивой:
Формальные системы, порождающие различные классы символьных выражений, называются формальными грамматиками:
Формальный язык, использующий понятия "возможно", "необходимо" в качестве кванторов, называется алетической логикой:
Формула называется общезначимой, если она истинна в любой интерпретации:
Чистым исчислением предикатов называется исчисление второго порядка: