Семантика исчисления высказываний

Интерпретация исчисления высказываний, его непротиворечивость, разрешимость, независимость

[Тайм-коды]

Здравствуйте!
Тайм-коды\конспект для этого видео:

0:00 картинка из психологии
1:20 есть семантика
1:50 курс когда-то по семантике сделаю
2:50 логические операции
3:25 каждая формула, выводимая в исчислении высказываний, является тождественно истинной. Доказательство
4:30 каждая тождественно истинная формула выводимая в исчислении высказываний. Доказательство. Исчисление называется противоречивым, если в нем найдется такая выводимая формула А...
Доказательство.
5:10 небольшое отступление на религиозную тему
6:45 множество всех формул выводимых в некотором исчислении называется разрешимым, если существует алгоритм позволяющий для каждой правильно построенной формулы определить принадлежит ли она этому множеству
7:40 проблема разрешимости множества видимых формул исчисления высказываний разрешимо
8:05 множество схем аксиом исчисления называется независимым, если для каждой схемы существует полученная по этой схеме аксиома, не выводимая в другом исчислении, отличающемся от рассматриваемого лишь отсутствием этой схемы
8:20 множество схем аксиом исчисления высказываний является независимым. Доказательство.

Успехов в обучении!