Carregando...
Carregando...
Ajude a melhorar a plataforma
Em uma disciplina de lógica computacional, os alunos estão aprendendo sobre a importância da lógica formal e proposicional na resolução de problemas computacionais. Eles exploram conceitos como proposições, conectivos lógicos e tabelas-verdade.
Com base nesse contexto, qual das seguintes alternativas é correta sobre os conceitos de lógica formal e proposicional?
Explique melhor esta questão
Abre o Tutor com o enunciado e as alternativas já no campo — você revisa e envia.
Esta questão foi verificada por um de nossos administradores.
🎓 Gabarito Comentado (AVA):
A alternativa "Na lógica proposicional, a negação de uma proposição A pode ser representada por A' " é correta, pois a negação é representada pelo símbolo "'".
A alternativa "A expressão "X > 20" é considerada uma proposição válida na lógica formal" é correta, porque "X > 20" não é uma proposição, pois não tem um valor de verdade definido.
A alternativa "O conectivo "∨" representa a disjunção exclusiva (XOU) na lógica proposicional" é incorreta, porque "∨" representa a disjunção inclusiva "OU", não a disjunção exclusiva "XOU".
A alternativa "A expressão "Quem ganhou o jogo?" é uma proposição na lógica formal" é incorreta, porque uma pergunta não é uma proposição, pois não pode ser verdadeira ou falsa.
A alternativa "O conectivo "∧" é usado para representar a conjunção "OU" inclusivo na lógica" é incorreta, porque "∧" representa a conjunção "E", não a disjunção "OU".