LOGICA PROGRAMACION DE INFORMATICA
Enviado por kyji2882 • 12 de Marzo de 2013 • 7.955 Palabras (32 Páginas) • 893 Visitas
DEFINICION DE LOGICA
Es un "enunciado con dos o más elementos simultáneos
FUNDAMENTOS DE LA LOGICA
Es un término a veces usado para ciertos campos de las matemáticas, como la lógica matemática, teoría de conjuntos axiomática, teoría de prueba, teoría de modelos y la teoría de recursividad.
CONECTIVAS BASICAS DE LA LOGICA
Conectiva Notación Ejemplo
de uso Análogo
natural Ejemplo de uso en
el lenguaje natural Tabla de verdad
Negación
no No está lloviendo.
Conjunción
y Está lloviendo y es de noche.
Disyunción
o Está lloviendo o es de noche.
condicional material si... entonces Si está lloviendo, entonces es de noche.
Bicondicional si y sólo si Está lloviendo si y sólo si es de noche.
Negación
conjunta ni... ni Ni está lloviendo ni es de noche.
Disyunción
excluyente o bien... o bien O bien está lloviendo, o bien es de noche.
Disyunción lógica
Es un operador lógico que resulta en verdadero si cualquiera de los operadores es verdadero. OR
Conjunción lógica
Es un operador lógico que resulta en verdadero si los dos operadores son verdaderos. AND
En lógica y matemáticas una conjunción es un "enunciado con dos o más elementos simultáneos". Una lámpara eléctrica se enciende si hay corriente eléctrica, el interruptor esta conectado, el fusible esta bien y la lampara no esta fundida, en cualquier otro caso la lámpara no se encenderá.
Para dos entradas A y B, la tabla de verdad de la función conjunción es:
Símbolo
El símbolo matemático para la disyunción lógica varia en la literatura. Además de utilizar "Y", el símbolo en forma de es comúnmente utilizado para la conjunción. Por ejemplo:
se lee como "A y B". Esta Conjunción es cierta si ambas A y B son ciertas a la vez. En todos los demás casos es falsa.
La noción equivalente en teoría de conjuntos es la Intersección de conjuntos. Y el símbolo representativo es "y" y
Operación con bits
La conjunción es utilizada a menudo para operaciones con bits. Por ejemplo:
• Cero y cero:
• Cero y uno:
• Uno y cero:
• Uno y uno:
• Para cuatro bit:
Las leyes de De Morgan son una parte de la Lógica proposicional y analítica ,y fue creada por Augustus De Morgan (Madura,1806-Londres,1871).
Las leyes de De Morgan
Las leyes de De Morgan declaran que la suma de n variables globalmente negadas (o invertidas) es igual al producto de las n variables negadas individualmente; y que inversamente, el producto de n variables globalmente negadas es igual a la suma de las n variables negadas individualmente.O.O!!
Prueba
Hay que utilizar las tablas de valores de verdad
A B
V V V F F F F
V F V F F V F
F V V F V F F
F F F V V V V
Demostración formal
si y solo si y .
para cualquier x:
inclusión:
ó
ó
Por lo tanto
inclusión:
ó
ó
Por lo tanto
y por lo tanto Q.E.D.
para se puede utilizar un método similar.
Con proposiciones
La prueba utiliza la asociatividad y la distributividad de las leyes y .
• Verdad
• Si verdad por n
Condicional material
De Wikipedia, la enciclopedia libre
Saltar a navegación, búsqueda
El condicional material, también conocido como implicación material, condicional funcional de verdad o simplemente condicional, es una constante lógica que conecta dos proposiciones. El condicional material intenta ser la versión formal del condicional en el lenguaje natural, el cual se expresa por medio de palabras como las siguientes:
• Si llueve, entonces voy al cine.
• Voy al cine si llueve.
• Cuando llueve, voy al cine.
Simbólicamente, el condicional material se suele denotar de las siguientes maneras:
, y en ocasiones:
Donde A y B son proposiciones cualesquiera. Las variables A y B se conocen respectivamente como el antecedente y el consecuente del condicional.
En lógica proposicional, el condicional material es una función de verdad binaria, que devuelve falso cuando A es verdadera y B es falsa, y devuelve verdadero en cualquier otro caso. En lógica de predicados, puede ser visto como una relación de subconjunto entre la extensión de predicados (posiblemente complejos).
Definición
El condicional material es una función de verdad que toma dos valores de verdad (por lo general los valores de proposiciones) y devuelve falso cuando el primer valor es verdadero y el segundo falso, y verdadero en cualquier otro caso.
En otras palabras, la tabla de verdad del condicional material es la siguiente:
Como se ve, el condicional material devuelve 0 (falso) sólo cuando el antecedente es verdadero y el consecuente falso. En todos los demás casos, devuelve 1 (verdadero).
Propiedades formales
Algunas de las propiedades formales del condicional material son:
• Distributividad:
• Transitividad:
• Conmutatividad:
• Idempotencia:
• Preservación de la verdad: La interpretación en virtud del cual todas las variables se les asigna un valor de verdad de «verdadero» produce un valor de verdad de «verdadero» como resultado de la implicación material.
Diferencia entre el condicional material y la implicación lógica
Diagrama de Venn del condicional material.
Diagrama de Venn de la implicación lógica.
El condicional material no debe confundirse con la relación de implicación lógica. Sin embargo, existe una estrecha relación entre ambos en la mayoría de los sistemas lógicos, incluyendo la lógica clásica. Por ejemplo, los siguientes principios se sostienen:
• Si , entonces , donde A es una fórmula cualquiera y Γ es un conjunto de fórmulas cualquiera. Este es un caso particular del teorema de la deducción.
• Si
...