This week we continued solving exercises with propositions involving quantifiers. I talked to every single student in my class about some aspects of the problems we were solving. I really enjoyed how a simple interaction can change their perspective and help them gain an understanding of the process.
When discussing problems involving a combination of different quantifiers (nesting), students have good intuition to guess the truth values of such statements.
I wrote some of them in words, e.g., "for all n, there is at least an m satisfying such equation"
We switched gears to introduce some rules of inference. What is the argument? What are the premises? What is the conclusion?
Rule of inference: modus Ponens, modus Tollens, hypothetical syllogism (to be continued...)
Finally, we were able to start reviewing for the upcoming test.
For a warm-up translate to English certain propositions involving the atomic propositions:
"swimming at the New Jersey shore is allowed" and "sharks have been spotted near the shore"
Also, we work with a set of system specifications to check if they were consistent. The students worked on translating each system specification into logical statements. One challenge was figuring out the direction of the implication for a conditional in one of them. We reviewed the different ways in which a conditional can read.
We finish by assigning various values to p, q, and r to determine if the system was consistent.
Overall the class was very engaged and they learned from the discussions with me and their peers.
I'll see you soon!😉
No comments:
Post a Comment