I[P] = F
I[Q] = T

(P ∧ (¬Q → P)) ∧ ¬((P ↔ ¬Q) → Q ∨ ¬P)
(F ∧ (F → F)) ∧ ¬((F ↔ F) → T ∨ T)
(F ∧ T) ∧ ¬(T → T)
F ∧ ¬T
F ∧ F
   F

I[(P ∧ (¬Q → P)) ∧ ¬((P ↔ ¬Q) → Q ∨ ¬P)] = F
O VALOR LÓGICO DA PROPORÇÃO É FALSA.