2010-12-23

離散 一階邏輯

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 則留言:

線代離散助教(wynne) 提到...

1. 班上的每一位學生都有學過微積分:
一個人只要他是這個班上的學生,
那他一定有學過微積分

2. 有班上的學生去過墨西哥:
一定有一個人是班上的學生而且他去過墨西哥

Ken 提到...

存在X,S(X) -> M(X)
存在X,S(X)^M(X)
請問一下這2個敘述為什麼不一樣??

Allen 提到...

S(X) -> M(X)等價於~S(X)or M(X)
若P則Q

所以~S(X)or M(X)跟S(X)^ M(X)是不一樣的對吧!