Documentos de Académico
Documentos de Profesional
Documentos de Cultura
NÚMEROS REALES
Ejercicio resuelto:
Dadas las proposiciones:
p: La suma de los dígitos de 15 es 6.
q: √ 9 es un número irracional.
r: 15 es múltiplo de 3.
s: √ 9 =3
Escribir las proposiciones compuestas
a) pᴧq b) q˅r c) p→r d) q↔s e) ¬s
Solución.
a) pᴧq; la suma de los dígitos de 15 es 6 y √ 9 es un número
racional.
b) q˅r; √ 9 es número racional o 15 es múltiplo de 3.
c) p→r; Si la suma de los dígitos de 15 es 6, entonces 15 es
múltiplo de 3.
d) q↔s; √ 9 es un número irracional, si y sólo si √ 9 =3.
e) ¬s: √ 9 ≠ 3.
1.2.1.Negación de una proposición
La negación es un conectivo lógico que permite cambiar el valor de
verdad de una proposición. Así, si la proposición “p” tiene valor de
verdad verdadero, entonces su negación “¬p” es falsa, y si “p” es falsa,
su negación “¬p” es verdadera. “¬p” se lee “no p”.
p ¬p
v f
f v
Ejercicio resuelto.
Negar las siguientes proposiciones y escribir el valor de verdad
de la negación.
p: Todos los números primos son pares.
q: No todos los triángulos son isósceles.
s: -15+8 ≠ 7.
Solución:
¬p: No todos los números primos son pares: Proposición
verdadera.
¬q: Todos los triángulos son isósceles. Proposición falsa.
¬s: -15+8 ≠ 7. Proposición verdadera.
1.2.2.Conjunción.
La conjunción es una proposición compuesta formada por dos o más
proposiciones simples unidas mediante el conectivo lógico “y”, y que
se simboliza “ᴧ”.
Valor de verdad de la conjunción.
La proposición pᴧq es verdadera únicamente si la proposición “p” es
verdadera y la proposición “q” es verdadera. En los demás casos la
proposición pᴧq es falsa.
Los posibles valores de verdad de la proposición pᴧq están
considerados en la siguiente tabla de verdad.
p q pᴧq
v v v
v f f
f v f
f f f
1.2.3.Disyunción
la disyunción es una proposición compuesta por dos o más
proposiciones simples unidas mediante el conectivo lógico “o” y se
simboliza “˅”.
Valor de verdad de la disyunción.
La proposición p˅q es verdadera cuando una o ambas proposiciones
son verdaderas.
Los posibles valores de verdad para la proposición p˅q están
consideradas en la siguiente tabla de verdad.
p q p˅q
v v v
v f v
f v v
f f f