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 todos enunciados, es falso (F)
respecto de la cual se puede decir si es b) q: y + 4 = 11 , y es nmero natural
verdadera (V) o 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): 7+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
2.-CONJUNCIN
OPERACIONES PROPOSICIONALES
La negacin de 3.-DISYUNCIN
p: todos los alumnos estudian matemtica es
~p: no todos los alumnos estudian matemtica
o bien: ~p: no es cierto que todos los alumnos Dadas dos proposiciones p yq, la disyuncin de
estudian matemtica las proposiciones p y q es la proposicin p q ,
~p: hay alumnos que no estudian matemtica se lee p o q
Ejemplo 1.
Tiro las cosas viejas o que no me sirven
V V F
V F V Como vemos, luego de realizar las tablas de valor
F V V veritativo encontramos que ambas proposiciones
F F F tienen el mismo resultado final. Con esto,
decimos que ambas proposiciones son
logicamente equivalentes, y en este caso
La verdad de p q est caracterizada por la particular lo simbolizamos:
verdad de una y slo una de las proposiciones
componentes. (p q) (~p q)
Ejemplo.
TAUTOLOGA, CONTRADICCIN Y
Sea i) o vamos a Lima o vamos a Ica CONTINGENCIA
V F V
F V V
a) de la disyuncin: (p q) r p (q r)
En este caso comprobamos tambin que
independientemente de la combinacin de b) de la conjuncin: (p q) r p (q r)
valores de verdad de las proposiciones p y q, el
resultado de la frmula lgica es siempre V. Distributividad
Decimos, aqu tambin, que esta frmula es una
tautologa o ley lgica. a)de la conjuncin respecto de la disyuncin:
Contradiccin (p q) r (p r) (q r)
Si al estudiar una frmula lgica, a diferencia de
los ejemplos anteriores resulta que para cualquier b)de la disyuncin respecto de la conjuncin:
valor de verdad de las proposiciones (p q) r (p r) (q r)
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 ~p p ~p ~( p q ) ~p ~q
"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
entonces una Contradiccin. Las proposiciones p q y ~(p ~q) son
Si una proposicin no es una tautologa ni una equivalentes, como vemos realizando la tabla de
contradiccin (es decir que contiene al menos un valores correspondientes:
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)
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
CONECTIVOS LGICOS SINNIMOS
y
Tambin
An
A la vez
^ conjuncin No obstante
Adems
Pero
Sin embargo
Aunque
No es cierto que
~ negacin
Es falso que
No es el caso que
No sucede que
O
V disyuncin A menos que
p es condicin suficiente para q
p q implicacin Si p , q
q si p
Que p siempre que q
Cuando p , q
q es condicin necesaria para p
En caso de que p entonces q
p solo si q
Si y slo si
P q Cuando y slo cuando
Equivale a
Es necesario y suficiente para
En el caso , y slo en el caso , de 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
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
t)x es un animal
2.-
a) Si p es verdadera determinar el valor de verdad de ~pq
b)Si p es falsa p v q
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 1 0
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 2 x 1 0 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 02
x
d ) Si.x , x 2 0 x2
h)x R / x 2 9 0