Raciocínio Lógico Equivalência Lógica e Negação de Proposições Negação - Leis de Morgan (Negativa de uma Proposição Composta) Fundamentos de Lógica + 1
Ano: 2025
Banca: SECPLAN
Em um bate-papo entre amigos, alguém afirmou:
“Se Mônica viajou para o Peru e Magali viajou para o México, então Horácio viajou para o Sudão.”
A negação correta da afirmação acima é:
Raciocínio Lógico Implicação Lógica Fundamentos de Lógica Proposições Simples e Compostas e Operadores Lógicos + 1
Ano: 2025
Banca: Fundação Getúlio Vargas (FGV)
Sejam a, b,  c e d proposições lógicas simples. Considere a seguinte proposição lógica composta p:

p: (a ∧ b) → (c ∨ d)

A proposição lógica p tem valor lógico falso. É correto concluir que as proposições
Raciocínio Lógico Equivalência Lógica e Negação de Proposições Negação - Leis de Morgan (Negativa de uma Proposição Composta) Fundamentos de Lógica + 2
Ano: 2025
Banca: Universidade Estadual de Goiás / Núcleo de Seleção (UEG)
Sabendo-se que as proposições p e q são ambas verdadeiras, o valor lógico das proposições ...
Raciocínio Lógico Fundamentos de Lógica Proposições Simples e Compostas e Operadores Lógicos Tabelas-Verdade
Ano: 2025
Banca: CEPS-UFPA
Em relação a regras básicas para a multiplicação binária, assinale V (verdadeiro) ou F (falso) nos itens seguintes.

(__) 0x0 = 1
(__) 0x1 = 0
(__) 1x0 = 0
(__) 1x1 = 1

A sequência correta é
Raciocínio Lógico Fundamentos de Lógica Proposições Simples e Compostas e Operadores Lógicos Análise Combinatória em Raciocínio Lógico + 1
Ano: 2025
Banca: FUNDATEC Processos Seletivos (FUNDATEC)
Uma porta lógica AND de 4 entradas possibilita quantas combinações binárias de entrada? 
Raciocínio Lógico Equivalência Lógica e Negação de Proposições Negação - Leis de Morgan (Negativa de uma Proposição Composta) Fundamentos de Lógica + 2
Ano: 2025
Banca: FUNDATEC Processos Seletivos (FUNDATEC)
A negação da proposição “Ana é professora e Márcia não faz ballet” é: 
Raciocínio Lógico Implicação Lógica Problemas Lógicos Equivalência Lógica e Negação de Proposições + 3
Ano: 2025
Banca: Fundação Carlos Chagas (FCC)
Atenção: A questão refere-se a Raciocínio Lógico-Matemático.  Considere as cidades de Avaré, Bauru, Garça e Tatuí. Dessas cidades, Maria já visitou no mínimo duas e no máximo três e elafez as seguintes afirmações:

• Se eu visitei Tatuí, então não visitei Bauru.
• Nunca visitei Avaré e nunca visitei Garça.
• Ou visitei Avaré ou não visitei Bauru.
• Visitei Garça se, e somente se, não visitei Tatuí.

Exatamente uma dessas quatro afirmações é falsa, logo, em relação às quatro cidades citadas, a alternativa que contêm todasas cidades que Maria visitou é 
Raciocínio Lógico Fundamentos de Lógica Proposições Simples e Compostas e Operadores Lógicos Tabelas-Verdade
Ano: 2025
Banca: FAFIPA
A tabela-verdade a seguir apresenta algumas proposições com valores lógicos ocultos, representados pelas letras a, b e c:

...
Raciocínio Lógico Fundamentos de Lógica Proposições Simples e Compostas e Operadores Lógicos Tabelas-Verdade
Ano: 2025
Banca: IGEDUC
Ao escolher os alunos para participarem de uma Olimpíada de Lógica, o professor determinou que um aluno só participaria se ocorresse a disjunção das proposições abaixo.
P: O aluno deve saber resolver problemas de lógica
Q: O aluno deve ter boas notas em matemática.
Assim, quem poderá participar das Olimpíadas de Lógica?
Raciocínio Lógico Fundamentos de Lógica Proposições Simples e Compostas e Operadores Lógicos
Ano: 2025
Banca: Fundação para o Vestibular da Universidade Estadual Paulista (VUNESP)
No livro Lógica e Conjuntos, o autor Francisco Cunha defende o uso de parênteses na simbolização das proposições para evitar ambiguidades, mas concorda que a notação pode ser simplificada (supressão de parênteses) desde que não venham a ocorrer ambiguidades. Para essa simplificação é definida uma ordem de precedência das operações lógicas, de maneira a permitir identificar o conectivo principal de uma proposição, de modo a poder nomeá-la.
De acordo com a ordem estabelecida no livro, dadas as proposições simples, p, q, r e s, a proposição

∼∼p ∨ q → r ∧ (s ↔ ∼q ∨ ∼p)

é uma