Символическая логика 8: Правила замены

В этом видео мы изучим десять правил замены и посмотрим, как мы можем применять их в наших доказательствах.