Well, the two new kids in the class

Well, the two new kids in the class, Bertrand and Russell, have come up with a plan to make sense of Mr. Whitehead's statements. They call it first-order logic (FOL), a way to map these confusing statements into an unambiguous representation. Bertrand says the whole system is built the idea of propositions, a statement that is either true or false. Propositions can be statements about people or things like studied_for(John, test) or is_hard(test). Propositions can also be combined to make more complex statements with the following symbols:

結果 (繁體中文) 1:

那麼，在班裡的兩個新的孩子，伯特蘭·羅素，紛紛拿出一個計劃，使白石先生的聲明的意義。他們稱之為一階邏輯（FOL），一種方式將這些混亂的語句轉換成一個明確的表示映射。貝特朗說，整個系統建立命題的想法，那就是真或假的陳述。命題可以是關於人或事物一樣studied_for（約翰，試）或is_hard（試驗）的聲明。命題也可以結合在一起，使具有下列符號更複雜的語句：

結果 (繁體中文) 2:

嗯，班上兩個新孩子，貝特朗和羅素，已經想出了一個計畫來理解懷特黑德先生的陳述。他們稱之為一階邏輯（FOL），一種將這些令人困惑的語句映射到明確表示形式的方法。伯特蘭說，整個系統是建立命題的想法，一個陳述，無論是正確還是錯誤。命題可以是關於人或諸如studied_for（約翰、測試）或is_hard（測試）之類的陳述。也可以組合命題，使具有以下符號的更複雜的陳述：

結果 (繁體中文) 3:

好吧，班上的兩個新同學，伯特蘭和羅素，已經想出了一個計畫來理解懷特海先生的陳述。他們稱之為一階邏輯（FOL），一種將這些令人困惑的語句映射成明確表示的方法。伯特蘭說，整個系統是建立在命題的概念上的，這個命題要麼是對的，要麼是錯的。命題可以是關於人或事物的陳述，比如為（John，test）或為（is）hard（test）而學習。命題也可以組合起來，用以下符號作更複雜的陳述：