Verifique en cada caso si la fórmula es o no un teorema:
a. a => (a =4> a)
b. (a => a) => a
c. (a => (P =» a)) =>(p=>c¿)
d. (-ia => P)=> (-ijS =* -«a)
e. (a ^ y) =̂> (-,« =» j8)
f. ((a => y) V (j8 =» y)) => «a V 0) =» y)

a) a, b e e são teoremas.
b) a, b, c e e são teoremas.
c) a, b, d e f são teoremas.
d) a, c, d e f são teoremas.