スキーム/ラケット：述語と真/偽の評価

Question

本質的に点： (true false)、または真と偽の任意の組み合わせに単純化された式があるとします。例えば

、 [(predicate) false]または[(predicate) (predicate)]

私はスキームで評価されているか、そのような表現を理解しようとしています - そのような記述は、基本的に何を言っていますか？ condにおける用語として

Answer 1

：述語が偽の結果を得るために真の値にする必要があるので、

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

は(not (predicate))の条件付きの実装だろう。それは、すべての真の値のために自分自身になり、私が追加したデフォルトの場合は、それが偽の値だとなるため

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

これは(predicate)と同じです。これらのいずれにおいても

デフォルトのケースとして、他の何かを持っている場合、それは当然のことながら、これらの単純な結果にマッピングしないだろうが、もう少し複雑なもの：私たちは持っているので

​​

が(and (predicate) 'something)と同じになりますfalse値をsomethingに変更しました。

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

は(and (not (predicate)) 'something)