CLASE 02_TEMARIO: (02 HORAS CÁTEDRA)

d) Demuestre SIN USAR TABLA DE VERDAD ÐÐ µ :Ñ • ; ‘ Ê :Ñ Í Ð: ” Ð µ ;ÑÑ

DEMOSTRACIÓN:
Ð µ :Ñ • ; ‘ Ê : Í µ Ð µ :Ñ • ; ‘ ” : Í : ” Ð µ ;Ñ‘ ” : Í : ” Ð µ ;Ñ

(2.10) DEFINICIONES: Llamaremos:

a) TAUTOLOGÍA; a toda proposición compuesta que es VERDADERA,
cualesquiera sean los valores de las proposiciones simples que la componen.
(2.10.1)EJEMPLO: ÐÐ µ :Ñ • ; ‘ Ê :Ñ Í Ð: ” Ð µ ;ÑÑ es una TAUTOLOGÍA.

b) CONTRADICCIÓN; a toda proposición compuesta que es FALSA, cualesquiera

sean los valores de las proposiciones simples que la componen.
(2.10.2)EJEMPLO: µ ’ÐÐ µ :Ñ • ; ‘ Ê :Ñ Í Ð: ” Ð µ ;ÑÑ“ es una CONTRADICIÓN.

c) CONTINGENCIA; a toda proposición compuesta que no es tautología ni

contradicción.
(2.10.3)EJEMPLO: Ð: • ;Ñ Í ; Ê :‘ es una CONTINGENCIA.

TEMA 3: FUNCIONES PROPOSICIONALES Y CUANTIFICADORES

SUBLOGRO 7: Determinar si un enunciado es una función proposicional.
SUBLOGRO 8: Encontrar la solución de una función proposicional.
SUBLOGRO 9: Escribir proposiciones verbales en forma simbólica usando los
cuantificadores.
SUBLOGRO 10: Escribir la negación de proposiciones que contienen los
cuantificadores.
SUBLOGRO 11: Comprender el método del contraejemplo como método de
demostración de proposiciones falsas.

(3.1) DEFINICIÓN: Se llama FUNCIÓN PROPOSICIONAL EN LA VARIABLE B ;

a la expresión que contiene a la variable B , tal que existe por lo menos una
constante que al ser substituída por B transforma en una proposición a dicha
expresión.

(3.2) NOTACIÓN: Las denotaremos por T ÐBÑ ß UÐBÑß VÐBÑß ÞÞÞ .

(3.3) EJEMPLOS:
a) T ÐBÑ À ÐB  #Ñ • ÐB  %Ñ es función proposicional.
b) KÐBÑ À ÐB  #Ñ# no es función proposicional.
c) UÐBÑ À B /= 7?6>3:69 ./ $ C & es función proposicional.

(3.4) SOLUCIÓN DE UNA FUNCIÓN PROPOSICIONAL:

Sea T ÐBÑ una función proposicional.
Diremos que una constante - es una SOLUCIÓN de la función proposicional
si y solo si al sustituir dicha constante en T ÐBÑ, es decir sustituir la variable B por
- ; la transforma en una proposición VERDADERA.

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

a) Los valores: #Þ" à #Þ& à $ à $Þ) à ÞÞÞ son soluciones de T ÐBÑ .
c) Los valores: "& à %& à $! à '! à ÞÞÞ son soluciones de UÐBÑ .

(3.6) CUANTIFICADORES: Sea T ÐBÑ una función proposicional .

(3.6.1) CUANTIFICADOR UNIVERSAL: (a )
Ð a B − Y Ñ Ð T ÐBÑ Ñ es una proposición que se lee:
" Para todo B perteneciente a un conjunto Y tal que se tiene T ÐBÑ "
La función 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
proposición verdadera.
(3.6.2) EJEMPLO:
a) Para todo B perteneciente al conjunto de los números reales se tiene que
#
B € ! à lo que escribimos en forma simbólica por:
Ð a B − ‘ Ñ Ð B# € !Ñ es una proposición VERDADERA.
b) Para todo B perteneciente al conjunto de los números reales se tiene que
B#  #B  & œ ! à lo que escribimos en forma simbólica por:
Ð a B − ‘ Ñ Ð B#  #B  & œ !Ñ es una proposición FALSA.
(3.6.3) CUANTIFICADOR EXISTENCIAL: (b )
Ð b B − Y Ñ Ð T ÐBÑ Ñ es una proposición que se lee:
" Existe a lo menos un valor de B perteneciente a un conjunto Y tal que se
tiene T ÐBÑ "
La función 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 proposición
verdadera.
(3.6.4) EJEMPLO:
a) Existe B perteneciente al conjunto de los números reales tal que B# € ! à lo
que escribimos en forma simbólica por:
Ð b B − ‘ Ñ Ð B# € !Ñ es una proposición VERDADERA.
b) Existe B perteneciente al conjunto de los números reales tal que
B#  #B  & œ ! à lo que escribimos en forma simbólica por:
Ð b B − ‘ Ñ Ð B#  #B  & œ !Ñ es una proposición FALSA.

(3.7) NEGACIÓN 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 proposición FALSA.
b) µ Ð a B − ‘ Ñ Ð B#  #B  & œ !Ñ Í Ð b B − ‘ Ñ Ð B#  #B  & Á ! Ñ
es una proposición 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 proposición FALSA.
b) µ Ð b B − ‘ Ñ Ð B#  #B  & œ !Ñ Í Ð a B − ‘ Ñ Ð B#  #B  & Á ! Ñ es una
proposición VERDADERA.

(3.8) MÉTODO DEL CONTRAEJEMPLO:

En Matemática se tiene en algunas ocasiones como método de prueba de una
propiedad O PROPOSICIÓN, el llamado MÉTODO DEL CONTRAEJEMPLO; el cual
sólo 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 proposición Ð 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 proposición Ð a B − ‘ Ñ Ð B#  !Ñ es FALSA; ya que por ejemplo
#
B œ  # − ‘ Ê B œ % € !Þ
(3.9.3) La proposición T Ð8Ñ À "  #  $  Þ Þ Þ  8 œ 8Ð8"Ñ
# à a 8 −  es
"Ð""Ñ
FALSA; ya que si por ejemplo 8 œ " se tiene que # œ ! Á "Þ