Лекция 3. Эвристические соображения
- 00:16Правила вывода
- 07:58Эвристические соображения
- 10:03Импликативный случай
- 20:50Получение формулы с внешним отрицанием
- 30:03Получение пропозициональной переменной
- 37:55Получение А & В
- 43:58Получение дизъюнктивной формы
- 59:51Другие случаи