S(x):X為班上學生
C(X):X修CACULUS
M(X):X去過墨西哥
(1)
every student in this class has studied caculus
ANS:對所有的X,S(X) -> C(X)
對所有的X,S(X)^C(X)
(2)
some student in this class has visited mexico
存在X,S(X) -> M(X)
ANS:存在X,S(X)^M(X)
可以請問一下這2小題的2個敘述分別代表甚麼意思
還有為什麼是那個答案,感謝!!
3 則留言:
1. 班上的每一位學生都有學過微積分:
一個人只要他是這個班上的學生,
那他一定有學過微積分
2. 有班上的學生去過墨西哥:
一定有一個人是班上的學生而且他去過墨西哥
存在X,S(X) -> M(X)
存在X,S(X)^M(X)
請問一下這2個敘述為什麼不一樣??
S(X) -> M(X)等價於~S(X)or M(X)
若P則Q
所以~S(X)or M(X)跟S(X)^ M(X)是不一樣的對吧!
張貼留言