INTRODUCCION AL CALCULO

DE PROPOSICIONES

 Que son las proposiciones ?

Son afirmaciones que pueden ser

VERDADERAS O FALSAS

 Cuantos tipos de proposiciones

existen ?

Proposicin simple o atmica

Proposicin compuesta

CONEXIONES LOGICAS Y
JERARQUIAS

En lgica matemtica las bases

fundamentales para analizar
proposiciones compuestas, es
conocer como se comportan las
conexiones lgicas, de las cuales
existen las siguientes: Conjuncin,
Disyuncin, negacin, condicional y
bicondicional, las que se describen
como sigue

CONJUNCION

Si unimos dos
proposiciones simples y/o
compuestas mediante el
conectivo Y formamos la
proposicin compuesta
llamada Conjuncin. la
que denotamos as
pyq,
o en smbolos p ^ q
En donde la siguiente tabla
de verdad muestra como
se comporta

p^q

DISYUNCION
Si unimos dos proposiciones
simples y/o compuestas
mediante el conectivo O
formamos la proposicin
compuesta llamada
Disyuncin. la que
denotamos as
poq,
o en smbolos p v q
En donde la siguiente
tabla de verdad muestra
como se comporta

pvq

NEGACION
Este conectivo es el nico
que se aplica a una sola
proposicin o enunciado.
Se usa la palabra no para
negar una proposicin
simple. Y usaremos las
palabras
Es falso que para negar
un enunciado compuesto.
Se denota as
no p, o en smbolos
~p.
La siguiente tabla de verdad
ilustra su comportamiento

~p

CONDICIONAL
Para formar la proposicin
Condicional usamos el
conectivo Sientonces.
En donde los tres puntos
indican el lugar de las
proposiciones simples y/o
compuestas. Denotndose
como
Si p entonces q
en smbolos ser
pq
La siguiente tabla de verdad
muestra como trabaja esta
proposicin

pq

BICONDICIONAL
Para formar la proposicin
Bicondicional usamos el
conectivo Si y solo si.
En donde los tres puntos
indican el lugar de las
proposiciones simples y/o
compuestas. Denotndose
como
P si y solo si Q
en smbolos ser
P <--> Q
La siguiente tabla de verdad
muestra como trabaja esta
proposicin

P <--> Q

JERARQUIA DE LOS
OPERADORES
~
^
v

<-->

ALGEBRA DECLARATIVA
En este subtema vemos:
- Uso de las tablas de verdad, para
analizar expresiones lgicas y
comprobar equivalencias.
- la tabla de leyes del algebra de
proposiciones, para demostrar y
simplificar expresiones lgicas.

ANALISIS DE EXPRESIONES
LOGICAS
Al analizar expresiones lgicas mediante
tablas de verdad nos podemos encontrar
con tres posibles resultados:
R1: Si la ultima columna de la tabla
muestra solo valores de verdad V esto es
una TAUTOLOGIA.
R2: Si la ultima columna de la tabla
muestra solo valores de verdad F esto es
una CONTRADICCION.
R3:R2: Si la ultima columna de la tabla
muestra valores de verdad F y V esto
es una CONTINGENCIA.

TABLA DE LEYES DEL ALGEBRA

DE PROPOSICIONES
LEYES
P v ~P = V
P ^ ~P = F

NOMBRE
MEDIO EXCLUIDO
CONTRADICCION

PvF=P
P^V=P

IDENTIDAD

PvV=V
P^F=F

DOMINACION

PvP=P
P^P=P

IDEMPOTENCIA

~(~P) = P

DOBLE NEGACION

PvQ=QvP
P^Q=Q^P
(P v Q) v R = P v (Q v R)
(P ^ Q) ^ R = P ^ (Q ^ R)
(P v Q) ^ (P v R) = P v (Q ^ R)
(P ^ Q) v (P ^ R) = P ^ (Q v R)
~(P ^ Q)=~P v ~Q
~(P v Q) =~P ^ ~Q

CONMUTATIVAS
ASOCIATIVAS
DISTRIBUTIVAS
De MORGAN

TABLA DE REGLAS DE
INFERENCIA
A,B l= A^B

Ley de combinacin

A^B l= B

Ley de simplificacin

A^B l= A

Variante de la simplificacin

A l= AvB

Ley de Adicin

B l= AvB

Variante de Ley de Adicin

A, A -> B l= B

Modus Ponens

~B, A -> B l= ~A

Modus Tollens

A->B,B->C l= A->C

Silogismo hipottico

AvB, ~A l= B

Silogismo disyuntivo

AvB, ~B l= A

Variante de Silogismo disyuntivo

A->B, ~A->B l= B

Ley de casos

A <-> B l= A->B

Eliminacin de la Equivalencia

A <-> B l= B->A

Variante Eliminacin de Equivalencia

A->B,B->A l=A<->B

Introduccin de la Equivalencia

A, ~A l= B

Ley de Inconsistencia

CALCULO DE PREDICADOS
El objetivo del calculo de predicados es mostrar la validez de un argumento o
silogismo sin usar el calculo proposicional, en donde para poder lograrlo
necesitamos ser capaces de identificar a los individuos junto con sus
propiedades y predicados.
En general los predicados se utilizan para describir ciertas propiedades o
relaciones existentes entre los individuos u objetos. Por ejemplo Ana y Maria
son hermanas
Ana y Maria : son trminos
Son hermanas: es el Predicado
Adems de trminos y predicados se usan los cuantificadores estos indican la
frecuencia con la cual es verdadera una cierta frase.
De estos se conocen: Cuantificador Universal y Existencial.
Cuantificador Universal: indica que una frase siempre es verdadera.
Cuantificador Existencial: indica que una frase es verdadera en algunas
ocasiones.
El calculo de predicados es una extensin del calculo de proposiciones por lo
que adems de los conceptos de trminos, predicados y cuantificadores
tambin forman parte de su lenguaje las proposiciones y las conectivas.

Calculo de predicados
El universo del discurso o dominio es la coleccin personas, ideas, smbolos, estructuras de datos y
dems que afectan el argumento lgico que se esta considerando. Los elementos del universo de
discurso se denominan individuos u objetos.
objetos.
Frase: Maria y Pablo son hermanos
Frase: Juana es la madre de Maria
Frase: Tom es un gato
Frase: La suma de 2 y 3 es 5
Predicado
Son hermanos
Es un gato
La suma de

Lista de Argumentos
Maria y Pablo
Tom
2,3y5

En el clculo de predicados cada predicado recibe un nombre que va seguido de una lista de argumentos:
Ejemplo: Juana es la madre de Maria se convierte en Madre(Juana, Maria).
El numero de elementos en la lista de argumentos se llama Aridad.
Aridad.
Los predicados de aridad n se denominan predicados de n cifras.
Los predicados de una sola cifra de denominan propiedades.
propiedades.
El nombre de un predicado seguido por una lista de argumentos entre parntesis se llama formula
atmica.
atmica.
Por ejemplo: Juana es la madre de Maria se puede expresar como madre(Juana, Maria).

Variables y particularizaciones
Es posible que no se desee asociar los argumentos de una formula
atmica con un individuo particular para esto se usan las
variables.
Las variables son las ultimas letras del alfabeto ( x, y, z).
Ejemplos : gato(x) tienecola(x)
perro(y) ^ marron(y)
Calificacin(x) (x0) ^ (x100)
Si A representa gato(x) tienecola(x) la expresin que se
obtiene al sustituir x por t se denota
SxtA
Definicin: Sea A una expresin, x una variable y t un termino.
Entonces
SxtA
representa la expresin que se obtiene al sustituir todas las
apariciones de x en A por t. S x t A se llama una
particularizacion (un caso, un ejemplar) de A, y se dice que t es
un caso (instancia) de x.

CUANTIFICADORES
Definicin. Sea A una expresin y x una variable. Si deseamos
indicar que A es verdadero para todos los posibles valores de
x, escribiremos
x A. Aqu x se denomina cuantificador
universal y A se llama mbito(alcance) del cuantificador. Se
dice que la variable x esta ligada por el cuantificador. El
smbolo
se lee para todo, para cada, para cualquier.
Definicin. Sea A una expresin y x una variable. Si deseamos
indicar que A es verdadero para cuando menos un valor de x,
escribiremos x A. Esta frase se lee Existe un x tal que A,
para algun x tal que A, para al menos una x tal que A. Aqu
x se denomina cuantificador existencial y A se llama
mbito(alcance) del cuantificador. Se dice que la variable x
esta ligada por el cuantificador.

RESTRICCIONES DE LOS
CUANTIFICADORES
Si el cuantificador universal tiene que
aplicarse solo a individuos con una
propiedad dada, se emplea el
condicional ()para restringir el
universo de discurso.
Si restringimos en forma similar al
cuantificador existencial se utiliza la
conjuncin (^).

PROBLEMAS
1. Expresar las frases siguientes en calculo de predicado. El universo del
discurso son todas las personas.

a). Si a Maria le gusta Kiko, y a Kiko le gusta Juli, entonces a Maria le

gusta Juli.

Legusta(x,y): x le gusta y; M,K,J : Maria, Kiko, Juli.

Solucin: Legusta(M,K) ^ Legusta(K,J) Legusta(M,J) o mejor todava
G(M,K) ^ G(K,J) G(M,J)
b) Juan esta muy ocupado pero Beni no

Ocupado(x): x esta muy ocupado; J,B: Juan, Beni

Solucin : Ocupado(J) ^ ~ Ocupado(B) o
O(J) ^ ~ O(B)

2. Suponga que el universo del discurso es un conjunto de personas.

Traduzca la frase Todos los presentes hablan ingles o francs al
calculo de predicados.

I(x), (F(x)) : x habla Ingles (Francs)

Solucin:
x(I(x) v F(x))

Cont
3. En el dominio de los animales, como
traducira las expresiones siguientes?
todos los leones son predadores
x(Leon(x) predador(x))
algunos leones viven en frica
x(leon(x) ^ en frica(x))
solo rugen los leones
x(ruge(x) leon(x))