Leia o texto a seguir:

“Um argumento é a mais básica unidade completa do raciocínio, um átomo da razão. Um argumento é uma inferência extraída de um ou de vários pontos de partida (proposições denominadas “premis-sas”) que conduz a um ponto final (uma proposição denominada “conclusão”)” (BAGGINI, Julian. As ferramentas dos filósofos. São Paulo: Loyola, 2012. Adaptado).

A partir do texto acima, é CORRETO afirmar que uma inferência é

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.

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.

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.

Sempre que passamos diretamente de uma premissa a uma conclusão, consideramos verdadeira uma ideia intermediária.

Nos conjuntos abaixo, aquele que mostra uma conclusão antes da premissa é:

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.