Question 219
0 views
Skip to first unread message
s.asrar
Mar 18, 2010, 12:56:01 AM3/18/10
to utexas-cs313k-spring2010
Is the not function only applied to (endp a) or is it applied to
everything in the first part of the implies statement? Just want to
make sure I'm reading the problem correctly.
everything in the first part of the implies statement? Just want to
make sure I'm reading the problem correctly.
J Strother Moore
Mar 18, 2010, 1:34:32 PM3/18/10
to sasr...@gmail.com, utexas-cs313...@googlegroups.com
Hi. You are right. The formula I meant is:
((~(endp a))
&&
((true-listp (rest a)) --> ((rev (rev (rest a))) = (rest a))))
-->
((true-listp a) --> ((rev (rev a)) = a))
J
Reply all
Reply to author
Forward
0 new messages