Considerando-se as regras da álgebra proposicional, qual das proposições citadas nas al...
Responda: Considerando-se as regras da álgebra proposicional, qual das proposições citadas nas alternativas abaixo pode ser deduzida das seguintes proposições: “ ~ X → Z” e “ X → ~Y ”?
💬 Comentários
Confira os comentários sobre esta questão.

Por emerson souza silva em 31/12/1969 21:00:00
Emerson Souza Silva:
Sejam A e B proposições quaisquer. A proposição condicional é Se A então B ou podemos usar símbolos A => B. Temos as seguintes equivalências:
I. A => B = ~ B => ~ A ( conhecida como contra positiva)
II. A => B = ~A V B
Usando a contra positiva nas proposições: ~ X => Z e X => ~Y, temos:
~ Z => X e Y => ~X, por transitividade, temos:
(a) ~ Z => X e X => ~Y logo ~ Z => ~Y
(b) Y => ~X e ~ X => Z logo Y => Z
Mesmo usando essas propriedades ainda não alternativa, então devemos procurar a partir das proposições usando o recurso (II), com um pouco de maturidade em resolver questões de raciocínio lógico, você vai perceber em usar (II) na expressão (b), isto é:
Y => Z = ~ Y ∨ Z ( usamos: A => B = ~A V B). Portanto, a letra (e).
Sejam A e B proposições quaisquer. A proposição condicional é Se A então B ou podemos usar símbolos A => B. Temos as seguintes equivalências:
I. A => B = ~ B => ~ A ( conhecida como contra positiva)
II. A => B = ~A V B
Usando a contra positiva nas proposições: ~ X => Z e X => ~Y, temos:
~ Z => X e Y => ~X, por transitividade, temos:
(a) ~ Z => X e X => ~Y logo ~ Z => ~Y
(b) Y => ~X e ~ X => Z logo Y => Z
Mesmo usando essas propriedades ainda não alternativa, então devemos procurar a partir das proposições usando o recurso (II), com um pouco de maturidade em resolver questões de raciocínio lógico, você vai perceber em usar (II) na expressão (b), isto é:
Y => Z = ~ Y ∨ Z ( usamos: A => B = ~A V B). Portanto, a letra (e).
⚠️ Clique para ver os comentários
Visualize os comentários desta questão clicando no botão abaixo
Ver comentários