Documentos de Académico
Documentos de Profesional
Documentos de Cultura
S x: Lima, Quito
Enunciado.- Es toda frase u oracin que se Para p (Lima): Lima es la capital del Per es
utiliza en nuestro lenguaje verdadero (V)
Para p (Quito): Quito es la capital del Per
PROPOSICIN.-Es todo enunciado, respecto es falso (F)
de la cual se puede decir si es verdadera (V) o b) q: y + 4 = 11 , y es nmero natural
falsa (F) Y: 0; 1; 2; 3; 4;..
Notacin Para q (1): 1+ 4 = 11 , es falso (F)
Por lo general, a las proposiciones se las q (7): 8+4 = 11 , es verdadero (V)
representa por las letras del alfabeto desde la
letra p, es decir, p, q, r, s, t,... etc. Prctica Dirigida N 02
As, por ejemplo, podemos citar las siguientes
proposiciones y su valor de verdad: Determine cuales de los siguientes enunciados
Proposicin son enunciados abiertos y para que valores de la
variable las proposiciones son verdaderas y
q: Rmac es el distrito de la provincia de Lima falsas
(V)
r: El nmero 15 es divisible por 3. (V) a) x es hermano de y
s: El perro es un ave. (F) b) 28 < 15
t: Todos los tringulos tienen cuatro lados (F) c) El es arquitecto
u: Qu da es hoy? No es una proposicin d) Tenga calma ,no se impaciente
p: Viva el Per 1! e) 9x + 3 = 12 , x R
f) x es Ingeniero y Juan es Matemtico
EXPRESIONES NO PROPOSICIONALES g) 3x 8 > 15 , x R
h) x + y 15 , x,y R
a) Levntate temprano! b) Has entendido lo que i) 2x + 5 > 11, x R
es una proposicin? c) Estudia esta leccin! d) j) 3x + 7 = 11, x N
Cul es tu nombre l? e) Prohibido pasar f) Borra l) x es un animal
el pizarrn
CLASE DE PROPOSICIONES
No son proposiciones por no poder ser evaluadas
como verdaderas ni falsas. Las exclamaciones, A) Proposicin Simple o Atmicas.- Son
rdenes ni las preguntas son proposiciones aquellas proposiciones que constan de un solo
enunciado proposicional .
Prctica Dirigida N 01 Por ejemplo, sea la proposicin
p: 3 + 6 = 9
I.-Indique cual (es) de los siguientes enunciados B) Proposicin Compuesta o molecular.- Son
son proposiciones: aquellas proposiciones que constan de dos o ms
a) 5 + 7 = 16 - 4 ( ) proposiciones simples.
b) Estudie lgica proposicional! ( ) Ejemplo:
c) Los hombres no pueden vivir sin oxigeno ( )
d) 3 x 6 = 15 + 1 y 4 - 2 23 x 5 ( ) r: Pitgoras era griego y era gemetra
e) El silencio es fundamental para estudiar? p q
( )
f) 20 -18 = 2 ( ) encontramos dos enunciados. El primero (p) nos
g) Brea es un distrito de la provincia de Lima ( ) afirma que Pitgoras era griego y el segundo (q)
h) Un lpiz no es un cuaderno ( ) que Pitgoras era gemetra.
i) Eres estudiante de matemtica? ( )
j) 15 < 13 ( ) Ejemplo:
k) Ponga atencin ( ) p: Juan es profesor o Manuel es arquitecto
Donde podemos observar que la proposicin p,
ENUNCIADOS ABIERTOS.- son aquellos se divide en dos proposiciones simples:
enunciados que constan de variables. Se convierte r: Juan es profesor y
en una proposicin cuando se le asigna un valor s : Manuel es arquitecto
especfico a la variable". Ejemplos: Es decir , p : r o s
V F Tabla de verdad
F V
p q p q
Se trata de una operacin unitaria, pues a partir
V V V
de una proposicin se obtiene otra, que es su
V F F
negacin.
F V F
F F F
Smbolo Operacin asociada Significado
La tabla que define esta operacin, establece que
~
no p o no es cierto la conjuncin es verdadera slo si lo son las dos
Negacin que p proposiciones componentes. En todo otro caso,
es falsa.
pyq Ejemplo 2: Si p: 3 es mayor que 7
Conjuncin o q : Todo nmero par es mltiplo de dos
producto lgico p o q (en sentido Entonces :
incluyente) p q : 3 es mayor que 7 y todo nmero par es
Disyuncin o suma mltiplo de dos
lgica Por ser ambas verdaderas la conjuncin de ellas
es verdadera
Implicacin p implica q, o si p
entonces q 3.-DISYUNCIN
Doble implicacin p si y slo si q
Dadas dos proposiciones p yq, la disyuncin de
las proposiciones p y q es la proposicin p q ,
Diferencia simtrica p o q (en sentido se lee p o q
excluyente)
Ejemplo 1. Si p es verdadera, es decir si apruebo el examen,
Tiro las cosas viejas o que no me sirven y no presto el libro, el compromiso no se cumple
y la proposicin i) es falsa. Si p y q son
El sentido de la disyuncin compuesta por p y q verdaderas, entonces la proposicin i) es
(p: tiro las cosas viejas, q: tiro las cosas que no verdadera pues el compromiso se cumple.
me sirven) es incluyente, pues si tiro algo viejo, y
que adems no me sirve, la disyuncin es V. Tabla de verdad
La disyuncin o es utilizada en sentido p q p q
excluyente, ya que la verdad de la disyuncin se
da en el caso de que al menos una de las
V V V
proposiciones sea verdadera
V F F
Tabla de verdad
F V V
p q p q F F V
V V V
La tabla nos muestra que la implicacin slo es
V F V
falsa si el antecedente es verdadero y el
F V V
consecuente es falso.
F F F
V V V V V p q ~p q
V F F V F
F V V F F V V V
F F V V V V F F
F V V
Diferencia Simtrica F F V
Ejemplo.
PROPOSICIONES LGICAMENTE
EQUIVALENTES Si analizamos la proposicin t: p ~p realizando
su tabla de verdad:
Dos proposiciones p y q se llaman equivalentes si
sus tablas de verdad son idnticas. De ser as se p ~p p ~p
denota: p q
V F V
Ejemplo.
F V V
Sea p: p q, recordamos su tabla de
verdad Vemos que para cualquier combinacin de las
proposiciones p y su negacin ~p, la proposicin
t: p ~p es siempre verdadera. Entonces, la
proposicin t es una tautologa.
p q p q
V V V Ejemplo.Analizemos ahora la frmula lgica
p q pq q Vp { ( pF q ) Fp } q {(pq)p}q
F V V
V V V VF F V V
V F F F V
F V V F V
F F V F V
En este caso comprobamos tambin que b) de la conjuncin: (p q) r p (q r)
independientemente de la combinacin de
valores de verdad de las proposiciones p y q, el Distributividad
resultado de la frmula lgica es siempre V.
Decimos, aqu tambin, que esta frmula es una a)de la conjuncin respecto de la disyuncin:
tautologa o ley lgica. (p q) r (p r) (q r)
Contradiccin
Si al estudiar una frmula lgica, a diferencia de
b)de la disyuncin respecto de la conjuncin:
los ejemplos anteriores resulta que para cualquier
(p q) r (p r) (q r)
valor de verdad de las proposiciones
intervinientes el resultado de dicha frmula es
siempre falso, decimos que dicha frmula es una Leyes de De Morgan
Contradiccin.
~( p q ) ~p ~q
Ejemplo " La negacin de una disyuncin equivale a la
Analizemos la frmula lgica p ~p conjuncin de las negaciones"
~( p q ) ~p ~q
p ~p p ~p "La negacin de una conjuncin equivale a
la disyuncin de las negaciones"
V F F
F V F
1.1 Negacin de una Implicacin
Contingencia
Encontramos que la frmula es siempre falsa, es Las proposiciones p q y ~(p ~q) son
entonces una Contradiccin. equivalentes, como vemos realizando la tabla de
Si una proposicin no es una tautologa ni una valores correspondientes:
contradiccin (es decir que contiene al menos un
valor V y otro F) es una contingencia.
p q pq (p ~q) ~(p ~q) p q ~(p ~q)
LEYES DEL LGEBRA
PROPOSICIONAL V V V F V V
V F F V F V
F V V F V V
Como bien dijimos arriba, aquellas F F V F V V
frmulas lgicas que resultan ser siempre
verdaderas no importa la combinacin de
los valores veritativos de sus componentes, son Con esto, comprobamos que la negacin de la
tautologas o leyes lgicas. En el clculo primera equivale a la negacin de la segunda, es
proposicional existen algunas tautologas decir ~(p q) ~{ ~(p ~q)}, y podemos
especialmente tiles cuya demostracin se concluir entonces que:
reduce a la confeccin de su correspondiente
tabla de verdad, a saber: ~( p q ) ( p ~q)
Idempotencia
(p ~p) p Funciones proposicionales y cuantificadores
(p ~p) p
Cuantificadores
Conmutatividad
A partir de funciones proposicionales es posible
a) de la disyuncin: p q q p obtener proposiciones generales mediante un
b) de la conjuncin: p q q p proceso llamado de cuantificacin. Asociados a
la indeterminada x, introducimos los smbolos x
Asociatividad
y x, llamados cuantificador universal y
a) de la disyuncin: (p q) r p (q r)
cuantificador existencial respectivamente. Las
expresiones Teniendo en cuenta la forma de negar una
Cuantificador Universal: funcin proposicional cuantificada universalmente
Para todo x, se verifica p(x) ,se denota por y una implicacin resulta:
x : p(x) x / p(x) ~q(x)
Cuantificador existencial
Y traduciendo al lenguaje ordinario resulta:
Existe x, tal que se verifica p(x) , se denota por
x / p(x) Existen alumnos de mi colegio que no son
aplicados
I.E. Esther Cceres Salgado
corresponden a una funcin proposicional p(x) UGEL 02 Rmac
cuantificada universalmente en el primer caso, y PRIMERA PRCTICA DE MATEMTICA
existencialmente en el segundo.
Profesor Juan L. Capristano Gonzales
Ejemplo.
1.-Halle el valor de verdad de las siguientes
Una funcin proposicional cuantificada proposiciones:
universalmente es V si y slo si son V todas las
proposiciones particulares asociadas a aquella. a).- Lima es la capital del Per y Bolivia se
Para asegurar la verdad de una proposicin encuentra ubicada en Amrica del Sur.
cuantificada universalmente es suficiente que sea b).-Si 2 > 1 , entonces 3 > 2 21 < 5
verdadera alguna de las proposiciones asociadas c).- 24 es un nmero par y 42 es un nmero
a la funcin proposicional. impar
Un problema de inters es la negacin de d) Si Bolivia limita con el Per , entonces Per
funciones proposicionales cuantificadas. Por limita con Chile.
ejemplo, La negacin de
2.- Formalice las siguientes proposiciones
"Todos los enteros son impares" Es a).- Si ella no viene entonces nos vamos al cine
"Existen enteros que no son impares" b)- Si trabajas y estudias te preparas mejor para
el futuro
y en smbolos: x / ~p(x) c) Ser bachiller o titulado en Ciclo Superior y
Entonces, para negar una funcin proposicional tener 18 aos cumplidos son condiciones para
cuantificada universalmente se cambia el poder ejercer la docencia
cuantificador en existencial, y se niega la funcin d).- Si dominas las asignaturas y te relacionas
proposicional. bien con todas las personas del colegio entonces
no has perdido el tiempo"
Ejemplo. e)- Si tengo muchos exmenes que corregir y he
descansado un poco al medioda, trabajo hasta
Supongamos la proposicin: las doce de la noche. Pero hoy no trabajo hasta
Todos los alumnos de mi colegio son aplicados las doce. Por tanto, ser que no he descansado
La vamos a escribir en lenguaje simblico, al mediodia
negarla y retraducir la negacin al lenguaje f) Si te cuesta entender las cosas , pero te
ordinario. esfuerzas diariamente, seguro que no suspendes
Nos damos cuenta pronto que se trata de la g).-Estudio lgebra si y solo si estudio Fsica , o
implicacin de dos funciones proposicionales: si no estudio Fsica entonces estudio Aritmtica
p(x) : es alumno de mi colegio h) Roxana estudia o trabaja , pero si no estudia
q(x) : es aplicado entonces trabaja . En consecuencia , Roxana no
Tenemos: trabaja
x : p(x) q(x) hoy no es lunes
a)[(p q) q ] v p d) (p v q) p
b) (pq) v p e) [ (p q) p ] q
c) p(pq) f) p v ( p v q )
5.- Si p y q son proposiciones falsa y verdadera respectivamente , halle el valor de verdad de las
siguientes proposiciones:
a) p V ( p q ) c) p ( p q )
b) ( p V q ) p d) (p V q ) [ p ( p q ) ]
: ( p q ) (: p : q )
4.- Dada las siguientes premisas:
p: Hoy es feriado
q: Maana es da laborable
r: Voy a clase
Formaliza la proposicin: No es verdad que, Hoy sea feriado y que no asista a clase. Por lo tanto voy a
clase.
5.-Si la proposicin: p ( : p q ) , es falsa indicar el valor de verdad de la proposicin:
( p q ) [ p ( p q ) ]
6.-A menos que me equivoque, estoy loco. Pero si estoy loco, tengo que estar equivocado. Por tanto,
estoy equivocado
1.- Cules de los siguientes enunciados son proposiciones , funcin proposicional .Determine su valor de
verdad:
a) El pisco es peruano
b) 3 es un nmero racional
c) Viva el Per!
d) Un tringulo es un polgono de tres lados
e) x es hermano de y
f) 28 < 15
g)Te gusta la Matemtica?
h) El es arquitecto
2
2
i) 36 21
8
j)Tenga calma ,no se impaciente
k) 9x + 3 = 12 , x R
l)18 es mltiplo de 3
ll) x R, x x 1
m)x es Ingeniero y Juan es Matemtico
1
n) x Q / .x 1
3
)Los cuadrilteros tienen 3 lados
o)3x 8 > 15 , x R
p) x + y 15 , x,y R
q) 2x + 5 > 11, x R
r) 3x + 7 = 11, x N
x es un animal
t)
2.-
a) Si p es verdadera determinar el valor de verdad de ~pq
b)Si p es falsa p vq
c) Si p es falsa , entonces ~p q es
d) Si la proposicin (p ^ q)r es falsa , determina el valor de las proposiciones:
d .1( p r ) q
d .3( p q ) r
d .2( p q ) r
d .4(r p ) (q p )
ll )x / x 4 4
e)x R, x 0 1 i )x Q / 2 x 1 0 m)x R , x x
a )x N , x 1 2 1
f )x R / x 1 j )x Z , x 2 x 1 0
2
n)x R , x x
b)x N / x 7 0 x k )x I / x 30 1
c )x Q, x 2 4 x 4
2
)x R, x 1
g )x R / x2 l )x x 0
2
x
d ) Si.x , x 2 0 x2
h)x R / x 2 9 0