Enunciados de questões e informações de concursos
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 o item que se seguem.
Carlos não mora em Vila Velha.
Outras questões do mesmo concurso: CETURB-GV / ATrans (CETURB-GV) / 2010 / Advogado
