类型

(-> 真假型 真假型)

描述

逻辑非。将 真 变为 假，假 变为 真。

例子

(非 真)   ;; => 假
(非 假)  ;; => 真
(非 (非 真))  ;; => 真