SCHEME初心者です。
例えば命題Pに対して否定命題をP'とするとP∨P'だと＃ｔ
P∧P'だと＃ｆみたいに評価するのってSCHEMEでは
どう書くの？