📚
Все вопросы
- Класс формул исчисления предикатов, к которому относятся формулы, истинные в одних интерпретациях и ложные в других, – это … #801
- Выражение, на который навешивается квантор, называется областью … квантора #802
- Множество с заданными на нем операциями и отношениями называется … #803
- Открытая формула называется тавтологией, если она … #804
- … отношения называют признаками или свойствами #805
- Неверно, что исчисление предикатов является … функцией #806
- Предикат для ввода и вывода является … предикатом #807
- Высказыванием называется выражение, не имеющее … переменных #808
- Имя свойства или отношения между объектами с последовательностью аргументов – это … #809
- Целевое утверждение, которое согласуется с базой данных, если текущее значение X является атомом в смысле языка Prolog, – … #810