Ответы на вопросы по математической логике
Приписывания истинностных значений в исчислении предиката
0159
Обозначим буквой D – непустое множество, называемое
Логика - доступно для всех
Ответы на вопросы по математической логике
Булевы функции. Основные определения
0198
2.1.1  Декартово произведение  
Логика - доступно для всех
Ответы на вопросы по математической логике
Негатив формулы. Теорема о негативе
0185
Негативом  формулы А называют формулу, полученную
Логика - доступно для всех
Ответы на вопросы по математической логике
Правила заключения
0166
При выводе формулы из множества аксиом и посылок используют
Логика - доступно для всех
Ответы на вопросы по математической логике
Нормальные алгоритмы Маркова.
0152
Тип машины перерабатывающий слова, в которой существует
Логика - доступно для всех
Ответы на вопросы по математической логике
Метод дедуктивного вывода
0361
 Как уже отмечалось, теорема F1; F2;
Логика - доступно для всех
Ответы на вопросы по математической логике
Простые и составные формулы исчисления предикатов. Область действия предикатов
0164
Простая (или элементарная) формула есть выражение
Логика - доступно для всех
Ответы на вопросы по математической логике
Сентенциональные связки
0191
Высказывание – это логическое выражение, по отношению
Логика - доступно для всех
Ответы на вопросы по математической логике
Логика предикатов
0279
       
Логика - доступно для всех
Ответы на вопросы по математической логике
Логические Исчисления. Исчисления высказывания (ИВ).
0172
3.1.1  Определения.   Опр: V – словом в алфавите
Логика - доступно для всех