CST 329 - Module 2

 Week 2,

This module’s material contains information about how to conduct proofs for logical statements. Proofs are meant to show that an argument is valid, similarly to how a truth table would do so. However, the more atomic statements that are included in an argument, the less reasonable it would be to determine if it is valid using a truth table as the table grows exponentially. So in these situations, it makes more sense to use a proof. Additionally, we are starting to look into not only conditional statements, but also “and” statements. This is similar in regards to how we would use an “and” statement in computer science. An “and” statement is only true if both variables are also true.

Comments

Popular posts from this blog

CST 338 - Module 4

CST 438 - Module 1

CST 462s - Module 8