- What’s
new for this week?
This week we are going further with the topic negation and the
application of conjunction and disjunction (‘and’ and ‘or’). Besides, other
concepts about tautology, satifability and unsatisfiability are introduced in
our class.
- Challenge
As I’m reading the commutative, associative and distributive approach of
logic (PPT the last second slide), I’m wondering is statement (Q V┎ Q) a true statement or not? Besides,
I’m still confusing why the statement P ∧ (Q ∨ ┐Q) is equivalent
to P? It means P, and Q or not Q. If (Q
V┎ Q) is a true
statement, then I think P ∧ (Q ∨ ┐Q) should be interpreted
as P and Q or P and not Q. Why isn’t it?
没有评论:
发表评论