What’s something new you learned this week in class?
This week we learned about conjunctions, disjunctions, and negations.
A conjunction is when two or more things occur exist at once. For example, “I ate an apple and a banana”.
A disjunction is when at least one of two or more statements is true. Using the example “I ate an apple or a banana” does not exactly capture what a disjunction is. “Or” in how it is typically used in English is usually exclusive. “I ate an apple or a banana” is not inclusive – it will usually be interpreted as saying that I ate either an apple or a banana, one or the other.
A negation is used to indicate a thing is not true. For example “I did not eat an apple”.
What’s something that challenged or frustrated you this week?
Understanding the difference between “or” used in English and “or” used in this class was confusing at first. It made more sense after the tutorial.
How condent do you feel about material covered this week?
Overall, I’m not very confident in how to interpret and write in “computer speak”. I find that it’s harder to interpret what something says than it is to translate a sentence into math/computer language.
How did your tutorial/test/assignment go this week?
The tutorials really helped, I had made a lot of mistakes in the homework assignments. I do not think I got full marks for the quiz, though. I still need to practice.
Creating and solving some problems.
To make this a little more fun, I’m going to try to come up with and solve examples with zombie themes.
Let M be the set of all Monsters. Z(x) are zombies.
Write out “All zombies are monsters”
∀ x ∈ M, Z(x).
Let B(x) be bunnies. Bunnies are clearly not monsters. Write out “No bunnies are monsters”.
∀ x ∈ M, ¬ B(x).
Let G(x) be ghosts. Write out “All ghosts are monsters”
∀ x ∈ M, G(x).
Write out “All ghosts and zombies are monsters”
(∀ x ∈ M, Z(x)) ∧ (∀ x ∈ M, G(x))
Fred or John, or both, may now be zombies. At least one of them was bitten. Let F(x) be Fred and J(x) be John. Express that one or both is now a monster.
(∃ x ∈ M, F(x)) ∨ (∃ x ∈ M, J(x))
These examples express all of the mathematical symbols we learned in class and how they can be used.