📚
Все вопросы
- В каком случае класс булевых функций называется собственным? #381
- Как называются символы функций и предикатов? #382
- Как называется предикат, у которого множество истинностей является пересечением множеств истинности исходных предикатов? #383
- Как называется возникающее исчисление предикатов, если в сигнатуре отсутствуют функциональные символы? #384
- Как называется прием, в результате которого из некоторых данных формул получают их частные случаи? #385
- Как называют любую элементарную формулу или ее отрицание? #386
- Какая операция называется сколемизацией? #387
- Какая из перечисленных операций является одноместной? #388
- Какая из перечисленных бинарных логических операций называется конъюнкцией? #389
- Какая из перечисленных функций называется предикатом? #390