Loading [MathJax]/jax/output/HTML-CSS/fonts/TeX/fontdata.js
Eduardo Alv
Fichas por , creado hace más de 1 año

Matemáticas Discretas Fichas sobre Álgebra Declarativa , creado por Eduardo Alv el 11/11/2019.

35
0
0
Eduardo Alv
Creado por Eduardo Alv hace más de 5 años
Valora este recurso haciendo click en las estrellas a continuación:
1 2 3 4 5 (0)
Puntuaciones (0)
0
0
0
0
0

0 comentarios

There are no comments, be the first and leave one below:

Cerrar
1 / 4

ÁLGEBRA DECLARATIVA

Empezaremos por definir formalmente cómo se construye una fórmula en lógica. Una expresión sintácticamente correcta se le llama fórmula bien formada (fbf) o simplemente fórmula y su definición es:

Las proposiciones p Þ q y ~ (p Ù ~ q) son equivalentes, como vemos realizando la tabla de valores correspondientes:

¿Cómo simplificar en lógica?

Hay que utilizar equivalencias lógicas.

Por ejemplo, simplificar: ( p ^ q ) ^ ¬ q.

Para esto utilizamos las siguientes equivalencias lógicas:

( A ^ B ) ^ C <=> A^(B ^C)

A ^ ¬ A <=> F

A ^ F <=> F

( p ^ q ) ^ ¬q <=> F

Se puede observar que no existe distinción entre la equivalencia lógica y el esquema que la genera.