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