Uma dedução lógica é uma sequência finita de proposições ...

Uma dedução lógica é uma sequência finita de proposições na qual algumas proposições, denominadas premissas, são supostas verdadeiras, e as demais proposições, chamadas conclusões, são também verdadeiras por consequência das premissas e de conclusões previamente obtidas. Considere as quatro proposições a seguir.

A: Se Abel não mora em Vitória, então Beto mora em Serra.

B: Se Carlos mora em Serra ou em Vila Velha, então Abel mora em Vitória.

C: Se Danilo não mora em Vitória, então Carlos mora em Vila Velha. D: Beto mora em Linhares.

Sabendo que cada um dos rapazes mora em uma cidade diferente, considerando as proposições A, B, C e D como premissas de uma dedução lógica, julgue os itens que se seguem.