4. Qual é o contrapositivo da afirmação: ∀ inteiros a, b e c, se a− b é par e b− c é par, então a− c é par. ∀ inteiros a, b e c, se (a− b é par e b...
4. Qual é o contrapositivo da afirmação: ∀ inteiros a, b e c, se a− b é par e b− c é par, então a− c é par. ∀ inteiros a, b e c, se (a− b é par e b− c é par)=[p], então (a− c é par)=[q] ≡ ∀ inteiros a, b e c, se ¬q então ¬p ≡ ∀ inteiros a, b e c, se ¬(a− c é par) então ¬(a− b é par e b− c é par) ≡ ∀ inteiros a, b e c, se a− c não é par então a− b não é par ou b− c não é par