Unformatted text preview: Or-0 theorem proved in the lectures. Problem 3: Prove that the big and delivers the value False if any of the elements in its argument are False. Problem 4: Write the axioms for a running-and function using a tail-recursion in the form of equations similar to the axioms of t h Problem 5: State and prove a theorem that establishes a connection between the running-and function and the big and functio n...
View Full Document
- Spring '08