In this lecture we are going to learn:

​

+ How to formulate valid arguments/explanations.



+ How to test whether an argument/explanation is valid.



+ Core methods of so called "propositional logic" and "syllogistic logic".



+ How to generalize and specify concepts and statements?