Mate 3041

Universidad de Puerto Rico

Recinto de Bayamn
Prof. Juan L. Vlez
Prof. Jos A. Toro Clarke
Proposiciones y
Cuantificadores
Proposiciones
Definicin: Una oracin declaratoria (o
afirmacin) que es falsa o verdadera, pero
no ambas, se llama proposicin.
Oraciones exclamativas, interrogativas o
imperativas por naturaleza no son
proposiciones.
Ejemplos:
1. Ponce es la capital de Puerto Rico

2. 2 + 2 = 3

3. Qu hora es?

4. x + y = z


Proposicin
Proposicin
No es una Proposicin; oracin interrogativa
No es una Proposicin; desconocemos x, y, z
Ejemplos:
5. Tome una taza de caf

Nota: Tom una taza de caf. Si es una proposicin

6. Alex Rodrguez es mejor jugador de
beisbol que Dereck Jeter.

No es una Proposicin
No es una Proposicin; oracin imperativa
Proposiciones Compuestas
Definicin: Una proposicin es
compuesta cuando se forma por la
combinacin de dos o ms
proposiciones usando conectivos
lgicos.
Conectivos y sus respectivos smbolos
tales como:
= = = v = . = si solo y si entonces si negacin o y , ... , , ,
Ejemplos de proposiciones
compuestas
Leo el nuevo Da y leo el Vocero.

Si l lo dijo, entonces es cierto.

Maana ser Domingo.

Nota: Maana no ser Domingo.
Aunque no consta de dos proposiciones,
para conveniencia se considera compuesta
ya que su valor de verdad depende de una
proposicin diferente. Maana ser
Domingo.

Compuesta; conectivo y
Compuesta; conectivo sientonces
No es compuesta
Ejemplos de proposiciones
compuestas
La firma de abogados que atendi el
caso se llam Goldman Antonetti y
Cordva, P.S.C

No es compuesta; y no es un conectivo en este caso por
que y es parte del nombre de la firma de abogados
Smbolos de la Lgica
Matemtica
; q pv , q o p
disyuncin p y q: proposicin compuesta que
es falsa cuando ambas p y q son falsas y
verdadera en otro caso.
; q p. , q y p
conjuncin p y q: proposicin compuesta que
es verdadera cuando tanto como p y q son
verdadera y falsa en otro caso.
p q
F F F
q pv
p q
T T T
q p.
Smbolos de la Lgica
Matemtica
; p , p no negacin de p : proposicin formada al escribir
no es el caso que o es falso que antes de p o
al insertar la palabra no de manera adecuada
en p.
; q p
si p entonces q : proposicin compuesta
condicional la cual es falsa cuando p es
verdadera y q es falsa, y verdadera en otro caso
p
T F
p
p q
T F F
q p
Smbolos de la Lgica
Matemtica
; q p
; Q P
P y Q son lgicamente equivalentes:
proposiciones compuestas
y son lgicamente
equivalentes si tienen tablas de verdad idnticas.
A esto es lo que se le conoce como una
tautologa.
p si y slo si q : proposicin compuesta
bicondicional la cual es verdadera cuando p y q
tienen los mismos valores de verdad y falsa en
caso contrario.
( )
n
p p p p P ,..., , ,
3 2 1
( )
n
q q q q Q ,..., , ,
3 2 1
p q
T T T
F F T
q p
Smbolos de la Lgica
Matemtica

por lo tanto
para todo
-
existe
Cuantificadores
Cuantificadores universales: todo, cada uno, todos, ninguno
Cuantificadores existenciales: hay, al menos uno
Uso de conectivos lgicos
Sean p que representa Hoy estamos a 80 F,
q que representa Hoy es martes.

Transcriba cada proposicin simblica en palabras

: ) 1 q p v Hoy estamos a 80 F o es martes.
: ) 2 q p . Hoy no estamos a 80 F y es martes.
( ): ) 3 q pv No es el caso que hoy estemos a
80 F o que sea martes.
sta proposicin se puede traducir como ni p ni q o q p v
Uso de conectivos lgicos
Sean p que representa Hoy estamos a 80 F,
q que representa Hoy es martes.

Transcriba cada proposicin simblica en palabras

( ): ) 4 q p .
q p v
No es el caso que hoy estemos a
80 F y sea martes.
Uso de conectivos lgicos
Ejemplo:
Proporcione la negacin de cada desigualdad
sin usar los smbolos o .


; ) 1 q p <
<
/
>
/
q p >
; 77 11 7 ) 2 > + y x 77 11 7 < + y x
Orden de prioridad de los
conectivos lgicos
Se usar generalmente parntesis para
especificar el orden en que se aplicarn
los operadores lgicos.
De no haber parntesis, se adopta el
siguiente orden de prioridad.

Conectivo Prioridad
1
2
3
4
5

.
v

Tablas de verdad
Una proposicin lgica con n
componentes tendr renglones en
su tabla de verdad.
n
2
T F
F T
p p
Nota: p proposicin (1 componente):

renglones.

renglones.

renglones.
2 2
1
=
4 2
2
=
8 2
3
=
Tablas de verdad
T T T
T F F
F T F
F F F
p q q p.
T T T
T F T
F T T
F F F
p q q pv
disyuncin p y q: proposicin compuesta que
es falsa cuando ambas p y q son falsas y
verdadera en otro caso.
conjuncin p y q: proposicin compuesta que
es verdadera cuando tanto como p y q son
verdadera y falsa en otro caso.
4 2
2
=
renglones
Tablas de verdad
T T T
T F F
F T T
F F T
p q q p
T T T
T F F
F T F
F F T
p q q p
si p entonces q : proposicin compuesta
condicional la cual es falsa cuando p es
verdadera y q es falsa, y verdadera en otro caso
p si y slo si q : proposicin compuesta
bicondicional la cual es verdadera cuando p y q
tienen los mismos valores de verdad y falsa en
caso contrario.
Tautologa y Contradiccin
Una proposicin compuesta


Se denomina tautologa si es verdadera para
toda asignacin de verdad de
y contradiccin si es falsa.
( )
n
p p p p P P ,..., , ,
3 2 1
=
Proposiciones elementales
n
p p p p ,..., , ,
3 2 1
T
F
p p p p v
p p .
Tautologa y Contradiccin
Una proposicin compuesta


Se denomina tautologa si es verdadera para
toda asignacin de verdad de
y contradiccin si es falsa.
( )
n
p p p p P P ,..., , ,
3 2 1
=
Proposiciones elementales
n
p p p p ,..., , ,
3 2 1
T F
F T
p p p p v
p p .
Tautologa y Contradiccin
Una proposicin compuesta


Se denomina tautologa si es verdadera para
toda asignacin de verdad de
y contradiccin si es falsa.
( )
n
p p p p P P ,..., , ,
3 2 1
=
Proposiciones elementales
n
p p p p ,..., , ,
3 2 1
T F T
F T T
p p p p v
p p .
Tautologa y Contradiccin
Una proposicin compuesta


Se denomina tautologa si es verdadera para
toda asignacin de verdad de
y contradiccin si es falsa.
( )
n
p p p p P P ,..., , ,
3 2 1
=
Proposiciones elementales
n
p p p p ,..., , ,
3 2 1
T F T F
F T T F
p p p p v
p p .

p p v
Es una tautologa
p p .
Es una contradiccin
Proposiciones equivalentes
T T
T F
F T
F F
p q q pv
( ) q p v
p q q p .
Proposiciones equivalentes
T T T
T F T
F T T
F F F
p q q pv
( ) q p v
p q q p .
Proposiciones equivalentes
T T T F
T F T F
F T T F
F F F T
p q q pv
( ) q p v
p q q p .
Proposiciones equivalentes
T T T F F
T F T F F
F T T F T
F F F T T
p q q pv
( ) q p v
p q q p .
Proposiciones equivalentes
T T T F F F
T F T F F T
F T T F T F
F F F T T T
p q q pv
( ) q p v
p q q p .
Proposiciones equivalentes
T T T F F F F
T F T F F T F
F T T F T F F
F F F T T T T
p q q pv
( ) q p v
p q q p .
Proposiciones equivalentes
T T T F F F F
T F T F F T F
F T T F T F F
F F F T T T T
p q q pv
( ) q p v
p q q p .
entonces ( ) q p q p . v
Leyes del lgebra de
proposiciones
1. Ley de idempotencia
2. Ley de identidad

Prueba: Suponga que p es verdadero, entonces





Suponga que p es falso, entonces
p p p p p p . v ,
p T p p F p . v ,
p
T
F T
F p
=
=
v =
v
p
F
F F
F p
=
=
v =
v
Leyes del lgebra de
proposiciones
3. Ley dominante

Prueba:





, T T p v
T
T T
T p
=
v =
=
F
T F
F p
=
v =
=
F
F T
T p
=
. =
=
F
F F
F p
=
. =
=
F F p .
Leyes del lgebra de
proposiciones
1. Ley de complemento



2. Ley conmutativa



3. Ley asociativa












T p p v
F p p .
p q q p v v
p q q p . .
( ) ( ) r q p r q p v v v v
( ) ( ) r q p r q p . . . .
Leyes del lgebra de
proposiciones
4. Ley distributiva




5. Ley de absorcin




6. Ley de De Morgan







( ) p q q p . v
( ) p q q p v .
( ) p q p p . v
( ) p q p p v .
( ) ( ) ( ) r p q p r q p v . v . v
( ) ( ) ( ) r p q p r q p . v . v .