Assinale a alternativa em que, de acordo com a lógica, a declaração jamais conduzirá a um equívoco.
Qual o numero de linhas de uma tabela verdade utilizada para determinar o valor lógico de uma proposição composta formada por 4 (quatro) proposições simples?
Uma afirmação logicamente equivalente à afirmação: “Não quero comer agora ou vou tomar banho”, é
Proposições são sentenças que podem ser julgadas como
verdadeiras - V - ou falsas - F -, mas não como ambas,
simultaneamente. As proposições são freqüentemente
representadas por letras maiúsculas e, a partir de proposições
simples, novas proposições podem ser construídas utilizando-se
símbolos especiais. Uma expressão da forma A÷B, que é lida
como "se A, então B", é F se A for V e se B for F e, nos demais
casos, será sempre V. Uma expressão da forma AvB, que é lida
como "A e B", é V se A e B forem V e, nos demais casos, será
sempre F. Uma expressão da forma AwB, que é lida como "A ou
B", é F se A e B forem F e, nos demais casos, será sempre V.
Uma expressão da forma ¬A, a negação de A, é V se A for F e é
F se A for V.
Julgue os itens que seguem, a respeito de lógica sentencial e de
primeira ordem, tendo como referência as definições apresentadas
no texto.
A negação da proposição "Existe banco brasileiro que fica com mais de 32 dólares de cada 100 dólares investidos" pode ser assim redigida: "Nenhum banco brasileiro fica com mais de 32 dólares de cada 100 dólares investidos."
Considerando a proposição "Se Paulo não foi ao banco, ele está sem dinheiro", julgue os itens a seguintes.
A proposição considerada equivalente à proposição "Se Paulo não está sem dinheiro, ele foi ao banco".
ESAF•
Durante uma prova de matemática, Joãozinho faz uma pergunta para a professora. Mariazinha que precisa obter nota alta e, portanto, qualquer informação na hora da prova lhe será muito valiosa , não escutou a pergunta de Joãozinho. Contudo, ela ouviu quando a professora respondeu para Joãozinho afi rmando que: se X ? 2, então Y = 3. Sabendo que a professora sempre fala a verdade, então Mariazinha conclui corretamente que:
Se joão mentiu, então ele é culpado, logo:
Considere o conjunto 
de conectivos lógicos da lógica sentencial. Por definição, um conjunto de operadores B é completo se somente se todos os operadores de A podem ser expressos em função do(s) operador(es) de B. Analise as afirmativas a seguir
Conclui-se que
FCC•
Considere p = FALSE e q = TRUE. Os resultados booleanos de p AND q, p OR q e NOT p serão, respectivamente,
Todo policial civil é bacharel em direito. A negação dessa afirmação é:
Na lógica de primeira ordem, uma proposição é funcional quando é expressa por um predicado que contém um número finito de variáveis e é interpretada como verdadeira (V) ou falsa (F) quando são atribuídos valores às variáveis e um significado ao predicado. Por exemplo, a proposição "Para qualquer x, tem-se que x - 2 > 0" possui interpretação V quando x é um número real maior do que 2 e possui interpretação F quando x pertence, por exemplo, ao conjunto {-4, -3, -2, -1, 0}.
Com base nessas informações, julgue os próximos itens.
A proposição funcional "Existem números que são divisíveis por 2 e por 3" é verdadeira para elementos do conjunto {2, 3, 9, 10, 15, 16}.
STF•
Filho meu, ouve minhas palavras e atenta para meu conselho.
A resposta branda acalma o coração irado.
O orgulho e a vaidade são as portas de entrada da ruína do homem.
Se o filho é honesto então o pai é exemplo de integridade.
Tendo como referência as quatro frases acima, julgue o itens seguintes.
A terceira frase é uma proposição lógica composta.
A negação da proposição: “Todos os contadores são bons matemáticos.” é a seguinte:
Considere que duas proposições são equivalentes se e somente se possuem exatamente as mesmas valorações V e F. Nesse caso, se A e B são equivalentes, é correto afirmar que ¬A?B é sempre F.
FCC•
A negação da sentença "A Terra é chata e a Lua é um planeta." é:
A negação da proposição Crescer além de certo porte é um ótimo negócio para empresários, mas um mau negócio para o mundo é equivalente a
Considere as duas proposições abaixo em que Q representa o conjunto dos números racionais.
Supondo que (I) e (II) sejam verdadeiras, é CORRETO afrmar que
FCC•
Uma senhora afirmou que todos os novelos de lã guardados numa gaveta são coloridos e nenhum deles foi usado. Mais tarde, ela percebeu que havia se enganado em relação à sua afirmação, o que permite concluir que
Na lógica de primeira ordem, uma proposição é funcional quando é expressa por um predicado que contém um número finito de variáveis e é interpretada como verdadeira (V) ou falsa (F) quando são atribuídos valores às variáveis e um significado ao predicado. Por exemplo, a proposição "Para qualquer x, tem-se que x - 2 > 0" possui interpretação V quando x é um número real maior do que 2 e possui interpretação F quando x pertence, por exemplo, ao conjunto {-4, -3, -2, -1, 0}.
Com base nessas informações, julgue os próximos itens.
A proposição funcional "Para qualquer x, tem-se que x2 > x" é verdadeira para todos os valores de x que estão no conjunto .
FCC•
Um analista esportivo afirmou:
Sempre que o time X joga em seu estádio marca pelo menos dois gols.
De acordo com essa afirmação, conclui-se que, necessariamente,