Álgebra Declarativa

Descrição

Matemáticas Discretas FlashCards sobre Álgebra Declarativa , criado por Eduardo Alv em 11-11-2019.
Eduardo Alv
FlashCards por Eduardo Alv, atualizado more than 1 year ago
Eduardo Alv
Criado por Eduardo Alv mais de 5 anos atrás
32
0
1 2 3 4 5 (0)

Resumo de Recurso

Questão Responda
ÁLGEBRA DECLARATIVA Lo que algunos llaman álgebra declarativa no es otra cosa que el álgebra proposicional, o sea, la estructura algebraica que se forma con expresiones utilizando los conectivos lógicos.
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: Una fórmula en lógica de proposiciones se obtiene al aplicar una ó más veces las siguientes reglas: (B) si p es una proposición lógica, es una fbf. (R) si F es una fórmula bien formada (fbf) también lo es (¬F). (R) si p,q son fbf entonces también lo es (p*q) donde * es uno de los operadores binarios, ^ v → ↔.
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. Ejemplo Demostrar que una vez que p ^ q esta establecida, se puede concluir q. Esta demostración se puede hacer de dos formas: A) Se demuestra que p ^ q → q es una tautológica, es decir p ^ q <=> q. Demostración ¬p V ¬q V q <=> V B) Se demuestra que ( p ^ q ) ^ ¬q <=> F lo que nos lleva a que ( p ^ q ) ^ ¬q → F debe ser una tautológica

0 comentários

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

Semelhante

1.1 Ejercicios 1 - 8
Josué Benjamín Girón Ramírez
Álgebra Booleana
Cryz Ortiz
Matematicas Discretas
gregorio vieira
sistemas numericos
Carlos Eduardo Sosa Rodriguez
Teoria de las Graficas
alejandro cortes
Algoritmos
Edgar A. Soto G.
EN BUSCA DEL TIEMPO MAYA
a_pineda_memije
Lógica de Predicados
Jose Refugio Rivera Mendoza
MATEMATICAS DISCRETAS
Gabriel Kassabgi