CST 329 - Module 1
Week 1,
This is the first week of the course CST 329 Reasoning With Logic. Overall, we learn to develop skill in using logic to describe and assess arguments and write formulas to describe them, in propositional and first order logic.
This first week starts off with understanding that we can break down a sentence into atomic sentences, which we can then use to describe the relationship between them in a logical form. More specifically, we looked at conditional statements. “If…then…”. We then use these sentences to describe when the whole statement is true or false. This can also be done by using a truth table, where we describe when each atomic sentence/premise/conclusion is true or false.
Comments
Post a Comment