CST 329 - Module 4

 Week 4,

This module’s material adds to what we learned about proofs with propositional logic by including the tool for indirect derivation. Similarly to the conditional statement, we make an assumption, where we show if that assumption is true, then it leads to a contradiction of a pre-established premise or known statement, which by doing so, means we have proven that the assumption is not true, and we can then use that. Additionally, we were also introduced to “if and only if” type of statements. These work similarly to a conditional statement, except that it goes both ways for the two statements/variables and not just one.

Comments

Popular posts from this blog

CST 338 - Module 4

CST 438 - Module 1

CST 462s - Module 8