1

132Equation Chapter 2 Section 3 LOGICA

El término ´´lógica¨´ procede del griego logos que significa discurso, razón, regularidad.
La lógica en cuanto a ciencia tiene por objeto el estudio del pensamiento humano. Pero la Lógica no
estudia todos los aspectos y leyes del pensamiento. El pensamiento es también objeto de estudio de
algunas otras ciencias, como son el materialismo dialecticos y la psicología.

La Lógica estudia nuestros pensamientos solamente desde el punto de vista de su estructura, es decir,
desde el punto de vista de su forma ´lógica. Descubre las leyes y reglas cuya observación es
indispensable para alcanzar la verdad por medio de un conocimiento inferido.

Aristóteles, considerado el padre de la lógica, la definió como ciencia de la demostración, es decir, como
respuesta al porqué de la cosas. La lógica nos enseña a pensar correctamente y con orden para llegar
a la verdad.

LENGUAJE SIMBOLICO. Una de las mayores dificultades en analizar el rigor matemático en una
demostración es el hecho de que debemos comunicar nuestras ideas entre nosotros empleando el
lenguaje ordinario. El lenguaje ordinario está lleno de ambigüedades; las palabras tienes varias
significados, algunos de ellos son muy vagos y a veces es difícil decidir si determinada línea de
razonamiento es aceptable o no.

Una de las metas fundamentales de la lógica es eliminar estas ambigüedades, aclarando cómo se
construyen tales proposiciones, evaluando el concepto de verdad y estableciendo reglas específicas de
inferencia por medio de las cuales tal argumento puede ser juzgado como válido o no.

Pesar con lógica será en resumidas cuentas, pensar mejor, poseer y dominar mejores técnicas de
trabajo del pensamiento. Y, lo mismo que ocurre con todos los trabajos y todas las técnicas, se
aprenden en la práctica. Por eso necesitamos practicar mucho, y manejar cada vez mejor los
instrumentos apropiados. En el caso de la lógica el principal instrumentos en un lenguaje simbólico, muy
rico en contenido (un sólo signo dice muchas cosas y muy importante).

Este lenguaje de símbolos que emplea el pensamiento lógico tiene además la ventaja de ser muy claro y
muy preciso. Nadie que lo sabe se confundes al leerlo o expresarlo.

PROPOSICIONES: Se entienda por proposiciones una frase en la que se declara algo, a la que
podemos asignar un único valor de verdad: verdadero (V) o falso (F), pero no ambos al mismo tiempo.
Respecto del valor verdadero o falso que se atribuya a una proposición es cuestión que incumbe a la
parcela del conocimiento en que la proposición tiene sentido.

El sentido de ¨verdad¨ es una teoría matemática es el siguiente: una proposición p es verdadera (o

verdad) si es un axioma de la teoría o si es demostrable, por reglas validad de razonamiento. Ósea,
brevemente el sentido de verdad es el de demostrable.

EJEMPLO:

1. Si un número es par entonces es divisible por 2.

2. 7 + 5 = 12 si y sólo si el cuadrado es un rectángulo.
3. Aristóteles formuló los principios de la Lógica.
4. 2+2=5
5. Colón descubrió América.

Estas frases son proposiciones, puesto que podemos razonar, que son verdaderas o falsas y no pueden
ser otra cosa.
 2

1. Mientras que en:

2. Volveremos más tarde.
3. Dame ese libro.
4. ¿Qué hora es?
5. ¿Es eso un oso?
6. ¡Quien pudiera ser pintor!

Estas frases no son proposiciones ya que no puede asignársele un valor de verdad, es decir, no son
proposiciones lógicas, porque no podemos decir con certeza si son verdaderas o falsas.

FUNCIONES PROPOSICIONALES: Las frases con variables, que podemos convertir en proposiciones,
reciben el nombre de funciones proposicionales o también suelen llamárseles proposiciones abiertas.

Ejemplo:
1. x + 5 = 8
2. x > 5
3. 3y = 24
4. Rosa es rubia

Son proposiciones abiertas, ya que el valor de verdad de ella depende de las variables que figuran en la
proposición. O sea, podemos formar tantas proposiciones simple como elementos en el conjunto
universo o dominio que utilizamos para sustituir la variable.

Una de las formas que se emplea para convertir una función proposicional en proposición es
particularizar la variable.

EJEMPO: 3Y = 24, la convierte en verdadera sustituyendo la ¨Y¨ por 8 y resulta 3(8) = 24. La convierte
en falsa sustituyendo la ¨Y¨ por un número distinto de 8 y resulta por ejemplo 4(10) = 24 que es falso.

Otra forma utilizada para transformar una función proposicional en proposición es anteponerle a la
función proposicional un cuantificador. Los cuantificadores los estudiaremos en temas posteriores.

EJERCICIOS PROPUESTOS

I-) DETERMINE EL VALOR DE VERDAD DE LAS PROPOSICIONES SIGUIENTES

1. Cinco es un número impar _________________

2. Con dos segmentos no se puede construir un triángulo ______________
3. Los días de la semana son siete. ________________
4. Los planetas poseen luz propia. _______________
5. El oxígeno es un componente químico del agua. ____________________
6. El triángulo es el polígono de menor número de lados. ________________
7. 3 + 6 = 10. _____________
8. El cuadrado es un rectángulo.
9. Los números que terminan en cero o en cinco son múltiplo de cinco.

II-) De las oraciones siguientes selecciones las que sean proposiciones marcándola con una (P), la que
son funciones proposicional marcándola con una (F) y la que no son ni proposiciones ni función
proposicional marcándola con una (N).
1. 1 +2 = 3 ____________________
2. Haga las fila de cállese. _______________
3. El sol es una fuente de energía. _______________
4. X + 200 = 500 ____________________
5. ¿Dónde irás de vacaciones?_____________________
 3

6. Todos los jueves llueve. ________________________

7. ¿Cuándo comienza el otoño? ___________________
8. Cinco no es un número impar. _______________________
9. ¡Qué chiste! __________________
10. El PLD ganará la próxima elección. ________________

III-) ESCRIBA CINCO PROPOSICIONES.

CLASIFICACION DE LAS PROPOSICIONES. Las proposiciones se clasifican en simples y compuestas.

Proposiciones simple o atómica es la proposición que consta de una sola oración. Las proposiciones
simples no pueden descomponerse en otra más simple sin dejar de serlo.

PROPOSICIONES COMPUESTAS O MOLECULARES. Son las proposiciones que están formadas por
dos o más proposiciones simples. Las proposiciones compuestas se obtienen enlazando las
proposiciones simples por determinadas palabras como: “y”, “o”, “Si . . . entones . . . “, “ . . . si y sólo
sí . . .” llamados conectivos lógicos, o insertando a una proposición simple la palabra “no”.
En este cuadro aparecen los principales conectivos lógicos, su denominación y símbolos. Conviene
leerlo y escribirlo varias veces y aprendérselo de memoria.

∽
DENOMINACION CONECTIVOS SIMBOLOS
Negación No
Conjunción Y ⋀
Disyunción inclusiva O inclusiva (y/o) ⋁
Disyunción Exclusiva O excluyente ⋁
Condicional Si .. .entonces . . →
Bicondicional . . . si y sólo si . .

En nuestro estudio, utilizamos las letras minúsculas p, q, r, . . . para representar las proposiciones simples y así
poder manejarlas más fácilmente. Y también para formar proposiciones compuestas más complejas.
Por ejemplo:
p: El tigre es un animal carnívoro.
q: 2 es un número primo.
r: 5+3 = 10
s: El mercurio es un metal líquido.

Si ahora tenemos que referirnos a ellas, podemos decir, por ejemplo:

Las proposiciones p, q, y s son verdaderas, en tanto que se puede conocer determinando la proposición
r es falsa.

Esto nos ahora trabajo y tiempo, o sea que facilita las tareas del pensamiento

VALOR DE VERDAD DE UNA PROPOSICION COMPUESTA. El valor de valor de verdad que se

asigna a una proposición compuesta se puede conocer determinando el valor de cada una de las
proposiciones componentes.
Los posibles valores de verdad de las proposiciones compuesta se resumen y generalizan por medio de
lo que se llama una tabla de verdad.

TABLA DE VERDAD: Es el esquema que nos presenta una proposición con sus explícitos posibles
valores de verdad. Las posibilidades se dan en fila debajo de cada componente. A una proposición p
se le asigna los valores V o F, escritos en este orden, debajo de la proposición p.

P
V
F
 4

También se utiliza 1 para verdadero y 0 para falso.

En una tabla de verdad hay que colocar un número de filas suficientes para abarcar todas las
combinaciones de V y F que se pueden formar con las proposiciones. Para 2 proposiciones se
necesitan 4 filas; para 3 proposiciones se necesitan 8 filas y, en general, para n proposiciones se
necesitan 2n filas.

Es frecuente encontrar proposiciones que tienen más de un operador o conectivo. En tal caso se ha de
señalar sin lugar a equivoco, en la escritura, la jerarquía de estas sucesivas composiciones. La manera
más corriente de realizarlo es mediante el empleo de algunos signos de agrupación como:
se utilizan de manera similar al dado en
aritmética y álgebra cuando hay agrupamiento de expresiones numéricas.

EJEMPLO: El esquema (p ⋀ q) ⋁ ∼r indica que, por un lado, hay que realizar la conjunción p ⋀ q y,
por otro lado, hay que hacer la negación ∼r y, finalmente, hay que efectuar la disyunción entre los
resultados anteriores.

NEGACION DE UNA PROPOSICION. Una proposición puede negarse con la palabra no. También

matemático que usaremos para representar “No es cierto que” es ∽.

puede hacerse negativa colocando las palabras “No es cierto que” delante de la proposición. El símbolo

EJEMPLO:

1. Cinco no es un número impar.

2. No es cierto que la luna es un satélite de la tierra.
3. Es falso que 2 + 5 =10.
Son las negaciones de las proposiciones:
1. Cinco es un número impar.
2. La luna es un satélite de la tierra.

El signo ∼ antes de una proposición simboliza la negación de la misma. Es decir, si p es una

3. 2 + 5 = 10.

proposición, la negación de la proposición p es: “No es verdadera que p” simbolizado por ∼p.

Por ejemplo:

Entonces ∼p: El triángulo no es un polígono tres de lados.

Si p: El triángulo es un polígono de tres lados.

En las proposiciones anteriores podemos observar que: si una afirmación es verdadera, su negación es
falsa. Y que si una afirmación es falsa, su negación es verdadera. Es decir, la afirmación y la negación
son opuestas.

Esta relación se expresa gráficamente en la tabla de verdad que sigue:

P ∼p
V F
F V

conectivo “y”. El símbolo utilizado para representar “y” es ⋀.

CONJUNCION: Es la proposición compuesta que resulta de unir dos proposiciones p y q con el

Por ejemplo: La conjunción de:

 5

“Dos es un número primo”

y “Cinco es un número impar”
es “Dos es un número primo y cinco es un número impar.”

La conjunción de dos proposiciones p y q se designa por p ⋀ q, y tiene por tabla de verdad.

P Q p⋀q
V V V
V F F
F V F
F F F
Es decir, que la conjunción de p y q es verdadera únicamente cuando p y q son ambas verdaderas.

DISYUNCION Es la proposición que resulta de unir dos proposiciones por medio del conectivo “o”.
Por ejemplo: La disyunción de
“El triángulo rectángulo tiene un ángulo recto.”
y “El rectángulo tiene sus cuatro ángulo recto.”
Es “El triángulo rectángulo tiene un ángulo recto o
el rectángulo tiene sus cuatro ángulo recto.”

Al tratar de determinar los valores de verdad propios de una disyunción nos encontramos con que en
castellano el significado de la conjunción “o” es ambiguo. Cuando decimos que “p o q” es verdadera,
podemos expresar una de estas dos cosas:
p es verdadera o q es verdadera o ambas son verdaderas, (y/o)
p es verdadera o q es verdadera, pero no ambas. (“O . . .o . . .”)

El primer caso recibe el nombre de disyunción inclusiva y el segundo disyunción exclusiva. En adelante
cuando empleamos o como una disyunción lo haremos en el sentido inclusivo. Simbólicamente se
denota la disyunción inclusiva de dos proposiciones p y q por p ⋁ q, cuya tabla de verdad es:
p q pVq
V V V
V F V
F V V
F F F

Es decir, que la disyunción inclusiva sólo es falsa en el caso en que p es falsa y q es falsa.

La disyunción exclusiva, que designamos por ⋁ tiene como tabla de verdad

p q pVq
V V F
V F V
F V V
F F F

Es decir, que la disyunción exclusiva p ⋁ q es verdadera cuando lo sean p o q, pero no cuando lo

sean ambas.
PROBLEMAS RESUELTOS

Escribe en forma verbal las proposiciones simbólicas siguientes sabiendo que

a) ∼q b) ∼(∼q)
p: “Todos los hombres son mortales” y q:”Juan es un hombre”

f) ∼p ⋀ ∼q
c) p ⋀ q
d) p ⋀∼q e)∼p ⋁ q
 6

Solución:
a) No es cierto que Juan es un hombre.
b) No es cierto que Juan no es un hombre
c) Todos los hombres son mortales y Juan es un hombre.
d) Todos los hombres son mortales y Juan no es un hombre.
e) Todos los hombre no son mortales o Juan es un hombre.
f) Todos los hombre no son mortales y Juan no es un hombre.

1) ∼p ⋀ q 2) p ⋁ (q ⋀ r) 3) (p ⋁ q) ⋀ ∼P
ELABORA LA TABLA DE VERDAD DE LAS SIGUIENTES PROPOSICIONES

Solución: Empezamos colocando en las primeras columnas de cada una de la tabla las proposiciones
simples p, q, r, . . . y determinamos todas las posibles combinaciones de valores de verdad de las
proposiciones dada, por medio de la formula 2 n donde n es el número de proposiciones dada. Luego
asignamos una columna para cada paso sucesivo del cálculo de valor de verdad que se busca. El valor
que aparece en la última columna es el valor de verdad de la proposición.

∼p ∼p ⋀ q
p ⋁ (q ⋀ r)
p q
V V F F p q r q⋀
r
V F F F
V V V V V
F V V V V V F F V
F F V F V F V F V
V F F F V
F V V V V
F V F F F
F F V F F
F F F F F

∼ p⋁q
∼P
p q (p ⋁ q) ⋀
p
V V F V F
V F F V F
F V V V V
F F V F F
Ejercicios propuestos.

I-) En la lista de palabras siguientes encierre en un circulo los que sean conectivos.

1-) y 2-) luego 3-) igual 4) 0 . . . o . . .

5-) Menor que 6-) . . . si y sólo si .. . 7-) Algunos 8-) Más

II-) En la siguiente lista de proposiciones, coloque dentro del paréntesis una S si la proposición
es simpe, una F si es una función proposicional, una C si es una proposición compuesta y
escriba sobre la raya el nombre de conectivo de las proposiciones compuesta.
a) ( ) Luis es estudiante o Luis es Maestro.______________________
b) ( ) El 30 es un número par y múltiplo de 5.________________________
c) ( ) El cuadrado es un rectángulo. ________________________
d) ( ) Si María es hembra, entonces Andrés es varón. _________________
e) ( ) 6 >5 ó 5 > 6. ____________________________
f) ( ) Está lloviendo.___________________________
 7

g) ( ) La suma de los ángulos internos de un triángulo es igual a 180º.

h) ( ) Una semana tiene 8 días, o una semana tiene dos domingo._____________
i) ( ) El huacal es el edificio más alto de la República Dominicana. _________
j) ( ) El triángulo tiene tres ángulos o es un polígono. ____________________

III-) Escribe en forma simbólica las proposiciones siguientes, si p: Álvaro es profesor y q: 2 +

2=5

1) Álvaro es profesor y 2 + 2 =5
2) Álvaro no es profesor y 2 +2 = 5
3) Álvaro no es profesor o 2 + 2 = 5.
4) No es cierto que Álvaro es profesor ó 2 + 2 ≠ 5
5) Álvaro es profesor y 2 + 2 ≠ 5

IV-) Escribe en forma verbal las proposiciones simbólicas siguientes: sabiendo que p es “En el
movimiento rectilíneo uniforme la velocidad es constante” y q es “La velocidad de la luz es de

1-) ∼p 4) ∼p ⋁⋀q
300,000 Km/s.

5-) p ⋀ ∼q 6-) ∼p ⋁ ∼q 7-) ∼p ⋀ q

2-) p ⋀ q 3-) p ⋁ q
8) p ⋁ q

V-) Completa la siguiente tabla:

p q ∼p q⋁p p⋁(∼p ∨ q⋁p ∼p ⋀ q ∼p ⋁ q (p ⋀ q) ⋁ p ∼(p ⋁

q) q)

VI-) Elabores la tabla de verdad de las siguientes proposiciones:

1-) ∼ p ⋁ (p ⋁ q) 2-) ∼(p q)

4-) ∼p ⋀ ∼q 5-) p ⋁ (p ⋀ ∼q
3-) p ⋁ (p ⋀ q)
6-) (p ⋁ q) ⋀ (p ⋁ q)

Implicación. Una implicación es una proposición formada por dos proposiciones unidad por la expresión
“Si . . . entonces . . .”, es decir, una implicación es una proposición de la forma “Si p, entonces q” donde
p y q son proposiciones. El símbolo de implicación o condicional es ⟶. La proposición p ⟶ q se lee
“p implica q” o “p condicional q.

Ejemplo: 1-) Si un triángulo es equilátero, entonces es isósceles.

2-) Si x – 8 = 12, entonces x = 20.
3-) Si x = 0, entonces x + y = y.

En una implicación la frase precedida por si se llama antecedente o hipótesis y la precedida por
entonces, consecuente o conclusión.

Determine cuál es la hipótesis o antecedente y cuál es el consecuente o tesis en las proposiciones del
ejemplo anterior.
Existen muchas maneras diferentes de enunciar la condicional p → q

1) Si p entonces q 2) p sólo si q
3) Para que p es necesario que q 4) Si p, también q
5) El que p implica que q 6) Si p, q
 8

7) El que p es suficiente para que q 8) q siempre que p

La proposición p ⟶ q posee la siguiente tabla de verdad:

p Q p→q
V V V
V F F
F V V
F F V

Es decir, que la implicación de p y q únicamente es falsa cuando el antecedente (p) es verdadero y el

consecuente (q) falso.

La implicación p ⟶ q podemos interpretarla como que p es condición suficiente para q, o q es

condición necesaria para p. Si se dan las implicaciones p ⟶ q y q ⟶ p decimos que p es
condición necesaria y suficiente para q, o viceversa.
Ejemplo

Como todos los rectángulos tienen vértices es un condición necesaria para ser rectángulo; una figura es
un rectángulo solo si tiene vértices. Pero estas no son condiciones suficientes. Si una figura tiene
vértices, no por eso es forzosamente un rectángulo; puede ser un triángulo, un pentágono, etc.

Sin embargo, tener 4 lados iguales y 4 ángulos rectos es suficiente para ser rectángulo, pero no es
necesario, pues aunque los lados no fueran iguales, también sería rectángulo.

Hay pues condiciones necesarias y condiciones suficientes para que ocurra algo, y no tienen por qué ser
las mismas.

Cuando una condicional es a la vez necesaria y suficiente, entonces es otra manera de decir la misma
cosa. “Para un triángulo ser equilátero es necesario y suficiente tener sus tres lados iguales”; entonces “
en un triángulo tener sus tres lados iguales “ es lo misma que “ser equilátero“. En lugar de necesario y
suficiente puede utilizarse “ . . . si y sólo si . . .”.
Todas las definiciones son condiciones necesarias y suficientes para usar la palabra definida.

Proposición reciproca. Una proposición es recíproca de otra si resulta de intercambiar la hipótesis o

antecedente con la tesis o consecuente.

La recíproca de la proposición condicional p ⟶ q es q ⟶ p.

En la tabla de verdad siguiente observe que la proposición condicional y su recíproca no tienen el mismo
valor de verificación.
p q p⟶q q⟶p
V V V V
V F F V
F V V F
F F V V

Por ejemplo, la recíproca de la proposición: “Los triángulos son polígonos” es “Los polígonos son
triángulos”. La proposición es verdadera, pero la recíproca es falsa.

Inversa. Una proposición es inversa o contraria de otra cuando la hipótesis o antecedente y tesis o
consecuente de una son las negaciones respectivas del antecedente y consecuente de la otra.

La inversa de la proposición condicional p ⟶ q es ∼p ⟶ ~q.

 9

En la tabla de verdad siguiente observe que la inversa de una proposición verdadera.

p q ∼p ∼q p⟶ q ∼p ⟶ ∼q
V V F F V V
V F F V F V
F V V F V F
F F V V V V

Contrarrecíproca. Una proposición es contrarecíproca o contrapositiva de otra cuando es contraria a la

recíproca de esta otra.

con el consecuente y negando ambas proposiciones ∼q ⟶ ∼p.

La contrarrecíproca de la proposición condicional p ⟶ q se obtiene intercambiando el antecedente

Observe en la tabla de verdad siguiente que la proposición condicional y su contrarrecíproca tienen

siempre los mismos valores de verdad.

p q ∼p ∼q p⟶q ∼q ⟶ ∼ p
V V F F V V
V F F V F F
F V V F V V
F F V V V V
Por ejemplo:

Escribir las recíproca, la inversa y la contrarrecíproca de la proposición “ Si un número es par, entonces

es divisible por dos”.

Recíproca: Si un número es divisible por dos, entonces es par.

Inversa: Si un número no es par, entonces no es divisible por dos.

Contrarrecíproca: Si un número no es divisible por dos, entonces no es par.

Bicondicional: es la proposición que resulta de unir dos proposiciones mediante el conectivo “. . . si y

sólo si . . .”. El símbolo para representar . . . si y sólo si . . . es ⟷.

Por ejemplo para este curso:

Si p: “Apruebo”.
y q: “estudio”.
Entonces p ⟷ q: Apruebo si y sólo si estudio.

Por definición, p ⟷ q indica que p condicional q y q condicional p, es decir, es la conjunción de los

condicionales p ⟶ q y q ⟶ p, por tanto le corresponde la siguiente tabla de verdad:

p Q p⟶ q q⟶ p p ↔q
V V V V V
V F F V F
F V V F F
F F V V V

Luego el bicondicional de p y q es verdadero cuando ambas proposiciones tienen a la vez el mismo

valor de verdad.
 10

EJERCICIOS PROPUESTOS

I-) Decir cuál es el hipótesis y la conclusión en cada una de las proposiciones siguientes.

1. Si 20 es un número par, entonces es divisible por dos.

2. Usted no aprenderá geometría si no hace la tarea sobre el tema.
3. Si dos recta son paralelas, entonces no tienen ningún punto común.
4. Un triángulo es rectángulo si tiene un ángulo recto.
5. Si x es número entero impar, entonces x al cuadrado es un entero impar.
6. Si x = 2, entonces x al cuadrado es igual 4.
7. Los ángulos que son congruentes y suplementarios, son ángulos rectos.
8. Si un triángulo es equilátero, entonces es equiángulo.
9. No es cierto que si x < 4, entonces x < 3.
10. Entiendo mejor la explicación del profesor, si estudio en mi casa.

II-) Enuncia la proposición recíproca, inversa y contrarrecíproca de cada una de las

proposiciones siguientes.

a) Si un cuadrilátero tiene sus 4 lados iguales, entonces es un paralelogramo.

b) Si dos rectas son paralelas, entonces no tiene ningún punto común.
c) Si un triángulo está circunscrito en un semicírculo, entonces es rectángulo.

1. Cuando ∼p es verdadera, p tiene que ser ____________________

III-) Llene los espacios en blancos con la palabra o palabras adecuadas.

2. ¿Cómo se lee p ⋁ q? ________________________________________

3. El único caso en que una proposición conjuntiva es verdadera es cuando p y q son ambas
____________________________
4. Si p es verdadera y q es falsa, p ⟶ q es __________________________
5. La proposición compuesta que es falsa si las proposiciones dadas tienen diferentes valores de
verdad, se llama ______________________

7. Si p: Juan es feliz, entonces ∼p es __________________________

6. Si p es falsa y q es falsa, entonces p ⟶ q es ___________________________

8. Si p es verdadera y q es verdadera, entonces p ∨ q es ___________________

9. Una proposición disyuntiva exclusiva sólo es falsa si p y q tienen________________
10. Si p es verdadera y q es falsa, p ⟷ q es ______________________
11. El único caso en que la implicación es falsa, es cuando la hipótesis es ____________ y la

12. Simbólicamente, ∼(∼p) es lo mismo que _____________________

conclusión es ______________________

13. Al decir que una proposición es verdadera, o decir que es falsa, la estamos calificando con el

14. La recíproca de la proposición condicional ∼p ⟶ q es _________________________

___________________________________________ que tiene.

15. La proposición compuesta que es verdadera si las dos proposiciones tienen diferente valor de

16. La proposición ∼p ⟶ ∼q se llama la _____________________ de p ⟶ q.

verdad, se llama _________________________

17. Si p es falsa y q es falsa, p ↔ q es ________________________

IV-) Si las proposiciones p y q son verdaderas y r es falsa. Calcular el valor de verdad de las
siguientes proposiciones.

1. P → q _________________ 6. ∼p ⟶ r _______________________
 11

2. P ⋀ ∼r ___________________
∼r_______________________
7. p ⟷

3. (p ⋀ q) ⋁r _________________
9. P ⋀ (q ∨ r)______________________
8. (p ⋁ q) ⟶ r_____________________

10. (r ⟶ p) ⋀ ( p ⋁ q) ______________
4. q ⟶ r____________________
5. r ⟷ p____________________

V-) Elabora la tabla de verdad de las siguientes proposiciones.

1. (p ⋀ q) ⋁ ∼p 6.
2. (p ∨ q) ⟶ (p ⋀ q) 7.
3. (q ∨ p) ∨ ( p ⟶ q)
4. (p ⋀ q) ⟷ p 9. (p ⟶ r) ⋀ (q ⟷r)
8.

5. 10. (r ⟶ q) ∨ p

Tautología es la proposición que siempre es verdadera independientemente de los valores de verdad

de las proposiciones simples que las componen.

Si una proposición es tautología, entonces en la última columna de su tabla de verdad sólo tiene valores
verdaderos.

Ejemplo:

p q p⟶ (p ⟶ q) ∧ p [ (p → q) ⋀ p] ⟶
q q
V V V V V
V F F F V
F V V F V
F F V F V

Contradicción es la proposición cuya tabla de verdad contienen en la última columna únicamente valor
de verdad falso (F), cualquiera que sean los valores de verdad de las proposiciones simples que la
constituyen.

Contingencia es la proposición que no es ni tautología ni contradicción.

EJERCICIOS PROPUESTOS

Utilizando una tabla de verificación para cada una de las siguientes proposiciones, determina
cuales de ellas son tautologías.

Cuantificadores son símbolos que se usan en matemática para expresa determinadas condiciones.
Entre ellos tenemos: los de cuantificación universal “ ” y cuantificación existencial “ ”. El
cuantificador universal indica que todos los elementos del conjunto verifican una propiedad determinada.
 12

El existencial, que al menos un elemento del conjunto satisface la propiedad que se especifica. Cuando
se pretende indicar la existencia de un único objeto se representará por .
Por ejemplos:

1. Para todo x, si x es un número primo entonces x es impar

2. Existe por lo menos un x en el conjunto de los números enteros tal que x es un número par.
3. Para todo x elemento de los números reales, x + 3 es elemento del conjunto de los números
reales.
4. Existe por lo menos un x en los reales, tal que x2 + 1 = 2x.
5. Para todo x en el conjunto de los reales, existe un número z en los reales tal que x > z.

Cuando a una función proposicional se le antepone un cuantificador, obtenemos una proposición que
puede ser universal en el caso y existencial en el caso .

Ejemplo: 5 + x > 3 es una función proposición y se convierte en proposición anteponiéndole el

cuantificador existencial , 5 + X > 3.

Escriba en letra las expresiones simbólicas siguientes.

METODOS DE DEMOSTRACION

La matemática siempre ha tenido como objetivo centra en la enseñanza el desarrollo de la capacidad del
razonamiento del estudiante y de aquí que se hace necesario que éste tenga la oportunidad de
desarrollar su poder de raciocinio por el uso frecuente de los métodos inductivos. Por la inducción se
alcanzan conclusiones generales con base en hechos obtenidos mediante el examen sistemático de
muchos ejemplos que son similares en algunos aspectos. Aunque la aparición de ciertas relaciones en
un número de ejemplos nos lleve fácilmente a una generalización, ya que ésta a veces puede resultar
falsa para otros ejemplos.

En matemática se desarrolla fundamentalmente mediante la aplicación de técnicas deductivas y por tal

motivo vamos a introducirnos aunque en una forma simple en algunas de dicha formas de deducción
utilizando los elementos de lógica estudiado anteriormente.

Deducción. La deducción, al contrario que en la inducción, partimos de un juicio que contiene un

principio general ó universal, para arribar a un juicio que comprende uno o varios casos particulares, o
un principio menos general que el que sirve de base.

Demostración. Demostración es una cadena de deducciones a través de las cuales se deduce la

veracidad de la proposición que debe probarse, a partir de axiomas y proposiciones previamente
establecidas.

Cuando un conocimiento queda demostrado, entonces se le reconoce como válido y decimos que se
infiere o se deduce de los anteriores y por tanto se admite dentro de la disciplina que le corresponde, en
nuestro caso la matemática y por tanto puede ser utilizado en otra demostración.

La matemática se estructura en un conjunto de proposiciones, cada una de las cuales se deduce de

otras anteriores y por tanto decimos que dicha ciencia constituye un sistema deductivo. La deducción se
realiza utilizando las reglas de la lógica.
 13

Ahora bien, puesto que para demostrar una proposición hay que partir de otras proposiciones ya
establecidas, siempre hemos de partir de unas proposiciones primarias que deben aceptarse sin
demostración, así como también deben tenerse unos conceptos primarios no susceptibles de definición.

Los conceptos primarios y las proposiciones primarias se reúnen en un sistema de axiomas o

postulados, que difieren el sistema deductivo, y constituyen a la vez la base sobre la cual se
demuestran otras proposiciones y se elaboran los conceptos no primitivos de la teoría.

Estructura de la demostración.

La demostración consta de tres partes que son:

a. El conocimiento que se trata de demostrar, es decir la proposición cuya validez se trata de

probar y que llamaremos teorema.
b. Los fundamentos empleados como base de la demostración.
c. El procedimiento usado para lograr que el conocimiento quede demostrado.

Los procedimientos de demostración permiten establecer la conexión lógica entre los fundamentos y sus
consecuencias sucesivas, hasta llegar como conclusión final a la tesis que así se demuestra.

Analicemos brevemente las partes constitutivas de una demostración:

1. Un teorema es toda proposición demostrable a partir de otras proposiciones ya probadas o cuya

validez ha sido aceptada. Generalmente un teorema se expresa por medio de la implicación: p
⟶ q, donde el antecedente p es llamado hipótesis y que en adelante simbolizaremos por h y el
consecuente q es llamado tesis y que Simbolizaremos por t. entonces, en tales circunstancias,
un teorema corresponde a la estructura: h⟶t.

Cuando se trata de probar un teorema con dicha estructura, se parte de la hipótesis h y

mediante una secuencia de afirmaciones se llega a derivar la tesis t. una vez hecho esto
concluimos que dicha implicación es válida.

2. Sabemos que tendremos una demostración allí donde se ponga de manifiesto que la verdad o
de la falsedad de cierta tesis t se sigue necesariamente de la veracidad o de la falsedad de
algunos principios demostrados con anterioridad y reconocidos como verdaderos.

Los principios en que se apoya la demostración y de los que se siguen con carácter necesario la
veracidad de la implicación h ⟶ t se denominan Fundamentos o argumentos de la
demostración, los cuales constan de principios de distintos tipos, a saber:

a) Principios acerca de ciertos hechos, los cuales han sido comprobados anteriormente.
b) Las definiciones, correspondientes a los conceptos fundamentales de la ciencia que se
trate, en nuestro caso la matemática.
c) Los axiomas o postulados, los cuales son proposiciones que se aceptan como
verdaderas y que no se demuestran en los límites de la ciencia dada.
d) Los principios de la ciencia anteriormente demostrados constituidos por todos aquellos
teoremas ya probados en los cuales se apoya la tesis que se ha de demostrar y los
cuales se utilizan de manera inmediata o mediata en el transcurso de la demostración.

3. Anteriormente dijimos que los procedimientos demostrativos sirven para poner de manifiesto la
conexión lógica estricta entre la proposición que se demuestra y los fundamentos que se toman
como basa. En general no es posible observar de una manera inmediata si la proposición que
 14

se demuestra (teorema) es verdadera. Con el fin de probar la veracidad de la tesis se hace

entonces necesario:

a) Conocer e indicar los fundamentos verdaderos que lleven a reconocerla

b) Mostrar la conexión lógica o vínculo que lleva necesariamente de la veracidad de los
fundamentos dados a la tesis por ellos condicionada.

Argumento. Un argumento es un razonamiento que se hace con el propósito de conseguir la

aceptación o el rechazo de una tesis propuesta.

Argumento válido. Un argumento es válido si, y únicamente si, la conjunción de las premisas implica a
la conclusión, esto es, siempre que todas las premisas sean verdaderas, la conclusión será también
verdadera.
Observación. La verdad de la conclusión no tiene importancia por lo que respecta a la prueba de la validez de un
argumento.

EJEMPLOS:

1- p: Si las matemáticas son interesante entonces es necesario estudiaras.

q: Es necesario estudiar matemáticas.
c: Las matemáticas son interesantes.

Se observa que la conclusión c es verdadera, sin embargo el argumento no es válido, ya que c no se

deduce de las premisa p y q.

2-) p: Todos los números primos son impares.

q: Los números impares son enteros.
c: Los números primos son enteros.

Nuestro argumento es válido y la conclusión es verdadera, pero la premisa p es falsa.

Puede en consecuencia derivarse correctamente una proposición verdadera a partir de premisas falsas.
3-) p: Si x+ 3 = 5 entonces x < 2.
q: x + 3 = 5
c: x < 2

Aquí la conclusión es falsa, pero el argumento es válido, ya que la conclusión se sigue de las premisas.
Observa que a premisa p, es falsa.
Podemos en consecuencia, derivar correctamente una proposición falsa a partir de premisas falsas.

Concluimos, entonces que ni el valor de verdad, ni el contenido material de las proposiciones que intervienen en
un argumento afectan su validez.

MODUS PONENS

También se emplea para denominar a este argumento la expresión más larga modus ponendo ponens, lo que en
latín quiere decir “el método de obtención (de la consecuencia) mediante la aserción (del antecedente)”. He aquí
un ejemplo: “Si está lloviendo, entonces estoy en casa. Está lloviendo, Luego, estoy en casa.” Hay dos premisas:
una es una implicación; la otra es el antecedente de la implicación. El resultado o conclusión, es el consecuente
de la implicación. El argumento se abrevia como sigue:
 15

El argumento de modus ponens se expresa en el lenguaje lógico en la forma siguiente: ,

cuya tabla de verdad es:

p q p→ q ( p→ q) ∧ p
V V V V V
V F F F V
F V V F V
F F V F V

Puesto que es una tautología, sus valores de verificación es necesariamente verdadero,

y por tanto, el argumento del modus ponens no depende de la verdad o falsedad de p, q o p ⟶q para que
sea válido.

Naturalmente, si hay algo equivocado en las premisas, podemos llegar a una conclusión falsa; pero esto
no invalida el argumento en sí, que mecánicamente nos presenta el consecuente cuando lo alimentamos
con la implicación y su antecedente.

En un argumento del tipo modus ponens simple, la concusión es evidente de inmediato cuando se dan
las premisas, por ejemplo:

a) Si x > 5, entonces x2 > 25.

Dado que x >5.
Conclusión: x2 > 25
a) Es difícil nadar cuando hay mucho oleaje.
Dado que hay mucho oleaje.
Conclusión: Es difícil nadar.

Hay que estar seguro de que una de las premisas es el antecedente. Sustituir el consecuente y derivar
el antecedente es una manera equivocada de razonamiento. No puede decirse, por ejemplo, “Es difícil
nadar cuando hay mucho oleaje. Es difícil nadar. Luego, hay mucho oleaje”. La verdad de la situación
posiblemente se deba a que el mar está en calma, pero hay muchos tiburones.

En la práctica el argumento modus ponens se usa en argumentos más complicados, en una o más
etapas. He aquí un ejemplo: Si llueve estaré en casa. Si estoy en casa, me perderé el concierto. Está
lloviendo. Por tanto, me perderé el concierto.”

EJERCICIOS PROPUESTOS.

Dígase si cada una de las conclusiones es o no valida empleando el modus ponens.

1. Si nieva, entonces iré a esquiar. Nieva. Luego, iré a esquiar.

2. Si me caigo de una escalera, me heriré. Estoy herido. Luego, me caí de una escalera.
3. Si nieva, entonces iré a esquiar. No nieva. Luego, no iré a esquiar.
4. Si voy de tiendas, compraré un sombrero. Compraré un vestido azul si compro un sombrero.
Voy de tiendas. Luego compro un vestido azul.

Modus tollens:
 16

También se emplea para denominar a este argumento la expresión modus tollendo tollens , el método
de negar el antecedente mediante la negación del consecuente. El razonamiento modus tollens puede
abreviarse así:

Imaginémonos la siguiente situación: un mucho está viendo televisión. Oye que su padre dice, “Si llueve,
me quedaré en casa.” Poco después, cuando su programa termina, mira en una y otra habitación y
descubre que su padre se ha ido. Sin mirar al exterior, se dice a sí mismo, “luego, después de todo, no
llovió.”

El método de modus tollens es un resultado lógico de la interpretación que p ⟶ q significa “ q es una

condición necesaria para p.” Por lo tanto, si no tenemos q, no podemos tener p.

El método de modus tollens se expresa en el lenguaje lógico en la forma siguiente:

Puesto que es una tautología, su valor de verificación es necesariamente verdadero.

Ahora bien, puesto que p ⟶q y ∼q son ambas premisas, y por tanto ambas verdaderas, la proposición
(p⟶q) ∧ ∼p es necesariamente verdadera. Esto hace que la conclusión de la modus tollens p, sea
necesariamente verdadera, y por tanto el razonamiento

Es un razonamiento válido.

Una demostración formal tendría la forma

Proposiciones Rozones

∼q
p⟶q Premisas

∼p
Premisas
Modus tollens 1 y 2

condicional (p ⟶ q) y su contrarrecíproca (∼q ⟶ ∼ p) tienen siempre los mismos valores de verdad. Por
El argumento modus tollens está íntimamente relacionado con el modus ponens. Anteriormente vimos que una

tanto, p ⟶ q y ∼q ⟶ ∼p son lógicamente equivalente, y podría procederse a una derivación formal

como sigue:

Proposiciones Rozones

∼q
p⟶q Premisas

∼q ⟶ ∼p
Premisas

∼p
Esta proposición es cierta porque es lógicamente
equivalente a la proposición 1.
Modus Ponens aplicado a las proposiciones (2) y
(3).

Acerca de esta nueva forma, podemos decir que el modus tollens nos ahorra unos pasos al precio de tener que
recordar otra regla de inferencia.
Ejercicios propuestos.
 17

Diga por medio del uso del modus tollens si cada una de las conclusiones es o no correcta.

1) Si no voy a Nueva York, viajaré en avión.

Estoy viajando en avión.
Por tanto, no estoy yendo a Nueva York.
2) Si estoy enfermo, entonces no tomaré mi medicina.
Tomo mi medicina.
Luego estoy enfermo.
3) Si estoy enfermo, entonces no voy a trabajar.
No estoy enfermo.
Luego estoy en el trabajo.
4) Si no me corto el pelo, entonces me quedaré en casa.
Voy a la iglesia.
Por tanto, me corté el pelo.

En los ejercicios siguientes proporcionese una conclusión valida, si es posible por el método de modus
ponens o bien de modus tollens (Nota: no se pide determinar si las premisas o las conclusiones son
verdaderas.)

1. El más alto de dos hombres siempre es el más pesado. Roberto es más alto que Juanito.
2. Todos los cuadriláteros tienen cuatro lados. Un rombo tiene cuatro lados.
3. El triángulo ABC es equilátero. Los triángulos equiláteros son isósceles.
4. Todo paralelogramo es un cuadrilátero. La figura ABCD es un paralelogramo.
5. Si a =b, entonces a + c = b + c, a = b.
6. Todos los cuadrados son rectángulos. Este no es un rectángulo.
7. Si a = b, entonces ac = bc. ac ≠bc.
8. Las rectas paralelas no se interceptan. La recta n y la m no se interceptan.

Complete los espacios en bancos en cada caso:

1) El argumento__________________ se usa cuando tenemos una premisa condiciona junto con su

antecedente, mientras que el argumento ___________________ se usa cuando tenemos una premisa
condicional con la negación de su consecuente.
2) El método modus ponens establece que si una proposición condicional es verdadera, y su antecedente
es verdadero, podemos deducir que su consecuente es necesariamente
___________________________

En la siguiente demostración forma, coloca las razones que hacen que las proposiciones tabuladas sean
verdaderas:

( p ∧ q) ⟶ r
PROPOSICIONES RAZONES

p∧q
r