LA LOGICA

LA LOGICA
EXPOSITORES
VIRIDIANA LIZETH MOLINA ZUÑIGA
LUIS ALBERTO OZUNA RUIZ
HUGO PEREZ PEREZ

QUE ES LA LOGICA

:

La lógica ha adquirido un papel cada vez más importante en la infomática . Lalógica
tiene tres 3 distintas e importantes aplicaciones :
 
 
  En programación para construir expresiones lógicas.
  
 Para escribir pre y postcondiciones que describen el comportamiento de losprogramas.
 
 Como fundamento para el diseño del computador.

La Lógica es el estudio del razonamiento; en
particular, se analiza si un razonamiento es
correcto.

EJEMPLOS
Todos los
matemáticos No
usansandalias

Cualquier persona que utilice sandalias
es un matemático

EXISTEN VARIOS TIPOS DE LOGICA LAS CUALES
SON :

Lógica
Lógica
Lógica
Lógica
Lógica

matemática
filosófica
formal e informalaristotélica
difusa

LOGICA PROPORCIONAL
Una Proposición es un enunciado, declaración, sentencia que puede tomar valores de

Verdadero o Falso.
 
EJEMPLOS :

V

 LA CAPITAL DE CHIAPAS ES TUXTLAGUTIERREZ

 MADRID ES LA CAPITAL DE ESPAÑA

 4 + 6= 46


V

F

LA TIERRA ES EL PLANETA MAS GRANDE
DEL SISTEMA SOLAR

F

En cualquier lógica, las proposiciones se clasifican en simples o compuestas.
 Lasproposiciones simples se identifican porque no contienen otras afirmaciones
que la compongan
 Las proposiciones compuestas se obtienen al combinar proposiciones
simples para expresar afirmacionesmás complejas.

Para representar las proposiciones se
utilizan letras

CONECTORES LOGICOS
En lógica, una conector lógico , o simplemente conector,
es un símbolo o palabra que se utiliza para conectardos fórmulas bien formadas o sentencias (atómicas o
moleculares), de modo que el valor de verdad de la
fórmula compuesta depende del valor de verdad de las
fórmulas componentes.
Los conectivos lógicosmás comunes son los conectivos
binarios (también llamados conectivos diádicos) que
unen dos frases, que pueden ser consideradas los
operandos de la función.

CONECTIVOS LOGICOS

Tablas de verdad...