📚
Все вопросы
- Как называются символы функций и предикатов? #81
- Как называется предикат, у которого множество истинностей является пересечением множеств истинности исходных предикатов? #82
- Как называется возникающее исчисление предикатов, если в сигнатуре отсутствуют функциональные символы? #83
- Как называется прием, в результате которого из некоторых данных формул получают их частные случаи? #84
- Как называют любую элементарную формулу или ее отрицание? #85
- Какая операция называется сколемизацией? #86
- Какая из перечисленных операций является одноместной? #87
- Какая из перечисленных бинарных логических операций называется конъюнкцией? #88
- Какая из перечисленных функций называется предикатом? #89
- Какие из перечисленных записей являются законами де Моргана? #90