Questões de Concurso Sobre proposições simples e compostas e operadores lógicos em raciocínio lógico

Se a proposição p↔q for verdadeira, é correto inferir que André é vegetariano e que Bruna é taróloga.

As proposições p→q e “Se Bruna não é taróloga, então André não é vegetariano” são equivalentes. 

A proposição ~(p˄q) é equivalente a “André não é vegetariano e Bruna não é taróloga”.

      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 o item.
Considerando como premissas as proposições “Se Margarida é alta, então ela joga voleibol” e “Margarida não é alta”, se a conclusão for a proposição “Margarida não joga voleibol”, então o raciocínio será correto.

      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 o item.
Considere que a sequência de proposições a seguir constituam três premissas e a conclusão, nessa ordem: “Todas as mulheres são pessoas vaidosas”; “Todas as pessoas vaidosas são caprichosas”; “Existem pessoas tímidas que são mulheres”; “Existem pessoas tímidas que são caprichosas”. Nesse caso, tem-se uma dedução que expressa um raciocínio correto.

      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 o item.
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.

      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 o item.
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.

Admitindo‑se a veracidade das proposições “Todo advogado é doutor”, “Paula é advogada” e “Felipe é doutor”, julgue o item. 
A proposição “Paula é doutora ou Felipe é advogado” é necessariamente verdadeira. 

Julgue o item que se segue.

Dadas apenas as proposições “nenhum engenheiro é advogado” e “algum advogado é professor”, do ponto de vista da lógica, é válido concluir que algum professor não é engenheiro.