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

Respuesta:

Explicación paso a paso:

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

Luego:

p ∧ q = V         ;      r v s =F

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

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

      ∼ [(V ∧ V) → F]

     ∼ [V → F]

     ∼ [F]

       V

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

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

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

      ∼ [∼ [V → F]]

      ∼ [∼ [F]]

      ∼ [V]

         F

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

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

    ∼ [(V) ∧ ∼ ( F)]

    ∼ [V ∧ V]

     ∼ [V]

        F