2 Derive por reductio 15 pontos a p q p r q b p q p r r c p q p r s s d r p r s s p 3 Derive usando a introdução da condicional 15 pontos a p q r q s r s p s b p q q r p r c p q p d p r q r q r 4 Derive essas verdades lógicas a p p b p p c q p p d p p q