Está en la página 1de 27

DESARROLLO DEL PENSAMIENTO

LÓGICO, ARITMÉTICO Y ALGEBRAICO


Lógica Matemática Manuel Alba

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?

META DE COMPRENSIÓN: Los estudiantes desarrollarán comprensión al aplicar la lógica


matemática y la teoría de los conjuntos como una herramienta que permita desarrollar el
pensamiento y el lenguaje en el hombre.

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?.

¿QUÉ ES UN PENSAMIENTO? Ayudémonos con un ejemplo: este lápiz es de caucho, lo que


acabamos de anotar es un pensamiento y está formulado a través de una proposición en tal virtud un
pensamiento es una proposición, ahora bien “Este lápiz es de caucho” ¿por qué es una proposición?
Acudiendo a la gramática diremos porque está formada por un Sujeto y un Predicado. Sujeto es de quien
se afirma o se niega algo; predicado es lo que se afirma o se niega del sujeto; si se dijera “De caucho es
este lápiz” la proposición no cambiará para nada, el lápiz continuará siendo el sujeto (S) y de caucho está
hecho el predicado (P), esta propiedad de permutación permite concluir que una proposición no es
idéntica a la frase mediante la cual se expresa como lenguaje, la proposición incumbe o pertenece a la
idea contenida en la frase:

Por lo tanto, Toda afirmación o negación en la cual puedan identificarse un sujeto y un


predicado es una proposición. También, una proposición es una afirmación verdadera
o falsa, pero no ambas a la vez. La verdad o falsedad de una proposición se llama valor
de verdad.

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).

1.1. ¿QUÉ ES LA LÓGICA?

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 :

a. Categorías: Trata sobre los conceptos


b. De la interpretación: Estudio del juicio
c. Analíticos primeros: Trata del silogismo
d. Analíticos segundos: Se refiere a la demostración
e. Tópicos: Estudia la dialéctica.
f. Argumentos sofísticos: Apéndice de los tópicos.

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. 4. ESTRUCTURA LÓGICA DE LAS CIENCIAS.

La estructura lógica de toda disciplina científica debe basarse en:

1. Un conjunto de términos no definidos.


2. Un conjunto de términos definidos, usando los términos no definidos.
3. Axiomas o postulados, formulados en base a los términos no definidos y definidos.
4. Un conjunto de proposiciones, usando los conjuntos anteriores.

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. 6. ¿QUÉ ES LA DEFINICIÓN? Y ¿QUÉ ES EL CONCEPTO?

¿Qué es la Definición? Consiste en delimitar, precisar y aclarar las notas esenciales de un


concepto. En toda definición el sujeto y el predicado tienen la misma extensión. Así, si es que
definimos al hombre como animal racional, a su vez estamos definiendo que todo animal
racional es hombre (permutación).

¿Qué es el Concepto? Es el conjunto de propiedades o de predicados posibles de enunciar


acerca de una clase (sujetos) o de una relación. Por ejemplo:

Clase: PERRO PREDICADOS:

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.

Clase: MESA PREDICADOS:

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.

1. La definición debe convenir a todo lo definido y solamente a todo lo definido.


2. La definición tiene que ser más clara que lo definido.
3. La definición debe ser breve.
4. La definición no debe ser negativa, cuando puede ser positiva.
5. La definición no debe ser tautológica. Quiere decir que el concepto definido no debe aparecer en la
definición.
Lógica Matemática Manuel Alba

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:

Sea los enunciados: P: “Bogotá es la capital de Colombia”


Q: “Bucaramanga es la capital de Colombia”
R: “¡Buenos días!”

P y Q son proposiciones, ya que la una es verdadera y la otra es falsa, respectivamente. R no es


proposición por ser exclamación.

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:

P: Carlos Marx nació en Alemania


Q: Todas las pasiones son ciegas
R: El hombre ha nacido para luchar
T: Los fenómenos físicos son irreversibles.

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:

1. Los inteligentes deliberan y los necios deciden.


2. Si fuera la sirena, entonces es hora de empezar la clase.
3. El alumno participará en clase si y solo sí está realmente deseoso.
4. Luis estudió Inglés en un instituto o vivió en Estados Unidos.

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.

1. Si hay crecimiento urbano entonces afecta la disponibilidad de suelos fértiles ( )


2. El parque Nacional pertenece a Bogotá ( )
3. Si Juan es un buen jugador, entonces participará para el campeonato ( )
Lógica Matemática Manuel Alba

4. Si María sale con su novio entonces es feliz ( )


5. Los fluros carbonos destruyen el ozono ( )
6. Si los aeropuertos siguen ubicados en la ciudad entonces siempre serán un peligro para la gente ( )
7. Nosotros los ciudadanos somos culpables de la contaminación ( )
8. Este chico sabía la materia o copió el examen ( )
9. Si Einstein dice la verdad, entonces la Teoría de la Relatividad es exacta ( )

1. 10. CONECTIVOS LOGICOS

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.

REPRESENTACIÓN DENOTACIÓN SÍMBOLO


No Negación ~ó¬
Y Conjunción ∧ ó.
O Disyunción ∨ó+
si..., entonces .… Condicional ⇒,→
... si y sólo si ... Bicondicional ⇔,↔
Pero no ambos Disyunción Exclusiva ∨
ni, ni. Conjunción Negativa ↓
1.10.1 NEGACIÓN: Toda proposición puede negarse con la palabra no, su operador o conectivo es
(¬ ó ~) puede utilizarse otros términos tales como:

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

P = Hoy es sábado P = Hoy no es sábado


P=2+3=5 P=2+3≠5
P = El triángulo tiene tres lados P = El triángulo no tiene tres lados
P = Iré a la fiesta P = No es cierto que iré a la fiesta
P = París está en Francia P = Es falso que París está en Francia
P = París no está en Francia.
P = París está en Inglaterra P = Es falso que París está en Inglaterra
P = París no está en Inglaterra.
P=2+2=4 P = Es falso que 2 + 2 = 4 ó P = 2 + 2 ≠ 4
Lógica Matemática Manuel Alba

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).

ALGO MÁS SOBRE LAS PROPOSICIONES

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:

P = Andrés es primo de Karina.


Q = Karina es prima de Gabriela.

El valor de verdad de una proposición:

• Si una proposición P es verdadera se dice que su validez o valor de verdad es V, se escribe V ( P ) =


V y se lee: “Valor de verdad de P es igual a V”
• Si una proposición P es falsa se dice que su validez o valor de verdad es F, se escribe V ( P ) = F y
se lee: “Valor de verdad de P es igual a F”

Ejemplo::

Proposiciones Valor de verdad


P: Los planetas describen alrededor del sol una trayectoria elíptica V (P) = V
Q: Los planetas tienen luz propia V ( Q) = F
R: Medida es la cantidad que nos indica el resultado de una medición V ( R) = V

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”.

1.10.2 CONJUNCIÓN: ( P ∧ Q ) o ( P y Q ). Dadas las proposiciones “P” y “Q”, llamamos


conjunción de P y Q a la proposición que se obtiene de unir las proposiciones P y Q con el
conectivo “y”, se designa con P ∧ Q, que se lee “P y Q”. ( la conjunción copulativa “y “ puede
ser reemplazada por otras palabras tales como: pero, sin embargo, a la vez, además, no
obstante). Ejemplo:
Lógica Matemática Manuel Alba

Un padre dice a su hijo: Una vez que te gradúes TE COMPRARÉ UNA BICICLETA y TE
LLEVARÉ DE PASEO.

Supongamos que el hijo se graduó y el padre procede así:

a. Le compra una bicicleta y lo lleva de paseo.


b. Le compra una bicicleta y no lo lleva de paseo.
c. No le compra la bicicleta y lo lleva de paseo.
d. No le compra la bicicleta y no lo lleva 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).

Construyamos una tabla para ver los valores de verdad:

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.

Generalizando su tabla de verdad es:

P Q P∧Q
V V V
V F F
F V F
F F F

El valor de verdad del ejemplo propuesto es:

P = Papá me compra una bicicleta V (P) = V


Q = Papá me lleva de paseo V (Q) = V

Por lo tanto, su valor de verdad es verdadero: V ( P ∧ Q ) = V

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:

P = La Virgen de la Bordadita es Madre de Jesús. V(P)=V


Q = La Virgen de la Bordadita es madre nuestra. V (Q ) = V

La Virgen de la Bordadita es Madre de Jesús ∧ es madre nuestra V(P∧Q)=V


Lógica Matemática Manuel Alba

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.

( P ∨ Q ) o ( P o Q): Llamaremos Disyunción P y Q a la proposición que se obtiene al unir dos


proposiciones P y Q con el conectivo “o” y se designa con P ∨ Q, que se lee “P o Q” Ejemplo:

P = París está en Francia V (P) = V


Q=2+2=5 V (Q) = F
París está en Francia o 2 + 2 = 5 V ( P ∨ Q) = V

Ejemplo: Un padre dice a su hijo: Una vez que te gradúes TE COMPRARÉ UNA BICICLETA
o TE LLEVARÉ DE PASEO.

Supongamos que el hijo se graduó y el padre procede así:

a. Le compra una bicicleta y además lo lleva de paseo.


b. Le compra una bicicleta pero no lo lleva de paseo.
c. No le compra la bicicleta pero lo lleva de paseo.
d. No le compra la bicicleta y tampoco lo lleva de paseo.

En qué literal el padre ha cumplido su promesa?, Obviamente habrá cumplido su promesa


cuando haya cumplido al menos con uno de los dos ofrecimientos, porque dijo ( o )

Construyamos una tabla para ver los valores de verdad

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

Generalizando su tabla de verdad es:

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:

P = París está en Francia. V( P)=V


Q=2+2=5 V (Q)= F
París está en Francia o 2 + 2 = 5 V( PVQ)= V

1.10.4 CONDICIONAL: (⇒ ó → ): Se denomina condicional de P y Q a la proposición que resulta


con el conectivo “Si ... entonces” que se representa por el símbolo “ ⇒, → “ y se escribe “P ⇒ Q” y
se lee “Si P, entonces Q”. Ejemplo:

P = Pablo estudia como es debido. V( P ) = V


Q = Aprobará el curso. V ( Q) = V

“Si Pablo estudia como es debido entonces aprobará el curso” V ( P ( ) = V

Su tabla de Verdad es:


P Q P⇒Q
V V V
V F F
F V V
F F V

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:

P = Fray Cristóbal de Torres optó por la educación. V(P)=V


Q = La obra de la Universidad sigue sus pasos. V(Q)=V

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

P = Fray Cristobal de Torres nace en España. V(P)=V


Q = Es el cuarto hijo de una familia opulenta. V(Q)=F

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

P = Fray Cristóbal de Torres no es el fundador de los Mercedarios. V ( P) = F


Q = Fray Cristóbal de Torres es Pedagogo. V ( Q) = V

Si Fray Cristóbal de Torres no es el fundador de los Mercedarios entonces es Pedagogo. V ( P ⇒ Q) = V

P = Fray Cristóbal de Torres fue un hombre irresponsable. V(P)=F


Q = Fray Cristóbal de Torres vivió para servir solamente a la gente rica. V(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

VARIANTES DEL CONDICIONAL: A la proposición Condicional, se agrupan otras tres


proposiciones, igualmente importantes, que son: proposiciones recíprocas, inversas y contrarrecíprocas.

a. Proposición recíproca: Dada la proposición “P ⇒ Q”, se llama proposición recíproca a la


proposición que se indica por “Q ⇒ P”.

Ejemplo:

Sea la proposición directa: P ⇒ Q


Si b es perpendicular a c, entonces c es perpendicular a b.

La proposición recíproca sería: Q ⇒ P


Si c es perpendicular a b, entonces b es perpendicular a c.

Tarea 9:

Construya 10 proposiciones recíprocas, utilizando el tema “El aborto”, Así. Ejemplos:

Ejemplo No. 1:

Sea la proposición directa: P ⇒ Q


Si el aborto es causa de la muerte de muchos niños entonces muchos niños mueren a causa del
aborto.

La proposición recíproca sería: Q ⇒ P


Si muchos niños mueren a causa del aborto entonces el aborto es causa de la muerte de muchos
niños.

Ejemplo No. 2

Sea la proposición directa: P ⇒ Q


Si el aborto provoca una violación a los derechos humanos entonces los Derechos Humanos
son violados por el aborto.

proposición recíproca sería: Q ⇒ P


Lógica Matemática Manuel Alba

Si los Derechos Humanos son violados por el aborto entonces el aborto provoca una violación a
los Derechos Humanos.

b. Proposición inversa: Dada la proposición “P ⇒ Q”, se llama proposición inversa a la proposición


determinada por “~ P ⇒ ~ Q”.

Ejemplo:

Sea la proposición directa: P ⇒ Q


Si Pedro consigue la visa, entonces viajará a los Estados Unidos.

La proposición inversa sería: ~ P ⇒ ~ Q


Si Pedro no consigue la visa, entonces no viajará a los Estados Unidos.

Tarea: 10

Construya 10 pares de proposiciones inversas, utilice el tema “El Analfabetismo”.

Ejemplo No. 1:

Sea la proposición directa: P ⇒ Q


Si Pedro aprende a leer, entonces tendrá oportunidad de mejorar su condición de vida.

La proposición inversa sería: ~ P ⇒ ~ Q


Si Pedro no aprende a leer, entonces no tendrá oportunidad de mejorar su condición de vida.

Ejemplo No. 2:

Sea la proposición directa: P ⇒ Q


Si el Estado ecuatoriano alfabetiza a los analfabetos, entonces, habrá dado un paso hacia el
desarrollo.

La proposición inversa sería: ~ P ⇒ ~ Q


Si el Estado ecuatoriano no alfabetiza a los analfabetos, entonces, no habrá dado un paso hacia
el desarrollo.

c. Proposición contrarrecíproca: Dada la proposición Condicional “P ⇒ Q”, se denomina


proposición contrarrecíproca a la que se denota por “~ Q ⇒ ~ P”.

Ejemplo:

Sea la proposición directa : P ⇒ Q


Si, una figura geométrica tiene cuatro ángulos rectos, entonces es un cuadrado.

La proposición contrarrecíproca sería: ~ Q ⇒ ~ P


Si no es un cuadrado, entonces la figura geométrica no tiene cuatro ángulos rectos.
Lógica Matemática Manuel Alba

Tarea: 11

Construya 10 proposiciones Contrarrecíprocas, utilice el tema “La corrupción”. Así como los ejemplos
dados a continuación:

Ejemplo No. 1:

Sea la proposición directa : P ⇒ Q


Si, una persona roba el dinero del estado entonces, es corrupta

La proposición contrarrecíproca sería: ~ Q ⇒ ~ P


Si no es corrupta, entonces la persona no roba el dinero del estado.

Ejemplo No. 2:

Sea la proposición directa : P ⇒ Q


Si, el hombre cultiva valores humanos, entonces, es una persona correcta

La proposición contrarrecíproca sería: ~ Q ⇒ ~ P


Si, no es una persona correcta, entonces, el hombre no cultiva valores humanos.

1.10.5 BICONDICIONAL: Se denomina bicondicional de “P y Q” a la proposición que resulta de


unir, P y Q con el conectivo “...si y solo si ...”, que se representa por el símbolo “⇔, ↔”, y se
escribe “P ⇔ Q” y se lee: “P si y solo si Q” El signo bicondicional aparece como dos signos
condicionales que van en sentido opuesto, de ahí que se puede denominar como bicondicional a
la proposición definida por la conjunción de la proposición condicional con su recíproco.

Ejemplo No. 1:

P = María comprará una casa. V (P) = V


Q = María obtiene un préstamo del Banco Davivienda. V (Q) = V

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.

Su tabla de Verdad es:

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:

P = Las ciudades se llenarán de campesinos que no tendrán donde vivir. V(P)=V


Q = Los campesinos abandonan el campo por falta de apoyo gubernamental. V(Q)=V

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:

P = La población pobre de Colombia poseerá una casa confortable. V( P ) = F


Q = La población pobre de Colombia obtiene un crédito en el banco para invertir. V ( Q) = F

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:

P = El déficit de vivienda será alarmante en el siglo XXI. V( P ) = V


Q = El Estado Colombiano actualmente toma políticas de vivienda adecuadas. V(Q)=F

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.11 SIMBOLIZACIÓN DE PROPOSICIONES: Consiste en reemplazar cada proposición por una


variable proposicional (letras del alfabeto), utilizando signos de agrupación si es necesario, para
evitar ambigüedad. Ejemplos:

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:

1) Si en P ∧ Q ⇒ ~ Q la conjunción es el conector predominante, se representa así: P ∧ ( Q ⇒ ¬ Q )


2) Si en ~ P ⇒ Q ∧ R la negación es el conector predominante se representa así: ~ [P ⇒ ( Q ∧ R ) ]

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

P = Hace frío Q = Llueve R = Está nublado.

1. Hace frío y llueve. 6. Está nublado y no hace frío, o, no llueve o


2. Hace frío o llueve. está nublado.
3. Hace frío y está nublado. 7. Hace frío si, y solo si está nublado.
4. Llueve o está nublado. 8. No es verdad que no está haciendo frío.
5. Hace frío o llueve, o está nublado. 9. Si llueve entonces no está nublado.
10. Está nublado o no está lloviendo.
P = Juan es alto Q = Pedro es galán

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.

1.14 TÉCNICAS PARA LA CONSTRUCCIÓN DE TABLAS: Para obtener el valor de Verdad de


un esquema molecular, se parte del número de variables proposicionales. Ejemplo, de 2
variables se necesitan 22 = 4 valores de verdad (filas para cada variable). En general, el número
de valores de verdad que se asigna a cada variable resulta de aplicar la fórmula 2n donde n es el
número de variables que hay en el esquema molecular. Las combinaciones (V ) y ( F ) se
colocan a la izquierda. Luego se aplica la regla a cada uno de los conectores lógicos, empezando
por el de menor alcance., hasta llegar al de mayor jerarquía.

Tablas de verdad de las operaciones lógicas. Facilitará el trabajo de tablas.

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

Ejemplos: Hallar la tabla de verdad de cada esquema molecular.

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:

Abrimos cuatro columnas: 1) P; 2) Q; 3) ~ P; 4) ~ P ∧ Q


En la columna 1, escribimos los valores de verdad para P ( V, V, F, F )
En la columna 2, escribimos los valores de verdad para Q ( V, F, V, F )
En la columna 3, realizamos la negación de P ( F, F, V, V )
En la columna 4, realizamos la conjunción entre la negación de P y Q (ver tabla de la
conjunció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:

Abrimos cinco columnas: 1) P; 2) Q; 3) ~ Q; 4), P ⇒ ~ Q; 5) ~ (P ( ⇒ ~ Q)


En la columna 1, escribimos los valores de verdad para P ( V, V, F, F )
En la columna 2, escribimos los valores de verdad para Q ( V, F, V, F )
En la columna 3 realizamos la negación de Q
En la columna 4, realizamos la condicional entre P y la negación de Q (ver tabla )
En la columna 5, realizamos la negación de la condicional entre P y la negación de Q ( ver tabla )

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)

P Q P∧Q Q⇔P ¬(P∧Q) ¬ (Q ⇔ P) ¬ ( P ∧ Q ) ∨ ¬ (Q ⇔ P)


V V V V F F F
V F F F V V V
F V F F V V V
F F F V V F V

Tarea: 14

Hallar la tabla de verdad de cada una de las siguientes proposiciones:

¬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)

1.15 TAUTOLOGÍAS Y CONTRADICCIONES

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.

Ejemplo: Dado el siguiente esquema molecular : P ∧ ~ P , determine si es una contradicción

P ~P P∧~P
V F F
F V F

En consecuencia, el esquema molecular es una contradicción porque en la última columna sólo


aparece el símbolo falso.

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

En consecuencia, el esquema molecular no es una contradicción ni una tautología.

Tarea : 15

Determinar si los siguientes esquemas moleculares son contradicciones o tautologías :

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

1.16 EQUIVALENCIA LÓGICA.

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)

Elaboramos la tabla de verdad para el esquema A = ~ P ∧ ~ Q y, para el esquema 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:

1. Demuestre si existe o no equivalencia lógica entre (P ∨ Q) y ~(~P ∧ ~Q)


2. Demuestre que: P ⇔ Q ≡ ( P ⇒ Q) ∧ ( Q ⇒ P)
3. Demuestre si, P ⇒ Q ≡ (~P ∨ Q)
4. P ⇒ Q es equivalente a: a) ~ Q ∨ P y b) P ∨ Q
5. P ∧ ~Q es: Verdadero o Falso
6. (P ∨ R) ⇒ R es equivalente a: a) P y b) P ⇒ R

1.17 IMPLICACIÓN LÓGICA.

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:

Dados los esquemas moleculares A = ( P ∧ Q), B = ( P ∨ Q) demuestre si A implica a B o sea: (A ⇒ B).


Elaboramos la tabla de verdad para el esquema A = (P ∧ Q).

P Q (P ∧ Q)
V V V
V F F
F V F
F F F

Elaboramos la tabla de verdad para el esquema B = ( P ∨ Q).

P Q ( P ∨ Q)
V V V
V F V
F V V
F F F

25
MATEMÁTICAS GRADO SÉPTIMO

Unimos los esquemas con el conectivo ⇒ (implicación).

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

1.18 CUANTIFICADORES: Los cuantificadores son dos:

• La expresión Para todo x, se llama cuantificador universal: ∀ (significa para todo)


• La expresión Existe un x, se llama cuantificador existencial: ∃ (significa existe)

Ejemplos:

1. Todos los hombres son mortales: ∀x


2. Todos los niños de segundo “A” tienen medias blancas: ∀x
3. Existen niños que estudian: ∃x
4. Existen niños que les gusta las matemáticas: ∃x

Tarea 17: realice 10 ejercicios de cuantificador universal y 10 ejercicios de cuantificador


existencial.

1.19 LEYES DEL ALGEBRA DE PROPOSICIONES

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

2. Simplifique: [ q ∧ (~p→ q)] ⇒ q


[ q ∧ (p ∨ q)] → q
q→q
~q∨q
V

3. Simplifique: ~(p ∧ q) ⇔ (p → ~q)


~p ∨ ~q ↔ ~p ∨ ~q
V

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)]

Tarea 19: Revisión del capítulo

A. CONTESTE CON UNA SOLA PALABRA.

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 ___________

B. RESPONDA CON CLARIDAD A CADA UNA DE LAS SIGUIENTE PREGUNTAS.

1. ¿Qué diferencia hay entre proposición simple y compuesta?

_____________________________________________________________________________
_____________________________________________________________________________

28
MATEMÁTICAS GRADO SÉPTIMO

2. Explique: ¿cuándo no es una proposición?


_____________________________________________________________________________
_____________________________________________________________________________

3. Escriba junto a cada conectivo lógico su denotación y su representación

⇔ ___________________________ ______________________________
⇒ ___________________________ ______________________________
↓ ___________________________ ______________________________
∨ ___________________________ ______________________________
∨ ___________________________ ______________________________
∧ ___________________________ ______________________________
∼ ___________________________ ______________________________

4. Dada la proposición directa “P ⇒ Q”. Escriba la proposición:

a. Inversa: __________________________________________
b. Recíproca: __________________________________________
c. Contrarrecíproca: __________________________________________

5. Dado las proposiciones simples:

P: Pedro consigue la visa


Q: Viajará a los Estados Unidos

a) Escriba en lenguaje simbólico la siguiente proposición compuesta:

“Si Pedro no consigue la visa entonces no viajará a los Estados Unidos” ___________________

b) Luego, de escribir el lenguaje simbólico, realice la tabla de verdad.

C. CONTESTE

6. ¿Qué es una tautología?


_____________________________________________________________________________
_____________________________________________________________________________

7. ¿Qué es una contradicción?


_____________________________________________________________________________
_____________________________________________________________________________

8. ¿A qué llamamos equivalencia lógica?


_____________________________________________________________________________
_____________________________________________________________________________

29
MATEMÁTICAS GRADO SÉPTIMO

9. ¿Qué diferencia hay entre cuantificador universal y cuantificador existencial?


_____________________________________________________________________________
_____________________________________________________________________________

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)

12. Niegue las siguientes proposiciones:

P: Si Carlos es hijo de Juan, entonces sabe ajedrez.


Q: Ni las rosas son blancas, ni los claveles son rojos.
R: Mónica asiste a clases y atiende a su maestra.
S: La T.V. es constructiva si se la ve moderadamente.

30
MATEMÁTICAS GRADO SÉPTIMO

BIBLIOGRAFÍA

Baldor, Aurelio, Algebra y Aritmética, 1998.

Bachillerato I, Matemáticas, Educación Santillana, pp12-19 y 23 -30, Madrid 1976.

Constantino Marcos y Martínez Jacinto, Matemática Moderna Nº1, Primer curso de


Bachillerato, pp 20-35, Madrid 1967.

Constantino Marcos y Martínez Jacinto, Matemáticas Moderna Nº3, Tercer curso de


Bachillerato, pp 57 - 115, Madrid, 1967.

Constantino Marcos y Martínez Jacinto, Matemáticas, Quinto curso de Bachlillerato , pp 11-


22, Madrid, 1957.

Chávez, Freddy, Introducción al análisis Matemático, Ribamba- Ecuador, 1999.

Enciclopedia Estudiantil Educar, Matemática y Física I, Colombia, 1995.

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.

Mancil, Algebra, 1995.

Proaño Viteri, Lógica y Teoría de los conjuntos, pp. 126 -128, Quito, 1995.

Repetto Cecilia, Linskens Marcela y Fesquet Hilda, Aritmética 2 y 3 - Matemática Moderna,


Quito, 1996.

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

También podría gustarte