(T --+ a ) a n d (a --+ T)follows by modus ponens from T --+ (a --+ T). Thus f ) a l s o holds. It remains only to show d). Suppose a --+ /3,/3 --+ a, # --+ p, p --+ it are given as hypotheses.

Download PDF sample

Rated 4.24 of 5 – based on 14 votes