Predicate Logic: Valuation of Unquantified Formulas

In this video, I introduce the valuation function for predicate logic and talk through how unquantified formulas in predicate logic are determined relative to a model.
_____________________________________________________
• Symbolic Logic: Syntax, Semantics and Proof (Amazon): https://amzn.to/2RX7ALb
• SUBSCRIBE to my channel for more videos: https://goo.gl/ukVPLo
• Follow me on Twitter -   / davidagler  
• Logic Website: http://davidagler.com/teaching/logic....
___________________________________________________________
►Propositional Logic Semantics
Propositional Semantics, P1:    • Propositional Logic: Semantics, Part ...  
Propositional Semantics, P2:    • Propositional Logic: Semantics, Part 2  

►Previous Videos in the Predicate Logic Series
Predicate Logic, Introduction:    • Introduction to Predicate Logic  
Predicate Logic, Symbols:    • Predicate Logic: Symbols  
Predicate Logic, Syntax:    • Predicate Logic: Basic Syntax  
Predicate Logic, Models:    • Predicate Logic Semantics - Models