Considere que p = João é médico e q = Lívia é estudante, traduzindo (~p)V(~q) significa que:

Considere que p = João come morangos e q = Anita come pêssego, traduzindo para a linguagem das proposições ~p V q tem-se que:

Considere que p = sei nadar e q = sei patinar. Traduzido da linguagem das proposições tem-se que “não sei nadar e não sei patinar” é representado da seguinte forma:

A negação da proposição “Manu assiste a séries e seu marido olha futebol” é:

Assinale a alternativa em que constam apenas números primos.

Considere a afirmação: “Ontem foi segunda-feira e não fui ao mercado”. Qual alternativa abaixo corresponde à negação lógica dessa afirmação?

Em uma caixa não transparente foram colocadas 7 bolas brancas, 5 bolas azuis e 3 bolas vermelhas. Sem escolher, são retiradas bolas dessa caixa. A partir desses dados, considere as afirmações a seguir.

I - Retirando 4 bolas, necessariamente 2 serão da mesma cor.

II - Retirando 7 bolas, necessariamente 2 serão de cores diferentes.

III - Retirando 7 bolas, necessariamente 1 será branca.

Quais estão corretas?

Em um concurso para selecionar candidatos, cinco pessoas realizaram um exame, A ordem de classificação dos candidatos, do primeiro ao quinto colocado, respectivamente, é dada pelas informações a seguir.

I. Zeus não é o primeiro colocado.

II. Hermes ficou classificado na frente de Vênus.

III. Atenas ficou classificada na frente de Zeus.

IV. Odin ficou classificado atrás de Zeus mas na frente de Hermes.

V. Vênus e Hermes ficaram classificados atrás de Zeus.

A ordem correta de classificação dos candidatos é

Nas afirmações a seguir, P e Q são números naturais maiores que zero, sendo P um número par qualquer e Q um número ímpar qualquer.

I - O resultado de P ^. Q é um número par, e o resultado de Q ^. P é um número impar.

II - O resultado de P + Q é um número ímpar, e o resultado de Q + Q é um número par.

III- O resultado de P^Q é um número par, e o resultado de Q^P é um número ímpar.

Quais estão corretas?

Assinale a alternativa que representa uma fórmula válida na lógica clássica de primeira ordem.