Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Proposiciones
Proposiciones
S x: Lima, Quito
Para p (Lima): Lima es la capital del Per es
verdadero (V)
Para p (Quito): Quito es la capital del Per
es falso
(F)
b) q: y + 4 = 11 , y es nmero natural
Y: 0; 1; 2; 3; 4;..
Para q (1): 1+ 4 = 11 , es falso (F)
q (7): 8+4 = 11
, es verdadero (V)
Prctica Dirigida N 02
Determine cuales de los siguientes enunciados
son enunciados abiertos y para que valores de la
variable las proposiciones son verdaderas y
falsas
a)
b)
c)
d)
e)
f)
g)
h)
x es hermano de y
28 < 15
El es arquitecto
Tenga calma ,no se impaciente
9x + 3 = 12 , x R
x es Ingeniero y Juan es Matemtico
3x 8 > 15
, x R
x + y 15
, x,y
i) 2x + 5 > 11, x R
j) 3x + 7 = 11, x N
l)
x es un animal
CLASE DE PROPOSICIONES
A) Proposicin Simple o Atmicas.- Son
aquellas proposiciones que constan de un solo
enunciado proposicional .
Por ejemplo, sea la proposicin
p: 3 + 6 = 9
B) Proposicin Compuesta o molecular.- Son
aquellas proposiciones que constan de dos o ms
proposiciones simples.
Ejemplo:
r: Pitgoras era griego
p
era gemetra
q
OPERACIONES PROPOSICIONALES
Ejemplo.
La negacin de
p: todos los alumnos estudian matemtica es
~p: no todos los alumnos estudian matemtica
o bien: ~p: no es cierto que todos los alumnos
estudian matemtica
~p: hay alumnos que no estudian matemtica
2.-CONJUNCIN
Tabla de verdad
Operacin asociada
Significado
Negacin
no p o no es cierto
que p
Conjuncin o
producto lgico
p o q (en sentido
incluyente)
Disyuncin o suma
lgica
p: 5 es un nmero impar
q: 6 es un nmero par
pyq
p
q
vemos que est compuesta de dos proposiciones
a las que llamaremos p y q, que son
~p
Sea la declaracin
Smbolo
Ejemplo.
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
V
V
F
F
V
F
V
F
V
F
F
F
3.-DISYUNCIN
Dadas dos proposiciones p yq, la disyuncin de
las proposiciones p y q es la proposicin p q ,
se lee p o q
Ejemplo 1.
Tiro las cosas viejas o que no me sirven
El sentido de la disyuncin compuesta por p y q
(p: tiro las cosas viejas, q: tiro las cosas que no
me sirven) es incluyente, pues si tiro algo viejo, y
que adems no me sirve, la disyuncin es V.
La disyuncin o es utilizada en sentido
excluyente, ya que la verdad de la disyuncin se
da en el caso de que al menos una de las
proposiciones sea verdadera
Tabla de verdad
p
p q
V
V
F
F
V
F
V
F
V
V
V
F
p q
V
V
F
F
V
F
V
F
V
F
V
V
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
Tabla de verdad
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
p q
V
V
F
F
V
F
V
F
V
F
F
V
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
V
V
F
F
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
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:
V
F
V
F
TAUTOLOGA, CONTRADICCIN Y
CONTINGENCIA
Al conjunto de proposiciones, conectivos
lgicos y smbolos de agrupacin lo
denominamos frmula lgica. Por ejemplo:
~{ (p q) (s t) }
Ejemplo.
PROPOSICIONES LGICAMENTE
EQUIVALENTES
Dos proposiciones p y q se llaman equivalentes si
sus tablas de verdad son idnticas. De ser as se
denota: p q
Ejemplo.
Sea p: p q, recordamos su tabla de
verdad
Tautologa
Si al evaluar una frmula lgica, resulta que
todos los valores de verdad resultantes son
siempre V para cualquier combinacin de sus
valores veritativos, decimos que dicha frmula
es una Tautologa o Ley lgica.
p q
~p
p ~p
V
F
F
V
V
V
Idempotencia
pq
qp
{(pq)p}q
V
V
F
F
V
F
V
F
V
F
V
V
V
F
F
F
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)
p q ~(p ~q)
V
F
V
V
V
V
V
V
x : p(x)
Cuantificador existencial
x / p(x)
corresponden a una funcin proposicional p(x)
cuantificada universalmente en el primer caso, y
existencialmente en el segundo.
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.
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.
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 21
1
.x 1
3
)Los cuadrilteros tienen 3 lados
o)3x 8 > 15
, x R
n) x Q /
p) x + y 15
, x,y
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 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 .2( p q ) r
d .3( 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
2
x 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