Module 2 Discussion

There are four graded discussion areas in this module,

Area 1: The Language of Propositional Logic Note: consult Lecture Notes and Section 2.1 of our textbook for this area.

What is a propositional formula? Provide an example.

Area 2: Formula Interpretations Note: consult Lecture Notes and Section 2.2 of our textbook for this area.

What do we understand by interpretation of a propositional formula? Please provide an example.

Area 3: Satisfiability, Validity, and Logical Equivalence Note: consult Lecture Notes and Sections 2.3 – 2.5 of our textbook for this area.

What is the relation between satisfiability and validity?

Area 4: Semantics Note: consult Lecture Notes and Section 2.3 of our textbook for this area.

Please produce an example of an implication and its converse.

” I expect you to provide one quality post in each area (that is, four posts in total for the module). Do not create other areas; all of the class posts are expected to lie within these four areas.The objective here is to explore and discuss on the subject under study in this module, based on the given readings. I have posed several initial questions in each area to guide the discussions, but note that they are only a starting point; you are expected to go beyond that, and enrich the forum with your own findings obtained from the reading and research in these areas.”

******Minimum 200 words per area response, please refer to module lecture/notes pdf attached.******
ATTACHMENTS
attachment_1
attachment_2