Question

. Si es verdadera la negación del siguiente esquema:
[(p ∧ q) → (r v s)], Deducir el valor de los siguientes esquemas Moleculares:
1) ∼ [(p ∧ q) → r]
2) ∼ [∼ [∼ (q → r) → (s ∧ w)]]
3) ∼ [(r → x) ∧ ∼ (p ∧ q ∧ s)]

Answer 1

Si es verdadera la negación del siguente esquema, se deduce el valor de los esquemas moleculares a continuación:

∼ [(p ∧ q) → (r v s)] = V, entonces  

    V    V        F    F

        V              F

               F

Luego:

p = V; q = F; r = F ; s = F

1) ∼ [(p ∧ q) → r]  

    ∼ [(V ∧ F) → F]  

    ∼ [F → F]  

    ∼ [V]  

      F

2) ∼ [∼ [∼ (q → r) → (s ∧ w)]]  

     ∼ [∼ [∼ (F → F) → (F ∧ ?)]]  

      ∼ [∼ [∼ (V) → (F)]]  

      ∼ [∼ [F → F]]  

      ∼ [∼ [V]]  

      ∼ [F]  

         V

3)∼ [(r → x) ∧ ∼ (p ∧ q ∧ s)]

   ∼ [(F → ?) ∧ ∼ (V ∧ F ∧ F )]

    ∼ [(V) ∧ ∼ ( V)]

    ∼ [V ∧ F]

     ∼ [F]

         V