São dados os seguintes argumentos:

Pode-se inferir que

Motivada por essa reportagem e pela importância que se deve dar à saúde, a empresa XYZ fez uma pesquisa para avaliar os hábitos alimentares e físicos de seus funcionários. Para isso, aplicou- se um questionário com diversas perguntas. Dos itens pesquisados constavam o tipo de alimentação (vegetariana, vegana ou carnívora), a frequência da prática de atividade física, o peso e a altura. Assim, realizaram-se diversas análises e uma delas foi o cruzamento da adequação do peso do funcionário com o tipo de alimentação. Após a análise final, o diretor fez a seguinte afirmativa: "Toda pessoa vegana é magra". Considerando essa proposição como verdadeira, avalie as seguintes afirmações.
I-...
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 é:
Um assaltante declarou ao juiz: Senhor Juiz, minha família está passando necessidades, daí eu ter assaltado o banco.
O argumento do assaltante mostra o seguinte problema estrutural:
Considere a sentença: Se x é um número par e y é um número maior do que x, então y é um número ímpar.
Sendo x um elemento do conjunto A e y um elemento do conjunto B, um cenário no qual a sentença dada é sempre verdadeira é:
Considere verdadeiras as seguintes proposições:
I - Nenhum professor é fumante.
II - Existem médicos fumantes.
A partir dessas proposições, é correto afirmar:
Considere como verdadeiras as seguintes proposições:
I - Se A, então B.
II - Se B, então A.
Em relação às condicionais A e B, é correto afirmar:
Sejam r e s proposições lógicas simples, analise as afirmações abaixo.

Das afirmações acima, qual(is) está(ão) correta(s)?
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.Considerando o valor lógico das proposições p, q e r, assinale a única proposição que tem valor lógico verdadeiro.
p: A capital do Estado da Bahia é Vitória.
q: A Terra gira em torno do Sol.
r: A 1a Guerra Mundial terminou em 1945.
Se Q for uma proposição verdadeira, então, independentemente dos valores lógicos de P e R, a proposição S será sempre verdadeira. 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.
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.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.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ó...