2.5.1 Exercises Q2
In this video, I explain recursive definitions (also called inductive definitions) using the one found in our syntax of PL. I then explain five additional examples. In one of them, I describe ancestral relations and how recursive definitions are used to achieve transitive closure of relations.
For this video: Do 2.5.1 Exercises question 2 (p. 42)
For next video: Read 2.5.2 Logical and Nonlogical Vocabulary, 2.5.3 Constructing Wffs; do 2.5.3.1 Exercises (pp. 42-44)
“Logic: The Laws of Truth” Nicholas J. J. Smith https://amzn.to/2T2HlnF
Please support this project at https://www.patreon.com/thephilosurfer
http://thephilosurfer.com
Philosurfer show: http://youtube.com/chicothephilosurfer
Instagram: http://thephilosurfer.com/instagram
Spotify: http://thephilosurfer.com/spotify
Patreon: https://www.patreon.com/thephilosurfer
