This preview shows pages 1–2. Sign up to view the full content.
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
- Computer Science