A partir do argumento “A saúde é uma fonte de riqueza, pois as pessoas saudáveis são muito trabalhadoras, e as pessoas trabalhadoras sempre enriquecem.”, julgue os próximos itens. A proposição “A saúde é uma fonte de riqueza.” é a conclusão do referido argumento.
Assinale a opção que apresenta um argumento lógico válido.
Julgue os itens que se seguem, a respeito de lógica proposicional. A sentença “No Livro dos Heróis da Pátria consta o nome de Francisco José do Nascimento, o Dragão do Mar, por sua atuação como líder abolicionista no estado do Ceará.” é uma proposição simples.
Julgue os itens seguintes, relativos à lógica proposicional e de argumentação. O seguinte argumento constitui um argumento válido: “O Porto de Itaqui está no Sudeste brasileiro, pois o Porto de Itaqui está localizado na Ilha de Marajó e a Ilha de Marajó está localizada em São Paulo.”
Proposição é uma sentença que pode ser julgada como verdadeira ou falsa, mas não como verdadeira e falsa simultaneamente.
Considere que Ana, Berta e Carla sejam as mães de Ricardo, Roberto e Ronaldo, que possuem 5, 6 e 7 anos de idade. Suponha também que:
*o filho de Ana tem 7 anos de idade;
*Roberto tem 6 anos de idade;
*Carla não é a mãe de Ronaldo nem de Roberto.
A partir dessas informações, julgue os próximos itens.
A proposição "Berta é a mãe de Roberto e o filho de Carla tem 6 anos de idade" é verdadeira.Proposição é uma sentença que pode ser julgada como verdadeira ou falsa, mas não como verdadeira e falsa simultaneamente.
Considere que Ana, Berta e Carla sejam as mães de Ricardo, Roberto e Ronaldo, que possuem 5, 6 e 7 anos de idade. Suponha também que:
*o filho de Ana tem 7 anos de idade;
*Roberto tem 6 anos de idade;
*Carla não é a mãe de Ronaldo nem de Roberto.
A partir dessas informações, julgue os próximos itens.
A proposição "Se Ricardo tem 7 anos de idade, então Ana é a mãe de Ricardo" é verdadeira.Um argumento constituído por uma sequência de três proposições ? P1, P2 e P3, em que P1 e P2 são as premissas e P3 é a conclusão ? é considerado válido se, a partir das premissas P1 e P2, assumidas como verdadeiras, obtém-se a conclusão P3, também verdadeira por consequência lógica das premissas. A respeito das formas válidas de argumentos, julgue os próximos itens.
Considere a seguinte sequência de proposições:
P1 - Existem policiais que são médicos.
P2 - Nenhum policial é infalível.
P3 - Nenhum médico é infalível.
Nessas condições, é correto concluir que o argumento de premissas P1 e P2 e conclusão P3 é válido.
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.
Danilo mora em Vitória.Um argumento constituído por uma sequência de três proposições ? P1, P2 e P3, em que P1 e P2 são as premissas e P3 é a conclusão ? é considerado válido se, a partir das premissas P1 e P2, assumidas como verdadeiras, obtém-se a conclusão P3, também verdadeira por consequência lógica das premissas. A respeito das formas válidas de argumentos, julgue os próximos itens. Se as premissas P1 e P2 de um argumento forem dadas, respectivamente, por ?Todos os leões são pardos? e ?Existem gatos que são pardos?, e a sua conclusão P3 for dada por ?Existem gatos que são leões?, então essa sequência de proposições constituirá um argumento válido.
Considere que proposições P, Q e R, listadas abaixo, sejam verdadeiras.
P: Todo sistema operacional Linux é um tipo de Unix.
Q: O sistema operacional MacOS Leopard é um tipo de Unix.
R: Nenhuma versão do sistema operacional Microsoft Windows é do tipo Unix.
Julgue os itens seguintes, tendo como referência as proposições P, Q e R.
A partir da veracidade das proposições P e Q, é possível inferir que o sistema operacional MacOs Leopard pode ser um Linux.