Beruflich Dokumente
Kultur Dokumente
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
era gemetra
q
Smbolo
Operacin asociada
Significado
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
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
Dadas dos proposiciones p y q, se denomina
conjuncin de estas proposiciones a la
proposicin p q (se lee "p y q")
Ejemplo.
Sea la declaracin
Diferencia simtrica
p o q (en sentido
excluyente)
OPERACIONES PROPOSICIONALES
p
q
vemos que est compuesta de dos proposiciones
a las que llamaremos p y q, que son
p: 5 es un nmero impar
q: 6 es un nmero par
3.-DISYUNCIN
p q
V
V
F
F
V
F
V
F
V
V
V
F
Tabla de verdad
V
V
F
F
V
F
V
F
V
F
V
V
Supongamos la implicacin
i)Si apruebo, ENTONCES te presto el libro
La implicacin est
compuesta de las
proposiciones
p q
4.-IMPLICACIN O CONDICIONAL
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
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
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
V
F
V
V
Diferencia Simtrica
~p q
V
F
V
F
V
F
V
V
p q
V
V
F
F
V
F
V
F
F
V
V
F
(p q) (~p q)
TAUTOLOGA, CONTRADICCIN Y
CONTINGENCIA
Ejemplo.
Sea
V
F
F
V
V
V
~{ (p q) (s t) }
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.
Ejemplo.
Si analizamos la proposicin t: p ~p
realizando su tabla de verdad:
Involucin
~(~p) p
(se lee "no, no p, equivale a p")
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)
F
V
F
F
~(p ~q)
V
F
V
V
p q ~(p ~q)
V
V
V
V
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)
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.
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 ) 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
36 21
i)
j)Tenga calma ,no se impaciente
k) 9x + 3 = 12 , x R
l)18 es mltiplo de 3
1
ll) x R, x x
m)x es Ingeniero y Juan es Matemtico
1
.x 1
3
x Q /
n)
)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)
~pq
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 .3( p q) r
d .4(r p) (q p )
d .1( p r ) q
d .2 ( p q ) r
[(~p ^ ~q ) q ] ^ (p v q ) es verdadera
ll )x / x 4 4
e)x R, x 0 1
1
x
2
n)x R , x x
x 4
g )x R /
x2
x
2
1
)x R, x 1
2
x h)x R / x 9 0
i )x Q / 2 x 1 0
a)x N , x 1 2
m)x R , x x
f )x R / x 1
j )x Z , x 2 2 x 1 0 b)x N / x 7 0
k )x I / x 3 0
c)x Q, x 2 4
l )x x 2 0
d ) Si.x , x 2 0