O conectivo condicional ( → se ... então ) e o bicondicional (↔, se e somente se) diferenciam-se em suas tabelas verdades por uma linha. Assinale a linha que as diferencia.

Gabarito

B

Comentário do professor

Linha 3 é a que diferencia as duas conectivas: \(a=F,\;b=V\).

O condicional \(a \to b\) é falso apenas quando o antecedente é V e o consequente é F. Nos demais casos é verdadeiro. Assim, com \(a=F,\;b=V\) temos \(F \to V = V\). Esse valor decorre da ideia de verdade vacuamente atribuída quando o antecedente é falso.

O bicondicional \(a \leftrightarrow b\) é verdadeiro somente quando as duas parcelas têm o mesmo valor de verdade (ambas V ou ambas F). Se diferem, o bicondicional é falso. Portanto, para \(a=F,\;b=V\) resulta \(F \leftrightarrow V = F\).

Conclusão: na linha \(a=F,\;b=V\) temos \(F \to V = V\) e \(F \leftrightarrow V = F\), que é a única linha em que as tabelas divergem.