Atividade 5

33 CA -> B) ^ (B -> C) ^ (C -> D) -> (A -> D) A -> B hyp B -> C hyp C -> D hyp A1 -> C 1,2, hs A -> D 3,4, hs 34 CA v B) ^ CA -> C) ^ (B -> C) -> C 1. A v B hyp 2. A -> C hyp 3. B -> C hyp CA) v B 1, dn A1 -> B 1, imp A1 -> C 3,4, hs (CA v C) ^ CA1 -> C) inc 2, S, Con C inc Verificado argumento A -> B hyp B1 5d C -> B1 hyp A1 10, mt D' -> C1 hyp D -> D v E hyp Argumento válido E1 hyp E v B hyp 5, Ad E v (B1) 1, De Morgan D1 7, 4, mt C1 8, 2, condicional DSTQQSS Atividade 5 22 - 30 ao 34 30 A1 -> CA -> B) A' hyp A hyp B 4, 2, dn 31 CP -> Q) ^ (P1 -> Q2) -> Q P -> Q hyp P1 -> Q hyp Q1 -> P1 1, contr popos Q1 -> Q 2, 3, hs (CA) v C 5, dn Q 6, 5, per 32 CA1 -> B2) ^ (A -> C) -> CB -> C) A' -> B hyp A -> C hyp B hyp B -> A 1, con, mt C 2,9,hs