4. Se a sentença “x2−7x+12 = 0 ⇔ x = 3 ou x = 4”é verdadeira, então, qual o valor lógico da sentença ”x2 − 7x+ 12 ∕= 0 ⇔ x ∕= 3 x ∕= 4”?

Para analisar a veracidade da sentença "x² - 7x + 12 ≠ 0 ⇔ x ≠ 3 e x ≠ 4", podemos observar que a primeira sentença dada afirma que as raízes da equação são x = 3 ou x = 4. Isso significa que os valores de x que tornam a equação verdadeira são 3 e 4. Portanto, se x ≠ 3 e x ≠ 4, isso significa que x não pode ser igual a 3 nem a 4. Logo, a sentença "x² - 7x + 12 ≠ 0 ⇔ x ≠ 3 e x ≠ 4" é verdadeira.