Considerando que os símbolos lógicos ~,… (Copeve/UFAL 2014)

Questões de Raciocínio Lógico · Copeve/UFAL

Raciocínio LógicoImplicação lógicaCopeve/UFAL 2014

Pref Igaci

Considerando que os símbolos lógicos ~, ^, v e → representam negação, conjunção, disjunção e implicação, respectivamente, a fórmula ((A → B) ^ A) → B é

Afalsa no caso do valor-verdade de A ser falso.Bfalsa no caso do valor-verdade de B ser falso.Cverdadeira apenas no caso do valor-verdade de A ser falso.Dverdadeira apenas no caso do valor-verdade de B ser falso.Everdadeira independentemente dos valores-verdade de A e B.

Mais questões de Implicação lógica

FGV 2026Considere as seguintes premissas: • Se apenas um entre João e Maria mora no bairro do Butantã, então o elefante é azul. • Se João não mora do bairro do Butantã, então a galinha é…
IGEDUC 2026Quatro proposições p, q, r e s representam a validação de quatro condições de um protocolo lógico. Admita que todas as valorações admissíveis devem satisfazer simultaneamente as p…
Legatus 2026Sejam P, Q e R proposições lógicas. Julgue as afirmações abaixo, classificando-as em verdadeiro (V) ou falso (F). I. ( ) Se P ⇒ Q e Q ⇒ R, então P ⇒ R. II. ( ) (P ⇒ Q) ⇔ (~P⋁Q) II…
Fundatec 2026Sabe-se que, em lógica proposicional clássica, a implicação p → q é logicamente equivalente à proposição ~p ∨ q. Com base nisso, analise a proposição composta a seguir: (p → q) ↔…
Instituto Verbena 2026Na conferência de rotinas de um setor, foram tomadas como verdadeiras as seguintes informações: se o relatório R foi assinado, então o processo P foi arquivado; se o processo P fo…

Ver as 330 questões de Implicação lógica

Questão de prova oficial, com o gabarito definitivo publicado pela banca. Reproduzida para fins de estudo.