我有一個關於騎士和Knaves和邏輯命題的問題。如果我想解決這個難題,並且我認爲我有兩種公民:騎士,他們總是說實話,還有騎士,他們總是說謊。根據一些公民的話語,我必須決定他們是什麼類型的人。Knights and Knives邏輯命題
有三種公民:a
,b
和c
,誰在談論自己:
a says: 」All of us are knaves.」
b says: 」Exactly one of us is a knight.」
爲了解決這一難題,我應該確定:什麼樣的公民爲a,b和c?我應該通過使用命題邏輯對上述兩個話語建模來解決這個難題,並且我假設我可以使用p
來描述一個knight和¬p
來描述一個knave。我會怎麼做呢?對於在大學裏沒有做過任何明顯的離散數學的人的任何暗示?
這是否有什麼與編程? – Carcigenicate
不可以。您建議您將哪種交易方式發佈給? – Khaine775
我不知道是否有專門用於邏輯的。這種難題會在迷惑中被問到,但我不知道他們是否允許這樣的問題。 – Carcigenicate