方案/球拍：評估謂語和真/假

Question

假設有一個表達式基本上被簡化爲： (true false)或真或假的任意組合。

例如， [(predicate) false]或[(predicate) (predicate)]

我想了解如何表達這樣的方案進行評估 - 什麼是這樣的說法基本上是在說什麼？

Answer 1

作爲一個術語在cond：

(cond 
    [(predicate) false] 
    [else true]) 

將是有條件實現的(not (predicate))因爲謂詞必須是一個真正的價值會得到一個錯誤的結果。

(cond 
    [(predicate) (predicate)] 
    [else false]) 

這是一樣的(predicate)，因爲它本身成爲所有真正的價值，我已經添加了默認情況下變得很假值。

在任何這些，如果你有別的東西作爲默認情況下，它當然不會映射到這些簡單的結果，但一個稍微複雜一點的：

​​

將是相同(and (predicate) 'something)，因爲我們有將錯誤值更改爲something。

(cond 
    [(predicate) false] 
    [else 'something]) 

將作爲(and (not (predicate)) 'something)