In order for a computational system to behave intelligently, in any measure, one must first be able to express the initial state of things and the rules that govern the world. Ensure logic, literally. Make things make sense. This is the topic of this second module: how to allow a computer to "see things in black and white", represented by true and false (one and zero) and to combine such yes/no knowledge of individual elements into expressions that describe dependencies and interactions between them through the use of logical operators.
This module will help you do the following:
This brief tutorial lets you slide into the differences between propositional and predicate logic. No need to strive for mastery of either; for our purposes, awareness is a good start.
Argue briefly in writing, with your own words and thoughts (no need to look it up, absolutely no need to ask a chatbot) in how and why logic can be considered a subdiscipline of (a) mathematics, (b) philosophy, and (c) computer science.