Proving logical truths (tautologies in truth-table speak, or theorems in proof-speak)

Описание к видео Proving logical truths (tautologies in truth-table speak, or theorems in proof-speak)

Short examples of proofs of theorems (or logical truths in Ch 1 speak, tautologies in Ch 7 speak), using IP and CP.

Комментарии

Информация по комментариям в разработке