Loading [MathJax]/jax/output/HTML-CSS/fonts/TeX/fontdata.js
Eduardo Alv
FlashCards por , criado more than 1 year ago

Matemáticas Discretas FlashCards sobre Álgebra Declarativa , criado por Eduardo Alv em 11-11-2019.

35
0
0
Eduardo Alv
Criado por Eduardo Alv mais de 5 anos atrás
Avalie este recurso clicando nas estrelas abaixo:
1 2 3 4 5 (0)
Classificação (0)
0
0
0
0
0

0 comentários

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

Fechar
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.