Predicate Logic, Valuations, Part 2 (Quantified Wffs):

Описание к видео Predicate Logic, Valuations, Part 2 (Quantified Wffs):

This video aims to give you the very basics in determining the truth values of predicate logic wffs where the main operator is a quantifier (quantified wffs). It glosses over some of the problems and complexity of doing this in an effort to give you a rough and ready way to assign truth values to quantified wffs.
_____________________________________________________
• 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....
___________________________________________________________

Previous videos in the 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  
Predicate Logic, Valuations, Part 1:    • Predicate Logic: Valuation of Unquant...  

Sometimes I say "every item in the model", what I mean to say is that "every item in the domain of the model".

Комментарии

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