Matemáticas Discretas Fichas sobre Álgebra Declarativa , creado por Eduardo Alv el 11/11/2019.
|
Creado por Eduardo Alv
hace más de 5 años
|
|
Puntuaciones (0)
| 0 |  |
|
| 0 |  |
|
| 0 |  |
|
| 0 |  |
|
| 0 |  |
0 comentarios
Cerrar
|
|
Creado por Eduardo Alv
hace más de 5 años
|
|
| 0 | |
|
| 0 | |
|
| 0 | |
|
| 0 | |
|
| 0 | |
Á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.
