Logic - Peano Arithmetic Proofs, Fitch-style

Описание к видео Logic - Peano Arithmetic Proofs, Fitch-style

Logic - Rose - MBHS - Blair - We execute two proofs in Peano Arithmetic, using a Fitch-style natural deduction background logic. The first proof is that 1+1≠3, which uses the recursive definition of addition in terms of the successor function. The second theorem we prove is a universal statement and therefore requires Induction. I explain the first order induction schema for PA1 (first order Peano Arithmetic) and show it in use. - 01/24/2021

Комментарии

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

Похожие видео