SEMANA 1_CLASE 02_TEMARIO: (02 HORAS CTEDRA)

d) Demuestre SIN USAR TABLA DE VERDAD : ; : : ;

DEMOSTRACIN:
: ; : : ; : : ; : : ;

(2.10) DEFINICIONES: Llamaremos:

a) TAUTOLOGA; a toda proposicin compuesta que es VERDADERA,
cualesquiera sean los valores de las proposiciones simples que la componen.
(2.10.1)EJEMPLO: : ; : : ; es una TAUTOLOGA.

b) CONTRADICCIN; a toda proposicin compuesta que es FALSA, cualesquiera

sean los valores de las proposiciones simples que la componen.
(2.10.2)EJEMPLO: : ; : : ; es una CONTRADICIN.

c) CONTINGENCIA; a toda proposicin compuesta que no es tautologa ni

contradiccin.
(2.10.3)EJEMPLO: : ; ; : es una CONTINGENCIA.

TEMA 3: FUNCIONES PROPOSICIONALES Y CUANTIFICADORES

SUBLOGRO 7: Determinar si un enunciado es una funcin proposicional.
SUBLOGRO 8: Encontrar la solucin de una funcin proposicional.
SUBLOGRO 9: Escribir proposiciones verbales en forma simblica usando los
cuantificadores.
SUBLOGRO 10: Escribir la negacin de proposiciones que contienen los
cuantificadores.
SUBLOGRO 11: Comprender el mtodo del contraejemplo como mtodo de
demostracin de proposiciones falsas.

(3.1) DEFINICIN: Se llama FUNCIN PROPOSICIONAL EN LA VARIABLE B ;

a la expresin que contiene a la variable B , tal que existe por lo menos una
constante que al ser substituda por B transforma en una proposicin a dicha
expresin.

(3.2) NOTACIN: Las denotaremos por T B UB VB .

(3.3) EJEMPLOS:
a) T B B # B % es funcin proposicional.
b) KB B ## no es funcin proposicional.
c) UB B /= 7?6>3:69 ./ $ C & es funcin proposicional.

(3.4) SOLUCIN DE UNA FUNCIN PROPOSICIONAL:

Sea T B una funcin proposicional.
Diremos que una constante - es una SOLUCIN de la funcin proposicional
si y solo si al sustituir dicha constante en T B, es decir sustituir la variable B por
- ; la transforma en una proposicin VERDADERA.

(3.5) EJEMPLO: En (3.3); tenemos que:

a) Los valores: #" #& $ $) son soluciones de T B .
c) Los valores: "& %& $! '! son soluciones de UB .

(3.6) CUANTIFICADORES: Sea T B una funcin proposicional .

(3.6.1) CUANTIFICADOR UNIVERSAL: (a )
a B Y T B es una proposicin que se lee:
" Para todo B perteneciente a un conjunto Y tal que se tiene T B "
La funcin proposicional a B Y T B ser VERDADERA si y solo si al
reemplazar cualquier constante - Y en la variable B T - se hace una
proposicin verdadera.
(3.6.2) EJEMPLO:
a) Para todo B perteneciente al conjunto de los nmeros reales se tiene que
#
B ! lo que escribimos en forma simblica por:
a B B# ! es una proposicin VERDADERA.
b) Para todo B perteneciente al conjunto de los nmeros reales se tiene que
B# #B & ! lo que escribimos en forma simblica por:
a B B# #B & ! es una proposicin FALSA.
(3.6.3) CUANTIFICADOR EXISTENCIAL: (b )
b B Y T B es una proposicin que se lee:
" Existe a lo menos un valor de B perteneciente a un conjunto Y tal que se
tiene T B "
La funcin proposicional b B Y T B ser VERDADERA si y solo si al
reemplazar una constante - Y en la variable B T - se hace una proposicin
verdadera.
(3.6.4) EJEMPLO:
a) Existe B perteneciente al conjunto de los nmeros reales tal que B# ! lo
que escribimos en forma simblica por:
b B B# ! es una proposicin VERDADERA.
b) Existe B perteneciente al conjunto de los nmeros reales tal que
B# #B & ! lo que escribimos en forma simblica por:
b B B# #B & ! es una proposicin FALSA.

(3.7) NEGACIN DE LOS CUANTIFICADORES

(3.7.1) a B Y T B b B Y T B
(3.7.2) EJEMPLO: Niegue las proposiciones de (3.6.2):
a) a B B# ! b B B# !
es una proposicin FALSA.
b) a B B# #B & ! b B B# #B & !
es una proposicin VERDADERA.
(3.7.3) b B Y T B a B Y T B
(3.7.4) EJEMPLO: Niegue las proposiciones de (3.6.4):
a) b B B# ! a B B# ! es una proposicin FALSA.
b) b B B# #B & ! a B B# #B & ! es una
proposicin VERDADERA.

(3.8) MTODO DEL CONTRAEJEMPLO:

En Matemtica se tiene en algunas ocasiones como mtodo de prueba de una
propiedad O PROPOSICIN, el llamado MTODO DEL CONTRAEJEMPLO; el cual
slo sirve para demostrar la FALSEDAD de dicha propiedad; es decir: "Si se nos
pide demostrar una cierta propiedad y logramos obtener un elemento que no la
verifica; entonces afirmamos que dicha propiedad es FALSA.

(3.9) EJEMPLO:
(3.9.1) La proposicin b B B# #B & ! es obviamente
FALSA; para lo cual basta con decir que las soluciones son complejas, dadas por

B # # "' " 3
(3.9.2) La proposicin a B B# ! es FALSA; ya que por ejemplo
#
B # B % !
(3.9.3) La proposicin T 8 " # $ 8 88"
# a 8 es
"""
FALSA; ya que si por ejemplo 8 " se tiene que # ! "