Na escola Saber Mais, a professora Cláudia estava dando uma aula sobre lógica proposicional. O objetivo da aula era ensinar aos alunos como identificar equivalências lógicas entre proposições e entender os conceitos de tautologia, contingência e contradição. Para ilustrar esses conceitos, a professora decidiu usar um exemplo prático e, em seguida, apresentar uma questão para os alunos resolverem. A professora Cláudia explicou que duas proposições compostas são ditas equivalentes quando elas têm o mesmo valor lógico em todas as situações possíveis. Para verificar a equivalência, geralmente usamos um bicondicional (↔). Ela então explicou que, se o bicondicional de duas proposições resulta em uma tautologia (sempre verdadeiro), podemos afirmar que essas proposições são equivalentes. Após a explicação, a professora Cláudia apresentou a seguinte questão para os alunos: Diz-se que uma proposição composta é equivalente a outra:
ASe o condicional entre as duas proposições for contingência.
BSe o bicondicional entre as duas proposições for tautologia.
CSe o bicondicional entre as duas proposições for contradição.
DSe o condicional entre as duas proposições for contradição.
Revelar resposta correta
Resposta corretaAlternativa correta: B
Estude com continuidade
Pratique mais questões de Lógica Proposicional.
Configure quantidade, alternativas e cronômetro para praticar novamente Matemática e Lógica Proposicional.
Considere a proposição P: (p → q) v (¬p → q). Para analisar se P é uma tautologia, avalie as justificativas abaixo. I. A expressão é sempre verdadeira quando q é verdadeira. II. Se p é verdadeira e q é falsa, a expressão torna-se falsa. III. Quando p é falsa, a implicação p → q é
Admita como verdadeira a seguinte afirmação: “Se uma pessoa pratica natação, então ela tem um ótimo preparo físico.” Sabendo-se que Júlio tem ótimo preparo físico e que Renata não tem ótimo preparo físico, é necessariamente verdade que:
George, durante uma partida de futebol, pensou o seguinte: “Eu vou driblar esse adversário e vou fazer o cruzamento para meu companheiro”. A sentença que representa a negação lógica do que George pensou é:
