Documentos de Académico
Documentos de Profesional
Documentos de Cultura
MB Unidad 1 2020 PDF
MB Unidad 1 2020 PDF
UNIDADES DE TEORÍA
AÑO 2020
LICENCIATURA EN SISTEMAS DE INFORMACIÓN
Equipo de Cátedra:
Prof. Práctica:
Dr. Prof. Jorge Castro
Prof. Leonel Ganga
Ing. Gustavo Perez
Ing. Victor Huaman
Ayudantes:
Johana Arce
Mariano Perez
Esteban Gil
MATEMÁTICA BÁSICA Unidad 1
INTRODUCCIÓN
La Lógica es la ciencia que estudia el razonamiento pero no desde una perspectiva psicológica sino
que estudia el producto o resultado de la actividad de razonar (por ejemplo, los pasos dados en una
demostración). Por lo tanto, desde nuestro punto de vista, las leyes de la Lógica no son leyes
psicológicas, más bien, son leyes que determinan cuándo ciertas creencias (o suposiciones)
constituyen una buena razón para afirmar una conclusión.
Por otra parte, el deseo de emplear la lógica como herramienta de representación del conocimiento
hace que los lenguajes formales se empleen como modelos (abstracciones) del conocimiento
expresado mediante el lenguaje natural. Cuando se toma esta dirección es necesaria una
simplificación del lenguaje natural, que conduce al uso de lenguajes formales.
LÓGICA DE PROPOSICIONES
Para que la definición de Lógica cobre sentido debemos precisar ciertos conceptos, por ejemplo el
de enunciado.
La Lógica de proposiciones no analiza la estructura de los enunciados: las relaciones entre sujeto y
predicado, sino que es la parte más simple de la Lógica simbólica y se ocupa de los enunciados,
como un todo, y sus relaciones con otros enunciados.
Definición: Una proposición es una frase u oración que afirma o niega algo y de la cual tiene
sentido afirmar que es verdadera o falsa, no ambas cosas a la vez.
Prof. Mg. Estela Torres 1
MATEMÁTICA BÁSICA Unidad 1
Dicho de otro modo, las proposiciones son oraciones que son verdaderas o falsas.
Ejemplos:
Playa de estacionamiento
CONECTORES LÓGICOS
Los conectores más comunes y los símbolos que emplearemos para denotarlos, se indican a
continuación:
Negación. La forma enunciativa P permite simbolizar la proposición “no P”, a partir de otra
cualquiera P.
CLASIFICACIÓN DE PROPOSICIONES
Proposición simple: Es aquella que no contiene conectivos lógicos (no, y, o, entonces, si y sólo si).
Ejemplos:
2) Para cursar como alumno promocional la asignatura Álgebra Lineal, es condición necesaria y
suficiente aprobar el examen final de Matemática Básica. Proposición compuesta.
El proceso de traducción del lenguaje natural al lenguaje formal de la Lógica es complejo y requiere
de mucha práctica, ya que no existen reglas fijas. Dado que en los estados iniciales del diseño de un
sistema informático (ya sea una aplicación de gestión de la información o un sistema experto) las
informaciones sobre el sistema se presentan muchas veces en lenguaje natural no formalizado, el
dominio de las técnicas de traducción es de vital importancia para el informático.
Aunque, como estamos insistiendo, no hay reglas precisas para resolver este problema, podemos
seguir ciertas pautas sencillas:
2. Luego, asignamos una letra enunciativa a cada uno de los enunciados identificados y aplicamos
las normas de escritura abreviada de formas enunciativas.
P: El sucesor de 5 es 6.
Q: El opuesto de 5 es -5.
Formalizamos: P Q
Formalizamos: P Q
USO DE PARÉNTESIS
Cuando una proposición compuesta contiene más de dos proposiciones simples, se debe agrupar las
partes que la componen a fin de evitar ambigüedades, y para ello se utilizan paréntesis, corchetes o
llaves.
Ejemplo: P Q R es una expresión ambigua, pues puede interpretarse de dos formas distintas:
En los siguientes ejemplos traduciremos a forma simbólica algunos enunciados compuestos del
lenguaje natural, con el fin de ir familiarizándonos en la aplicación de los criterios enunciados.
Formalizamos: P ( Q R )
Formalizamos: P Q
3. Si aumenta el dólar o suben las tasas de interés, aumentará la inflación y disminuirá el poder
adquisitivo.
P: Aumenta el dólar
R: Aumentará la inflación.
Formalizamos: ( P Q ) ( R S )
Uno de los objetivos de la Lógica es establecer relaciones de consecuencia lógica entre los
enunciados (proposiciones) que componen un razonamiento o argumento.
Este problema está relacionado con la actividad de determinar el valor de verdad de los enunciados.
Tradicionalmente, la Lógica se ha regido, desde Aristóteles, por el principio de bivalencia, según el
cual “todo enunciado o es verdadero o es falso, pero no ambas cosas a la vez”. Nosotros nos
adherimos a ese principio. Así pues, una proposición podría tomar uno de entre los dos posibles
valores de verdad: V (verdadero) o F (falso). La verdad o falsedad de un enunciado o proposición
compuesto no depende de las relaciones de afinidad entre los enunciados elementales que lo
componen ni de las relaciones de causalidad que puedan existir entre ellos, sino sólo de los valores
de verdad de sus componentes. Por consiguiente, necesitamos definir con claridad el significado de
cada uno de los conectivos los cuales definen las diferentes operaciones lógicas.
Definición: Si una proposición es verdadera su valor de verdad es 1, en caso contrario es 0.
1 si P es verdadera
Simbólicamente V (P) =
0 si P es falsa
TABLAS DE VERDAD
Definición: Tabla de verdad de una proposición es aquella que contiene todos los posibles valores
de verdad de la proposición.
Dadas n proposiciones, ellas pueden ser todas verdaderas, todas falsas o algunas verdaderas y otras
falsas. Cada una de estas posibilidades se llama “caso posible”.
Se puede demostrar que el número de casos posibles para n proposiciones simples es 2n.
El valor de verdad de una proposición compuesta depende de los valores de verdad de las
proposiciones simples que la integran. Si está formada por n proposiciones simples distintas, es
necesario considerar los 2n casos posibles correspondientes. Todos estos se presentan en una tabla
llamada “tabla de verdad” de la proposición compuesta dada.
Primera Columna: De las 2n filas, colocamos en la primera mitad 0 (falso) y 1 (verdadero) en las
restantes.
Ejemplos:
P Q Prop. Comp.
0 0
0 1
1 0
1 1
P Q R Prop. Comp.
0 0 0
0 0 1
0 1 0
0 1 1
1 0 0
1 0 1
1 1 0
1 1 1
OPERACIONES LÓGICAS
El uso de los conectivos lógicos nos permite obtener proposiciones compuestas a partir de
proposiciones simples. Esto significa que se puede operar con proposiciones.
Dada una proposición P se llama “negación de P” a la proposición compuesta “no P”, que se
simboliza P .
P P
0 1
1 0
P Q PQ
0 0 0
0 1 0
1 0 0
1 1 1
P Q PQ
0 0 0
0 1 1
1 0 1
1 1 1
CONDICIONAL
P Q PQ
0 0 1
0 1 1
1 0 0
1 1 1
BICONDICIONAL
P Q PQ
0 0 1
0 1 0
1 0 0
1 1 1
Cuando se utiliza paréntesis, corchetes y llaves, las tablas de verdad se resuelven “de adentro hacia
afuera” (primero los paréntesis, después los corchetes y por último las llaves).
Por otra parte, para evitar un trabajo muy lerdo y tedioso que puede presentarse con proposiciones
compuestas muy extensas, al construir la tabla de verdad colocaremos simplemente la proposición
compuesta dada, debajo de cada proposición los valores de verdad y debajo de cada conectivo los
valores de verdad que vayan resultando, recordando que los valores de verdad se asignan en orden
alfabético.
1) ( P Q ) Q
(P Q) Q
1 1 1 1 0
1 0 0 1 1
0 0 1 0 0
0 0 0 1 1
2) Q ( P Q )
Q (P Q)
1 0 1 0 1
0 1 1 0 0
1 0 0 0 1
0 1 0 1 0
3) { [ ( P ( R S ) ] ( R P ) } P
{[( P (R S )] (R P )} P
1 1 1 0 0 1 1 0 1 0 0
1 1 1 1 1 1 1 0 1 0 0
1 1 0 0 0 1 0 0 1 0 0
1 1 0 0 1 1 0 0 1 0 0
0 0 1 0 0 0 1 0 0 0 1
0 1 1 1 1 1 1 0 0 1 1
0 0 0 0 0 1 0 1 0 1 1
0 0 0 0 1 1 0 1 0 1 1
Observaciones:
1. Si en una proposición se fija los valores de verdad de cada una de las proposiciones simples
que la integran, estaremos en uno de los casos posibles de la tabla de verdad y no será
necesario analizar los demás.
i) ( P Q ) [ ( Q R ) P ]
1 0 0 0 0 1 1 1 0
La proposición compuesta es falsa para los valores de verdad asignados a las proposiciones simples
que la integran.
ii) ( Q ( P R ) ) ( P Q )
0 1 1 1 1 1 1 1 0
La proposición compuesta es verdadera para los valores de verdad asignados a las proposiciones
simples que la integran.
Ejemplos:
1. Si ( P R ) Q es Falsa, determinar el valor de verdad de P, Q y R.
EQUIVALENCIA LÓGICA
En esta sección nos ocupamos de las nociones de equivalencia y tautología que son muy
importantes para mostrar algunas propiedades.
Ejemplos: La proposición
1. P P es una tautología 3. P P es una tautología
2. P P es una contradicción
Ejercicio: Comprobar que las proposiciones del ejemplo anterior son tautologías.
Prof. Mg. Estela Torres 10
MATEMÁTICA BÁSICA Unidad 1
IMPLICACIONES
BIIMPLICACIONES O EQUIVALENCIAS
Ejemplos:
1. ( P Q ) ( Q P )
Para verificar la equivalencia debemos comprobar que el bicondicional es tautológico. Para ello
construimos la tabla de verdad del bicondicional.
(P Q ) ( Q P)
1 0 0 1 0 0 1
1 1 1 1 1 1 1
0 0 0 1 0 0 0
0 0 1 1 1 0 0
Ejercicio: Comprobar que las proposiciones del ejemplo anterior son equivalentes.
De acuerdo a la anterior definición podemos decir que las proposiciones P y Q, son lógicamente
equivalentes si y sólo si tienen los mismos valores de verdad. Esta visión alternativa de equivalencia
lógica tiene implicaciones prácticas porque nos indica que, para comprobar que dos proposiciones P
y Q, son lógicamente equivalentes basta con:
Observaciones:
1) En el caso que comparemos las tablas de verdad, debemos tener la precaución de asignar, en
ambas tablas y para cada caso posible, el mismo valor de verdad a una misma proposición.
2) Todas las tautologías son equivalentes entre sí, cualquiera sea la cantidad de proposiciones que la
integren. Lo mismo sucede con las contradicciones.
1. LEYES DE DE MORGAN
Negación de la conjunción: P Q P Q
Negación de la disyunción: P Q P Q
Ejemplos
2. P( )P( )
2. CONMUTATIVA
De la conjunción: P Q Q P
De la disyunción: P Q Q P
Del bicondicional: P Q Q P
Ejemplos
1. S ( P ) S ( P)
2. ( A B ) ( C A ) ( C A ) ( A B )
3. ASOCIATIVA
De la conjunción: ( P Q ) R P ( Q R )
De la disyunción: ( P Q ) R P ( Q R )
Del bicondicional: ( P Q ) R P ( Q R )
Ejemplos
1. ( S Q) ( ) Q
2. ( R S) R(S )
4. IDEMPOTENCIA
De la conjunción: P P P
De la disyunción: P P P
Ejemplos
1. ( Q Q) Q
2. ( R S) ( R S) R S
5. DISTRIBUTIVA
Ejemplos
2. ( R S ) (R )(S )
6. ABSORCION
P(PQ) P
P(PQ) P
Ejemplos
1. ( P Q ) [( P Q ) ] P Q
2. ( R ) [ ( A B ) ( R ) ] R
7. INVOLUCIÓN
P P
REDUCCIÓN DE PROPOSICIONES
1) Ta P P
2) Ta P Ta
3) Co P Co
4) Co P P
1. R Q R
R Q R (R Q) R DEM R Q R CONM,
(Q
R ) R Q R R Q R
* * * * ASOC * IDEMP
2. U U M F M F
U U M F M F
U U M F M F U U M F M F
* * * ABS
U U M F U U M F Ta M F Ta F F
ABS
* ASOC
*
TA TA TA
3. Q S S P S
Q S S P S Q S S P S Q S S P S
Q S S P S
* DE M * * DE M
Q S S P S Q S S S
* ABS * ABS
4. Q (Q P) Q (Q P)
Prof. Mg. Estela Torres 14
MATEMÁTICA BÁSICA Unidad 1
Q (Q P) Q (Q P)
Q (Q P) Q (Q P)
Q (Q P) Q Q P Q Q Q P Q Q (Q P)
(*) De M. * De M.
Ta Ta * Co
Q P Co (Q P) Q P (Q P) Q P Q P Q P
Co Co * ASOC ABS
{ P1 , P2 , … , Pn } C ; P1
P2
...
Pn
C
Esto se lee: “Del conjunto de las premisas se deduce la conclusión”.
Ejemplos:
1. { , P S } P
Premisas
P1:
P2: P S
Conclusión: P
2. { A, A R , S} S
Premisas
P1: A
Prof. Mg. Estela Torres 15
MATEMÁTICA BÁSICA Unidad 1
P2: A R
P3: S
Conclusión: S
Ejemplos:
1. { , P S } P
Premisas
P1:
P2: P S
Conclusión: P
Q : Bajo de peso.
El razonamiento es de la forma: { P Q , P } Q
Premisas
P1: P Q
P2: P
Conclusión: Q
A continuación se construye el condicional asociado al razonamiento que tiene como antecedente la
conjunción de las premisas y como consecuente la conclusión:
[ ( P Q ) P ] Q
Asignamos el valor 0 a la conclusión y vemos si podemos asignar el valor 1 a la conjunción de las
premisas.
[ ( P Q ) P ] Q
0 1 1 1 0
1
Podemos asignar valor 1 a la conjunción de las premisas. Luego el razonamiento no es válido.
3. { A, A R , S} S
El razonamiento es de la forma: { P Q, Q R, P } R
1 0
REGLAS DE INFERENCIA
Es decir, una regla de inferencia es una ley o esquema de razonamiento que nos permite, a partir de
fórmulas ya establecidas, extraer una fórmula nueva. Podemos entender una regla de inferencia
como un razonamiento válido por el cual, de una o más fórmulas ya deducidas, se puede obtener
otra. O bien esta última es consecuencia lógica inmediata de las anteriores. En este apartado
Prof. Mg. Estela Torres 18
MATEMÁTICA BÁSICA Unidad 1
estudiamos las reglas de inferencia básicas, que forman el conjunto mínimo de reglas de inferencia
que se necesitan emplear en la construcción de cualquier deducción.
1- SIMPLIFICACIÓN (S.)
“Si la conjunción de dos proposiciones es verdadera, entonces ambas proposiciones los son.”
1. { P ( Q R ) } …………..
Si aplicamos la regla de inferencia Simplificación, solamente podemos dar las siguientes respuestas:
i. {P(QR)} P
ii. {P(QR)} (QR)
2. { ( A B ) ( B ) } ………….
Si aplicamos la regla de inferencia Simplificación, solamente podemos dar las siguientes respuestas:
i. {(AB)(B )} (AB)
ii. {(AB)(B )} (B )
2- ADICIÓN (Ad.)
“Si una proposición es verdadera entonces es verdadera la disyunción de ella con cualquier
otra.”
1. { P } …………..
i. {P} [P(AB)]
ii. {P} [P(R )]
Ejercicio: ¿Es posible deducir otras conclusiones si aplicamos la regla de inferencia Adición? Si su
respuesta es afirmativa, escriba algunas de ellas.
2. { A B } ………….
i. {AB} [(AB) ]
ii. {AB} [ (A B ) ( R)]
Ejercicio: ¿Es posible deducir otras conclusiones si aplicamos la regla de inferencia Adición? Si su
respuesta es afirmativa, escriba algunas de ellas.
1. { P Q , P } …………..
{P Q,P} Q
2. { ( A B ) ( C ), A B } …………..
{(AB)(C ), A B } (C )
1. { P Q , Q } …………..
{ P Q, Q } P,
o bien { P Q , Q } P
2. { ( A B ) ( C B ), } …………..
{ ( A B ) ( C B ), } ,
o bien { ( A B ) ( C B ), } ( )
“Si la disyunción de dos proposiciones es verdadera y una de las proposiciones es falsa entonces
la otra proposición es verdadera.”
1. { P Q , Q } …………..
{ P Q,Q} P
2. { ( A B ) ( C B ), } …………..
Ahora nos ocuparemos de diferentes estrategias para demostrar la validez de un razonamiento. Por
lo general los razonamientos válidos en Matemática se llaman teoremas. Un teorema es un
enunciado, llamado conclusión o tesis (T), que puede probarse a partir de supuestos iniciales o
hipótesis (H). Supuestos o hipótesis de un teorema son los enunciados que no se han deducido o
justificado previamente, es decir, las premisas iniciales. Así definido, un teorema no es otra cosa
más que un razonamiento para el cual se quiere establecer la relación de consecuencia lógica
existente entre la conclusión y las premisas. A continuación daremos una revisión de algunas de sus
técnicas o pruebas de demostración formal que serán de gran utilidad para nuestros fines.
Para realizar las demostraciones utilizaremos una tabla con dos columnas. En la primera
colocaremos las proposiciones verdaderas y en la segunda las razones por las cuales son verdaderas.
Prof. Mg. Estela Torres 21
MATEMÁTICA BÁSICA Unidad 1
A) MÉTODO DIRECTO ( H T )
Partimos de la verdad de las premisas o hipótesis y debemos llegar a la verdad de la conclusión o
tesis.
En el método directo mostramos la verdad de la tesis dando una secuencia de pequeños pasos a
partir de las premisas (supuestos o hipótesis del razonamiento que se está demostrando). En cada
uno de esos pasos se pueden utilizar las premisas, axiomas relativos a la teoría, reglas de inferencia
y equivalencias de proposiciones. Es decir, se comienza la prueba suponiendo que el antecedente H
es verdadero y se dan pasos de deducción hasta probar que se cumple el consecuente T. Una vez
hecho esto se considera que la implicación está probada, ya que antes de comenzar con la prueba de
demostración formal, analizamos si el condicional asociado es tautológico de modo que no puede
darse la combinación de un antecedente verdadero y un consecuente falso.
Ejemplos:
1. { A, A R , S} S
En un ejemplo anterior hemos analizado, aplicando el método del condicional asociado, que este
razonamiento es válido.
El razonamiento es de la forma: { P Q, Q R, P } R
En un ejemplo anterior hemos analizado, aplicando el método del condicional asociado, que este
razonamiento es válido.
Prof. Mg. Estela Torres 22
MATEMÁTICA BÁSICA Unidad 1
P : Patricia es tu abogada.
Q : Te declararon inocente.
El razonamiento es de la forma: { P Q , Q R , R} P
Ejercicio: Probar por el método del condicional asociado que este razonamiento es válido.
2. Q R Premisa
3. R Premisa
S.D. 2 y 3
4. Q
5. P Conclusión M.T. 1 y 4
4. { A, A ( P R ), S} S
Ejercicio: Probar por el método del condicional asociado que este razonamiento es válido.
4. P R M.P. 1 y 2
5. P S. 4
6. R S. 4
7. S Conclusión S.D. 3 y 6
B) MÉTODOS INDIRECTOS
El Método del Contrarrecíproco consiste en negar la tesis y a partir de allí deducir, mediante la
aplicación de premisas, propiedades y reglas de inferencia la negación de alguna hipótesis.
En este curso no aplicaremos este método para demostrar formalmente un razonamiento válido.
2. A partir de esta suposición y utilizando la verdad de las hipótesis, se obtiene una contradicción
mediante el uso de reglas de inferencia y equivalencias. La contradicción puede consistir en derivar
la negación de alguna premisa, o bien deducir en una proposición y la negación.
3. Se rechaza la negación de la tesis o conclusión en vista de que ha sido posible llegar a una
contradicción.
Simbólicamente: ( H T ) Co
1 0 0
De donde ( H T ) debe ser falsa. Como H es verdadera entonces T es falsa y por lo tanto T es
verdadera. Luego como partimos de hipótesis verdadera y llegamos a tesis verdadera, el
razonamiento es válido.
1. { A, A R , S} S
El razonamiento es de la forma: { P Q, Q R, P } R
El razonamiento es de la forma: { P Q , Q R , R} P
4. R Premisa
5. Q M.P. 1 y 2
6. R S.D. 3 y 5
7. R Contradicción Conjunción 4 y 6
4. { A, A ( P R ), S} S
Ejemplos: Demostremos los siguiente razonamientos válidos aplicando Método Directo y Método
de Reducción al Absurdo.
1. { E B, E D, } B
2. { A, ( A C ) B, }
4. A C Ad. 1 4. Premisa
5. B M.P. 2 y 4 6. S.D. 1 y 4
7. S.D. 3 y 5 8. M.T. 3 y 6
9. Conjunción 7 y 8
10. S. 9
11. A Co Conjunción 2 y 10
3. { P Q, ( P R ) T, R } (TQ)
Este razonamiento no se puede demostrar aplicando el método directo ya que no posee premisas
simples ni premisas conjuntivas. Por lo tanto, sólo puede demostrarse por Reducción al Absurdo.
6. S. 1
7. Q S. 1
8. P S.D. 2
9. P R Conjunción 4 y 8
10. T M.P. 3 y 9
11. T Contradicción Conjunción 7 y 10