Um argumento é uma sequência finita de proposições, que são sentenças que podem ser julgadas como verdadeiras (V) ou falsas (F). Um argumento é válido quando contém proposições assumidas como verdadeiras — nesse caso, denominadas premissas — e as demais proposições são inseridas na sequência que constitui esse argumento porque são verdadeiras em consequência da veracidade das premissas e de proposições anteriores. A última proposição de um argumento é chamada conclusão. Perceber a forma de um argumento é o aspecto primordial para se decidir sua validade. Duas proposições são logicamente equivalentes quando têm as mesmas valorações V ou F. Se uma proposição for verdadeira, então a sua negação será falsa, e vice-versa. Com base nessas informações, julgue os itens de 16 a 18.

Suponha que um argumento tenha como premissas as seguintes proposições.

Alguns participantes da PREVIC são servidores da União.

Alguns professores universitários são servidores da União.

Nesse caso, se a conclusão for “Alguns participantes da PREVIC são professores universitários”, então essas três proposições constituirão um argumento válido.

Uma noção básica da lógica é a de que um argumento é composto de um conjunto e de sentenças denominadas premissas e uma outra sentença chamada de conclusão. Um argumento é válido se, sempre que as premissas forem verdadeiras, a conclusão, necessariamente, for verdadeira. Com o auxílio dessas informações, julgue os itens a seguir.

É válido o seguinte argumento: “O Sol é uma estrela, e toda estrela tem cinco pontas, logo o Sol tem cinco pontas”.

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.

Em alguns casos, o medicamento A tem os efeitos colaterais B. Sempre que são observados os efeitos colaterais B, o paciente apresenta os sintomas C.

Considerando verdadeiras as proposições apresentadas acima, assinale a opção correta.

— Mário, você não vai tirar férias este ano de novo? Você trabalha demais!

— Ah, João, aquele que trabalha com o que gosta está sempre de férias.

Considerando o diálogo acima, julgue os itens seguintes, tendo como referência a declaração de Mário.

Se as proposições “João trabalha com o que gosta” e “João não está sempre de férias” forem verdadeiras, então a declaração de Mário, quando aplicada a João, será falsa.

— Mário, você não vai tirar férias este ano de novo? Você trabalha demais!

— Ah, João, aquele que trabalha com o que gosta está sempre de férias.

Considerando o diálogo acima, julgue os itens seguintes, tendo como referência a declaração de Mário.

A negação da declaração de Mário pode ser corretamente expressa pela seguinte proposição: “Aquele que não trabalha com o que não gosta não está sempre de férias”.

A lógica proposicional trata de argumentações elaboradas por meio de proposições, isto é, de declarações que podem ser julgadas como verdadeiras (V) ou falsas (F), mas nunca como V e F simultaneamente. As proposições normalmente são simbolizadas por letras maiúsculas do alfabeto e alguns símbolos lógicos são usados para compor novas proposições. Uma conjunção, proposição simbolizada por AvB, é lida como “A e B” e julgada como V somente quando A e B forem V, e F, nos demais casos. Uma implicação, proposição simbolizada por A÷B, é lida como “se A, então B”, e julgada como F somente quando A for V e B for F, e V nos demais casos. A lógica de primeira ordem também trata de argumentações elaboradas por meio de proposições da lógica proposicional, mas admite proposições que expressem quantificações do tipo “todo”, “algum”, “nenhum” etc.

 A partir dessas notações e definições, julgue os itens que se seguem.

Considerando que as proposições “As pessoas que, no banho, fecham a torneira ao se ensaboar são ambientalmente educadas” e “Existem crianças ambientalmente educadas” sejam V, então a proposição “Existem crianças que, no banho, fecham a torneira ao se ensaboar” também será V.

Uma escola promove, anualmente, um projeto para incentivar a participação de seus alunos nos processos eleitorais. A cada ano, são escolhidos 5 professores, que orientarão um grupo de 100 alunos em várias atividades. No início deste ano de 2011, a escola conta com 35 professores, dos quais 15 já participaram do projeto em anos anteriores; dos 800 alunos matriculados, 300 já participaram do projeto em outras oportunidades e 600 já são eleitores.

Com base na situação apresentada acima, julgue os itens a seguir.

A partir das premissas “Alguns alunos não são eleitores” e “Pedro não é eleitor”, é correto concluir que “Pedro é aluno.

Considere o seguinte argumento:

Hoje vou ser muito feliz, pois as crianças são felizes em dias ensolarados. Nos dias nublados, algumas pessoas ficam tristes e a previsão, para o dia de hoje, é de dia ensolarado. Julgue os itens subsequentes, com base nesse argumento.

A proposição “A previsão, para o dia de hoje, é de dia ensolarado” é a conclusão desse argumento.

            A lógica sentencial, ou proposicional, trata do raciocínio expresso por sentenças, ou proposições, que podem ser julgadas como verdadeiras (V) ou falsa (F), mas que não admitem os julgamentos V e F simultaneamente. A lógica de primeira ordem também trata do raciocínio expresso por sentenças, ou proposições, que são julgadas como V ou F dependendo do conjunto, ou domínio, ao qual pertencem os objetos referenciados nas sentenças e das propriedades, ou predicados, associadas a esses objetos. Na lógica de primeira ordem, os objetos de um domínio são quantificados por todos, alguns, nenhum etc. As deduções da lógica proposicional ou da lógica de primeira ordem têm uma estrutura cuja análise permite decidir se o raciocínio expresso está correto ou não, isto é, se a conclusão é uma consequência verdadeira das proposições que são colocadas como premissas, sempre consideradas verdadeiras.

Com base nas informações do texto acima, julgue os itens de 11 a 14.

A dedução expressa por "Todos os dinossauros são animais extintos; existem mamíferos que são animais extintos; portanto, existem mamíferos que são dinossauros" é um raciocínio correto.

Uma noção básica da lógica é a de que um argumento é composto de um conjunto e de sentenças denominadas premissas e uma outra sentença chamada de conclusão. Um argumento é válido se, sempre que as premissas forem verdadeiras, a conclusão, necessariamente, for verdadeira. Com o auxílio dessas informações, julgue os itens a seguir.

Em “Eu sou bom, pois todo homem é bom”, a sentença “todo homem é bom” é a premissa do argumento.

            A lógica sentencial, ou proposicional, trata do raciocínio expresso por sentenças, ou proposições, que podem ser julgadas como verdadeiras (V) ou falsa (F), mas que não admitem os julgamentos V e F simultaneamente. A lógica de primeira ordem também trata do raciocínio expresso por sentenças, ou proposições, que são julgadas como V ou F dependendo do conjunto, ou domínio, ao qual pertencem os objetos referenciados nas sentenças e das propriedades, ou predicados, associadas a esses objetos. Na lógica de primeira ordem, os objetos de um domínio são quantificados por todos, alguns, nenhum etc. As deduções da lógica proposicional ou da lógica de primeira ordem têm uma estrutura cuja análise permite decidir se o raciocínio expresso está correto ou não, isto é, se a conclusão é uma consequência verdadeira das proposições que são colocadas como premissas, sempre consideradas verdadeiras.

Com base nas informações do texto acima, julgue os itens de 11 a 14.

Considerando como premissas as proposições "Nenhum universitário é analista judiciário" e "Todo analista judiciário faz curso de informática", e como conclusão a proposição "Nenhum universitário faz curso de informática", então o raciocínio formado por essas proposições é correto.

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.