Geral
Introdução a Conceitos de Computação
Semana 3
0

Questão

George Boole foi um matemático e lógico britânico responsável por estabelecer as bases da lógica algébrica. Essa lógica é fundamental para o funcionamento de computadores modernos. Suas ideias permitem representar e manipular informações binárias de forma precisa e estruturada. No contexto da lógica proposicional, considere as seguintes afirmações relacionadas a uma situação cotidiana:
P: "Se João estuda, então ele passa."
Q: "João não passa ou ele estuda."

 Sobre a avalie e a relação de equivalência lógica entre as proposições P e Q e assinale a alternativa correta:
A)

P e Q não são logicamente equivalentes.

B)

Q é uma tautologia, enquanto P não é.

C)

P e Q são logicamente equivalentes.

D)

Q é a contrarrecíproca de P.

E)

Q é logicamente equivalente à negação de P.

function vote(questaoId, value) { window.location.href = "/accounts/login/?next=/questao/1063/"; return; fetch(`/vote/questao/${questaoId}/`, { method: 'POST', headers: { 'Content-Type': 'application/json', 'X-CSRFToken': 'rJpoHm5Sm2d0tV8yt5nmpKWfv8q5lpQ5ifBP5Qqms4YBzwungdKtrU6V6on6sKW8' }, 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'); } }); }