Documentos de Académico
Documentos de Profesional
Documentos de Cultura
CAPÍTULO 2
TÓPICO GENERATIVO: LÓGICA MATEMÁTICA
HILO CONDUCTOR: ¿Cómo incide la adquisición del lenguaje matemático en el desarrollo de las
habilidades comunicativas e interpretativas?
INTRODUCCIÓN
Todas las ciencias están basadas en principios filosóficos. Uno de los principios en que se basa la
matemática es la lógica ya que ayuda a resolver muchos porqués y constituye a clarificar las
denominaciones de los razonamientos. Por lo tanto, examinemos, entonces, los componentes de los
raciocinios, es decir, las proposiciones.
Pero, antes de empezar el desarrollo de este tema, el pensamiento: la lógica matemática; debemos
entender que la inteligencia es cuestión tanto de disponer de buena cantidad y buena calidad de
instrumentos de Conocimiento como de dominar las operaciones intelectuales. Cuando falla alguno de
ambos componentes falla la mitad de la inteligencia. Vale decir que tanto los Instrumentos de
conocimiento como las Operaciones intelectuales son APREHENDIDOS, adquiridos en el trajinar
intelectual de la persona, no vienen preinstalados en el cerebro humano, se concluye entonces que la
inteligencia es aprendida. En el aprehender a ser inteligente el papel crucial lo juegan la familia y la
escuela. Estas dos instituciones o bien potencian o bien frenan el crecimiento intelectual. Entonces,
¿Cómo construimos la inteligencia?.
Los lógicos consideran importante indicar que cuando el sujeto se une al predicado mediante el verbo
ser, recibe el nombre de cópula, así mismo indican que a las proposiciones se las nombra o se escriben S
es P donde S representa al sujeto, y P al predicado, y que actualmente cada proposición puede ser
remplazada por letras a, b, c, ó expresarlas con letras y subíndices ejemplo: P1, P2, P3.
Lógica Matemática Manuel Alba
Tarea: 1: Consulte los datos biográficos de los filósofos griegos: Sócrates, Platón y Aristóteles, según
los datos obtenidos, cite cinco proposiciones del pensamiento filosófico o de la obra del personaje
investigado, sepárelas en sujeto y predicado, utilice hoja de papel Bonn (el trabajo debe estar realizado
en computador).
La palabra lógica se deriva de la palabra griega Logos (λογοσ) que significa razonamiento o discurso.
Lógica es la ciencia que estudia la estructura correcta del razonamiento deductivo (es aquel en el cual la
conclusión se deriva absolutamente necesaria de sus premisas: va de lo PARTICULAR a lo
UNIVERSAL).
1. 2. IMPORTANCIA DE LA LÓGICA
La Lógica es la ciencia de las ciencias. Es el elemento de las ciencias y, sobre todo, de la filosofía. Es un
excelente medio para configurar la mente, produciendo hábitos de claridad, precisión, rigor y exactitud.
Aunque todo hombre tiene una lógica natural, requiere sin embargo, el conocimiento de la Lógica
Científica, pues la mente humana cae fácilmente en el error y necesita de una ayuda para evitarlo. La
mente humana es como un caos que necesita reducirse al orden, si quiere ser eficaz en el estudio y en el
trabajo organizador. Por lo tanto, el estudio de esta asignatura le permitirá razonar, utilizando un lenguaje
simbólico y a su vez aplicarlo a otras asignaturas como podrá observarlo posteriormente.
1. 3. DIVISIÓN DE LA LÓGICA.
Fue Aristóteles ( 384- 322 )a.C, el verdadero fundador de la lógica formal. Sus escritos fueron agrupados
en una obra general llamada Organon o instrumento, la misma que comprende :
George Boole (1847 ) inicia la llamada Lógica Matemática que se vale de diversas notaciones mediante
una representación simbólica para expresar la abstracción lógica libre de todo contenido y evitar las
impresiones del lenguaje común.
1. 5. CONCEPTOS BÁSICOS
1. Axiomas: Son afirmaciones que se aceptan sin demostraciones, porque son evidentes en sí mismos.
Ejemplo: Si a cantidades iguales se les añade algo igual siguen siendo iguales.
Lógica Matemática Manuel Alba
2. Postulados: Son afirmaciones que se aceptan sin demostraciones, pero que no son tan evidentes.
Ejemplo: Existen infinitos puntos.
3. Teoremas: Son enunciados que se demuestran de los axiomas y las reglas.
1. Animal
2. De cuatro patas
3. Mamífero
4. Carnívoro
5. La madre cuida de sus crías
6. Es más sociable que el gato
7. Se lo considera amigo del hombre.
1. Objeto
2. Generalmente de cuatro patas
3. Generalmente usado para comer
4. Regularmente de madera
5. Objeto artificial elaborado por los hombre
6. Su aparición es muy antigua.
Ahora bien, algunas de dichas cualidades resultan esenciales. O sea, siempre tienen que estar presentes
para que exista el concepto (por ejemplo PERRO, siempre corresponde a un animal, y siempre es
mamífero). Ser animal y ser mamífero resultan cualidades esenciales al concepto PERRO. Otras
resultan circunstanciales, secundarias. Como el ser la mesa de cuatro patas, o el ser de madera.
Entonces al nombrar las cualidades esenciales de un concepto estamos elaborando una definición.
1. 7. LEYES DE LA DEFINICIÓN.
Tarea: 2
1. Seleccione cinco sujetos (personas, animales o cosas) y para cada una de ellas elabore cinco
predicados. Luego seleccione los predicados esenciales y formule una definición.
2. Realice cinco predicados para el sujeto LIBERTAD, luego seleccione los predicados esenciales y
formule una definición.
3. ¿Por qué la lógica es una ciencia que le enseña a razonar con exactitud?
4. ¿Cuál es el alcance del estudio de la lógica?
5. ¿Cuál es el lenguaje utilizado en la lógica simbólica?
1. 8. OPERADORES LÓGICOS
Proposición: Es un enunciado que tiene un valor de verdad (verdadero o falso pero no ambos a la vez).
No son proposiciones aquellas expresiones que indican pregunta, un orden o una exclamación. (En
nuestro estudio no haremos distinciones entre enunciados y proposiciones, en adelante los llamaremos
únicamente PROPOSICIONES: Ejemplo:
1. 9. CLASES DE PROPOSICIONES:
1.9.1 Proposición simple o atómica: Es aquella proposición que está formada por un sujeto y un solo
predicado, se puede decir que es aquella que no puede descomponerse en otras proposiciones más
sencillas. Ejemplos:
1.9.2 Proposición compuesta o molecular: Es aquel enunciado que está formado por dos o más
proposiciones simples, éstas deben estar unidas por conectivos lógicos (están con negrilla). Ejemplo:
Tarea: 3
Señale cada proposición simple o atómica con una A y cada proposición compuesta o molecular con una
M, y encierre en una bomba el conectivo lógico.
Sirven para unir proposiciones simples o atómicas y así obtener una proposición molecular o compuesta,
además sirven para enlazar dos o más proposiciones moleculares y así formar proposiciones más
complejas. De los elementos llamados conectivos lógicos suelen considerarse cinco (ver cuadro), los
mismos que están representados simbólicamente por sus signos, llamados conectores o conectivos los
cuales permiten construir nuevas proposiciones mediante las operaciones lógicas, dando lugar a la
formación de representaciones simbólicas, utilizando signos de agrupación para definir el alcance de
cada conectivo.
no es cierto que,
no es el caso que,
es falso que.
Nota: “Dada una proposición P, llamamos negación de P a otra proposición que se caracteriza
por ser falsa cuando P es verdadera y viceversa”. Ejemplos:
PROPOSICIÓN NEGACIÓN
Tarea: 4
Tomando como base el tema de “Los Derechos Humanos”, realice 10 proposiciones ( P ), luego para
cada una de ellas efectúe su negación).
Notación: Por lo general las proposiciones atómicas son cortas, se las representan por letras
mayúsculas tales como: P, Q, R, S, etc. Ejemplo:
Ejemplo::
Tabla de Verdad: El valor de verdad de las operaciones lógicas pueden expresarse a través de tablas, así
por ejemplo la tabla de verdad de la negación es:
P ~P
V F
F V
Nota: El valor de verdad de la negación de una proposición es siempre el opuesto del valor de
verdad de la proposición.
Tarea: 5
Escriba 10 proposiciones, cinco con un valor de verdad “Verdadero” y cinco con un valor de verdad
“Falso”. Escriba en símbolos el valor de verdad de cada una: así, por ejemplo: V (P) = V ; V ( Q) = F,
respectivamente utilice el tema “La delincuencia juvenil”.
Un padre dice a su hijo: Una vez que te gradúes TE COMPRARÉ UNA BICICLETA y TE
LLEVARÉ DE PASEO.
En qué literal el padre ha cumplido su promesa?, obviamente habrá cumplido su promesa cuando
haya cumplido con los dos ofrecimientos (a), porque dijo ( y).
Papá me compra una bicicleta Papá me lleva de paseo Papá me compra una bicicleta
y me lleva de paseo
V V V
V F F
F V F
F F F
Nota: En consecuencia, una conjunción se caracteriza por ser verdadera únicamente cuando las
dos proposiciones son verdaderas, en cualquier otro caso serán falsas.
P Q P∧Q
V V V
V F F
F V F
F F F
Tarea: 6
Construya 5 pares de proposiciones y únalas con el conectivo “y”, cuyo valor de verdad sea
VERDADERO, utilice el tema “ La Virgen de la Bordadita”. Por Ejemplo:
1.10.3 DISYUNCIÓN: Es una operación binaria, actúa sobre dos proposiciones, tiene cierta analogía
con la Unión de Conjuntos, si recordamos la unión de dos conjuntos está formada por los
elementos que pertenecen al menos a uno de los dos conjuntos y la Disyunción de dos
proposiciones es verdadera si lo es al menos una de las dos proposiciones.
Ejemplo: Un padre dice a su hijo: Una vez que te gradúes TE COMPRARÉ UNA BICICLETA
o TE LLEVARÉ DE PASEO.
Papá me compra una bicicleta Papá me lleva de paseo Papá me compra una bicicleta
o me lleva de paseo
V V V
V F V
F V V
F F F
P Q (P ∨ Q)
V V V
V F V
F V V
F F F
Nota: La Disyunción se caracteriza por ser verdadero cuando lo sea, o bien a “P “ o a “Q”, o
ambas a la vez, por lo tanto, la proposición Disyunción será falsa cuando “P” y “Q” sean falsas
a la vez.
Lógica Matemática Manuel Alba
Tarea: 7
Escriba 5 pares de proposiciones y únalas con el conectivo lógico “o” ( v ), anote el valor de verdad de
cada proposición y luego el valor de verdad de la proposición “Disyunción”. Utilice un tema de su
elección; como el ejemplo citado anteriormente:
Nota: La tabla nos indica que la implicación es verdadera cuando las dos proposiciones son
verdaderas o falsas y también es verdadera cuando el antecedente “P” es falso y el consecuente
“Q” es verdadero, pero, es falsa únicamente cuando la hipótesis “P“ es verdadera y la tesis “Q”
es falsa.
Para expresar el condicional se puede utilizar otros términos tales como: porque, puesto que, si,
cuando, cada vez.
Tarea: 8
Construya 5 pares de proposiciones y únalas con el conectivo lógico “si ...entonces”. Utilice el tema “El
colegio Mayor del Rosario en el momento actual”, en cada proposición escriba el valor de verdad de
igual forma proceda con el condicional. Por ejemplo:
Si San Fray Cristóbal de Torres optó por la educación entonces La obra de la Universidad sigue sus
pasos V(P ⇒ Q) = V
Si Fray Cristóbal de Torres nace en España entonces es el cuarto hijo de una familia opulenta
Lógica Matemática Manuel Alba
V(P ⇒ Q) = F
Si Fray Cristóbal de Torres fue un hombre irresponsable entonces vivió para servir solamente a la gente
rica. V( P ⇒ Q ) = V
Ejemplo:
Tarea 9:
Ejemplo No. 1:
Ejemplo No. 2
Si los Derechos Humanos son violados por el aborto entonces el aborto provoca una violación a
los Derechos Humanos.
Ejemplo:
Tarea: 10
Ejemplo No. 1:
Ejemplo No. 2:
Ejemplo:
Tarea: 11
Construya 10 proposiciones Contrarrecíprocas, utilice el tema “La corrupción”. Así como los ejemplos
dados a continuación:
Ejemplo No. 1:
Ejemplo No. 2:
Ejemplo No. 1:
Por lo tanto queda: María comprará una casa si y sólo si obtiene un préstamo del Banco
Davivienda V(P⇔Q)= V
La proposición bicondicional propuesta se entiende como: “Si María compra una casa, entonces obtiene
un préstamo del Banco Davivienda, y Si obtiene un préstamo del Banco Davivienda entonces compra
una casa.
P Q P⇔Q
V V V
V F F
F V F
F F V
Nota: En consecuencia una bicondicional es verdadera cuando sus componentes tienen el mismo
valor de verdad.
Lógica Matemática Manuel Alba
Tarea: 12
Construya 10 proposiciones y escriba el valor de verdad de cada una, luego únalas con el conectivo
lógico “si y sólo si”, y finalmente escriba el valor de verdad de la proposición bicondicional. Por favor
utilice el tema “La pobreza en Colombia”.
Ejemplo No. 2:
Por lo tanto queda: Las ciudades se llenarán de campesinos que no tendrán donde vivir si y sólo
si los campesinos abandonan el campo por falta de apoyo gubernamental. V(P⇔Q)=V
Ejemplo No. 3:
Por lo tanto queda: La población pobre de Colombia poseerá una casa confortable si y sólo si
obtiene un crédito en el banco para invertir. V ( P ⇔ Q) = V
Ejemplo No. 4:
Por lo tanto queda: El déficit de vivienda será alarmante en el siglo XXI , si y sólo si, el Estado
Colombiano actualmente toma políticas de vivienda adecuadas. V ( P ⇔ Q) = F
1.10.6 DISYUNCIÓN EXCLUSIVA: Es falsa cuando p y q son iguales, en los casos restantes es
verdadera.
P Q P∨Q
V V F
V F V
F V V
F F F
1.10.7 CONJUNCIÓN NEGATIVA: Es verdadera cuando p y q son falsos, en los casos restantes es
falsa.
P Q P↓Q
V V F
V F F
F V F
F F V
Lógica Matemática Manuel Alba
1. Hace frío P
2. No hace frío ~P
3. Hace frío y está lloviendo P∧Q
4. No es verdad que no está lloviendo ~~P
5. Si hace frío y no está lloviendo, entonces hace frío (P∧~Q)⇒P
6. Está lloviendo Q
Del lenguaje simbólico a lenguaje común: Consiste en expresar a través de enunciados las
proposiciones escritas en lenguaje simbólico. Ejemplos: Sea P “Hace Frío” y Q “Está
lloviendo”; escriba con enunciados las siguientes proposiciones escritas en símbolos.
1. P Hace frío
2. Q Está lloviendo
3. P∨Q Hace frío o está lloviendo
4. Q⇔P Esta lloviendo si y solo si, hace frío
5. P⇒~Q Si hace frío entonces no está lloviendo
6. (P∧~Q)⇒P Si ha frío y no está lloviendo entonces hace frío
1.12 USO DE LOS SIGNOS DE AGRUPACIÓN: Las proposiciones compuestas deben ser escritas
utilizando en forma correcta los signos de puntuación, los mismos que podrán ser reemplazados
por símbolos de agrupación (paréntesis, llaves, corchetes). Si las proposiciones no tienen,
signos de puntuación ni de agrupación, se podrá indicar el alcance de los operadores lógicos y
al hacerlo se podrá colocar los signos en forma correcta. Ejemplos:
1. 4 + 2 = 6 o 2 + 4 = 6, y 4 + 3 = 7 (P∨ Q)∧ R
2. Si 4 + 5 = 6, entonces 2 + 4 = 6 y 4 + 3 = 6 P⇒(Q∧R)
3. No es verdad que: 4 + 3 = 7 y 2 + 3 = 7 ~(P∧Q)
4. No es verdad que 4 + 3 = 7 y 2 + 3 = 5 ~P∧Q
1.13 ALCANCE DE LOS CONECTORES LÓGICOS: Los signos de agrupación permiten
determinar el alcance de los conectores lógicos, es así que la conjunción y disyunción tienen
igual alcance. La negación es el conectivo de menor jerarquía (alcance), le sigue la conjunción y
disyunción que son de igual valor, los de mayor jerarquía son el condicional y bicondicional.
Ejemplos:
La combinación de las variables y los conectores lógicos o conectivos proposicionales por medio de los
signos de agrupación se denomina esquema molecular, en el cual sólo uno de los operadores es el de
mayor jerarquía.
Tarea: 13: Escriba en lenguaje simbólico las siguientes proposiciones, dada las proposiciones simples
como:
Lógica Matemática Manuel Alba
Nota: La negación de P puede escribirse: 1) El no es alto; 2) El es bajo. Escriba en palabras las siguientes
proposiciones.
1. P ∧ Q 6. ~ (~ P ∨ ~ Q )
2. P ∧ ~ Q 7. ~ P
3. ~ (~ P ∨ Q ) 8. ~ Q
4. ~ P ∧ ~ Q 9. ~ Q ∧ ~ P
5. P ∨ (~ P ∧ Q) 10. P ⇒ Q
Desde aquí en adelante, se recomienda al profesor y a los estudiante, si es posible seguir profundizando
en el estudio de la lógica matemática o si ve conveniente dejar para otro grado más superior porque se
van a encontrar con las técnicas para la construcción de tablas, las tautología y contradicciones,
equivalencia lógica, implicación lógica y las leyes del álgebra de proposiciones. Sin embargo he querido
dejar esta profundización como complemento del capítulo de la lógica matemática.
P ~P
V F
F V
P Q P∧Q P Q P∨Q
V V V V V V
V F F V F V
F V F F V V
F F F F F F
MATEMÁTICAS GRADO SÉPTIMO
P Q P⇒Q P Q P⇔Q
V V V V V V
V F F V F F
F V V F V F
F F V F F V
a) ~P∧Q
P Q ~P ~P∧Q
V V F F
V F F F
F V V V
F F V F
Explicación:
b) ~ (P
( ⇒ ~ Q)
P Q ~Q P⇒~Q ~ (P
( ⇒ ~ Q)
V V F F V
V F V V F
F V F V F
F F V V F
Explicación:
c) ( P ∧ Q ) ⇒ ( P ∨ Q)
P Q P∧Q P∨Q ( P ∧ Q ) ⇒ ( P ∨ Q)
V V V V V
V F F V V
F V F V V
F F F F V
20
MATEMÁTICAS GRADO SÉPTIMO
d) ( P ∧ Q ) ∨ ¬ (Q ⇔ P)
Tarea: 14
¬P∧¬Q 6. ( P ↓ Q ) ∨ (~ P ∨ Q )
1. ~ (~ P ⇔ Q) 7. ~ P ∧ ~ Q
2. P ⇒ (¬ P ↓ Q ) 8. (P ∨ Q) ⇔ ( ~ P ∧ Q)
3. (P ∧ ~ Q) ⇒ (~ P ∨ Q) 9. ¬ (P ⇔ ¬ Q)
4. ~ [ P ⇒ ( P ∨ Q ) ] 10. ~ (P ∨ Q) ∧ ~ ( Q ⇒ P)
5. (~ Q ↓ ~ P ) ⇒ ~ P 11. ( P ∧ Q) ↓ (P ∨ Q)
Un esquema es tautológico cuando los valores de verdad del operador principal son todos verdaderos.
Ejemplo: Si P y Q son proposiciones atómicas distintas, demuestre mediante tablas la Certeza que el
siguiente esquema proposicional es una tautología.
( P ∧ Q) ⇒ (P ⇔ Q)
P Q P∧Q P⇔Q ( P ∧ Q ) ⇒ ( P ⇔ Q)
V V V V V
V F F F V
F V F F V
F F F V V
En consecuencia, usted puede observar que los valores de la última columna son todos
verdaderos, por lo tanto es una tautología. Un esquema A es una contradicción cuando todos los
valores del operador de mayor jerarquía son falsos.
P ~P P∧~P
V F F
F V F
21
MATEMÁTICAS GRADO SÉPTIMO
Ejemplo: Dado que P, Q y R son proposiciones atómicas diferentes, establecer por medio de una tabla de
verdad que se trata de una contradicción o una tautología.
[(~ P ∧ Q) ⇒ ~ R] ⇒ [ R ∧ ~ ( P ∨ ~ Q)]]
3
Número de valores de verdad para cada variable 2 = 8
P Q R ~P ~Q ~R (~ P ∧ Q) ( P ∨ ~ Q) ~ ( P ∨ ~ Q) [ R ∧ ~ ( P ∨ ~ Q)]] [(~
[( P ∧ Q) ⇒ ~ R] [(~
[( P ∧ Q) ⇒ ~ R] ⇒ [ R ∧ ~ ( P ∨ ~ Q)]]
V V V F F F F V F F V F
V V F F F V F V F F V F
V F V F V F F V F F V F
V F F F V V F V F F V F
F V V V F F V F V V F V
F V F V F V V F V F V F
F F V V V F F V F F V F
F F F V V V F V F F V F
Tarea : 15
1. P ∨ ~ (P
( ∧ Q)
2. [(P ∨ ~ Q) ∧ (~
[( ( P)]] ∧ ~ (~
( Q ⇒ P)
3. (P ∧ Q) ⇒ (P
( ∨ Q)
4. [(P
[( ⇒ Q) ∧ ( Q ⇒ R)]] ⇒ ( P ⇒ R)
5. P ⇒ (~
( P ∨ Q)
6. ( P ∧ ¬ Q) ⇒ ¬ Q
Equivalencia: Decimos que dos proposiciones son equivalentes, cuando ambas proposiciones tienen el
mismo valor lógico, es decir, cuando las dos proposiciones tienen la misma tabla de valores de verdad, y
unidas con el conectivo bicondicional (⇔) o ( ≡ ) obtenemos una tautología.
Ejemplo: Determinar si las siguientes proposiciones son equivalentes :
A = ~ P ∧ ~ Q ≡ B = ~ (P
( ∨ Q)
P Q ~P ~Q ~P∧~Q
V V V F F
V F F V F
F V V F F
F F V V V
24
MATEMÁTICAS GRADO SÉPTIMO
P Q (P
( ∨ Q) ~ (P
( ∨ Q)
V V V F
V F V F
F V V F
F F F V
En consecuencia, podemos comparar los valores de verdad de las últimas columnas, las cuales
son iguales, por lo tanto, son lógicamente equivalentes:
A Β A⇔B
V F F
F V F
Tarea 16:
Implicación: Una proposición A implica a B, cuando unidos por el condicional, resulta una tautología.
Se representa A ⇒ B y se lee: A implica a B (B puede o no implicar a A). Ejemplo:
P Q (P ∧ Q)
V V V
V F F
F V F
F F F
P Q ( P ∨ Q)
V V V
V F V
F V V
F F F
25
MATEMÁTICAS GRADO SÉPTIMO
A Β A⇒B
V V V
F V V
F V V
F F V
En consecuencia, hemos obtenido una tautología, por lo que concluimos que si existe implicación lógica
Ejemplos:
Disyunción Conjunción
1. P ∨ P ≡ P P∧P≡ P Idempotencia
2. P ∨ Q ≡ Q ∨ P P∧Q ≡ Q∧P Conmutativa
3. P∨Q ∨R ≡ (P∨ Q) ∨ R ≡ P∨ (Q ∨R) P∧ Q ∧ R ≡ (P ∧ Q) ∧ R ≡ P ∧ (Q ∧ R) Asociativa
4. P∨ (Q ∧ R) ≡ (P∨ Q) ∧ (P ∨ R) P∧ (Q ∨ R) ≡ (P ∧ Q) ∨ (P ∧ R) Distributiva
5. P ∨ V ≡ V P∧V≡ P Identidad
P∨F ≡ P P∧F≡F
6. P ∨ ~P ≡ V P ∧ ~P ≡ F Complemento
7. ~(P ∨ Q) ≡ ~P ∧~Q ~(P ∧ Q) ≡ ~P ∨ ~Q Morgan
8. P ∨ (P ∧ Q) ≡ P P ∧ (P ∨ Q) ≡ P Absorción
26
MATEMÁTICAS GRADO SÉPTIMO
Negación
9. ~ V ≡ F ~F≡ V
10. ~ (~ P) ≡ P Involutiva
11. P → Q ≡ ~ P ∨ Q
12. P ↓ Q ≡ ~ P ∧ ~Q
13. P ↔ Q ≡ (~ P ∨ Q) ∧ (~Q ∨ P)
14. P ∨ Q ≡ (P ∨ Q) ∧ ~(P ∧ Q)
EJERCICIOS RESUELTOS:
1. Simplifique: p→ ~q ∨ p ↔ ~p ∧ q
[p→ (~q ∨ p )]↔ (~p ∧ q)
[~p ∨ (~q ∨ p)]↔ (~p ∧ q)
[~p ∨ ~q ∨ p]↔ (~p ∧ q)
[(∼p ∨ p) ∨ ∼q] ↔ (∼p ∧ q)
V ∨ ~q ↔ (~p ∧ q)
V↔ ~p ∧ q
[~V ∨ ( ∼p ∧ q)] ∧ [~(~p ∧ q) ∨ V]
( F ∨ (~p ∧ q )] ∧ V
(~p ∧ q) ∧ V
~p ∧ q
4. Simplifique: (p ∨ q) ∧ ~q ⇒ p
(p ∧~q) ∨ (q ∧ ~q) → p
(p ∧ ~q) ∨ F → p
(p ∧ ~q) → p
~(p ∧ ~q) ∨ p
~p ∨ q ∨ p
(~p ∨ p) ∨ q
V ∨ q
V
27
MATEMÁTICAS GRADO SÉPTIMO
5. Simplifique: (p → q) ∧ p ⇒ q
(~p ∨ q) ∧ p→ q
(~p ∧ p) ∨ ( q ∧ p) → q
F ∨ ( q ∧ p)→ q
q∧p→q
~(q ∧ p) ∨ q
( ~q ∨ ~p) ∨ q
~q ∨ ~p ∨ q
(~q ∨ q) ∨ ~p
V ∨ ~p
V
Tarea 18:
Simplifique:
a) (p ↓ q) → (~ p ∨ ~ q)
b) (p ∧ ~ q) ∨ (p ∧ q) → ~ p
c) ( p → q) ↔ [(~ p ∧ q) ∧ (p ↓ ~ q)]
d) ( p → q) → (~ q → ~ p)
e) (~ p ∨ ∼q) ↔ [(q ↓ ∼p) → (p ∨ ∼q) ∧ (p → q)]
f) [p ↓ ∼r → q ∨ p ∧ (r → ∼p)] ∨ (q ↓ r) ↓ (p ↓ ∼r)
g) (p ∧ r) ∨ [∼q ↓ r → (∼r ∨ p) ∧ (q ↓ p)]
1. El estudio de la lógica matemática le permite razonar con claridad, con precisión, con rigor y con
exactitud, utilizando un lenguaje ______________________________________________________
2. ¿Cómo se llama lo que permite delimitar, precisar y aclarar las notas esenciales de un concepto?
_________________________________________________________________________________
3. ¿Cómo se llama el enunciado que forma parte de un razonamiento, cuyo valor de verdad sea
verdadero o falso, pero no ambos a la vez? ______________________________________________
4. Cuando dos proposiciones simples están unidas por conectivos lógicos, la proposición es _________
5. Una proposición A implica a B, cuando unidos por un condicional resulta una _________________
6. En el condicional, si el antecedente es V y el consecuente es F el razonamiento es _______________
7. Cuando todos los valores de verdad de la última columna de un esquema molecular A son iguales a
todos los valores de verdad de otro esquema molecular B, las proposiciones A y B son ___________
_____________________________________________________________________________
_____________________________________________________________________________
28
MATEMÁTICAS GRADO SÉPTIMO
⇔ ___________________________ ______________________________
⇒ ___________________________ ______________________________
↓ ___________________________ ______________________________
∨ ___________________________ ______________________________
∨ ___________________________ ______________________________
∧ ___________________________ ______________________________
∼ ___________________________ ______________________________
a. Inversa: __________________________________________
b. Recíproca: __________________________________________
c. Contrarrecíproca: __________________________________________
“Si Pedro no consigue la visa entonces no viajará a los Estados Unidos” ___________________
C. CONTESTE
29
MATEMÁTICAS GRADO SÉPTIMO
10. Realizar la tabla de verdad de los siguientes esquemas moleculares y diga si es una
tautología o una contradicción:
1. (~ Q ∨ ~ P ) ∧ Q
2. ~(~P∧~Q)
3. (Q∨ P)
4. ~Q∧~P
5. ( P ↓ Q ) ∨ (~ P ∧ Q )
6. P ∨ ~ (~ P ∨ ~ Q )
7. Q↓~P
8. ~P∨ P
9. (P↓Q ) ⇒Q
10. ( P ↓ Q ) ∧ (~ P ∨ Q )
11. Sí p: los claveles son rojos, q: las rosas son blancas, r: los lirios son azules, encuentre el
valor de verdad de las siguientes proposiciones.
1. p → (~ q ∨ r) ↔ (~ p∨ q)
2. (p → q) → (r ∨ ~ p)
3. (~ p ↓ r) → (q ∧ ~ r)
4. (~ r ∨ p) → ~(p ∧ q)
5. [(q ↓ p) ↔( ~ p ∧ q)] → ( ~ r ∨ ~ q)
30
MATEMÁTICAS GRADO SÉPTIMO
BIBLIOGRAFÍA
Guzmán Parra y Villalobos Julio, Matemáticas, Editorial Universitaria, pp. 29-30, Chile, 1971.
Gómez Raúl, Matemática Moderna Estructurada, No. 2, NUEVA SERIE, Editorial Norma,
Bogotá - Colombia, 1978.
Muñoz Samuel, , Matemática y Física Nº 1, Enciclopedia estudiantil Educar, pp. 58- 85,
Santafé de Bogotá-Colombia, 1995.
Proaño Viteri, Lógica y Teoría de los conjuntos, pp. 126 -128, Quito, 1995.
Apuntes personales del profesor, Manuel Alba, 1997 – 1999 (Primera Edición).
31
Este texto ha sido impreso
en el Colegio Mayor de Nuestra Señora del Rosario
Bogotá-Colombia, 25 de octubre 2005
32