Geral
Fundamentos Matemáticos para Computação
Semana 1
0

Questão

A equivalência lógica entre proposições é um conceito fundamental na lógica matemática e na computação. Dizemos que duas proposições P  e Q são logicamente equivalentes quando elas têm os mesmos valores de verdade para todas as possíveis interpretações das variáveis envolvidas.

Com relação a este contexto e sobre o conteúdo estudado, avalie as asserções a seguir e a relação proposta entre elas:

I. A expressão lógica sem ligadura (P ou lógico Q sem ligadura) e lógico sem ligadura (reto sinal de negação P ou lógico Q sem ligadura)  é logicamente equivalente a Q .

PORQUE

 II. Utilizando as regras de equivalência, podemos simplificar a expressão original eliminando redundâncias e reduzindo-a a Q .

A respeito dessas asserções assinale a alternativa correta:
A) A asserção I é uma proposição falsa, e a II é uma proposição verdadeira.
B) A asserção I é uma proposição verdadeira, e a II é uma proposição falsa.
C) As asserções I e II são proposições verdadeiras, e a II é uma justificativa da I.
D) As asserções I e II são falsas.
E) As asserções I e II são proposições verdadeiras, mas a II não é uma justificativa da I.
function vote(questaoId, value) { window.location.href = "/accounts/login/?next=/questao/911/"; return; fetch(`/vote/questao/${questaoId}/`, { method: 'POST', headers: { 'Content-Type': 'application/json', 'X-CSRFToken': 'MSdWhbxvRH5pT656LRkvcfQFJQ59b8OYrqwWSBlwdL9cT4MKx842W3h7iVULnBUr' }, body: JSON.stringify({ value: value }) }) .then(response => response.json()) .then(data => { if (data.success) { document.getElementById(`score-${questaoId}`).textContent = data.score; const upBtn = document.querySelector(`button[onclick="vote(${questaoId}, 1)"]`); const downBtn = document.querySelector(`button[onclick="vote(${questaoId}, -1)"]`); upBtn.classList.remove('active-up'); downBtn.classList.remove('active-down'); if (data.user_vote === 1) upBtn.classList.add('active-up'); if (data.user_vote === -1) downBtn.classList.add('active-down'); } }); }