This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
Unformatted text preview: r ) that starts with axiom A1, i.e such that A 1 = A 1. 1 Problem 6 Use results from Problem 4 to determine whether  = K A 3 . Problem 7 Write a formal proof A 1 ,A 2 in S from the Problem 3 with 1 application of the rule ( r ) that starts with axiom A2, i.e such that A 1 = A 2. Problem 8 Use results from Problem 3 to determine whether  = A 2 . Problem 9 Prove, by constructing a formal proof in S from the Problem 3 that ‘ S ( A ⇒ ( A ⇒ ( A ⇒ ( A ⇒ A )))) . 2...
View
Full Document
 Spring '08
 Bachmair,L
 Computer Science, Logic, Mathematical logic, Proof theory, Formal systems

Click to edit the document details