LGICA

MATEMTICA
ISC. ANA MARIA DOLORES MARTNEZ SALVADOR
LGICA PROPOSICIONAL

Enfoque semntico
Enfoque sintctico
SEMNTICA
Estudiala relacin entre el signo lingstico y la
realidad. Las condiciones necesarias para que un
signo pueda aplicarse a un objeto, y las reglas que
aseguran una significacin exacta.
SINTCTICA

Relaciones de combinacin que una palabra

mantiene con los dems vocablos de su contexto.
Las funciones sintcticas ms simples son las de
sujeto y de predicado.
 ORIGINALMENTE, LA LGICA TRATABA CON
ARGUMENTOS EN EL LENGUAJE NATURAL.

Es el siguiente argumento vlido?

Todos los hombres son mortales

Scrates es hombre
Por lo tanto, Scrates es mortal

En el lenguaje natural, se presentan una infinidad de

argumentos,
en los cuales tenemos que determinar la veracidad o falsedad de
enunciados complejos
 Ejemplos de otros argumentos

Algunas personas son polticas

Scrates es una persona
Por lo tanto, Scrates es poltico

Creo que todos los hombres son mortales

Creo que Scrates es hombre
Por lo tanto, creo que Scrates es mortal

Estos argumentos son vlidos?

 Tambin se pueden presentar cuestionamientos interesantes
como los siguientes:
Sea A = {1, 2, 3}
A A?
A A?
A A?
Sea X = {{1,2,3},{4,5}}
X X?
A X?
 Por que se necesita la lgica?
Con la lgica, se busca formalizar la representacin de
diferentes argumentos, no importando el origen de los
mismos.
Sintaxis precisa.
Semntica bien definida.
Se busca aplicar a
Matemticas: definicin de objetos matemticos, definicin de
teoras matemticas, tcnicas de demostracin.
Aplicarlo
para formalizar diversos aspectos en el rea de
computacin.
 Aplicaciones de la lgica a la computacin

Lenguajes de programacin: como se

estructura la lgica de un programa.

Bases de datos: lenguajes de consulta.

Anlisis y diseo de algoritmos: anlisis de
complejidad de los problemas

SU IMPACTO EN LA COMUTACIN ES MUY FUERTE!

LENGUAJE DE LA LGICA PROPOSICIONAL

Para relacionar las proposiciones, se utilizan diferentes conectivos

SINTAXIS DE LA LGICA PROPOSICIONAL
1. Las constantes V (verdadero) y F (falso)
2. Las letras de proposicin p, q, r,
3. Se establece la jerarqua de operadores:
1.
2. ,
3. ,
EJERCICIOS: FORMALIZAR LAS SIGUIENTES EXPRESIONES:

1) q si p 10)p sin embargo q

2) p pero q 11)p suficiente para q
3) como mnimo p 12)p siempre que q
4) p no obstante q 13)p a no ser que q
5) q necesario para p
6) q suficiente para p
7) p a pesar de q
8) No p a menos que q
9) p slo si q
SOLUCIONES
 Tablas de verdad
Es una tabla que despliega el valor de verdad de una proposicin compuesta, para
cada combinacin de valores de verdad que se pueda asignar a sus componentes

Existen 5 tabla de la verdad o valores de a verdad las cuales son:

La tabla del " Y" o conjuncin

La tabla del " O" o disyuncin
La tabla del entonces o condicional
La tabla de la equivalencia o el bicondicional
La tabla de la negacin
 TABLA DEL LA CONJUNCIN

La conjuncin es un operador que opera sobre dos valores de verdad,

tpicamente los valores de verdad de dos proposiciones, devolviendo el valor
de verdad verdadero cuando ambas proposiciones son verdaderas, y falso en
cualquier otro caso. Es decir es verdadera cuando ambas son verdaderas

La tabla de verdad de la conjuncin es la siguiente:

A B Ab
V V V
V F F
F V F
F F F
TABLA DE LA DISYUNCIN

La disyuncin es un operador que opera sobre dos valores de verdad,

tpicamente los valores de verdad de dos proposiciones, devolviendo el valor
de verdad verdadero cuando una de las proposiciones es verdadera, o
cuando ambas lo son, y falso cuando ambas son falsas.

A B Ab
V V V
V F V
F V V
F F F
TABLA DEL CONDICIONAL

El condicional material es un operador que opera sobre dos valores de

verdad, tpicamente los valores de verdad de dos proposiciones, devolviendo
el valor de verdad falso slo cuando la primera proposicin es verdadera y
la segunda falsa, y verdadero en cualquier otro caso.

A B Ab
V V V
V F F
F V V
F F V
TABLA DEL BICONDICIONAL

El bicondicional o doble implicacin es un operador que funciona sobre dos

valores de verdad, tpicamente los valores de verdad de dos proposiciones,
devolviendo el valor de verdad verdadero cuando ambas proposiciones
tienen el mismo valor de verdad, y falso cuando sus valores de verdad
difieren.
A B A b
V V V
V F F
F V F
F F V
TABLA DE LA NEGACIN:

La negacin es un operador que opera. sobre un nico valor de verdad,

devolviendo el valor contradictorio de la proposicin considerada

A A
F V
V F