Questão FC509196
De acordo com a definição de valor lógico dos conectivos lógicos é correto afirmar que:
Lógica de Proposições
IBFC · 2023
De acordo com a definição de valor lógico dos conectivos lógicos é correto afirmar que:
- Se os valores lógicos de duas proposições forem falsos, então o valor lógico do condicional entre as proposições é falso
- Se os valores lógicos de duas proposições forem falsos, então o valor lógico do bicondicional entre as proposições é falso
- Se os valores lógicos de duas proposições forem falsos, então o valor lógico da conjunção entre as proposições é verdade
- Se os valores lógicos de duas proposições forem falsos, então o valor lógico da disjunção entre as proposições é verdade
- Se os valores lógicos de duas proposições forem falsos, então o valor lógico do condicional entre as proposições é verdade
Mostrar resposta e comentário
Gabarito
Errado
Comentário do professor
Na lógica proposicional a condicional \(p \rightarrow q\) é **falsa** somente quando o **antecedente** \(p\) é verdadeiro e o **consequente** \(q\) é falso.
Se ambas as proposições são falsas, isto é \(p = F\) e \(q = F\), o caso que torna a condicional falsa não acontece, pois o antecedente não é verdadeiro. Portanto a condicional não pode ser falsa nessa situação.
Por isso \(p = F,\, q = F \Rightarrow p \rightarrow q = V\). Esse resultado é conhecido como verdade por vacuidade: uma implicação com antecedente falso é considerada **verdadeira**, independentemente do consequente.
Em termos intuitivos, se a condição inicial não se verifica, não houve contradição entre promessa e resultado, logo a condicional é **verdadeira**.
Conteúdo do catálogo FC Concursos · Atualizado em