求助:一階邏輯的表示法~~

ttf125
個人積分：0分
文章編號：2902363

0分

樓主

2007-05-31 23:50

請問版上厲害的大大~~
最近學校有教到要用一階邏輯表示下面的句子
"某些學生在2001年春季學期上法語課"
"上法語課的每個學生都通過了考試"

可是我看不懂說~~到網路上找也找不到相關的範例~
可以請會的人解說一下嗎~~~非常感恩唷

----------------------------------------------------------------

感謝幫我解題的兩位高手~~
我有去找書了~~再加上兩位高手的解釋~~
接下來的10題的題目我會試著寫寫看囉~~
謝謝呀

2007-05-31 23:50 發佈

文章關鍵字表示法邏輯

gatolin

gatolin
個人積分：0分
文章編號：2902594

0分

2樓

2007-06-01 0:29

一階邏輯...不懂
不過瞎掰文....倒可以提供幾句
"考試沒過的同學可以考慮去上法語課"
或者..."下一學期考試前最好先去上法語課"

ghlai

ghlai
個人積分：1分
文章編號：2902696

1分

3樓

2007-06-01 0:50

ttf125 wrote:
請問版上厲害的大大~...(恕刪)

邏輯的書本超多的
都唸大學了
去圖書館隨便找本吧
或是叫啥理則學的

不然找本AI的書
FOL
可以看看人工智慧現在方法總論
算講很簡單的

你那個範例
那本書有類似的

當然如果我寫給您
就是幫你寫作業了對你不太好

Aquila

Aquila
個人積分：126分
文章編號：2902744

126分

4樓

2007-06-01 0:59

樓主不用來這裡問，去搜尋一下保證有：

剛才我自己找了一下，應該答案不外乎

1. 存在著﹍（然後是你題目1中的敘述）
2. 對於任何﹍（請類推）

不過我不太會打邏輯符號，所以剩下的
請自行參考一階邏輯的搜尋結果

Jonathan19820803

Jonathan19820803
個人積分：82分
文章編號：2903048

82分

5樓

2007-06-01 3:00

我建議你去看GMAT的Critical Reasoning
光Officical Guide的就124題了

歹勢...看錯
當我沒說吧

Tommy Li

Tommy Li
個人積分：26分
文章編號：2904526

26分

6樓

2007-06-01 11:53

一階邏輯?好怪喔，沒聽過。
是離散數學嗎?

如果把這兩句話翻成英文，應該比較容易懂吧。(我在國外上的離散數學)

"某些學生在2001年春季學期上法語課"
Some of the students went to French class on Spring, 2001.
"上法語課的每個學生都通過了考試"
All of the students who went to French class passed the exam.

把兩個紅色粗體的條件式結合成一個，是不是就是一階式邏輯呀?

http://www.flickr.com/photos/tommyli/