Clculo

proposicional
(introduccin)
Matemticas Elementales.
Prof. Pedro Garca Jurez
Otoo 2015.

Enunciados
Enunciado:
Expresin
lingstica que hace un
pensamiento completo.
Clasificacin
1. Interrogativos
2. Imperativos
3. Declarativos

Enunciados Declarativos
Son aquellos a los que se les
puede asignar un valor de verdad
(verdadero o falso.
Enunciados declarativos ------ Proposiciones lgicas

Clculo Proposicional
Proposicin Lgica: Es un enunciado declarativo que
es verdadera o falsa, pero no ambas.

1. Afirmaciones
a) Simples (no hay forma en descomponerlas
en forma mas sencillas). p, q, r,
b) Compuestas: se forman a partir de
afirmaciones simples. (conectivas)

Los conectivo ms comunes son :

El negador,
El conjuntor,
El disyuntor,
El implicador
El doble implicador

Negacin

Conjuncin

Disyuncin
Condicional
Bicondicional

pq

pq

pq
pq

No p,
no es cierto que p,
no es el caso que p,
es falso que p,
excepto p.
p y q,
p pero q,
p no obstante q,
p sin embargo q

poq
Al menos p o q

Formas en las que se puede

leer una implicacin

pq
Si p entonces q
q es consecuencias de p
Mientras que p, q
p implica q
q, si p
Si p, q
q, slo si p
No p a menos que q
P es suficiente para que q
q es necesario para p.

Doble implicacin p q

P si y slo si q
P si solamente Q
P implica Q y Q implica P
P es necesario y suficiente para
Q.
Basta que No P o Q y Q es
necesario para que P.
No P o Q y No Q o P.

Jerarqua de las conectivos.

Un conectivo afecta a las letras

proposicionales inmediatas o a las
formas enunciativas inmediatas a
ella que estn entre parntesis.
Reglas de precedencia.
Nivel 1
Nivel 2
Nivel 3

Formalizacin ~ Smbolos
Formas enunciativas

Traduccin del lenguaje natural

al lenguaje formal.

Identificacin de enunciados
simples y las conectivas.

Asignacin
de
una
letra
enunciativa a cada uno de los
enunciados identificados y la
aplicacin de escritura de las
formas enunciativas.

Ejercicios de formalizacin
Formalice los siguientes enunciados en la
lgica de proposiciones. Haga explcito el
vocabulario empleado en cada caso e
indique el conector principal de la forma
enunciativa resultante.

Al menos Juan o Pedro llegaron a

tiempo, pero Mara se retras.

Al menos Juan o Pedro llegaron a

tiempo, pero Mara se retras.
P: Juan llega a tiempo
q: Pedro llega a tiempo
r: Mara llega a tiempo

p q r

La buena marcha de las

empresas
fue
condicin

necesaria y suficiente

para que aumentase su cuenta

de resultados.
p: La empresa funciona bien
q: La empresa obtiene buenos resultados

pq

Si salgo, entonces hablamos slo si te

veo. Si te veo y comemos juntos
solucionaremos el problema. Estaremos
contentos a menos que comamos juntos
y no solucionemos el problema. Por
tanto, si salgo entonces si hablamos,
estaremos contentos.
Si salgo, entonces hablamos slo
si te veo.

P: Yo salgo.
q: Nosotros hablamos.
r: Yo te veo

p r q

Si te veo y comemos juntos, solucionaremos el

problema.

r: Yo te veo
s: Comemos juntos
t: Solucionamos el problema

r s t

Estaremos contentos a menos que comamos

juntos y no solucionemos el problema

No p a menos que q

s: Comemos juntos
t: Solucionamos el problema
U: estamos contentos

u s t

Si salgo, entonces hablamos slo si te

veo. Si te veo y comemos juntos
solucionaremos el problema. Estaremos
contentos a menos que comamos juntos
y no solucionemos el problema. Por
tanto, si salgo entonces si hablamos,
estaremos contentos.

p r q
rst
u s t
p q u

Si un nmero entero es primo,

es compuesto, aun que
divisible
por
la
unidad
consiguientemente, tambin
divisible por nmeros primos.
p:
q:
r:
s:

M
M
M
M

es
es
es
es

primo.
compuesto.
divisible por la unidad.
divisible por nmeros primos.

no
es
y,
es

Tablas de Verdad
Las tablas de verdad son un esquema que
muestran cmo los valores de verdad de
enunciados compuestos
(moleculares)
dependen de los valores de verdad de los
enunciados simples (atmicos) y de los
conectivos lgicos empelados.
Indican si un enunciado compuesto es
verdadero o falso, si se conocen los
valores de verdad de los enunciado
simples que lo conforman

Tablas de Verdad
Principio de bivalencia: Todo enunciado es
verdadero o falso, pero no ambos.

Tablas de Verdad

pq

q
v

Tablas de Verdad

pq

Tablas de Verdad
pq

Tablas de Verdad

p q

Cmo construir una tabla de

Verdad?
1) Colocar las combinaciones de valores de verdad de bajo
de cada variable.
El total de combinaciones de valores de verdad dependen
directamente del nmero de las letras enunciativas que
definen a la forma enunciativa.

Si la forma enunciativa est compuesta por 5 letras

enunciativas, el total de combinaciones para la
construccin de la tabla de verdad es de 25

2) Transformar los valores de verdad, tomando en cuenta la

negacin (si los hay).

3) Calcular los valores de verdad, tomando en cuenta los

conectivos de mayor jerarqua.

Ejemplo

p r s q r
1. Proposiciones: p, q, r, s
2. Total de combinaciones:
24=16

p q r s

r r s p r s q r p r s q r

v v v v

v v v

v v

v v

v v

v v v

v v

v v

Suponiendo que p es verdadera,q falsa, y r verdadera,encuentre

el valor de verdad de :
a) p q r
b) p q r
c)p (q r)

Escriba en forma simblica de los siguientes enunciados

a) Mara ser buena estudiante si estudia mucho
b)Juan tomar clculo slo si pasa matemtica s elementales
c) Cuando cantas, me duelen los oidos.
d)Una condicin necesaria para que los cachorros ganen la serie
mundial es que contraten a un pitcher suplente diestro.
e)Una condicin suficiente para que Mara visite Francia es
ir a la Torre Eiffel

pq
q es necesario para p.

q pq

v
f

Una condicin necesaria es slo eso: una condicin

que se necesita para lograr un resultado particular. La
condicin no garantiza el resultado, pero si no se cumple,
el resultado no se lograr.
Una condicin necesaria para que los cachorros ganen la serie
mundial es que contraten a un pitcher suplente diestro.

p es suficiente para que q

Una condicin suficiente es una condicin que basta
para garantizar un resultado particular. Si la condicin
no se cumple, el resultado puede lograrse de otra
forma o tal vez no se logre; pero si la condicin se
cumple, el resultado est garantizado.
Una condicin suficiente para que Mara visite Francia es
ir a la Torre Eiffel

Clasificacin de Formas
enunciativas

Tautologa (F. E. Vlida). Si toma valor de

verdad V, para toda valoracin.

Contradiccin (Insatisfactible). Si toma

valor de verdad F, para toda valoracin.

Contingencia (Satisfactible). Si
valores de verdad V para
valoraciones y F para otras.

toma
unas

Supongase que P y Q estn formadas por las proposicio nes p1 , p 2 , , p n .

Se dice que P y Q son lgicament e equivalent es (P Q), simpre que, a partir
de cualquier valor de verdad de p1 , p 2 , , p n , o bien P y Q son ambas verda deras o ambas falsas

PQ
Es una TAUTOLOGA

Para qu nos sirve saber si dos proposiciones lgicas son

equivalentes o no?

1. Por que permiten formularlas de maneras distintas

2. Cuando un lenguaje de programacin no maneje algunos
conectivos.
3. Para la construccin de nuevas proposiciones con el
mismos valor de verdad o bien un valor determinado..
4. Para realizar una sustitucin y no afectar el valor de
verdad.
5. Mediante las equivalencias lgicas podemos determinar
el valor de verdad de otra frmula.
6. Reducir el tamao ( ampliar) de alguna expresin,
segn sea el caso.
7. Para hacer una demostracin, mediante sustituciones

p p

Ley de la doble negacin

( p q) p q
( p q) p q

pq q p
pq q p

Leyes de De Morgan

Leyes conmutativas

p (q r ) p q r
p (q r ) p q r

( p q) p q

Leyes asociativas

Negacin de una implicacin

p q ( p q) (q p)

p q q p

Definicin de la doble
implicacin

Contra recproca

p q r p q p r
p q r p q p r

p p p
p p p
pC p
p T p

p p T
p p C

pT T
pC C
p p q p
p p q p

Leyes distributivas

Leyes idempotentes

Leyes de neutro

Leyes inversas

Leyes de dominacin

Leyes de absorcin

Demostracin por leyes de equivalencia

p q r q q r
p q r q p q r q
p q r q p q r q

p q r q p q r q
p q r q p q q r
p q q r p q q r

p q q r q r

 p q r q p q r q
p q r q
p q r q
p q q r
p q q r
q r

 p q p q q p q q q
p C q
pq

p q p q q p q

( p q ) p q q ( p q) q p q
( p q) q p q q
( p q) q p T
( p q) q p
( p q) (q p)
( p q) (q p)
(q p) ( p q)
q p p q
q p

 p q q r q p q q
p q q
q p q
q p q q
q p C
q p
q p

Utilizando leyes de equivalenc ias demuestre que

1) p p p q p
2) p q p q r p q r
3) p q p q r p q

pq

Qu valor de verdad tiene?

p p

Qu valor de verdad tiene?

( p q)

Qu valor de verdad tiene?

( p q) p q

( p q)

Qu valor de verdad tiene?

Qu valor de verdad tiene?

( p q) p q Qu valor de verdad tiene?

p q

Qu valor de verdad tiene?

si p q es verdadera

que valor de verdad tiene p q?

Definicin (Forma Argumentativa o Argumento) Una

forma argumentativa es una sucesin finita de formas
enunciativas, de las cuales la ltima se considera la
conclusin y al resto premisas

A1, A2 , An , A

Premisas

A1
A2

An
A

Conclusin

Una forma argumentativa no es vlida, si existe una

valoracin tal que todas sus premisas toman el valor V y su
conclusin el valor F.

Para una
valoracin

A1
A2

An
A

Si no existe, tal valoracin, se dir que la forma argumentativa

es vlida.

p q r
rst
u s t
p q u

Consecuencia lgica
A1, A2 ,, An

A es consecuencia lgica de

V ( Ai ) v
Ai

V ( A) v

Implica

Premisas verdadera obligan a

conclusin verdadera

Es consecuencia lgica de A1, A2 ,, An

Si y slo si

A1 A2 An A
Es una tautologa

pq
rs
t s
t u
u
p

pq r
rs
s
p q

Reglas de inferencia

p
pq
q
pq
qr
pr

Modus Ponens

Ley del silogismos Hipottico

pq
q
p

p
q
p q

Modus Tollens

Regla de la conjuncin

pq
p
q
p C
p

Regla del silogismo disyuntivo

Regla de la contradiccin

pq
p

p
p q

Simplifica cin Conjuntiva

Aplificacin Disyuntiva

pq
p q r
r

p r
q r
pq r

Regla de la demostraci n condiciona l

Regla demostraci n por casos

pq
rs
pr
q s

p q
r s
q s
p r

Regla del dilema constructi vo

Lema del dilema destructivo

Cuantificadores

Existen enunciandos los cuales no se pueden

simbolizar, utilizando las herramientas del clculo
proposicional.

Todos los seres Humanos son Mortales

Juan es un ser humano

Juan es mortal

p : todos los seres humanos son mortales

q : Juan es un ser humano

r : Juan es mortal

p
q
r

Funcin Proposicional
o Predicado
Sea P(x) una oracin que incluye la variable x ,
Sea D una coleccin. P(x) se llama funcin proposicional
(respecto a D)
Si para cada elemento de la coleccin D, P(x) es una
proposicin lgica.
D se llama Universo de Discurso de P(x)
Ejemplo
P(n): n es un entero par
D=Los nmeros enteros

Ms ejemplos de predicados
p(n) : n 2 2n es un entero impar
D1: Nmeros Enteros

q ( x) : x 2 x 6 0
D2: Nmeros Reales
EL beisbolista bate mas de .300 en 2003
D3: Conjunto de beisbolistas

Proposiciones Cuantificadas Universalmente

Hacen referencia a todos los elementos del
universo de discurso
Todos los humanos son mortales

x D : p( x)
Proposiciones Cuantificadas existencialmente
Hacen referencia a una parte del universo
de discurso

Existen nmeros pares

x D : q( x)

x D : p( x)

Cuantificador

Predicado

Universo de Discurso

x D : q( x)

Todos los estudiantes de la FCC toman el curso de

Matemticas Elementales.

Cuantificad or :

D : Los estudiante s de la FCC.

P(x) : x toma el curso de Matemticas Elementales
x D : x toma el curso de Matemticas Elementales
x D : P(x)

Existen personas en Mxico que ya tienen el nuevo IPAD.

Cuantifica dor : Exitencial :

D : Universo : Los Mxicanos
p(y) : y tiene el nuevo IPAD
y D : y tiene el nuevo IPAD
y D : p(y)

Toda las pginas que estn en Internet son enciclopdicas

Cuantifica dor : Universal :

Universo de Discurso : Pginas de Internet : D
p(x) : x es enciclopd ica
y D : y es enciclopd ica
y D : p(y)

En Programacin existen diferentes tipos de Lenguaje

Cuantifica dor : Existencia l :

Universos de Discurso : Lenguajes de Programacin : L
p(x, y) : x es diferente a y
x, y L : x es diferente a y
x, y L : p(x, y)

Es verdadera

x D : p( x)

x D : q( x)

Es falsa

Para
cada
remplazo, de x
en el universo
de
discurso,
p(x)
es
verdadera

Existe al menos
un elemento del
universo que hace
falsa a p(x)

Existe al menos
un elemento del
universo
de
discurso
que
hace q(x) es
verdadera

Para cada
remplazo, de x en
el universo de
discurso, q(x) es
falsa

x D : p( x)

x D : q( x)

Los predicados

q(x)

p(x)
Compuestos

p( x) : p1 ( x)

q ( x) : q1 ( x)

: p1 ( x) p2 ( x)

: q1 ( x) q2 ( x)

: p1 ( x)vp2 ( x)

: q1 ( x)Vq2 ( x)

: p1 ( x) p2 ( x)

: q1 ( x) q2 ( x)

: p1 ( x) p2 ( x)

: q1 ( x) q2 ( x)

x U : p( x) q( x)
x U : q( x) p( x)
x U : q( x) p( x)

x U : p( x) q( x)

Recproca

Contra recproca

Inversa

Equivalencias e implicaciones
lgicas para
proposiciones cuantificadas de una variable.

x U : p( x) q( x) x U : p( x) x U : q( x)
x U : p( x) q( x) x U : p( x) x U : q( x)
x U : p( x) q( x) x U : p( x) x U : q( x)
x U : p( x) x U : q( x) x U : p( x) q( x)

Otras equivalencias lgicas

x U : p( x) q( x) r( x) x U : p( x) q( x) r( x)

x U : p( x) x U : p( x)
x U : p( x) q( x) x U : p( x) q( x)

x U : p( x) q( x) x U : p( x) q( x)

Reglas para negar proposiciones

cuantificadas

x U : p( x) x U : p( x)

x U : p( x) x U : p( x)

x U , y U : p( x, y) y, x U : p( x, y)

x, y U : p( x, y) y U , x U : p( x, y)
x, y, z U : p( x, y, z ) y, x, z U : p( x, y, z )
x, z, y U : p( x, y, z )

Cuando el universo de discurso, esta CLARO en la

notacin simblica, puede omitirse

xy : p( x, y)
Aqu debemos entender que se trata
de un mismo universo
Y la expresin se lee de izquierda a derecha

U : Nmeros Enteros
p( x, y ) : x y 17

xy : p( x, y)

Para cada entero x existe un entero y tal que x y 17

Ejercicios de traduccin
a ( x) : todos los angulos internos de x son iguales

e(x) : x es un tringulo equilatero

h(x) : todos los lados de x son iguales
i(x) : x es un triangulo issceles
p ( x) : x es un tringulo interno mayor que 180 o
q ( x) : x es un cuadrilte ro

r(x) : x es un rectngulo
s(x) : x es un cuadrado
t(x) : x es un tringulo

U : Polgonos con tres o cuatro lados

x : t ( x ) p ( x )
x : r ( x ) s ( x )
x : h( x) q ( x) s ( x)
x : s ( x) a ( x) h( x)
x : i ( x) e( x)
x : q ( x ) r ( x )

El grupo de cuntica del profesor Olmedo est formado por

29 estudiantes, de los cuales exactamente.

1. Tres estudiantes de fsica estn en su penltimo ao

2. Dos estudiantes de ingeniera elctrica estn en su
ltimo ao
3. Cuatro estudiantes de matemticas estn en su
penltimo ao
4. Doce estudiantes de fsica estn en su ltimo ao
5. Cuatro estudiantes de ingeniera elctrica estn es su
ltimo ao

6. Dos estudiantes de ingeniera elctrica son de

posgrado
7. Dos estudiantes de matemticas son de posgrado

Considere las siguientes proposiciones abiertas

c(x): El estudiante x est en la clase.

j(x): el estudiante x est en su penltimo ao.

s(x): el estudiante x est en su ltimo ao
g(x): el estudiante x es de posgrado.
p(x):el estudiante x esta en la especialidad de fsica

e(x): el estudiante x est en la especialidad de ingeniera

elctrica.
m(x): el estudiante x est en la especialidad de matemtias

Escriba cada una de las proposiciones en trminos de

cuantificadores y los predicados anteriores

En la clase existe un estudiante de matemticas que

est en su penltimo ao.
En la clase existe un estudiante del ltimo ao que no
est en la especialidad de matemticas.

Todo estudiante de la clase est en la especialidad de

matemticas o fsica.
Ningn estudiante de posgrado en la clase est en la
especialidad de fsica.
En la clase, todo estudiante del ltimo ao est en la
especialidad de fsica, o de ingeniera elctrica.