Documente Academic
Documente Profesional
Documente Cultură
CLASES DE PROPOSICIONES
)
)
)
)
EXPRESIONES NO PROPOSICIONALES
a) Levntate temprano! b) Has entendido lo que
es una proposicin? c) Estudia esta leccin! d)
Cul es tu nombre l? e) Prohibido pasar f) Borra
el pizarrn
No son proposiciones por no poder ser evaluadas
como verdaderas ni falsas. Las exclamaciones,
rdenes ni las preguntas son proposiciones
Taller de aritmtica N 01
1.-Indique ( E) si es enunciado o (P) si es una
proposicin.
a) 5 + 7
= 16 - 4
( )
b) Estudie lgica proposicional!
( )
c) Los hombres no pueden vivir sin oxgeno ( )
d) 3 x 6 = 15 + 1 y 4 - 2 23 x 5 ( )
e) El gato est muy enfermo?
( )
f) 20 -18 = 2
( )
g) Brea es un distrito de Lima
( )
h) Un lpiz no es un cuaderno
( )
i) Eres estudiante de matemtica?
( )
j) 15 < 13
( )
k) Ponga atencin
( )
l) Hace mucha calor
( )
m) El jardn esta bonito
( )
n ) Cllate deja estudiar!
( )
) Csar Vallejo naci en Pars
( )
( )
( )
( )
era gemetra
q
Smbolo
Operacin asociada
Significado
~p
Negacin
no p o no es cierto
que p
pyq
Conjuncin o
producto lgico
p o q (en sentido
incluyente)
Disyuncin o suma
lgica
Implicacin
p implica q, o si p
entonces q
Doble implicacin
p si y slo si q
Diferencia simtrica
p o q (en sentido
excluyente)
p
q
vemos que est compuesta de dos proposiciones
a las que llamaremos p y q, que son
OPERACIONES PROPOSICIONALES
Definiremos las operaciones entre proposiciones
en el sentido siguiente: dadas dos o ms
proposiciones, de las que se conoce los valores
veritativos, se trata de caracterizar la proposicin
resultante a travs de su valor de verdad. A tal
efecto, estudiaremos a continuacin el uso y
significado de los diferentes conectivos lgicos
mencionados arriba:
1.-NEGACIN
Dada una proposicin p, se denomina la
negacin de p a otra proposicin denotada por
~p (se lee "no p") que le asigna el valor veritativo
opuesto al de p. Por ejemplo:
P : Diego estudia matemtica
~p : Diego no estudia matemtica
p: 5 es un nmero impar
q: 6 es un nmero par
y por ser ambas verdaderas, la conjuncin de
ellas (que no es sino la declaracin i) es
verdadera.
Tabla de verdad
p
p q
V
V
F
F
V
F
V
F
V
F
F
F
p q
V
V
F
F
V
F
V
F
V
V
V
F
p: apruebo
q: te presto el libro
Nos interesa conocer la verdad o falsedad
de la implicacin i), en relacin a la verdad o
falsedad de las proposiciones p y q. El
enunciado puede pensarse como un compromiso,
condicionado por p, y podemos asociar su verdad
al cumplimiento del compromiso. Es evidente
que si p es F, es decir si no apruebo el examen,
quedo liberado del compromiso y preste o no el
apunte la implicacin es verdadera.
Si p es verdadera, es decir si apruebo el examen,
y no presto el libro, el compromiso no se cumple
y la proposicin i) es falsa. Si p y q son
verdaderas, entonces la proposicin i) es
verdadera pues el compromiso se cumple.
Tabla de verdad
p
p q
V
V
F
F
V
F
V
F
V
F
V
V
Ejemplo2
Si p : Hace fri en Invierno , y
q : Napolen invadi Lima
p q : Hace fri en Invierno o Napolen invadi
Lima
Por ser al menos una de la proposiciones
verdadera la conjuncin es verdadera
4.-IMPLICACIN O CONDICIONAL
Implicacin de las proposiciones p y q es la
proposicin p q (si p entonces q). La
proposicin p se llama antecedente, y la
proposicin q se llama consecuente de la
implicacin o condicional.
Ejemplo.
Supongamos la implicacin
i)Si apruebo, ENTONCES te presto el libro
p
V
F
V
F
V
F
F
V
Ejemplo.
p
q
qp
(p q) (q p)
V
V
F
F
V
F
V
F
V
F
V
V
V
V
F
V
V
F
F
V
p q
V
V
F
F
V
F
V
F
F
V
V
F
p q
V
V
F
F
V
F
V
F
V
F
V
V
Diferencia Simtrica
Diferencias simtrica o disyuncin en sentido
excluyente de las proposiciones p y q es la
proposicin p q (se lee "p o q en sentido
excluyente") cuya tabla de valores de verdad es:
~p q
V
V
F
F
V
F
V
F
V
F
V
V
~p
p ~p
V
F
F
V
V
V
Involucin
~(~p) p
(se lee "no, no p, equivale a p")
pq
qp
V
V
F
F
V
F
V
F
V
F
V
V
V
F
F
F
Idempotencia
{(pq)p}q
V
V
V
V
(p ~p) p
(p ~p) p
Conmutatividad
a) de la disyuncin: p q q p
b) de la conjuncin: p q q p
Asociatividad
a) de la disyuncin: (p q) r p (q r)
b) de la conjuncin: (p q) r p (q r)
Distributividad
a)de la conjuncin respecto de la disyuncin:
(p q) r (p r) (q r)
b)de la disyuncin respecto de la conjuncin:
(p q) r (p r) (q r)
Leyes de De Morgan
~( p q ) ~p ~q
" La negacin de una disyuncin equivale a la
conjuncin de las negaciones"
Ejemplo
Analizemos la frmula lgica p ~p
p
~p
p ~p
V
F
F
V
F
F
~( p q ) ~p ~q
"La negacin de una conjuncin equivale a
la disyuncin de las negaciones"
1.1 Negacin de una Implicacin
Contingencia
Encontramos que la frmula es siempre falsa, es
entonces una Contradiccin.
Si una proposicin no es una tautologa ni una
contradiccin (es decir que contiene al menos un
valor V y otro F) es una contingencia.
LEYES DEL LGEBRA
PROPOSICIONAL
pq
V
V
F
F
V
F
V
F
V
F
V
V
(p ~q)
F
V
F
F
~(p ~q)
V
F
V
V
p q ~(p ~q)
V
V
V
V
x : p(x)
Cuantificador existencial
Existe x, tal que se verifica p(x) , se denota por
Ejemplo.
Supongamos la proposicin:
Todos los alumnos de mi colegio son aplicados
La vamos a escribir en lenguaje simblico,
negarla y retraducir la negacin al lenguaje
ordinario.
Nos damos cuenta pronto que se trata de la
implicacin de dos funciones proposicionales:
p(x) : es alumno de mi colegio
q(x) : es aplicado
Tenemos:
x : p(x) q(x)
Teniendo en cuenta la forma de negar una
funcin proposicional cuantificada universalmente
y una implicacin resulta:
x / p(x) ~q(x)
Y traduciendo al lenguaje ordinario resulta:
x / p(x)
Ejemplo.
Una funcin proposicional cuantificada
universalmente es V si y slo si son V todas las
proposiciones particulares asociadas a aquella.
Para asegurar la verdad de una proposicin
cuantificada universalmente es suficiente que sea
verdadera alguna de las proposiciones asociadas
a la funcin proposicional.
Un problema de inters es la negacin de
funciones proposicionales cuantificadas. Por
ejemplo, La negacin de
"Todos los enteros son impares" Es
"Existen enteros que no son impares"
y en smbolos: x / ~p(x)
Entonces, para negar una funcin proposicional
cuantificada universalmente se cambia el
cuantificador en existencial, y se niega la funcin
proposicional.
d) (p v q) p
e) [ (p q) p ] q
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 )
b) ( p V q ) p
c) p ( p q )
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
CONECTIVOS LGICOS
^ conjuncin
negacin
disyuncin
implicacin
SINNIMOS
y
Tambin
An
A la vez
No obstante
Adems
Pero
Sin embargo
Aunque
No es cierto que
Es falso que
No es el caso que
No sucede que
O
A menos que
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
i) 36 2
8
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
q) 2x + 5 > 11, x R
r) 3x + 7 = 11, x N
x es un animal
t)
d .3( p q ) r
d .2( p q ) r
d .4 ( r p ) ( q p )
[(~p ^ ~q ) q ] ^ (p v q ) es verdadera
a )x N , x 1 2
b)x N / x 7 0
c )x Q, x 2 4
d ) Si.x , x 2 0
ll )x / x 4 4
e)x R, x 0 1
i )x Q / 2 x 1 0
1
x
x2 4
g )x R /
x2
x2
h)x R / x 2 9 0
m)x R , x x
j )x Z , x 2 x 1 0
n)x R , x x
f )x R / x 1
k )x I / x
l )x x 0
2
30
)x R, x 1
1
x