0

目标是将“或”标识应用于第一个表达式的某些部分。我对如何做到这一点有点困惑。我知道我需要使用命题表达式(OR expr1 expr2)，但我不确定如何去做。任何帮助，将不胜感激。

  1. 请记住，我们可以在表达式的深处使用命题公理，而不仅仅是在表达式本身的顶部。编写一个函数(from-or-identity expr1 expr2) ，当 expr2 是对 `expr1. 例如
(from-or-identity '(implies (or (and p q) nil) r) '(implies (and p q) r)) = t
4

0 回答 0