This preview shows page 1. Sign up to view the full content.
Unformatted text preview: L logic, i.e. for any a,b { F, ,T } , = , F = T, T = F, a b = max { a,b } , a b = min { a,b } . Implication in Kleenes logic is dened as follows. For any a,b { F, ,T } , a b = a b. QUESTION 2 Write a formal proof in S dened in Question 1 with 2 applications of the rule ( r ). QUESTION 3 Prove, by constructing a formal proof that S (( A B ) ( A ( A B ))) . 1...
View
Full
Document
 Spring '08
 Bachmair,L
 Computer Science

Click to edit the document details