Question

Si es verdadera la negación del siguiente esquema ∼ [(r → x) ∧ ∼ (p ∧ q ∧ s)]

Answer 1

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

Para una mejor comprensión del problema, te transcribo el problema original:

"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)]  "

Procedimiento:

∼ [(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