CST 329 - Module 3

 Week 3

This module continues the material on how to conduct proofs for propositional logic statements, only this time we are introduced to two new useful tools. One being the conditional derivation, where we can make an assumption, and based on the assumption and known premises, we can conclude that something is true based on that assumption, resulting in a conditional statement “if…then…”. Additionally, we were introduced to the “or” statement, which again is also similar to the “and” statement and how we use it in computer science. An “or” statement is true if at least one of the two known variables are true.

Comments

Popular posts from this blog

CST 338 - Module 4

CST 438 - Module 1

CST 462s - Module 8