TALLER DE LOGICA

1R/=
TEOREMA 15
Cada subconjunto de U (conjunto universal) es el conjunto de verdad de una funcin proposicional.
Demostracin:
Sea A un subconjunto de U. Entonces A es el conjunto de verdad de la funcin proposicional , y por
lo tanto x A.
El teorema 15 quita la restriccin de que P, Q, R sean conjuntos de verdad.
TEOREMA 16
Para todo P, Q, y R que sean subconjuntos de U, se cumple:
Demostracin:
Se parte de la siguiente tautologa
[p (q r)] [(p q) r].
Se sustituyen las variables de esta tautologa por funciones proposicionales, y se obtiene la siguiente
funcin proposicional, que es verdadera para todo U
[()][(. (1)
Por lo tanto
{x| ()} = {x|}.
Se aplica el teorema 1, se obtiene:
{x| ()}=P.
Y se sabe que:
{x|} = (P.
Por lo tanto de (1), se obtiene:
P.
TEOREMA 17
Si dos frmulas con proposiciones p, q, r, etc. son equivalentes, y contienen nicamente operadores
, , y , entonces se obtiene una relacin verdadera en los subconjuntos arbitrarios: P, Q, R, etc. de
U, remplazando a p por P, a q por Q, a r por R etc. a por ,a por , y a por =.
TEOREMA 18
Para demostrar este teorema se debe demostrar que si Pes falso, entonces es falso y adems que
si es falso, entonces Pes falso.
Se supone inicialmente que Pes falso. Entonces hay un x para el que es verdadero y q(x) es falso.
Para tales x es falso y por lo tanto es falso.
Recprocamente si se supone que es falso, entonces existe algn x para el que
existencia de este x demuestra que Pes falso.

2 R/=

es falso, la

Un teorema especfico es el que establece alguna propiedad de un objeto particular, tal como 7 es un
nmero primo, o 3,1416 es un valor aproximado de
Un teorema general expresa, una relacin que es verdadera para todos los miembros del conjunto de
objetos establecido, tal como: dados dos nmeros reales cualesquiera a y b, se verifica que a +b = b
+a; los ngulos bsicos de un tringulo issceles son iguales.

3 R/=
Se le conoce como el mtodo de la hiptesis auxiliar o demostracin condicional. .
Si una proposicin P es verdadera en una teora, se puede demostrar que otra proposicin es
verdadera, mediante una argumentacin lgica que utilice las premisas disponibles de la teora.
La metodologa utilizada es la siguiente:
a. se supone verdadera la proposicin P (antecedente o hiptesis auxiliar)
b. se construye a partir de la hiptesis, una argumentacin lgica(vlida) que utiliza los axiomas y
teoremas de la teora, para obtener mediante las reglas de validez y de inferencia, la validez de Q
c. en este momento concluye la demostracin, y se establece la validez de
En la aplicacin del mtodo directo, es recomendable tener en cuenta los siguientes aspectos:
a. el mtodo directo se aplica a la demostracin de teoremas correspondientes a una implicacin,
ms sin embargo no siempre se puede alcanzar la conclusin que se pretende, y por ello se utilizan
otros mtodos.
b. se puede fundamentar de una manera intuitiva la validez del mtodo, en el hecho de que la
implicacin es falsa nicamente en el caso en el cual partiendo de un antecedente verdadero se llega
a una conclusin falsa, por ello cuando se asume verdadero el antecedente y si la implicacin
cumple con las reglas de validez y de inferencia, entonces necesariamente la conclusin es
verdadera.
c.es importante tener presente, que al aplicar este mtodo, no se determina la validez absoluta del
consecuente Q, sino su validez relativa, ya que se asume como verdadero el antecedente P.
d.se recomienda como estrategia, que si la conclusin deseada de un razonamiento es una
proposicin condicional, se agregue el antecedente como nueva premisa, y se traslada la
demostracin varios lugares hacia la derecha para finalmente tratar de deducir el consecuente del
conjunto original de premisas, ms la premisa agregada (hiptesis auxiliar); si esto es posible queda
validada la proposicin condicional.
e. para construir una demostracin directa se deben preparar una serie de pasos, justificados en
definiciones, axiomas, leyes, teoremas, etc, que conduzcan a la conclusin deseada. No hay
metodologas predeterminadas para elaborarlos, ya que son la prctica y la creatividad las
herramientas fundamentales para alcanzar el logro.

4 R/=

Se utiliza a veces, cuando se presentan dificultades en elaborar una demostracin directa.

El mtodo se fundamenta en el hecho que si p es falsa, entonces p es verdadera
El mejor modo de demostrar la falsedad de p, es verificar que no es compatible con las afirmaciones
dadas. As se supone que p es verdadera, y si el razonamiento que se hace en base a esta hiptesis
y otras proposiciones conocidas, conduce a una contradiccin, entonces se puede inferir que p es
verdadera.
Por ejemplo, para probar que es verdadera, se supone es verdadera.
Al aplicar las reglas para formar negaciones, se tiene: (} es verdadera. Por definicin de la
conjuncin, y por interpretacin del cuantificador, se puede afirmar que existe un x para para el cual y
son verdaderas. Esto genera una contradiccin con la tabla de verdad de la implicacin: si la hiptesis
es verdadera y la conclusin falsa, la implicacin es falsa.
Por lo tanto::)} es falsa y en consecuencia es verdadera.

5 R/=
Se pide demostrar el siguiente teorema: si el cuadrado de un nmero impar, entonces el nmero es
impar.
Demostracin
p=el cuadrado de un nmero impar
q=el nmero es impar
Se aplica inicialmente el mtodo directo:
es un nmero impar

por hiptesis
por definicin de nmero impar
Extraccin de la raz cuadrada

De esta expresin no se puede afirmar nada, y en consecuencia se adopta como estrategia para
demostrar el teorema, utilizar el contra recproco.
Se asume la validez de la negacin de lo que se pretende demostrar:
a es un nmero par
hiptesis del contra recproco
a=2n; n Z
definicin de nmero par
=
nmero par por definicin
Se comprueba la validez de y por la equivalencia entre la implicacin y el contra recproco, se
infiere la validez de q, el nmero es impar.

6 R/=

La contradiccin es la incompatibilidad entre dos proposiciones, esto es cuando pretenden parecer

validas una proposicin y su negacin, por ejemplo no se puede decir que el tiempo es lluvioso y
seco en un mismo momento.
Una teora es contradictoria o inconsistente cuando se puede demostrar en la teora una
contradiccin.
El mtodo de demostracin por reduccin al absurdo se fundamenta en condicin de no contradiccin
para una teora, y la estrategia a seguir consiste en suponer como vlida la negacin de la
proposicin a demostrar, y razonando correctamente a partir de esta hiptesis, se trata de generar
una contradiccin, lo que permite afirmar que la hiptesis, o sea su negacin es verdadera, y as se
valida la proposicin inicial.
La validez de este mtodo se fundamenta en el siguiente teorema:
Si es verdadera entonces es verdadera
Se demuestra el teorema utilizando el mtodo directo:
Se asume verdadera la hiptesis
equivalencia del contra recproco
reglas de la negacin
verdadera, por ley del medio excluso
verdadera,por ley de implicacin
Ejemplo
Demostrar, utilizando el mtodo de reduccin al absurdo, el siguiente teorema: Si es un nmero par,
entonces a es un nmero par.
Demostracin
es impar(
;n

;se asume como vlida la negacin de lo que se quiere demostrar

;definicin de nmero impar.
;ley uniforme del producto
;leyes distributiva, conmutativa y asociativa.
;ley distributiva del producto
;ley de clausura del producto
; nmero impar por definicin
es impar por conclusin, pero es par por definicin(contradiccin)
Por lo anterior es un nmero par, por reduccin al absurdo.
Ejemplo
Demostrar que el nmero es irracional
Demostracin
Se asume como verdadera: es un nmero racional p y q no tienen factores comunes; Por definicin
de nmero racional Elevando al cuadrado ambos lados de la igualdad = Multiplicando ambos lados de
la igualdad por es par y tambin p Por la demostracin anterior Por definicin de nmero par (6)2
Sustitucin de (5) en (3)
(7)= Elevando al cuadrado
(8)= Dividiendo por 2
(9) es par y tambin que Por demostracin anterior.
(10) Se demuestra que p y q son pares, y por lo tanto tienen un factor comn(2),lo que contradice a la
proposicin (1).

Por lo anterior es falsa y p es verdadera: es un nmero racional

7 R/=
Un paso lgico a realizar antes de intentar resolver un problema es determinar si el problema tiene
solucin.
En el mundo real, muy diferente del mundo acadmico de la evaluacin estudiantil donde siempre los
problemas tienen solucin, existen muchos problemas para los cuales no hay solucin.
Un ejemplo de problemas que no tienen solucin es:
Hallar todos los enteros que satisfacen la siguiente ecuacin; 7x+5=2x+9.
Para tener seguridad que se trabaja con problemas que tienen solucin, los matemticos han
desarrollado una serie de teoremas de existencia, que son de la forma o sea hay un nmero x que
satisface una propiedad dada p.
Un ejemplo importante de estos teoremas es el siguiente teorema:
(x es un numero real ):[Si a y b son nmeros reales tal que a0, entonces ax+b=0.
Para probar este teorema se debe mostrar un nmero x, que tenga la propiedad requerida. El nmero
x=-(b/a) satisface esta propiedad (la ecuacin dada)

8 R/=
Al pretender demostrar un teorema que se intuye es falso, se puede tratar de refutarlo. Hay dos
mtodos de refutacin:
a).refutacin por contradiccin.
Se supone que la afirmacin propuesta es verdadera y se realiza un proceso deductivo que nos
conduce a una afirmacin que contradice un teorema conocido y entonces se puede inferir que la
proposicin dada es falsa.
Ejemplo:
refutar la afirmacin :<<El cuadrado de un nmero impar es par>>
todo nmero impar se puede expresar en la forma 2a+1, con a =nmero entero.
todo nmero par se puede expresar como 2b, con b=nmero entero.
la afirmacin dada implica que:
= 2b, para algn a y b
De el lgebra se puede afirmar .Los dos miembros de la ecuacin representan al mismo entero, pero
el de la izquierda no es divisible por 2 y el de la derecha si, lo que es una contradiccin para la
definicin de igualdad.
b).refutacin por ejemplo del contrario
Este mtodo es adecuado, cuando se trata de refutar afirmaciones de la forma
Por ejemplo:

La refutacin de la anterior afirmacin, se logra mostrando un valor de x que no cumpla la afirmacin.

Por ejemplo x=1.
La refutacin sirve para demostrar que la afirmacin es falsa, ms no que es vlida para todos los
casos.

9 R/=
Ley de separacin
Se supone que es verdadera, y que si a pertenece al conjunto de verdad P de entonces a debe
pertenecer al conjunto de verdad Q de .
Esta ley es otra manera de expresar el teorema 18
Ley de sustitucin
En cualquier paso de una demostracin, se puede remplazar una proposicin o una funcin
proposicional, por una equivalente.
Esta ley tiene dos consecuencias importantes:
a. en cualquier paso de una demostracin, se puede remplazar una implicacin por su contra
recproca.
b. en lugar de probar que es verdadero, se puede probar la verdad de la proposicin equivalente:
P_Q.
Generalmente en las demostraciones de teoremas es esencial el uso de esta segunda consecuencia.
Se quiere probar la siguiente proposicin:: si x es par , entonces es par .Para ello se transforma la
proposicin a probar en :{x|x es par }_{x| es par}, y esta es la demostracin de inclusin estudiada
anteriormente. Si no se conoce esta conversin, se suele comenzar << x es par por hiptesis>> y
luego se procede a probar que es par .
Las demostraciones directas se pueden desarrollar de muchas maneras, pero la siguiente es la ms
usual:
Se supone verdadera la hiptesis y entonces se utilizan los axiomas, definiciones o teoremas
demostrados anteriormente, en una argumentacin lgica vlida y se concluye en lo que se quiere
demostrar.

10 R/=
Los problemas por demostrar y por resolver son de naturaleza esencialmente matemtica, y los
problemas prcticos son competencia de la ingeniera. El egresado de ingeniera electromecnica de
la Universidad Francisco de Paula Santander en Ccuta (Colombia) debe ser competente en la
solucin de problemas de control y conversin de energa, de los sistemas encargados de procesos
de transformacin de energa electromecnica.
El propsito de un problema por resolver es descubrir cierto objeto, por ejemplo la incgnita del
problema. Estos problemas pueden ser tericos, concretos. Ejemplos tpicos van desde descubrir al
asesino en una novela policaca, problemas de ajedrez, problemas de lgebra. Los principales
elementos de un problema por resolver son, la incgnita, los datos y la condicin,

El propsito de un problema por demostrar (pruebas matemticas) consiste en mostrar de un modo

concluyente, la falsedad o exactitud de una afirmacin claramente enunciada. En un problema por
demostrar de naturaleza matemtica, los elementos principales son la hiptesis y la conclusin.
Los problemas prcticos de la ingeniera, por ejemplo el diseo de un sistema de control de un
proceso electromecnico de conversin de energa, son esencialmente complejos, ya que involucran
un gran nmero de incgnitas, con mltiples condiciones y una gran cantidad de datos. La solucin
pasa por resolver modelos matemticos, simular procesos, y la utilizacin de la experiencia
acumulada en la solucin de problemas similares. Por esto se considera a la ingeniera como una
ciencia y un arte.
El siguiente material es una adaptacin del libro Cmo plantear y resolver problemas de G. Polya,
editado y reimpreso por la editorial Trillas.

11 R/=
COMPRENSIN DEL PROBLEMA
Se debe establecer con claridad cul es la situacin problemtica a resolver, indicando cual es el
objetivo a alcanzar, cual es el contexto, y las limitaciones de la situacin.
En el caso de problemas matemticos a resolver, se debe establecer sin lugar a dudas, cual es la
incgnita, cules son los datos, cules son las condiciones o restricciones del problema y hacer una
exploracin sobre si los datos y las condiciones son suficientes, para determinar la incgnita, o si
existe alguna condicin que sea contradictoria.
CONCEPCIN DE UN PLAN
El plan que permite resolver un problema se obtiene, cuando se sabe cules son los clculos,
razonamientos o construcciones, que se deben realizar para determinar la incgnita. Este es el paso
ms difcil en la resolucin de problemas.
El plan surge de una buena idea, y este se fundamenta en procesos lgicos y sicolgicos.
Es necesario recordar conocimientos adquiridos en campos acadmicos y de la experiencia de la
vida, y adems una fuerte motivacin para la resolucin del problema, lo que genera mecanismos
sicolgicos creativos, que conducen a esa buena idea, que constituye la base para la concepcin del
plan.

Ayuda para la concepcin del plan, ms no lo genera, examinar las siguientes preguntas:

1) Se ha encontrado con un problema semejante? Conoce algn problema con un planteamiento

ligeramente diferente?
2) Conoce un problema con una incgnita similar? Conoce algn teorema o ley que le pueda ser
de utilidad?
3) Si encuentra un problema resuelto, relacionado con el analizado, Se puede utilizar el mtodo
utilizado? Se puede utilizar el resultado? Se requiere introducir alguna modificacin para adaptar la
solucin a la situacin analizada?
4) Se puede enunciar el problema de otra manera, sin alterar la esencia del problema?
5) Se puede resolver algn problema relacionado con el problema propuesto? Se utilizan todos los
datos y las condiciones en la solucin?
EJECUCIN DEL PLAN
Al ejecutar el plan se debe verificar la veracidad de cada paso, bien sea por una demostracin formal,
o porque la experiencia o la intuicin nos lo indique.
EXAMINAR LA SOLUCIN OBTENIDA.
Una vez se obtiene la solucin, ayuda a la visin retrospectiva del problema examinar las siguientes
preguntas: se puede verificar el resultado?, se puede verificar el razonamiento? Se puede
obtener el resultado de un modo distinto? Se puede utilizar el resultado o el mtodo para resolver
algn otro problema?
12 R/=
Segn Newton en su Aritmtica Universal: Para resolver problemas referentes a nmeros o
relaciones abstractas de cantidades, basta con traducir dicho problema de la lengua inglesa o
cualquier otra lengua al idioma algebraico
Espaol
Un comerciante tena una
determinada suma de dinero
El primer ao gast 100 dlares
Aumento el resto con un tercio
de este
Al ao siguiente volvi a gastar
100 dlares
Y aument la suma restante en
un tercio de ella
El tercer ao gast de nuevo 100
dlares
Despus que hubo agregado su
tercera parte

Idioma algebraico
x

El capital lleg al doble del inicial

(64x-14800)/27 =2x

Cul es el capital inicial?

x=1480 dlares.

x-100
(x-100)+(x-100)/3=(4x-400)/3
(4x-400)/3 - 100
(4x -700)/3 +(4x -700)/9=(16x2800)/9
(16x-2800)/9 -100=(16x-3700)/9
(16x-3700)/9
+(16x3700)/27=(64x-14800)/27

En estos problemas generalmente la solucin de la ecuacin es la parte ms fcil de la resolucin.

13 R/=

a)
COMPRENSIN DEL PROBLEMA
Entiende todas las palabras involucradas en el problema?
Qu es un paraleleppedo?
es un slido limitado por seis paralelogramos, cuyas caras opuestas son iguales y paralelas.
Puede dar un ejemplo prctico de un paraleleppedo?
el saln de clases.
Qu es la diagonal de un paraleleppedo?
es el segmento rectilneo entre dos vrtices que se encuentran en planos perpendiculares, de
paralelogramos opuestos.
Puede dibujar un paraleleppedo y su diagonal?
Separacin de las principales partes del problema
Cul es la incgnita?
la longitud de la diagonal de un paraleleppedo
Cules son los datos?
la longitud, el ancho y la altura del paraleleppedo.
Cul es la condicin?
qu el paraleleppedo sea rectangular.
Introducir una notacin adecuada.
Se acostumbra utilizar para las incgnitas letras minsculas de las ltimas del alfabeto: w, x, y, z.
Para los datos se utilizan las primeras letras del alfabeto: a, b, c, d, e, etc., que se relacionen con la
naturaleza del dato.
En la situacin que se estudia, se asignan: la letra x para la incgnita longitud de la diagonal del
paraleleppedo para el ancho la letra a, para la longitud l y para la altura h
Es posible dibujar una figura relacionada con el problema donde se muestren la incgnita y los
datos?
Es posible satisfacer la condicin? Es suficiente la condicin para determinar la incgnita? :
En un paraleleppedo rectangular al definir a, l, h queda determinada la diagonal.
CONCEPCIN DE UN PLAN
1) Se puede enunciar el problema de forma diferente?
Si:Determinar la diagonal del saln de clases
2) Conoce algn problema relacionado?
De la observacin cuidadosa de la figura relacionada con el problema, se puede visualizar que la
diagonal(x) es parte del tringulo rectngulo 1-2-3, rectngulo en el vrtice 3, porque el segmento
rectilneo 1-3(y) es perpendicular al segmento 2-3(h), ya que pertenecen a planos perpendiculares,

por la definicin del paraleleppedo rectangular. Un problema relacionado es el de obtener la

hipotenusa de un tringulo rectngulo conociendo los catetos.
3) Se puede utilizar algn teorema conocido?
Si. El teorema de Pitgoras.
Por lo anterior, el plan es determinar la hipotenusa del tringulo rectngulo 1-2-3.
EJECUCIN DEL PLAN.
Aplicando el teorema de Pitgoras al tringulo 1-2-3, se obtiene:
(2.01)Para determinar la nueva incgnita y se aplica el teorema de Pitgoras al tringulo rectngulo 14-3, rectngulo en el vrtice 4
(2.02)Sustituyendo la ecuacin (2.02) en (2.01) y extrayendo la raz cuadrada, se obtiene:(2.03)
EXAMINAR LA SOLUCIN OBTENIDA
Se puede verificar el razonamiento?
Si, el fundamento del razonamiento es el teorema de Pitgoras.
Es posible intentar determinar la longitud de la otra diagonal?
Si
El valor de la longitud de la otra diagonal es igual al obtenido?
Si.
El valor obtenido es lgico?
Si
b) COMPRENSIN DEL PROBLEMA
1) Entiende todas las palabras involucradas en el problema?
Qu es velocidad constante?
Un mvil se desplaza a velocidad constante cuando recorre espacios iguales en tiempos iguales.
Puede elaborar un dibujo que describa la situacin planteada?
Si, asuma que para t=0, el hombre se encuentra con ambos trenes y se dibujan las ubicaciones de
los trenes y del hombre para t=0, para t=4 y para t=12
2) Separacin de las principales partes del problema
Cul es la incgnita?
tiempo. El tiempo de diferencia entre la salida o llegada de 2 trenes consecutivos.
Cules son los datos?
los tiempos cuando el hombre se encuentra con los trenes.
Cul es la condicin?
Qu el hombre y los trenes se mueven a velocidad constante
3) Introducir una notacin adecuada.

x=tiempo de diferencia en la salida o llegada de dos trenes consecutivos, en minutos.

Vh = velocidad de desplazamiento del hombre en m/min; Vt =velocidad de desplazamiento del tren en
m/min
4) Es posible dibujar una figura relacionada con el problema donde se muestren la incgnita y los
datos?
Si, se muestra en la figura 2.03. Se dibujan para t=0, la posicin del hombre; la del tren con direccin
de A hacia B al momento de encontrarlo y la del tren que viene inmediatamente atrs. Se dibujan los
mismos elementos para t=12. Para los trenes que vienen en direccin de B hacia A se dibujan los
elementos anteriores para t=0 y t=4
5) Es posible satisfacer la condicin?.Es suficiente la condicin para determinar la incgnita? S
CONCEPCIN DE UN PLAN
1) Se puede enunciar el problema de forma diferente?
Si. determinar las distancias recorridas en 4 y 12 por el tren y el hombre
2) Conoce algn problema relacionado?
problemas de movimiento de objetos con velocidad constante
3) Se puede utilizar alguna frmula conocida?
Si. e=v*t (espacio recorrido por un mvil es el producto de la velocidad por el tiempo
Por lo anterior, el plan es determinar el espacio recorrido por el tren de la direccin AB entre el minuto
0 y el 12, y el espacio recorrido por el tren de la direccin BA entre el minuto 4 y el 8
EJECUCIN DEL PLAN.
Aplicando la ecuacin de e=v*t, para el tren nmero 2 de la direccin de A hacia B entre t=0 y t= 12,
y observando cuidadosamente la figura, se tiene: (2.04)
Aplicando la ecuacin para el tren nmero 2 de la direccin de B hacia A entre t=0 y t= 4, de la figura
se tiene: (2.05)
Resolviendo las ecuaciones 2.04 y 2.05, se obtiene: x=6

EXAMINAR LA SOLUCIN OBTENIDA

De la solucin se deduce, que la velocidad del hombre es la mitad de la velocidad del tren, lo que
implica que la velocidad del tren es muy baja y se puede inferir que la poca en que se propuso este
problema, la tecnologa de los trenes era muy primitiva..