Ответы на вопросы по математической логике
Приписывания истинностных значений в исчислении предиката
0294
Обозначим буквой D – непустое множество, называемое
Логика - доступно для всех
Ответы на вопросы по математической логике
Булевы функции. Основные определения
0346
2.1.1  Декартово произведение  
Логика - доступно для всех
Ответы на вопросы по математической логике
Негатив формулы. Теорема о негативе
0338
Негативом  формулы А называют формулу, полученную
Логика - доступно для всех
Ответы на вопросы по математической логике
Правила заключения
0317
При выводе формулы из множества аксиом и посылок используют
Логика - доступно для всех
Ответы на вопросы по математической логике
Нормальные алгоритмы Маркова.
0277
Тип машины перерабатывающий слова, в которой существует
Логика - доступно для всех
Ответы на вопросы по математической логике
Метод дедуктивного вывода
0527
 Как уже отмечалось, теорема F1; F2;
Логика - доступно для всех
Ответы на вопросы по математической логике
Простые и составные формулы исчисления предикатов. Область действия предикатов
0314
Простая (или элементарная) формула есть выражение
Логика - доступно для всех
Ответы на вопросы по математической логике
Сентенциональные связки
0353
Высказывание – это логическое выражение, по отношению
Логика - доступно для всех
Ответы на вопросы по математической логике
Логика предикатов
0485
       
Логика - доступно для всех
Ответы на вопросы по математической логике
Логические Исчисления. Исчисления высказывания (ИВ).
0307
3.1.1  Определения.   Опр: V – словом в алфавите
Логика - доступно для всех