DEFINICION DE LOGICA
Enviado por Doppler1992 • 7 de Mayo de 2013 • Síntesis • 398 Palabras (2 Páginas) • 316 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 con
Leer Ensayo Completo Suscríbase
junció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).
...