Due at start of class, October 7, 1999
Stuart C. Shapiro
Department of Computer Science and Engineering
State University of New York at
Using a Fitch-style inference method for Relevance Logic, prove
((P -> Q) & (Q -> R)) -> (P -> R)
- Prove that (L(A) & L(A => B)) => L(B) is valid in modal logics.
- Prove that (L(A) & (A => B)) => L(B) is not valid in