Ley de Morgan en lógica de predicados PDF

Preview

Summary

Información acerca de la ley de Morgan en cuanto a la lógica de predicados....

Description

Tecnológico Nacional de México OMAR NAVARRO GASCA “La ley de Morgan en la lógica de predicados” Las leyes de Morgan son un par de reglas de transformación que permiten simplificar la unión e intersección de complementos a través de la negación, expresadas como: •

La negación de la conjunción es la disyunción de las negaciones. "no (A y B)" es lo mismo que "(no A) o (no B)" * **

•

La negación de la disyunción es la conjunción de las negaciones. “no (A o B)" es lo mismo que "(no A) y (no B)"

* ¬ es el operador de negación (NO) ^ es el operador de conjunción (Y) v es el operador de disyunción (O) ⇔ es un símbolo que significa "puede ser reemplazado en una prueba lógica"

** . es el Y lógico + es el O lógico la barra superior es el NO lógico de lo que está por debajo de la barra superior. (negación)

Por su parte la lógica de predicados funciona como una herramienta para estudiar el comportamiento de un estudio lógico, nos permite razonar y explorar las relaciones entre los objetos, además de proporcionar un criterio para determinar si el sistema es absurdo o inconsistente, en la actualidad sirve como fundamento teórico a algunos de los paradigmas actuales de programación.

Esta formado por variables, constantes y funciones, como su elemento básico son los objetos y las relaciones entre dichos objetos es importante saber ¿Qué se afirma? (predicado o relación) y ¿De quién se afirma? (objeto). sus conexiones lógicas son: & Y/and V O/or ¬ No/not → Si, entonces/if

¿Qué es un esquema o función proposicional en una variable? Es cualquier expresión donde aparezca una letra, generalmente designada por x de tl manera que hay por lo menos una constante a remplazar ¿Qué es un esquema o función proposicional en dos variables? Es cualquier expresión donde aparezcan dos letras, generalmente designadas por x, y, de tal manera que hay por lo menos un nombre o constante que al remplazar las variables x,y se convierte en una proposición.

Entonces, ¿Cuál es la relación de la ley de Morgan con la lógica de predicados? Las leyes de Morgan de lógica proposicional se aplican cuando se tiene la negación de una proposición compuesta (que poseen dos términos unidos por un nexo, o emplean negaciones dentro de su formulación, resultando en estructuras más complejas.) ya sea la negación de una conjunción o la negación de una disyunción....