Encuentre la negación de p -> ¬ q
Respuestas a la pregunta
Contestado por
0
Respuesta:
En la lógica clásica, se tiene una identidad adicional: p → q se puede definir como ¬p ∨ q, donde "∨" es la disyunción lógica: "no p, o q". algebraicamente, la negación clásica corresponde con el complemento en un álgebra booleana, y la negación intuicionista con la seudocomplementación en un álgebra de Heyting.
Otras preguntas
Castellano,
hace 3 meses
Inglés,
hace 3 meses
Geografía,
hace 6 meses
Matemáticas,
hace 9 meses
Castellano,
hace 9 meses