U NIVERSIDAD N ACIONAL A UTÓNOMA DE N ICARAGUA , L EÓN
Á REA DE C ONOCIMIENTO DE C IENCIAS Y T ECNOLOGÍA
Á REA DE C ONOCIMIENTO E SPECIFICO M ATEMÁTICA Y E STADÍSTICA
E STUDIOS G ENERALES
I. DATOS GENERALES:
1.1 Áread de Conocimiento: Ciencias y Tecnología
1.2 Carrera: 1.3 Modalidad: Regular
1.4 Nombre del Componente Curricular: Matemática Básica
1.5 Unidad I: Aritmética Elemental y Lógica y Teoría de Conjunto
1.6 Tema: Proposiciones, Tablas de Verdad y Argumentos
1.7 Tiempo: (Presencial): 100 min. 1.8 Fecha: 04/03/2014-08/03/2014
1.9 Profesor (a):
II. COMPETENCIA DEL COMPONENTE CURRICULAR:
Resuelve modelos matemáticos simples para su buen desenvolvimiento en la práctica profesional utilizando
las bases matemáticas de ecuaciones diferenciales parciales.
III. DIMENSIONES DE LA COMPETENCIA
Conocimientos Habilidades Actitudes
Escribe enunciados y valor de ver-
Enunciados y valor de ver- dad.
dad. Escribe enunciados y valor de ver- Realiza proposiciones simples y
Conectivos y Modificado- dad. compuestas y utiliza conectivos o
res. Realiza proposiciones simples y modificadores.
Proposiciones Simples y compuestas y utiliza conectivos o Construye tablas de verdad.
Compuestas. modificadores.
Resuelve correctamente los argu-
Tablas de Verdad. Construye tablas de verdad. mentos haciendo uso del lenguaje
Proposiciones lógicamente Resuelve ejercicios propuestos simbólico.
equivalentes. con ejemplos detallados. Resuelve ejercicios propuestos
Argumentos con ejemplos detallados para su
máxima comprensión.
IV. ACTIVIDADES DEL DOCENTE Y DE LOS ALUMNOS:
Página 1 / 17
U NIVERSIDAD N ACIONAL A UTÓNOMA DE N ICARAGUA , L EÓN
Á REA DE C ONOCIMIENTO DE C IENCIAS Y T ECNOLOGÍA
Á REA DE C ONOCIMIENTO E SPECIFICO M ATEMÁTICA Y E STADÍSTICA
E STUDIOS G ENERALES
1 Lógica
1.1 Enunciado, conectivos y modificadores
La Lógica se ocupa del razonamiento a partir de las premisas, las cuales son proposiciones que dan la pauta
para el proceso deductivo e inductivo. Para tal, es necesario conocer los siguientes conceptos:
Definición 1.1 — Inferir. Proceso de unir ideas para llegar a conclusiones verdaderas a partir de proposi-
ciones verdaderas.
Definición 1.2 — Proposición lógica. Es un enunciado que se califica como falso o verdadero, pero no
ambos a la vez.
Cuando una proposición es verdadera, se suele denotar simplemente por V y si es falsa se denota por F. Para
asignar proposiciones en el lenguaje simbólico usamos letras minúsculas, por ejemplo: a, b, c, p, q, r, entre
otras.
Ejemplo 1.1 — Simbolizar proposiciones. Si se desea manifestar que “Rubén Darío escribió la obra Cantos
de Vida y Esperanza” podemos usar el siguiente simbolismo:
r : Rubén Darío escribió la obra Cantos de Vida y Esperanza.
Así mismo, podemos representar simbólicamente:
s : El 30 de abril del 2019, el presidente de Nicaragua inauguró oficialmente la carretera de concreto hidráulico
que une el Pacífico con la región del Caribe nicaragüense.
Ambas proposiciones r y s son verdaderas (V ).
En general, las expresiones interrogativas (Se usan cuando se quiere preguntar algo: ¿Qué te motivo a estudiar
en la UNAN-León?), exclamativas (Son la que expresan emociones: ¡Qué linda es Selva Negra!), exhortativas
(Son las que piden, ordenan o sugieren algo: Por favor, hagan silencio) y dubitativas (Expresan dudas o
posibilidad: Tal vez, vaya a la fiesta) no son proposiciones ya que tienen que ser enunciados declarativos.
Definición 1.3 — Proposiciones.
a) Proposiciones simples: Son aquellas que están formada por un solo enunciado.
b) Proposiciones compuestas: Son aquellas que forman 2 o más proposiciones simples unidas por uno
o más conectivos lógicos.
Ejemplo 1.2 — Proposiciones simples. Son proposiciones simples:
p : En el país el derecho a la electricidad pasó de una cobertura del 52 % al 95 %
q : La tala de selvas tropicales es una de las causas del cambio climático.
Ejemplo 1.3 — Proposiciones compuestas. Son proposiciones compuestas:
Página 2 / 17
U NIVERSIDAD N ACIONAL A UTÓNOMA DE N ICARAGUA , L EÓN
Á REA DE C ONOCIMIENTO DE C IENCIAS Y T ECNOLOGÍA
Á REA DE C ONOCIMIENTO E SPECIFICO M ATEMÁTICA Y E STADÍSTICA
E STUDIOS G ENERALES
a : Si desde el año 2007 el GRUN ha entregado más de 49 mil soluciones de viviendas a igual número
de familias y ha promovido la construcción de 18 nuevos hospitales, las familias nicaragüenses están muy
contentas.
b : Los árboles absorben CO2 de la atmósfera y de ese modo ayudan a regular el clima.
c : Nicaragua tiene las mejores carreteras de la región o ha logrado la casi plena comunicación de las zonas
productivas, incluida la comunicación con el Caribe.
1.2 Conectivos Proposicionales
El siguiente cuadro muestra las distintas proposiciones compuestas con su respectivo conectivo lógico y
símbolo.
Nombre Conectivo lógico Símbolo Representación
Negación No ¬, ∼ ∼p
Disyunción o ∨ p∨q
Disyunción Exclu-
o ··· o △ p△q
siva
Conjunción y ∧ p∧q
Implicación Si... entonces =⇒ p =⇒ q
Doble implicación Si, y solo si, ⇐⇒ p ⇐⇒ q
Cuando una proposición se construye a partir de otras proposiciones, mediante conectivos lógicos, el valor
de verdad lo determinan los valores de verdad de las proposiciones originales. Dadas las proposiciones p y
q, los valores de verdad de las proposiciones p ∨ q, p ∧ q, p ⇒ q, p ⇐⇒ q y ¬p, quedan determinados por
los valores de verdad de p y q. En consecuencia, el número de valores de verdad está dado por 2n donde n
representa el número de proposiciones. Para verificar el valor de verdad de una proposición compuesta se
utilizan las siguientes tablas.
1.3 Negación
Dada una proposición “p”, la negación de p es otra proposición que se denota por “∼ p” y se lee “no p” o “
no es cierto que p”.
La negación “no”, cumple la función de negar una afirmación y de afirmar una negación.
Página 3 / 17
U NIVERSIDAD N ACIONAL A UTÓNOMA DE N ICARAGUA , L EÓN
Á REA DE C ONOCIMIENTO DE C IENCIAS Y T ECNOLOGÍA
Á REA DE C ONOCIMIENTO E SPECIFICO M ATEMÁTICA Y E STADÍSTICA
E STUDIOS G ENERALES
a) no el casó} .|. . . .{z
| es {z . . . . . .}.
∼ A
b) es falso que . . . . . . . . . . . . , etc
| {z } | {z }
∼ A
En estos casos los indicados términos niegan toda la proposición compuesta A. Es decir ∼ .|. . . .{z
. . . . . .}.. La
A
negación, se aplica a la conjunción y la disyunción con excepcionales resultados. Así obtenemos: la negación
conjuntiva, la negación alternativa y las leyes de De Morgan.
1.3.1 Negación Conjuntiva
Dados dos proposiciones p y q, definimos la negación conjuntiva de p y q, a la proposición compuesta “p ↓ q”
que se lee “ni p ni q”; y es verdadera sólo cuando sus dos componentes son falsos, siendo falsa en los otros
casos.
Ni
| Ricardo Palma
{z fue escritor ni} Mariátegui fue poeta
| {z }
p ∼q
Se simboliza por: ∼ p ∧ ∼ q o por p ↓ q
1.3.2 Negación Alternativa
Dadas dos proposiciones p y q, definimos la negación alternativa de p y q, , a la proposición compuesta “p | q”
” que se lee “no p o no q” ; y es verdadero cuando por lo menos uno de sus componentes es falso, es falso sólo
cuando los dos componentes son verdaderos.
Ejemplo 1.4 “6 no es divisor de 20 o no es número primo”
p : 6 es divisor de 20
q : 6 es número primo
Simbolizando: ∼ p ∨ ∼ q ↔ p | q
1.4 Conjunción
Dadas dos proposiciones p y q, la conjunción es el resultado de reunir estas proposiciones con el conectivo
“∧”.
Reglas 1.1 La regla de la Conjunción p ∧ q afirma que: “p ∧ q” es V sólo cuando “p es V y “q es V”. Si
uno de ellos es F, el resultado es F.
Nota: En todo párrafo, las palabras: “pero”, “sin embargo”, “además”, “no obstante”, “aunque”, “a la vez”, etc.
equivalen al conectivo “∧”.
Página 4 / 17
U NIVERSIDAD N ACIONAL A UTÓNOMA DE N ICARAGUA , L EÓN
Á REA DE C ONOCIMIENTO DE C IENCIAS Y T ECNOLOGÍA
Á REA DE C ONOCIMIENTO E SPECIFICO M ATEMÁTICA Y E STADÍSTICA
E STUDIOS G ENERALES
Ejemplo 1.5 Simbolice la proposición compuesta: “En la historia del país la cantidad acumulada de carreteras
asfaltadas era de 2 000 km y solo en los últimos años se construyeron 2 000 kilómetros más.
Solución:
p : En la historia del país la cantidad acumulada de carreteras asfaltadas era de 2 000 km.
q : Exclusivamente en los últimos 12 años se construyeron 2 000 kilómetros más.
Simbólicamente, p ∧ q
1.5 Disyunción
La disyunción de dos proposiciones p y q es la proposición compuesta que resulta de unir p y q por el
conectivo “o”. Como el sentido del conectivo “o” es excluyente, se puede interpretar de dos maneras: débil o
inclusiva y fuerte o exclusiva.
1.5.1 Disyunción Inclusiva o Débil
La disyunción inclusiva o débil de p y q se denota por “p ∨ q” y se lee “p o q”
Reglas 1.2 El principio lógico de la disyunción inclusiva es: La disyunción inclusiva “p ∨ q” es V ,
cuando por lo menos una de las proposiciones componentes es V . Es falso sólo cuando los dos son falsas.
Nota: “)” se lee “Por lo tanto”
Ejercicio 1.1 Represente simbólicamente la proposición “La tecnología ayuda al desarrollo de las activi-
dades del ser humano o su mal uso cambia el comportamiento de las personas”
Solución:
p : La tecnología ayuda al desarrollo de las actividades del ser humano.
q : Su mal uso cambia el comportamiento de las personas.
Simbólicamente, p ∨ q
1.6 Disyunción Exclusiva o Fuerte
Se denota por “p ∆ q” o por “p Y q” y se lee de dos maneras:p ∆ q ; “p o q, pero no ambos”
Página 5 / 17
U NIVERSIDAD N ACIONAL A UTÓNOMA DE N ICARAGUA , L EÓN
Á REA DE C ONOCIMIENTO DE C IENCIAS Y T ECNOLOGÍA
Á REA DE C ONOCIMIENTO E SPECIFICO M ATEMÁTICA Y E STADÍSTICA
E STUDIOS G ENERALES
Reglas 1.3 El principio lógico de la disyunción exclusiva es:
La disyunción exclusiva “p ∆ q” es verdadera sólo
cuando una de sus componentes es verdadera.
Ejemplo 1.6 Represente simbólicamente la proposición “O los niños aprenden a usar correctamente la
tecnología o estarán expuestos a los peligros de las redes sociales
Solución:
p : Los niños aprenden a usar correctamente la tecnología.
q : Los niños estarán expuestos a los peligros de las redes sociales.
Simbólicamente, p △ q
1.7 Condicional
Es la combinación de dos proposiciones por el conectivo “Si .|. . . .{z
. . . . . .}., entonces .|. . . .{z
. . . . . .}. ”
p q
Reglas 1.4 El principio lógico o regla de la condicional es: La condicional es falsa, sólo si el antecedente
es V y el consecuente es F, siendo verdadera en todos los demás casos.
“si p entonces q”
La condicional p → q se lee de tres maneras: “q, sólo sí p”
“q, si p”
Para construir una condicional p → q, se pone especial cuidado que el antecedente “p” sea verdadero porque
se supone que sólo a partir de antecedentes verdaderos se deduce que el consecuente q sea verdadero.
Nota: Cuando la VERDAD del antecedente (p) lleva necesariamente a la
verdad del consecuente (q), diremos que “p implica q” y denotaremos
por “p ⇒ q”
Ejemplo 1.7 Simbolice la proposición compuesta “Si el GRUN ha impulsado decenas de programas sociales
dirigidos a las familias, ha contribuido a reducir más la pobreza.
Solución:
p : El GRUN ha impulsado decenas de programas sociales dirigidos a las familias.
q : El GRUN ha contribuido a reducir más la pobreza.
Página 6 / 17
U NIVERSIDAD N ACIONAL A UTÓNOMA DE N ICARAGUA , L EÓN
Á REA DE C ONOCIMIENTO DE C IENCIAS Y T ECNOLOGÍA
Á REA DE C ONOCIMIENTO E SPECIFICO M ATEMÁTICA Y E STADÍSTICA
E STUDIOS G ENERALES
Simbólicamente, p ⇒ q
Nota: Cuando en un párrafo se encuentran los términos: “porque, puesto que, ya que, siempre que, cuando, si,
cada vez que, dado que”; estos términos, también, son conectivos condicionales. Se caracterizan porque
después de cada uno de estos términos está el antecedente.
En matemáticas, es corriente aplicar la condicional lógica cada vez que se desea deducir nuevas proposiciones
verdaderas. Por ejemplo cuando se quiere demostrar un teorema.
La proposición condicional está asociada a otras tres proposiciones importantes, estas son: la recíproca, la
inversa y la contrarecíproca.
1.8 Proposición Recíproca
La proposición recíproca que corresponde a la condicional p → q es q → p
Si hoy es sábado , mañana es domingo ≡ p → q
p → q
Si mañana es domingo , hoy es sábado ≡ q → p es el recíproco
q → p
1.9 Proposición Inversa o Contrario
La proposición inversa que corresponde a la condicional p → q es ∼ p →∼ q
1) Si hoy es sábado, mañana es domingo ≡ p→q
Si hoy no es sábado , mañana no es domingo ≡ ∼ p →∼ q
2) a es positivo , si a es mayor que 0 ≡ p→q
p → q
a no es positivo , si a no es mayor que 0 ≡ ∼ p →∼ q
1.10 Proposición Contrarecíproca
La proposición contrarecíproca que corresponde a la condicional p → q es ∼ q →∼ p
Página 7 / 17
U NIVERSIDAD N ACIONAL A UTÓNOMA DE N ICARAGUA , L EÓN
Á REA DE C ONOCIMIENTO DE C IENCIAS Y T ECNOLOGÍA
Á REA DE C ONOCIMIENTO E SPECIFICO M ATEMÁTICA Y E STADÍSTICA
E STUDIOS G ENERALES
Ejemplos
1) a es positivo , si a es mayor que 0 ≡ p→q
p → q
Si a no es positivo , a no es mayor que 0 ≡ ∼ q →∼ p
p → q
2) Pedro comerá, puesto que tiene hambre ≡ Si Pedro tiene hambre, entonces comerá ≡ p → q
Su contrarecíproca es: Pedro no comerá entonces
→no tiene hambre.
∼q ∼p
1.11 Bicondicional
La conjunción de los condicionales “p → q” y “q → p” denotada por (p → q) ∧ (q → p) , se denomina el
bicondicional de p y q.
Reglas 1.5 El principio lógico o regla de la bicondicional es: Una proposición bicondicional es V si ambas
componentes son V o son F, en otro caso es F.
Ejemplo 1.8 Simbolice la proposición compuesta “Ella reduce el riesgo de contraer diabetes” si sólo si lleva
una dieta saludable.
Solución:
p : Ella reduce el riesgo de contraer diabetes.
q : Ella lleva una dieta saludable.
Simbólicamente, p ⇔ q
Ejemplo 1.9 Dadas las proposiciones simples
p : La salud en Nicaragua se ha restituido como derecho.
q : La salud ha tenido mejoras en diversos servicios con decenas de nuevos establecimientos.
r : 16 nuevos hospitales se han construido
La proposición compuesta p ⇔ (r ∨ q) se traduce al lenguaje ordinario como: “La salud en Nicaragua se ha
restituido como derecho si sólo si 16 nuevos hospitales se han construido o la salud ha tenido mejoras en
diversos servicios con decenas de nuevos establecimientos.
Página 8 / 17
U NIVERSIDAD N ACIONAL A UTÓNOMA DE N ICARAGUA , L EÓN
Á REA DE C ONOCIMIENTO DE C IENCIAS Y T ECNOLOGÍA
Á REA DE C ONOCIMIENTO E SPECIFICO M ATEMÁTICA Y E STADÍSTICA
E STUDIOS G ENERALES
Nota: Recuerde
p ∧ q solo es verdadero cuando p y q son ambas verdaderas. En otro caso son es falso.
p ∨ q solo es falso cuando p y q son ambas falsas. Es verdadero en otro caso.
p ⇒ q solo es falso cuando p es verdadero y q es falso.
p ⇔ q es verdadera cuando el valor de verdad de p y q coinciden.
1.12 Tablas de Verdad
La verdad o falsedad de una proposición se denomina su validez (o su valor de verdad). La validez de la
conjunción, de la disyunción, de la condicional, de la bicondicional y de la negación pueden representarse en
tablas.
En consecuencia, dadas dos o más proposiciones simples cuyos valores de verdad son conocidas, el valor de
verdad de una proposición compuesta depende de la verdad de cada uno de las proposiciones componentes
y se determina mediante tablas de verdad.
1.13 Tablas de valores de verdad
Una tabla de valores se construye paso a paso, al establecer los valores correspondientes de cada suboperación
involucrada, hasta llegar a la expresión dada.
Definición 1.4 Después de construir una tabla de verdad, el resultado puede ser una tautología, una
contradicción o una contingencia.
❶ Tautología. Proposición compuesta en la que todas las combinaciones de valores son verdaderas.
❷ Contradicción. Proposición compuesta en la cual todas las combinaciones de valores son falsas.
❸ Contingencia. Proposición compuesta donde las combinaciones de valores son verdaderas y falsas.
1.14 Conectivos Lógicos Representados en Tablas de Verdad
Las tablas de verdad de la conjunción, disyunción, condicional, bicondicional y negación se explica a
continuación.
Tabla de verdad de la conjunción
p q p∧q En general, una conjunción es V, cuando todos sus componentes son V.
V V V
V F F
A ≡ p1 ∧ p2 ∧ p3 ....... ∧ pn
F V F
F F F
V≡ V V V V
Página 9 / 17
U NIVERSIDAD N ACIONAL A UTÓNOMA DE N ICARAGUA , L EÓN
Á REA DE C ONOCIMIENTO DE C IENCIAS Y T ECNOLOGÍA
Á REA DE C ONOCIMIENTO E SPECIFICO M ATEMÁTICA Y E STADÍSTICA
E STUDIOS G ENERALES
Tabla de verdad de la disyunción (Inclusiva o débil)
p q p∨q En general A ≡ p1 ∨ p2 ........ ∨ pn es verdadera cuando por lo menos
V V V algún pi es verdadero. A será falsa cuando todas las pi sean falsas.
V F V
F V V
F F F
Tabla de verdad de la disyunción (Exclusiva o fuerte)
p q p∆q
La disyunción exclusiva, tiene varias equivalencias lógicas, que nos
V V F
F
permiten operar de la mejor forma:
V V
F V V p ∆ q ≡ ∼ (p ↔ q) ≡ (p ∨ q) ∧ ∼ (p ∧ q) ≡ (p ∧ ∼ q) ∨ (q ∧ ∼ p)
F F F
Tabla de verdad de la condicional
p q p → q El conectivo “si ... , entonces ... ” se denota por el símbolo “→” o por “⊃”.
≡∼ p ∨ q La notación “p → q” se lee “si p , entonces q”, donde:
V V V La proposición p se llama antecedente (Hipótesis)
V F F La proposición q se llama consecuente (Tesis o conclusión).
F V V p → q
F F V
Antecedente Consecuente
Tabla de verdad de la bicondicional
p q p ↔ q
V V V El bicondicional de las proposiciones p y q se simboliza por “p ↔ q”,
V F F que se lee “p si, y solamente si q”.
F V F
F F V
Tabla de verdad de la negación
p ∼p
La verdad o falsedad de una negación queda bien determinada por la tabla
V F de verdad.
F V
Página 10 / 17
U NIVERSIDAD N ACIONAL A UTÓNOMA DE N ICARAGUA , L EÓN
Á REA DE C ONOCIMIENTO DE C IENCIAS Y T ECNOLOGÍA
Á REA DE C ONOCIMIENTO E SPECIFICO M ATEMÁTICA Y E STADÍSTICA
E STUDIOS G ENERALES
Tabla de verdad de la negación conjuntiva
p q Si comparamos la tabla de verdad de p ↓ q con p ∨ q , notaremos
p ↓ q p∨q
que p ↓ q es la negación de p ∨ q .
V V F V
Es decir: p ↓ q ↔ ∼ (p ∨ q) ↔ ∼ p ∧ ∼ q
V F F V
F V F V
se lee “ni p ni q”
F F V F
“no p ∧ no q”
Tabla de verdad de la negación alternativa
p q Si comparamos la tabla de verdad de p | q con p ∧ q , notaremos
p | q p∧q
que p | q es la negación de p ∧ q .
V V F V
Es decir: p | q ↔ ∼ (p ∧ q) ↔ ∼ p ∨ ∼ q
V F V F
F V V F
se lee “no p o no q”
F F V F
1.15 Tautología, Contradicción y Contingencia
Tabla de verdad (Tautología)
Denominamos tautología a toda proposición compuesta que es siempre verdadera, cualquiera sean los valores
de verdad de las proposiciones componentes.
Las siguiente proposiciones son tautologías: a) p∨ ∼ p y b) ∼ (p∧ ∼ p);
p q [p ∧ (p → q)] → p
V V V V V V V
V F V F F V V
F V F F V V F
F F F F V V F
1.15.1 Tabla de verdad (Contradicción)
Una proposición compuesta es una contradicción, si es siempre falsa, cualesquiera sean los valores de verdad
de las proposiciones componentes.
Página 11 / 17
U NIVERSIDAD N ACIONAL A UTÓNOMA DE N ICARAGUA , L EÓN
Á REA DE C ONOCIMIENTO DE C IENCIAS Y T ECNOLOGÍA
Á REA DE C ONOCIMIENTO E SPECIFICO M ATEMÁTICA Y E STADÍSTICA
E STUDIOS G ENERALES
p q r [(∼ p ∧ q) → ∼ r] ↔ [r ∧ ∼ (p ∨ ∼ q )]
V V V F F V V V F V F F V V F
V V F F F V V F F F F F V V F
V F V F F F V V F V F F V V V
V F F F F F V F F F F F V V V
F V V V V V F V F V V V F F F
F V F V V V V F F F F V F F F
F F V V F F V V F V F F F V V
F F F V F F V F F F F F F V V
Tabla de verdad (Contingencia)
Una proposición compuesta es contingente cuando en su resultado hay por lo menos una verdad y una
falsedad.
p q r (q → r) ∨ (∼ p → r)
V V V V V V V F V V
V V F V F F V F V F
V F V F V V V F V V
V F F F V F V F V F
F V V V V V V V V V
F V F V F F F V F F
F F V F V V V V V V
F F F F V F V V F F
1.16 Implicación tautológica
Las proposiciones compuestas pueden ser tautología, contradicción o contingencia. Las tautologías son útiles
en Matemática porque nos permiten reemplazar una proposición por otra que tenga los mismos valores de
verdad.
Definición 1.5 Dadas dos proposiciones p y q, no necesariamente simples, decimos que p implica
tautológicamente a q si la proposición p ⇒ q es una tautología.
Definición 1.6 Dadas dos proposiciones p y q, no necesariamente simples, decimos que p y q son
tautológicamente equivalentes si p ⇔ q es una tautología.
Ejemplo 1.10 Se mostrará que ¬(t ∧ s) es tautológicamente equivalente a ¬t ∨ ¬s. Para tal, construimos la
tabla de valores para ¬(t ∧ s) ⇔ (¬t ∨ ¬s)
Página 12 / 17
U NIVERSIDAD N ACIONAL A UTÓNOMA DE N ICARAGUA , L EÓN
Á REA DE C ONOCIMIENTO DE C IENCIAS Y T ECNOLOGÍA
Á REA DE C ONOCIMIENTO E SPECIFICO M ATEMÁTICA Y E STADÍSTICA
E STUDIOS G ENERALES
t s ¬t ¬s t ∧s ¬t ∨ ¬s ¬(t ∧ s) ¬(t ∧ s) ⇔ (¬t ∨ ¬s)
V V F F V F F V
V F F V F V V V
F V V F F V V V
F F V V F V V V
Dado que la tabla de valores da como resultado una tautología, ¬(t ∧ s) es tautológicamente equivalente a
¬t ∨ ¬s.
Nota: Cuando dos proposiciones p y q son equivalentes, tienen la misma tabla de verdad en función de las
proposiciones que las componen. Así, en el ejemplo anterior, las columnas de (¬t ∨ ¬s) y ¬(t ∧ s) tienen
los mismos valores de verdad.
Ejemplo 1.11 Las proposiciones p ⇒ q con ¬q ⇒ ¬p son equivalentes. Esta equivalencia se llama Ley del
contrarrecíproco o Ley contrapositiva, y se usa en los razonamientos por reducción al absurdo.
Nota: Las implicaciones y equivalencias tautológicas juegan un papel fundamental en la llamada Teoría
Oracional de la Inferencia.
2 Argumento
La inferencia es una condicional de la forma:
(p1 ∧ p2 ∧ p3 ∧ ....... ∧ pn ) → q .............(I)
A esta condicional, se le llama también, argumento lógico; donde p1 , p2 , .... , pn son llamadas premisas y
originan como consecuencia otra proposición “q” llamada conclusión.
El resultado de la condicional (I) puede ser una tautología, una contingencia o una contradicción y po-
demos resumir del siguiente modo:
1) Si la condicional (I) es una tautología, entonces se tiene un argumento válido
(o inferencia válida).
2) Si la condicional (I) es falso entonces se tiene la llamada falacia.
Teorema 2.1 Si la condicional (I) es válido y las premisas p1 , p2 , .....pn son verdaderas, entonces la
conclusión q es correcta (V ).
Página 13 / 17
U NIVERSIDAD N ACIONAL A UTÓNOMA DE N ICARAGUA , L EÓN
Á REA DE C ONOCIMIENTO DE C IENCIAS Y T ECNOLOGÍA
Á REA DE C ONOCIMIENTO E SPECIFICO M ATEMÁTICA Y E STADÍSTICA
E STUDIOS G ENERALES
Ejemplo 2.1 Si Maradona es argentino entonces es aficionado al fútbol. Pero, Maradona no es aficionado al
fútbol. Por lo tanto, no es argentino.
Simbolizando:
Maradona es argentino =p
[(p → q) ∧ (∼ q)] → ∼ p
Maradona es aficionado al fútbol = q
La tabla de verdad es:
p q [(p → q) ∧ (∼ q)] → ∼p
V V V F F V F
V F F F V V F
F V V F F V V
F F V V V V V
Son premisas: p → q, ∼ q. La conclusión es: ∼ p. Como resultado es una tautología, la conjunción de
premisas implica a la conclusión, por lo tanto la inferencia es válida.
Ejemplo 2.2 “Si Juan participa en un comité electoral de la universidad entonces los estudiantes se enojarán
con él, y si no participa en un comité electoral de la universidad entonces las autoridades universitarias se
enojaran con él. Pero, Juan participará en un comité electoral de la universidad o no participará. Por lo tanto,
los estudiantes o las autoridades universitarias se enojarán con él.
Simbolizando:
1) Sean las proposiciones simples:
Juan participará en un comité electoral =p
Los estudiantes se enojaran con él =q
Las autoridades universitarias se enojarán con Juan = r
2) Formalizando el enunciado tenemos:
a) Las premisas son: (p → q) ∧ (∼ p → r) ∧ (p ∨ ∼ p)
b) La conclusión es: q ∨ r
3) La inferencia será [(p → q) ∧ (∼ p → r) ∧ (p ∨ ∼ p)] → [q ∨ r]
Al desarrollarse en una tabla de verdad, obtendremos una TAUTOLOGÍA, lo cual indica que la inferencia es
válida.
Página 14 / 17
U NIVERSIDAD N ACIONAL A UTÓNOMA DE N ICARAGUA , L EÓN
Á REA DE C ONOCIMIENTO DE C IENCIAS Y T ECNOLOGÍA
Á REA DE C ONOCIMIENTO E SPECIFICO M ATEMÁTICA Y E STADÍSTICA
E STUDIOS G ENERALES
Ejemplo 2.3 “Si Anita decía la verdad, entonces Sócrates corrompía a la juventud y si el tribunal lo condenó
equivocadamente, entonces Anita no es el culpable. Pero, Sócrates no corrompía a la juventud o Anito es el
culpable. Por lo tanto Anita no decía la verdad o el tribunal no condenó a Sócrates equivocadamente”.
Simbolizando
1) Sean las proposiciones simples:
p = Anita decía la verdad.
q = Sócrates corrompía a la juventud.
r = El tribunal condenó equivocadamente a Sócrates.
s = Anita es el culpable.
2) La formalización del esquema molecular será:
[(p → q) ∧ (r → ∼ s) ∧ (∼ q ∨ s)] → [∼ p ∨ ∼ r]
2.1 Métodos de Demostración
En la demostración de muchos teoremas y otras proposiciones que se presentan en el álgebra y en el análisis
(análisis real, topología, geometría, etc.) se aplican ordenadamente los pasos lógicos agotando todas , las
premisas (antecedentes o hipótesis) para verificar la conclusión (consecuente o tesis). Hay dos métodos para
demostrar una proposición.
2.1.1 Método Directo
Consiste en utilizar la validez de la inferencia de la forma:
p1 ∧ p2 ∧ p3 ∧ ... ∧ pn → q
I
Premisas Conclusión
En esta forma de demostración, se utilizan todas las premisas pi , paso a paso, hasta verificar la conclusión q.
2.1.2 Método Indirecto
Tambien se le denomina método por reducción a lo absurdo. Este método consiste en negar la conclusión q y
considerarla como premisa, luego se trata de inferir válidamente la negación de alguna de las premisas pi del
Página 15 / 17
U NIVERSIDAD N ACIONAL A UTÓNOMA DE N ICARAGUA , L EÓN
Á REA DE C ONOCIMIENTO DE C IENCIAS Y T ECNOLOGÍA
Á REA DE C ONOCIMIENTO E SPECIFICO M ATEMÁTICA Y E STADÍSTICA
E STUDIOS G ENERALES
conjunto {p1 , p2 , ....., pn }.
Es decir, se construye y se verifica la validez de la siguiente inferencia:
Premisas Conclusión
[(∼ q) ∧ p1 ∧ p2 ∧ ... ∧ pn ] → pi
II
Negación de la conclusión Negación de una
(es decir, negación de la tesis) de las premisas
Para ambos métodos, si la conclusión se deduce correctamente del conjunto de premisas, la inferencia
es válida (o también se dice que el conjunto de premisas implica a la conclusión, o la conclusión es conse-
cuencia lógica del conjunto de premisas).
Pero, si la conclusión no se deduce correctamente del conjunto de premisas, entonces la inferencia no es
válida.
Observación: El esquema lógico II es equivalente al esquema lógico I
Probemos: [(∼ q) ∧ p1 ∧ p3 ∧ ... ∧ pn ] →∼ p2
≡ ∼ [(∼ q) ∧ p1 ∧ p3 ∧ ... ∧ pn ] ∨ ∼ p2 (se ha aplicado: p → q ≡∼ p ∨ q)
≡ [q ∨ ∼ ( p1 ∧ p3 ∧ ... ∧ pn )] ∨ ∼ p2 (por ley de Morgan)
≡ q ∨ [∼ ( p1 ∧ p3 ∧ ... ∧ pn ) ∨ ∼ p2 ] (Propiedad asociativa)
≡ q ∨ [∼ ( p1 ∧ p3 ∧ p2 ∧ ... ∧ pn ) ] (por ley de Morgan)
≡ [ p1 ∧ p2 ∧ p3 ∧ ... ∧ pn ] → q
c. Orientacion del Trabajo independiente (Tareas):
Lectura del Dossier pág 29- pág 35, tema Lógica.
V. MEDIOS O RECURSOS DIDACTICOS NECESARIOS: Se necesitará Dossier de Matemática Básica.
VI. EVALUACIÓN DE LOS APRENDIZAJES (Criterios y Evidencias)
Criterios Evidencias
Realización de ejercicios indivi-
Aplica las leyes de aritmética en duales orientados en clases.
los diferentes ejercicios orienta-
Lista de cotejos actitudinales.
dos.
Orientación de II trabajo I Parcial
Página 16 / 17
U NIVERSIDAD N ACIONAL A UTÓNOMA DE N ICARAGUA , L EÓN
Á REA DE C ONOCIMIENTO DE C IENCIAS Y T ECNOLOGÍA
Á REA DE C ONOCIMIENTO E SPECIFICO M ATEMÁTICA Y E STADÍSTICA
E STUDIOS G ENERALES
VII. CONCLUSIONES:
VIII. RECOMENDACIONES:Practicar ejercicios haciendo uso de las leyes de las potencias y Radicales.
Referencias
[1] Moreno, L. y Gómez A. (2009). Matemáticas simplificadas 2a ed. Pearson Educación de México, S.A. de
C.V.
[2] Pulido, C., A. (1994). Matemáticas I (3a ed.). Xalapa: SEV.
[3] Swokowski, E. y Cole, J., A. (2011). Álgebra y trigonometría con geometría analítica (13a ed.). Cengage
Learning Editores, S. A. de C. V.
[4] Stewart, J., Redlin, L. y Watson, S. (2012). Precálculo: Matemáticas para el cálculo (6a ed.). Cengage
Learning, S. A de C. V.
[5] Zill, D., G. y Dewar, J., M. (2012). Álgebra, trigometría y geometría analítica (3a ed.). McGraw-
Hill/Interamericana, S. A. de C. V.
Página 17 / 17
