What's up logical masterminds, today in Get Into Mathematical Logic we will provide a formal definition of a Model for First Order Logic and then we'll learn to do tree proofs for that system. We're getting close to the end! Going live at www.twitch.tv/el_samio
El_Samio - TwitchAnxiety-fueled humanoid engine. Gonna stream with a focus on philosophy. Analyzed video-game playthroughs, custom tabletop campaigns and helping people with their homeworks better than with "AI".www.twitch.tv