MatemáticasBásico1 respuestas

Solo usando leyes de algebra proposicional : ( ^ ) significa Ya) [(~p → ~p) v (~p ^ q )] ^ ~(p ^ ~q)b) ~(~p v q) v [(p ^ ~r) ^ ~q]c) ~(~q → ~p) ^ [q → ~(p → r)]?

Solo usando leyes de algebra proposicional : ( ^ ) significa Y a) [(~p → ~p) v (~p ^ q )] ^ ~(p ^ ~q) b) ~(~p v q) v [(p ^ ~r) ^ ~q] c) ~(~q → ~p) ^ [q → ~(p → r)].

Pregunta de Matemáticas · 1 respuesta · mejor respuesta de NaCloluanyzurioala

En resumen

Sabiendo que A→B = - AvB (Definición del implicador), tenemos : a. [(pv - p) v ( - p ^ q)] ^ ( - pvq) = [1 v ( - p ^ q)] ^ ( - pvq) = 1 ^ ( - pvq) = - p v q.

Respuestas de la comunidad

Mejor respuesta

9

Sabiendo que A→B = - AvB (Definición del implicador), tenemos :

a.

[(pv - p) v ( - p ^ q)] ^ ( - pvq) = [1 v ( - p ^ q)] ^ ( - pvq) = 1 ^ ( - pvq) = - p v q.

Preguntas frecuentes

Solo usando leyes de algebra proposicional : ( ^ ) significa Ya) [(~p → ~p) v (~p ^ q )] ^ ~(p ^ ~q)b) ~(~p v q) v [(p ^ ~r) ^ ~q]c) ~(~q → ~p) ^ [q → ~(p → r)]?

Sabiendo que A→B = - AvB (Definición del implicador), tenemos : a. [(pv - p) v ( - p ^ q)] ^ ( - pvq) = [1 v ( - p ^ q)] ^ ( - pvq) = 1 ^ ( - pvq) = - p v q.