Admitindo-se verdadeiro o condicional ¬(p → q). Dar o valor lógico de: (a) (p → q) → (q ∨ r) (b) (q ∨ r) → ((p → ¬q) → r) (c) (p → r) → ((q ∨ r) →...

Vamos analisar cada alternativa: (a) (p → q) → (q ∨ r): Se ¬(p → q) é verdadeiro, então (p → q) é falso. Quando (p → q) é falso, a implicação (p → q) → (q ∨ r) é sempre verdadeira, independentemente do valor de (q ∨ r). Portanto, a resposta para (a) é verdadeiro. (b) (q ∨ r) → ((p → ¬q) → r): Novamente, se ¬(p → q) é verdadeiro, então (p → q) é falso. Nesse caso, a expressão (p → ¬q) é verdadeira, independentemente do valor de p e q. Assim, a implicação ((p → ¬q) → r) é sempre verdadeira, independentemente do valor de (q ∨ r). Portanto, a resposta para (b) é verdadeiro. (c) (p → r) → ((q ∨ r) → (p → r)): Se ¬(p → q) é verdadeiro, então (p → q) é falso. Nesse caso, a expressão (q ∨ r) é sempre verdadeira, independentemente do valor de q e r. Assim, a implicação (q ∨ r) → (p → r) é sempre verdadeira, independentemente do valor de (p → r). Portanto, a resposta para (c) é verdadeiro. Portanto, as respostas para (a), (b) e (c) são todas verdadeiras.