Академический Документы
Профессиональный Документы
Культура Документы
d) 3 x 6 = 15 + 1 y 4 - 2
23 x 5 ( )
e) El silencio es fundamental para estudiar?
( )
f) 20 -18 = 2
( )
g) Brea es un distrito de la provincia de Lima ( )
h) Un lpiz no es un cuaderno
( )
i) Eres estudiante de matemtica?
( )
j) 15 < 13
( )
k) Ponga atencin
( )
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) x es hermano de y
b) 28 < 15
c) El es arquitecto
d) Tenga calma ,no se impaciente
e) 9x + 3 = 12 , x R
f) x es Ingeniero y Juan es Matemtico
g) 3x 8 > 15
h)
x+ y
15
i) 2x + 5 > 11, x
j) 3x + 7 = 11, x
, x
, x,y
R
N
x es un animal
CLASE DE PROPOSICIONES
l)
era gemetra
q
Smbolo
Ejemplo.
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
Diferencia simtrica
p o q (en sentido
excluyente)
conectivos lgicos
OPERACIONES PROPOSICIONALES
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
i) 5 es un nmero impar y 6 es un nmero par
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
p
q : 3 es mayor que 7 y todo nmero par es
p
~p
mltiplo de dos
V
F
Por ser ambas verdaderas la conjuncin de ellas
es verdadera
F
V
3.-DISYUNCIN
p q
V
V
F
F
V
F
V
F
V
V
V
F
V
V
F
F
V
F
V
F
V
F
V
V
Ejemplo 1:
p : Karina ingresa a la universidad
q : Karina estudia mucho
Entonces:
p
q : Karina ingresa a la universidad si y
slo si estudia mucho.
Ejemplo 2:
Sea i) a = b si y slo si a = b
El enunciado est compuesto por las
proposiciones:
Supongamos la implicacin
p: a = b
q: a = b
p: apruebo
q: te presto el libro
p q
4.-IMPLICACIN O CONDICIONAL
La implicacin est
compuesta de las
proposiciones
p
q
Ejemplo2
Si p : Hace fri en Invierno ,
q : Napolen invadi Lima
p
Tabla de verdad
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
Ahora bien , si
analizamos la
proposicin q: ~p
q, su tabla de verdad
resulta:
Diferencia Simtrica
p q
V
V
F
F
V
F
V
F
V
F
V
V
~p q
V
V
F
F
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
~{ (p q) (s t) }
PROPOSICIONES LGICAMENTE
EQUIVALENTES
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
Ejemplo.
V
F
F
V
V
V
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
x : p(x)
Cuantificador existencial
Existe x, tal que se verifica p(x) , se denota por
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.