x 1.00
Скачать видео

Лекция 3. Генценовское исчисление высказываний

  1. 00:19Определение логического следования
  2. 03:11Постановка задачи
  3. 04:12Пример A->B,C->D |= A\/C->B\/D
  4. 15:36Пример A->(B->C) |= A&B->C
  5. 20:14Пример A->B,C->D |= (A->C)->(B->D)
  6. 30:33Секвенции, аксиомы и правила
  7. 38:28Что такое вывод?
  8. 42:42Формулировка теоремы об эквивалентности
  9. 43:38Пример (P->Q)->R |= неR->P&неQ
  10. 51:22Доказательство теоремы
  11. 58:10Пример не(P&Q) |= неP&неQ
  12. 01:02:34Пример P\/Q->R |= R \/ не(неP->Q)
  13. 01:10:03Заключение по логике высказываний