Если переменная х не связана в формуле F, то она называется

Формула называется общезначимой, если она

Множество называется перечислимым, если

Исчисление предикатов называется разрешимым, если

Предметная область называется моделью, если

Конечный автомат называется логическим, если

Если А - это алфавит, то некоторое подмножество множества всех слов алфавита А называется

Если для любого произвольно взятого элемента можно определить, принадлежит он некоторому множеству или нет, то такое множество называется:

Множество слов в произвольном алфавите А называется регулярным, если оно может быть получено из элементарных множеств путем конечного числа применений операции

Наполнение формальной системы смыслом называется

Принцип рассуждения от следствия к причине называется