Obtener Archivo Recurso 2

INTRODUCCIÓN
La lógica es el estudio de los métodos y principios utilizados para diferenciar un

razonamiento correcto de un incorrecto. No debe interpretarse esta definición en el
sentido de que sólo el estudioso de la lógica puede razonar bien o correctamente; más
bien depende de la agudeza intelectual innata de cada persona, sin embargo se debe tener
en cuenta que la persona que ha estudiado lógica tiene mayor posibilidad de razonar
correctamente que aquella que nunca ha pensado en los principios generales implicados
en esa actividad.
La lógica ha sido definida a menudo como la ciencia de las leyes del pensamiento, se
considera también como la ciencia del razonamiento, pero se debe tener en cuenta que
estas definiciones no son tan precisas, ya que el pensamiento es uno de los procesos
estudiados por los psicólogos, además el razonamiento es un tipo especial de pensamiento
en el cual se realizan inferencias, es decir en el que se derivan conclusiones a partir de
premisas.
El problema central de la lógica es de distinguir entre el razonamiento correcto y el

incorrecto, que es a lo que nos vamos a dedicar con más énfasis en esta unidad, para tal
fin nos ubicamos en el tipo de lógica que desarrollaremos.
La lógica general, es la ciencia que estudia las leyes didácticas y lógicos-formales los
métodos los procedimientos, las propiedades y las relaciones, sobre las bases de las
formas de los pensamientos; se clasifica en: lógica dialéctica y lógica formal.
La lógica dialéctica estudia el contenido de las formas del pensamiento, es decir lo

esencial, contextual del concepto, juicio y raciocinio, en correspondencia con la realidad
objetiva que es dinámica, su objetivo es encontrar la verdad relativo-absoluta de los
pensamientos.
La lógica formal es una ciencia que estudia la estructura o forma de los conceptos, juicios
y raciocinios, sus relaciones de validez, métodos, reglas, principios y leyes, con
abstracción del contenido material de los pensamientos. En la actualidad la lógica formal
se denomina lógica matemática o simbólica, cuyo objetivo es demostrar la validez de los
argumentos simbólicos o formalizados, en la edad media George Boole (1815-1864 d.C)
fue el creador de la Lógica Simbólica o Lógica Matemática Moderna. Fundó el Cálculo
Proposicional, enuncia las Leyes del Álgebra Proposicional
1
LÓGICA PROPOSICIONAL
La lógica proposicional también llamada simbólica o matemática, es aquella parte de la

lógica que estudia las proposiciones y símbolos utilizados en la formación de nuevas
proposiciones que podrán ser verdaderas o falsas, señaladas por reglas formales.
El estudio de la lógica matemática se desarrolla utilizando proposiciones, en consecuencia

se debe tener las ideas claras sobre estas.
La oración. Gramaticalmente tiene una definición, solamente vamos a clasificarla.

Clases de oraciones
1. Oraciones Declarativas o Aseverativas. Son aquellas que tienen las funciones de

informar, describir y explicar.
- Informativas. Ejemplo: Hoy hay clases
- Descriptivas. Ejemplo: La pelota es esférica, blanca y pesada.
- Explicativas. Ejemplo: Si hace frio, la temperatura disminuye.
2. Oraciones Expresivas. Son aquellas que buscan expresar sentimientos, órdenes,

deseos e interrogantes.
- Exclamativas. Son aquellas que expresan emociones, también se las llama admirativas.
Ejemplo: ¡Qué bella!
- Imperativa o exhortativas. Son aquellas que expresan órdenes o mandatos. Ejemplo:
Recoge ese papel.
- Desiderativas. Expresan deseos, súplicas. Ejemplo: ¡Ojalá regrese!
- Interrogativas. Su propósito es averiguar algo. Ejemplo: ¿Qué hora es?
Enunciado. Es toda oración o frase que señala alguna idea. Ejemplo: ¿Qué estudias?,
buenos días, recoge ese papel, etc.
Enunciado Abierto. Son expresiones que no tiene la propiedad de ser verdadero o falso,
es decir no son proposiciones. Ejemplo:
p(x) : x2  x  8 , es un enunciado abierto, porque no podemos afirmar que sea verdadero
o falso, salvo que la variable “x” toma un valor numérico se hace verdadero o falso.
q(x, y) : x2  y2 16 , también es un enunciado abierto.
Función Proposicional. Función proposicional en una variable x, es todo enunciado en

donde interviene una variable como sujeto, el cual se convierte en proposición para cada
especificación de la variable. El conjunto de todos los valores permitidos para la variable
recibe el nombre de dominio de la variable. Ejemplo:
p(x) :"x es impar " , esta expresión no es proposición, ya que, depende del valor de
variable x para poder afirmar que el enunciado sea verdadero o falso.
p(x, y) :"x es múltiplode y", ésta función proposicional en las variable x e y, tampoco es
proposición, pero si especificamos los valores de “x” y de “y” se obtiene una proposición,
por ejemplo:
p(16, 4) :"16 es múltiplode 4", es una proposición verdadera.
2
Proposición. Es todo enunciado aseverativo al cual, con buen sentido, se le puede
asignar uno y sólo de los llamados valores de verdad o valores veritativos, verdadero
(V) o falso (F).
Notación. Las proposiciones en forma general se denotan con letras minúsculas tales
como p, q, r, s, t,…, etc, que toman el nombre de variables proposicionales. Ejemplos:
P: 3+5= 7
q: París es capital de España.
r: 4 es múltiplo de 2.
Observaciones:
a) Las preguntas y admiraciones son expresiones no proposicionales. Sin embargo en el
libro “Introducción a la lógica” de Diógenes Rosales, nos dice que en casos
excepcionales, las preguntas y admiraciones pueden ser proposiciones. Ejemplo:
- ¿No sabes que Colón llegó al Continente Americano en su tercer viaje”
- ¿A caso el castellano tiene dos letras mudas?
- ¡La ballena había sido un mamífero!
b) Existen expresiones lingüísticas que tienen apariencias de proposiciones, pero que en

realidad no lo son por no ser una secuencia de palabras sintácticamente correcta. Ejemplo:
La expresión “Jorge es un número par” carece de sentido porque “número par” no es un
predicado de persona, sino de números. Una secuencia de palabras como la citada en el
ejemplo toma el nombre de “pseudoproposición”.
Clases de proposiciones. Existen dos tipos de proposiciones:

1. Proposiciones simples, atómicas o elementales. Son aquellas en su forma más
elemental, consta de uno o varios sujetos y de un solo predicado que afirma algo en torno
a dichos sujetos, su característica principal es que carecen totalmente de conectivos
lógicos, sean monádicos o diáticos. Ejemplos:
-La lógica es muy importante.
-Juan estudia matemática básica.
2. Proposiciones compuesta o molecular o coligativas. Son aquellas que están

constituidas por dos o más proposiciones simples o atómicas. Las proposiciones
compuestas tienen en su estructura a uno o más conectivos lógicos. Ejemplos:
- Hace calor sin embargo llueve.
- Ni estudias ni trabajas.
Se puede formar una proposición compuesta tan solo con escribir el negador (conectivo
monádico) delante de una proposición simple. Ejemplo:
- Ocho no es número primo.
- No es cierto que Juan estudia ingeniería.
3
CONECTIVOS LÓGICOS
Estos son los conectivos más utilizados, sus símbolos, la operación asociada, la forma
de simbolizarlas y su significado, lo presentamos en la siguiente tabla.
CONECTIVOS LÓGICOS SIMBOLO OPERACIÓN SIMBOLIZACIÓN SIGNIFICADO

ASOCIADA
…y…  Conjunción p q Pyq
Disyunción p q P o q o ambos
…o…  inclusiva
Disyunción P o q pero no
O…o…  p q
Exclusiva ambos
Si…, entonces…  Condicional pq Si p, entonces q
...si y solo si…  Bicondicional pq p si y sólo si q
…no… ~ Negación ~p No p
Negación Ni p ni q
Ni…ni…  pq
Conjunta
Negación No p o no q
No… o no… pq
Alterna
Fuente: (Rios. 2001)
OPERACIONES FUNDAMENTALES CON PROPOSICIONES

(ÁLGEBRA DE PROPOSICIONES)
OPERACIONES FUNDAMENTALES CON PROPOSICIONES

(ÁLGEBRA DE PROPOSICIONES)
Las operaciones más conocidas son las siguientes:
1. LA CONJUNCIÓN O PRODUCTO LÓGICO

DEFINICIÓN. Dos proposiciones cualesquiera se pueden combinar por medio de la
palabra “y” para formar una proposición compuesta, que se llama conjunción de las
proposiciones anteriores. La conjunción de las proposiciones p y q se simboliza por:
p  q que significa “p y q”.
Ejemplos:
a) “5 es un número primo y 1 es un número impar”
b) “  es un número trascendente y (4+i) es un número complejo”
Tabla de verdad
p q p  q El valor de verdad de la proposición compuesta p  q
satisface la condición siguiente:
V V V
V F F Si p es verdadero y q es verdadero, entonces p  q es
F V F verdadero; en otro caso p  q es falso. Es decir, la
conjunción de dos proposiciones es verdadera
F F F
solamente si cada componente es verdadero.
En el lenguaje usual hay otras expresiones que, aun cuando tienen otras matices
de significación, sin embargo pueden traducirse por la conjunción; tales como:
“pero”, “además”, “sin embargo”, “auque”, “no obstante”, “a la vez”, “sino” ,
“también”, “mas”, “más”, “al igual que”, “así como”, “tal como”, “de la misma
forma”, “incluso”, “”empero”, “e”, “a pesar de”, “a la vez”, “tanto como”, etc.
Ejemplos:
a) “e es un número irracional, tanto como  ”
4
b) “2 es un número par, a pesar de que es primo”
En el lenguaje usual, la “y” no siempre se encuentra ubicada entre las
proposiciones. Así, la proposición “7 y 3 son números primos” es la forma abreviada
de “7 es número primo y 3 es número primo”.
Además es necesario precisar que la “y” no siempre cumple una función

conjuntiva. Así, la proposición “César y Roberto son amigos”, la “y” viene a ser un
elemento relacional que conecta dos sujetos. En este caso, la proposición es atómica
ya que “y” no es una conjunción. Por lo tanto su reformulación “César es amigo y
Roberto es amigo” carece de sentido; más bien la proposición dada anteriormente
equivale a “César es amigo de Roberto”.
Hay casos que la “y” no indica una simple unión de proposiciones sino una
consecuencia entre ellas. Así, la proposición “José rindió examen de matemática y
aprobó el curso” no significa una simple unión entre las proposiciones “José rindió
examen de matemática” y “José aprobó el curso”, sino que, en este caso, la “y”
significa “a consecuencia”, “a causa de”. Es decir: “José rindió examen de
matemática, a consecuencia de ello, aprobó el curso”. De ahí que, la proposición dada
no es conjuntiva.
Una conjunción puede estar dada por signos de puntuación: Una coma (,), un
punto y coma (;) o un punto seguido (.)
Ejemplos:
a) “7 es un número impar,  es un número trascendente”
b) Simbolizar el siguiente razonamiento:
“Si se requiere ya sea álgebra o geometría, entonces todos los estudiantes cursarán
matemática. Se requiere el álgebra, se requiere la trigonometría. Por lo tanto, todos
los estudiantes cursarán matemática”.
Resolución: Sean
A: álgebra es requisito
G: geometría es requisito
S: todos los estudiantes cursan matemática
T: trigonometría es requisito.
Simbolización:
Forma clásica Forma horizontal
1. (A  G) S M  (A  G) S A  T  S
2. A  T /S
3.
2. LA DISYUNCIÓN INCLUSIVA O DÉBIL
DEFINICIÓN. La expresión “o” en sentido inclusivo, establece que puede darse una
o ambas posibilidades. La disyunción inclusiva de las proposiciones p y q se simboliza
por: p  q que significa “p o q o ambos”
Ejemplo: En la proposición “Juan es abogado o contador público” estable que Juan
puede ser abogado o bien contador público a la vez. Por tal razón el sentido inclusivo
o débil puede expresarse con la expresión “lo uno o lo otro o ambos”. En los
documentos legales se la expresa con y/o.
5
Esquema Molecular
p q p  q
V V V El valor de verdad de la proposición compuesta
V F V p  q satisface la condición siguiente:
F V V Si p es falso y q es falso, entonces p  q es falso;
F F F en otro caso p  q es verdadero.
En el lenguaje ordinario existen otras expresiones que se traducen en disyunción

inclusiva, tales como:
“p salvo que q” (dos posibilidades)
“p a menos que q” (dos posibilidades)
“p o también q”
“p excepto que q” (dos posibilidades)
“p excepto que a la vez q”
“p salvo que incluso q”
“p a menos que también q”, etc.
3. LA DISYUNCIÓN EXCLUSIVA O FUERTE
DEFINICIÓN El sentido exclusivo de la disyunción descarta que se den ambas

posibilidades, es decir, establece una incompatibilidad. Por ejemplo “O un número es
positivo o negativo” indica una alternativa en la que sólo cabe una sola posibilidad, si
se elige una, inmediatamente queda eliminada la otra. Por esta razón el sentido
exclusivo o fuerte puede indicarse con el expresión: “lo uno lo otro, pero no ambos”.
La disyunción exclusiva se simboliza por: p  q que significa “p o q pero no ambos”
Ejemplo:
“O bien un número es mayor que cero o bien es menor que cero”
Esquema Molecular
p q p  q La disyunción exclusiva de dos proposiciones
V V F resulta falsa cuando ambas proposiciones tienen
V F V igual valor de verdad y resulta verdadero cuando
F V V tienen diferente valor de verdad.
F F F
Otras notaciones para la disyunción fuerte: p  q, p  q, p q, p  q
Observación: Según la distribución de la matriz principal de la disyunción exclusiva,
se observa que es contraria a la de la bicondicional, de acuerdo a esto podemos
afirmar que la disyunción exclusiva es la negación del bicondicional o
viceversa, es decir: pq   p  q o  pq  p  q
Es frecuente en el lenguaje usual indicar este sentido exclusivo con las expresiones
“O bien p o bien q”
“O p o q”
“p o q” (en sentido excluyente)
“p o sólo q”
“p o únicamente q”
6
4. EL CONDICIONAL O IMPLICACIÓN MATERIAL
DEFINICIÓN. Es un operador binario que enlaza a una proposición que es el

antecedente con otra que es el consecuente.
Simbolización: p q que significa “Si p, entonces q”
Si…………….……, entonces…………….……
ANTECEDENTE CONSECUENTE
CAUSA EFECTO
HIPÓTESIS TESIS
Traducción Verbal
Si p, entonces q, cuando p así pues q, con tal de que p es obvio que q, en el caso de
que p en tal sentido q, en virtud de que p es evidente q, dado p por eso q, en cuanto p
por tanto q, de p deviene q, p es condición suficiente para q, ya que p bien se ve que
q, siempre que p por consiguiente q, como quiera que p por lo cual q, de p
inmediatamente q, toda vez que p en consecuencia q, en la medida que p de allí q, de
p derivamos q, p impone q, etc.
Ejemplo:
Si un cuerpo se calienta, entonces se dilata.
Esquema Molecular
p q p  q La condicional de dos proposiciones es falsa sólo
V V V si el antecedente es verdadero y el consecuente
V F F falso, en cualquier otro caso la condicional es
F V V verdadera.
F F V
Observaciones:
- En toda proposición condicional escrita en la forma “Si p, entonces q”, se puede
suprimir la palabra “entonces” sin que se altere el sentido de la condicional.
Ejemplo: En la proposición
“Si un cuerpo se calienta, entonces se dilata”, suprimiendo la palabra entonces se
tiene:
“Si un cuerpo se calienta, se dilata”, el significado es el mismo.
- En toda proposición condicional escrita en la forma “Si p, entonces q”, se puede
reemplazar la palabra “si” por la palabra “cuando”.
Ejemplo: En la proposición
“Si un cuerpo se calienta, entonces se dilata”, que reemplazando “si” por “cuando”
se tiene:
“Cuando un cuerpo se calienta, entonces se dilata”, o “Cuando un cuerpo se calienta,
se dilata”.
FORMAS CONDICIONALES
A) FORMA ANTECEDENTE-CONSECUENTE. Se caracterizan porque después

de las siguientes expresiones se encuentra el consecuente.
“Si, entonces”, “Por lo tanto”, “luego”, “en consecuencia”, “implica”, “de modo que”,
“en conclusión”, “de ahí que”, “por consiguiente”, “se concluye”, “se deduce”, “así
pues”, etc.
7
Ejemplos:
Si un cuerpo se calienta, entonces se dilata.

Un cuerpo se calienta, en consecuencia se dilata.
Un cuerpo se calienta, luego se dilata.
Un cuerpo se calienta, por lo tanto se dilata.
Es suficiente que un cuerpo se caliente para que se dilate.
B) FORMA CONSECUENTE-ANTECEDENTE. Se caracterizan porque después

de las siguientes expresiones se encuentra el antecedente.
“Puesto que”, “ya que”, “porque”, “cada vez que”, “si”, “dado que”, “siempre que”,
“pues”, “en vista de que”, “supone que”, “es insuficiente para”, etc.
Ejemplos:
Transpiro, si hago deporte
Transpiro, porque hago deporte.
Transpiro, ya que hago deporte.
Transpiro, pues hago deporte.
Transpirar es condición necesaria para hacer deporte.
Condicionales asociadas. A toda condicional p  q que se llama directa, se le
asocia otras tres proposiciones, igualmente importantes, que son: la recíproca, la

contraria (inversa) y la contrarecíproca.
p  q : Directa
q  p : Recíproca
~ p ~ q : Contraria
~ q  ~ p : Contrarecíproca.
RECÍPROCAS
CONTRARIAS CONTRARECÍPROCAS CONTRARIAS
~ p ~ q RECÍPROCAS ~q~p
Ejemplo: Escriba la recíproca, contraria y contrarecíproca de las siguientes
condicionales:
1) “Si x es múltiplo de 2, entonces, x es par”
2) “Un número no es par si no es múltiplo de dos”
5. EL BICONDICIONAL
DEFINICIÓN. Nos referimos exclusivamente a la equivalencia material llamada

también bicondicional, se caracteriza por el conector “si y sólo si”. Se simboliza por:
p q que significa “p si y sólo si q”
Ejemplo:
“Juan construirá su departamento si y sólo si obtiene un préstamo”
8
p q p  q
V V V La bicondicional de dos proposiciones es verdadera
V F F si las dos proposiciones tienen el mismo valor de
F V F verdad, en cualquier otro caso será falsa.
F F V
Existen otras expresiones que se traducen en bicondicional, tales como:

“p es equivalente, equivale a q”
“p siempre que y sólo cuando q”
“p por lo cual y según lo cual q”
“p se define como q”
“p es lo mismo que q”
“p es idéntico a q”
“p es igual entonces a q”
“p cada vez que y solo q”
“p es equipolente a q”
“p cuando y sólo cuando q”
“p es condición necesaria y suficiente para q”, etc.
5. LA NEGACIÓN
DEFINICIÓN. Cuando una proposición es afectada por el conectivo monádico “no”,
el resultado se denomina negación de la proposición. La función del negador o
inversor (~) es negar una afirmación o afirmar una negación. Se simboliza por: ~p que
significa “No p”
Ejemplo: Negar las siguientes proposiciones:
- “Siete es número par”. Su negación es: “Siete no es número par”
- “Cinco es menor que dos”. Su negación es: “Cinco es mayor o igual que dos”
Tabla de Verdad
p ~p La negación de una proposición
V F verdadera es falsa y la negación de una
F V proposición falsa es verdadera.
Otras notaciones para la negación: La negación de la proposición p, tiene las

siguientes notaciones: ~ p, p, p, Np,  p, p´
La negación puede afectar también a una proposición molecular, en tal caso
utilizaremos las siguientes expresiones delante de dicha proposición:
“No es cierto que”, “es falso que”, “no es el caso que”, “es imposible que”, “es
incorrecto que”, “es absurdo que”, “no es verdad que”, etc.
Ejemplo: La negación de la proposición

“Javier viaja a Lima o a Chiclayo” es:
“No es cierto que, Javier viaja a Lima o a Chiclayo”.

Sean: p: Javier viaja a Lima, q: Javier viaja a Chiclayo.
Simbolización: M  ~ ( p  q)
9
6. LA NEGACIÓN ALTERNA O BARRA DE SHEFFER
DEFINICIÓN. La negación alterna de dos proposiciones es la proposición que resulta

de unir dichas proposiciones por medio de las expresiones “No o no”. También toma
el nombre de barra de incompatibilidad. Se simboliza por: p | q que significa “No
p o no q”
Ejemplo:
“Juan no construirá su departamento o no obtiene un préstamo”
p q p | q
V V F La negación alterna de dos proposiciones es
V F V verdadera si por lo menos una de las proposiciones
F V V es falsa y es falsa cuando las dos proposiciones son
F F V verdaderas.
Como la distribución de su matriz principal de la negación alterna es contraria a la de
la conjunción, podemos afirmar que la negación alterna es la negación de la
conjunción.
p | q  p  q ~ ( p  q)
7. LA NEGACIÓN CONJUNTA O FLECHA DE NICOD
DEFINICIÓN. Se llama negación conjunta a la unión de dos proposiciones por medio

de las expresiones “Ni…ni…”. Se simboliza por: p  q que significa “Ni p ni q”
Ejemplo:
“Ni siete es número par, ni ocho múltiplo de dieciséis”
p q p  q
V V F La negación conjunta de dos proposiciones es
V F F verdadera si sus dos proposiciones son falsas, en
F V F cualquier otro caso es falsa.
F F V
Como la distribución de su matriz principal de la negación conjunta es contraria a la
de la disyunción inclusiva, podemos afirmar que la negación conjunta es la negación
de la disyunción exclusiva.
p  q  p  q ~ ( p  q)
10
SIMBOLIZACIÓN DE PROPOSICIONES
Definición: Simbolizar una proposición consiste en sustituir cada una de las

proposiciones atómicas que intervienen, por una variable proposicional y cada conectivo
lógico por su símbolo correspondiente. Los símbolos de agrupación se utilizan para evitar
ambigüedades.
Además se debe tener en cuenta la jerarquía de los conectivos lógicos, la cual es la

siguiente: ordenamos de mayor a menor.
La bicondicional, la condicional, la conjunción y la disyunción tienen igual jerarquía y la
negación. En general los signos que se utilizarán son: paréntesis, corchetes, llaves.
La jerarquización sigue esta regla general: a mayor encierro dentro de signos de

agrupación, menor jerarquía; a menor encierro, mayor jerarquía.
Ejercicios
Simbolizar las siguientes proposiciones compuestas:
1. No es verdad que sea falso que, Newton sea físico.

Resolución:
No es verdad que sea falso que, (Newton sea físico)
a) Identificamos las proposiciones simples que intervienen:
b) Reemplazamos cada proposición atómica por una variable proposicional:

Sean:
p: Newton es físico
c) Insertamos las variables proposicionales.
Simbolización:
~~  p  p
2. “O los mamíferos son vertebrados o invertebrados. Pero, es absurdo que los
voladores sea bípedos”.
Resolución:

“[O (los mamíferos son vertebrados) o (invertebrados)]. Pero, es absurdo que (los
voladores sea bípedos)”.
Sean:
p: Los mamíferos son vertebrados
q: Los voladores son bípedos

Simbolización:
M   p ~ p ~ q
3. “Si se requiere ya sea álgebra o geometría, entonces todos los estudiantes cursarán
matemática. Se requiere el álgebra, se requiere la trigonometría. Por lo tanto, todos los
estudiantes cursarán matemática”.
Resolución:
11
“{Si [(se requiere ya sea álgebra) o (geometría)], entonces (todos los estudiantes cursarán
matemática)}. [(Se requiere el álgebra), (se requiere la trigonometría)]. Por lo tanto,
(todos los estudiantes cursarán matemática)”.

Sean:
A: álgebra es requisito
G: geometría es requisito
S: todos los estudiantes cursan matemática
T: trigonometría es requisito.

Simbolización:
M  (A  G) S A  T  S
4. “Es objetable que, ni haya fantasmas ni hombres alados”.

Resolución:
“Es objetable que, [ni (haya fantasmas) ni (hombres alados)]”.
Sean:
p: hay fantasmas
q: hay hombres alados
Simbolización:
M ~  p  q ~  ~ p ~ q
5. “No acontece que, existan niños porque estos niños están nutridos asimismo no
educados”.
Resolución:
“No acontece que, {(existan niños) porque [(estos niños están nutridos) asimismo no
(educados)]}”.
Sean:
p: existen niños
q: niños nutridos
r: niños educados
Simbolización:
M ~  p   q ~ r 
6. “La condición suficiente para que haya empleo, es que exista aumento de la
producción aún cuando también deje de haber recesión”
7. “No es cierto que, Coco no pinta excepto que tampoco esculpió estatuas. Además ni
va al cine ni al teatro”.
8. “Jamás en invierno hace calor, aún cuando en verano llueve al igual que haya eclipse
asimismo haya evaporización de agua tal como no hay granizo”.
12
9. Juan es director de una compañía de teatro, pues no es el caso que sea comerciante o
un próspero industrial.
10. Mañana viene José; luego, si no viene, viaja a Lima si consigue pasaje.
11. Si has escogido bien tu carrera, te esforzarás y triunfarás. Si no triunfas, no has
escogido bien tu carrera o no te has esforzado.
12. Como Jorge gana demasiado dinero, no saldrá de vacaciones de su trabajo, ni viajará
al extranjero.
13. Es falso que si Marco no estudia abogacía no podría contraer matrimonio, dado que
Marco es experto en política financiera.
14. O estoy equivocado o no es cierto que he aprobado el examen de matemática y
también el de comunicación.
15. Reflexiona a menos que al mismo tiempo seas irresponsable. Te esfuerzas estudiando
porque quieres ser profesional. Por consiguiente reflexionas e incluso eres esforzado.
16. Si Rosa recibió la carta, o bien tomó el ómnibus o bien no recibió el pedido. Rosa no
tomó el ómnibus, entonces y sólo entonces, Rosa ignoró el pedido en vista de que no
recibió la carta.
17. “Si en la luna no hay oxígeno, entonces no hay agua ni aire. Si no hay oxígeno ni hay
agua, entonces no hay plantas. No es el caso que en la luna haya oxígeno o no haya
plantas. En consecuencia, la luna está hecha de queso”.
EVALUACIÓN DE ESQUEMAS MOLECULARES POR TABLAS DE VERDAD
Evaluar un esquema molecular, por medio de tablas de valores de verdad, consiste en

obtener los valores del conectivo de mayor jerarquía presente en la proposición, a partir
de los valores de verdad de cada una de las proposiciones simples que la conforman.
El número de combinaciones posibles que se puede obtener con los valores de verdad,
depende del número de variables proposicionales que interviene en el esquema molecular
y se puede obtener utilizando la siguiente fórmula: 2 n, donde 2 es la constante
(valores V ó F) y n es el número de variables que interviene en el esquema molecular.
Para realizar la evaluación del esquema lógico se necesita de las denominadas “Tablas
de verdad” creadas por Wittgenstein que se presenta a continuación.
Variables Proposicionales Esquema Molecular

Valores de verdad Operaciones según
definiciones dadas.
A. Tautología. Un esquema molecular es Tautológico cuando, los valores de su

conectivo principal son todos verdaderos.
B. Contradictorio. Un esquema molecular es contradictorio, cuando en el resultado
del conectivo lógico principal, todos los valores son falsos.
C. Contingencia. Un esquema molecular es contingente, cuando en su resultado de
su conectivo lógico principal hay por lo menos una verdad y una falsedad.
13
Ejercicios
Evaluar los siguientes esquemas moleculares:

1. M   p  q   p  ~ q
Resolución:
p q  p  q  p  ~ q

V V V V V F F
V F F F V F V
F V V F F F F
F F V F F F V
M   p  q   p  ~ q , es una CONTRADICCIÓN

2. M   P  ~ q    p  q   p  q 
3. Q   ~ r  q    p  ~ q    ~ r  q 
4. M  ~ ( p  r)  (q  p)  ( p ~ q)
5. R   p  ~ q   ( p ~ r)  ~ (q ~ r)
VALOR DE VERDAD DE UNA PROPOSICIÓN MOLECULAR
Para determinare el valor de verdad de una proposición molecular determinada, es

decir, para saber si es verdadera o falsa, se utilizan también tablas de valores de
verdad, pero se procede en forma abreviada, utilizando solamente la fila que contiene
los valores de verdad de las proposiciones simples que intervienen, se puede utilizar
también por niveles.
Ejercicios
1. Si se sabe que la proposición ~ p  q es verdadera y la proposición r  t ~ q
es falsa, hallar el valor de verdad de:  p ~ r    q ~ t    ~ p  t 
Resolución:
Como ~ p  q es verdadera, podemos encontrar los valores de verdad de p y q,
dado que la conjunción es verdadera cuando ambos términos son verdaderos, es

decir: ~ p  V  p  F,q  V
Además, cuando r  t ~ q es falsa, el antecedente es verdadero y el
consecuente falso, es decir: r  V , t ~ q  F, sabemos qué q  V , entonces
~qF; para que t ~ q  F, se debe cumplir que t V, luego:
p  F, q  V , r  V , t  V , con estos valores podremos encontrar el valor de verdad

de:  p ~ r    q ~ t    ~ p  t  , reemplazando los valores de verdad de las
variables tenemos:
14
 F ~ V   V  ~ V    ~ F  V    F   F    F   V  F  F
La proposición es falsa.
15
2. De la falsedad de ( p ~ q)  (~ r ~ s) , se deduce que:
(1) ~ (~ q ~ s)  ~ p
(2) ~ (~ r  s)  (~ p ~ q)
(3) p ~ q ~ (s  r)
Son respectivamente:
A) FFV B) FFF C)FVF D)FVV E)VVV
3) Si la proposición ( p ~ q)  ~ p es falsa. Señale el valor de verdad de las

siguientes proposiciones:
(1) (~ p  q)  p
(2) ~ ( p  q)  p
(3) ~ p (q  p)
A) FVF B) FVV C)VFF D)VVV E)VVF
4). Si se sabe que la proposición ( p  r) ~ (~ p ~ q)es falsa, hallar el valor de

verdad de:  ~  p  q    p  r 

EQUIVALENCIA
DEFINICIÓN. Se dice que dos esquemas moleculares o dos proposiciones, son
equivalentes, si unidos por el conectivo bicondicional "  " el resultado es una
TAUTOLOGIA.
Notación: Sean A y B dos esquemas moleculares, si A es equivalente a B, lo

denotamos por:
A  B Se lee “A es equivalente a B” o A  B se lee “A es equivalente a B”.
En el caso que “A no sea equivalente a B” se denota por:
A B que se lee “A no es equivalente a B”
Definición: Dos esquemas o dos proposiciones son equivalentes, cuando tienen los
mismos valores de verdad en sus matrices principales.
Nota: Para demostrar que dos esquemas moleculares son equivalentes, se simplifican
utilizando equivalencias notables, cada uno de los esquemas a su forma más sencilla,
y si los resultados son idénticos, los esquemas serán equivalentes.
Ejercicios
1. Verificar si los siguientes esquemas son equivalentes:
M   p  q   r  p y N ~ q  ~ r  ~ p 
Resolución:
p q r  p  q   r  p ~ q   ~ r  ~ p
V V V V V V F V V
V V F V V F F V F
V F V F V V V V V
V F F F F F V F V
F V V V V V F V V
F V F V V F F V V
F F V V V F V V V
F F F V V F V V V
16
p q r p  q  r  p  ~q  ~ r  ~ p
V V V V V F V F V V
V V F V V F V F V F
V F V F V V V V V V
V F F F F V V V F V
F V V V V F V F V V
F V F V V F V F V V
F F V V V V V V V V
F F F V V V V V V V
Luego los esquemas M y N son equivalentes ( M  N ).
2. La proposición: ~  p  q   q ~ r  equivale a:
a)  p ~ q   ~  q  r  b)  p ~ q    p ~ r   ~ q


LEYES FUNDAMENTALES DE LA LÓGICA O PRINCIPIOS LÓGICOS
1. PRINCIPIO DE IDENTIDAD. Toda proposición es idéntica a sí misma

p p y p p
Ejemplos:
a) “Si un número es par, entonces es par”
b) “Un número es primo, si y sólo si es primo”
2. PRINCIPIO DE NO CONTRADICCIÓN. No es cierto que, una proposición

sea verdadera y falsa a la vez.
~  p ~ p
Ejemplo:“No es cierto que, un número es múltiplo de seis y no sea múltiplo de seis.”
3. PRINCIPIO DEL TERCIO EXCLUÍDO. Una proposición o es verdadera o es

falsa; no hay una tercera posibilidad.
p ~ p
Ejemplo: “Un número es positivo o no es positivo”
EQUIVALENCIAS NOTABLES O LEYES DEL ÁLGEBRA PROPOSICIONAL
Es debido a los aportes de GEORGE BOOLE (1815-1864), quien enuncia las leyes
del cálculo de clases o Álgebra lógica.
1. Doble negación o involución. ~ ~ p   p
2. Idempotencia. a) p  p  p b) p  p  p
3. Conmutativa. c) p  q  q  p d) p  q  q  p
4. Asociativa. a) p  q  r  p   q  r  b) p  q  r  p  q  r 
5. Distributiva. p   q  r    p  q   p  r 
p   q  r    p  q   p  r 
p   q  r    p  q   p  r 
17
p   q  r    p  q   p  r 
6. Leyes de demorgan. ~  p  q ~ p ~ q, ~  p  q ~ p ~ q
7. Leyes de complementación. p ~ p  V, p ~ p  F, ~ V  F, ~F  V
8. Leyes de identidad. p F  F p  p, p V  V p  V
p  V  V  p  p, p  F  F p  F
9. Definición condicional. p  q  ~p  q  ~ p ~ q
10. Definición del bicondicional. p  q   p  q   q  p
p  q   p  q   ~ p ~ q
11. Definición de la disyunción fuerte. pq   p  q   ~ p ~ q
12. Definición de negación conjunta. p  q ~ p ~ q
13. Definición de negación alterna. p | q ~ p  ~ q
14. Leyes de absorción. a) p   p  q  p b)p   p  q  p
c) p   ~ p  q   p  q d)p   ~ p  q   p  q
15. Transposición: p q  ~ q  ~ p
Ejercicios
1. Demuestre que: p   ~ p  q  p  q. Justifique cada paso que realice.
Resolución:
p   ~ p  q   p ~ p   p  q …Ley distributiva
p ~ p  q  F p  q …Ley de complementación
p ~ p  q  p  q …Ley de identidad
2. Simplificar el siguiente esquema molecular:  p  q    p   s  t  p  q  r  .

Justificar cada paso.
Resolución:
 p  q    p   s  t  p  q  r    ~ p  q    p   p   q  r  s  t  … Ley
condicional, conmutativa y asociativa.
  ~ p  q  p …Ley de absorción
 p   ~ p  q …Ley conmutativa
pq …Ley de absorción
3. Simplificar lo más posible, justifique: M   ~ p  q    r ~ r   ~ q

Resolución:
M   ~  ~ p  q    F   ~ q identidad.
~ q
  p ~ q   ~ q
18
…Ley condicional, ley de negación, ley de
complementación.
…Ley de Morgan, doble …Ley de absorción.
4. Simplificar el siguiente esquema, justificar cada paso:
M   ~ q ~ p    ~ p ~ q   ~  p  q 
19
Resolución:
M   ~  q ~ p    p ~ q   ~  p  q  …Ley condicional, Doble negación.
  ~ q  p    p ~ q   ~  p  q  …Ley de Morgan
 
  ~ q  p   p  ~ q  ~  p  q  …Ley asociativa
  p  ~ q ~  p  q  …Ley de absorción

  p ~ q   ~ p ~ q …Ley de Morgan
  p ~ p   ~ q …Ley distributiva
 F  ~ q …Ley de complementación
~ q …Ley de identidad.
5. Usando equivalencias lógicas, simplificar:

W   ~  ~ p ~ q   ~  p  q    p   ~ p  q  r 
R: T T es Tautología
6. Simplificar W su forma equivalente más sencilla, justifique cada paso:

 
W  p  p   q   q  r    p ~ q    ~ p  q   q
R: W  p  q
7. De las siguientes proposiciones, ¿cuáles son equivalentes?

p: Juan termina su tarea, q: Juan va al cine
a) Es necesario que Juan no vaya al cine para que termine su tarea.
b) No es cierto que Juan termine su tarea y vaya al cine.
c) Juan no terminara su tarea y no irá al cine.
8. Simplificar lo más posible, utilizando implicaciones notables las siguientes

proposiciones compuestas:
a) M   ~  ~ p ~ q   ~  p  q    p   ~ p  q  r 
 
b) M   p  r    ~ q  ~ p   ~ ~ p   ~ r  q    r  q 

9. Sea X la proposición más simplificada que representa al circuito lógico:
 ~ p  q    p   ~ q  ~ p    ~ p p    ~ p ~ q   p
Y sea Y, la proposición más simplificada de: s ~  w  ~ s  w
Si p, q, s, t, w son proposiciones lógicas cualesquiera tales que: X  Y es verdadera
y ~ w ~ s es falsa. Determinar los valores de verdad de:
a) s ~ w ~ ~ p  q
b) ~  ~ q  ~ p    t ~ w   w ~ p 
20
10. Sea s una proposición que corresponde a la p q s
siguiente tabla: V V F
Y r la proposición más sencilla equivalente a: V F V
F V V
 p  q   ~ q  ~ q
F F F
¿Cuál es el circuito más sencillo, equivalente al que
resulta de
Conectar en paralelo los circuitos correspondientes a ~ r a s.
21
LA INFERENCIA O EL RAZONAMIENTO
DEFINICIÓN. Una inferencia o argumento, es una estructura de proposiciones en la

que, a partir de una o más proposiciones consideradas como premisas, se obtiene otra
que es la conclusión.
ESTRUCTURA DE UNA INFERENCIA
FORMA HORIZONTAL FORMA VERTICAL

p1  p2  p3  ...pm  q  p1
PREMISAS CONCLUSIÓN p
.2
PREMISAS

.
.

 pm
CONCLUSIÓN  q
Ejemplo:
Forma Clásica Forma Horizontal
pq
qr
 p  q    q  r    p  r 
pr

VALIDEZ DE UNA INFERENCIA
Definición: Una inferencia es válida si y sólo si la conjunción de las premisas

implica la conclusión, es decir si:
DETERMINACIÓN DE LA VALIDEZ DE UNA INFERENCIA

Para demostrar la validez de una inferencia o razonamiento, se utilizarán los
siguientes métodos:
1. MÉTODO DE VALORES DE VERDAD.
A. UTILIZANDO TABLAS DE VERDAD.

PROCEDIMIENTO:
Cuando se trate de demostrar la validez de un razonamiento, mediante tablas de
verdad, se sigue el siguiente procedimiento:
1) Se formaliza la inferencia en la forma PREMISAS-CONCLUSIÓN
2) Se construye su condicional asociada (Forma Horizontal de un razonamiento)
3) Se procede a la evaluación del esquema condicional.
Si todos los valores de la matriz principal son verdaderos, el enunciado es
tautológico, en este caso el razonamiento es VÁLIDO; si algún valor de verdad de la
matriz principal es falso, el razonamiento es INCORRECTO”.
22
EJEMPLOS:
1) “El automóvil de Juan se lo llevará la grúa y tendrá que pagar una multa ya que
estacionó su auto en la Plaza de Armas. La grúa no se lleva el auto. Por lo tanto, no
lo estaciona en la Plaza de Armas”.
Resolución:
a) Simbolizamos la proposición: Identificamos las premisas y la conclusión del
argumento.
La proposición equivale a la siguiente:
“Si Juan estacionó su auto en la Plaza de Armas, entonces se lo llevará la grúa y tendrá
que pagar una multa. La grúa no se lleva el auto. Por lo tanto, no lo estaciona en la
Plaza de Armas”.
PREMISAS
“Si Juan estacionó su auto en la Plaza de Armas, entonces se lo llevará la grúa y
tendrá que pagar una multa ya”.
“La grúa no se lleva el auto”.
CONCLUSIÓN
“Juan no estaciona su auto en la Plaza de Armas”.
b) Identificamos proposiciones simples.

Sean: p: Juan estaciona su auto en la Plaza de Armas
q: La grúa llevará el auto
r: Juan tendrá que pagar la multa.
Forma clásica
p  (q  r)
~q
~ p
Condicional asociada. Es la forma horizontal del razonamiento:
c) Evaluamos la Tabla de Verdad del esquema encontrado:

p q r

 p   q  r   ~ q   ~ p
V V V V V V F F V V F V
V V F V F F F F V V F V
V F V V F F F V F V F V
V F F V F F F V F V F V
F V V F V V F F V V V F
F V F F V F F F V V V F
F F V F V F V V F V V F
F F F F V F V V F V V F
Como el resultado es una Tautología, el Razonamiento es Válido.

2) “Enrique es profesional si y solo si es graduado universitario. Ocurre que Enrique
es ingeniero. Por lo tanto, Enrique es graduado universitario si es ingeniero.”
23
3) “Jorge viaja a Trujillo, siempre que obtenga buen calificativo o no tenga
problemas familiares. Sin embargo no viajará a Trujillo. En consecuencia, tiene
problemas familiares y no obtuvo buenas calificaciones”.
4) “Si Jorge ni ingresa a la Universidad, o se dedica a la música o se hará comerciante.
Jorge no se hará comerciante. En consecuencia, Jorge no se dedicará a la música
puesto que ingresó a la Universidad”.
5) “O el satélite entra en órbita, o si falla el cohete impulsor caerá la mar. El satélite
no cae al mar. Por lo tanto, o el satélite entra en órbita o no falla el cohete impulsor”.
B. EN FORMA ABREVIADA. Este método nos evita el laborioso trabajo de la

tabla de valores de verdad en el análisis de validez de las inferencias, se aplica en
razonamientos que tienen la siguiente forma:
p1  p2  p3  ...pm  q
ANTECEDENTE CONSECUENTE
(CONJUNCIÓN DE PREMISAS ) (CONCLUSIÓN )
PROCEDIMIENTO:
1) Se supone VERDADERO el antecedente y FALSO el consecuente.
2) Se determinan los valores de verdad de las variables del consecuente de manera
que expresen la falsedad de éste.
3) Se trasladan estos valores al antecedente, y se designan los valores de las demás
variables, tratando de de hacer verdadero el antecedente. Para esto, se hacen
verdaderas a todas las premisas del antecedente menos a una; de esta última
dependerá el valor de verdad del antecedente.
4) Si se verifica el primer paso, la inferencia será incorrecta; en caso contrario la
inferencia es correcta.
EJEMPLOS:
Resolución:
argumento.
Plaza de Armas”.
PREMISAS
tendrá que pagar una multa”.
CONCLUSIÓN
24
Forma clásica
p  (q  r)
~q
~ p

 p   q  r   ~ q ~ p
Determinación de la validez:
1º. Suponemos Verdadero el antecedente y Falso el consecuente
V
F
 p   q  r   ~ q  ~ p
2º. Determinamos el valor de la variable del consecuente:
Como: ~p es falso, entonces p es verdadero.
3º. Trasladamos este valor al antecedente y determinamos los valores de las demás
variables; para esto se hace verdadera a cualquiera de las premisas, por ejemplo a la
segunda.   
p  q  r  ~ q  ~ p
  

 V 
 V  F
El valor de verdad de q en este caso será falso

    
 p   q  r   ~ q  ~ p
  V  F   V  F
4º. Observe que si r toma el valor de verdadero o falso, la primera premisa, toma
entonces el valor de falso, y con este resultado se ha falseado el antecedente.
    
    ~p

p q r ~ q

  V  F V ó F   V  F
F
Como no se ha verificado la suposición inicial, por lo tanto el razonamiento es
correcto.

Resolución:

argumento.
“Enrique es profesional si y solo si es graduado universitario. Ocurre que Enrique es
ingeniero. Por lo tanto, Si Enrique es ingeniero, entonces es graduado universitario”.
25
PREMISAS
“Enrique es profesional si y solo si es graduado universitario”.
“Enrique es ingeniero”.
CONCLUSIÓN
“Si Enrique es ingeniero, entonces es graduado universitario”.
Sean: p: Enrique es profesional
q: Enrique es graduado universitario
r: Enrique es ingeniero.
Forma clásica
pq
r
rq

 p  q   r  (r  q)
Determinación de la validez:
1º. Suponemos Verdadero el antecedente y Falso el consecuente
V F
 p  q   r  (r  q)
2º. Determinamos el valor de la variable del consecuente:
Como el consecuente es falso, entonces r debe ser verdadero y q falso. (r  q)

V F
3º. Trasladamos estos valores al antecedente y determinamos los valores de las demás
variables; para esto se hace verdadera a cualquiera de las premisas, por ejemplo a la
primera.
 
    
 p  q   r  (r  q)
  V  V 
F 
 V

4º. Observe que si p toma el valor de verdadero, la primera premisa, toma entonces el
valor de verdadero, y todo el antecedente se hace verdadero, en consecuencia se
prueba la suposición inicial.
V
 
    
 p  q   r  (r  q)
  V F  V 
 V

Luego el argumento en incorrecto.
Como no se ha verificado la suposición inicial, por lo tanto el razonamiento es
correcto.
3) “Si Luis gana la partida, entonces si quiere aumentar sus ganancias, continuará
jugando. Es así que Luis continúa jugando. Luego, Luis quiere aumentar sus
ganancias si gana su primera partida”.
26
4) “O la Matemática es exacta siempre que sea un sistema axiomático, o la Geometría
es exacta cuando Euclides no se equivocó. Ocurre que, la Matemática y la Geometría
son exactas. En consecuencia, la Matemática es un sistema axiomático a la vez que
Euclides no se equivocó”.
5) “Si pago la lavandería no me queda dinero. Puedo llevar a mi novia de paseo si
tengo dinero. Si no la llevo de paseo, mi novia se molestará conmigo. Pero, si no
pago la lavandería, no me entregarán el traje, y sin el traje no puedo llevar a mi novia
de paseo. Pago la lavandería o no lo pago. Luego, mi novia se molestará con migo”.
6) “Elizabeth aprobará matemática cuando estudia con ahínco. Debo concluir que
Elizabeth aprobará matemática ya que, se dedicará al deporte o estudia matemática,
y Elizabeth no se dedica al deporte”.
LA IMPLICACIÓN
DEFINICIÓN. Se dice que una proposición o esquema molecular A implica a B,
cuando unidos por el conectivo condicional “ ”, el resultado es una
TAUTOLOGÍA.
Notación: A  B se lee: “A implica a B”
A B se lee: “A no implica a B”
Ejemplos:
1) Sean los esquemas moleculares: A ~ p  ~ r, B  ( p  q)  ~ r. Demuestre
que A implica a B.
Resolución.
p qr ~ p  ~ r  B  ( p  q)  ~ r
V V F F F V V F F
VV F F V V V V V V
VF V F F F V F V F
VF F F V V V F V V
FV V V V F V F V F
FV F V F V V F V V
FF V V V F V F V F
FF F V F V V F V V
Como la matriz principal es Tautológica, entonces A implica a B.
2) Sean las siguientes proposiciones: M ~ p  ~ q, N  p  ~ r, Q  ~(q~ r)

Determinar:
a) Si la conjunción de M y Q, implica a N.
b) Si la disyunción de M y N, implica a Q.
27
IMPLICACIONES NOTABLES
Son argumentos implicativos, válidos, tautológicos, cuya estructura lógica costa de

dos o más premisas, de la cual se infiere la conclusión respectiva, como por ejemplo
los Modus; los silogismos, los Dilemas y otras reglas, los más notables son los
siguientes:
1) LOS MODUS
a) Modus Ponendo Ponens (M.P.P). Es el método (modus), que afirma (ponens) el

consecuente, afirmando (ponendo) el antecedente. También se conoce como el
método o regla que “Afirmando, afirma”. Sólo se da con la operación de implicación
y biimplicador.
pq
p
[( p  q)  p]  q
q
pq
p
[( p  q)  p]  q
q
pq
q
[( p  q)  q]  p
p
Ejemplo:
“Si arriesgas, triunfarás, Es el caso que has arriesgado.

Por lo tanto has triunfado”.
b) Modus Tollendo Tollens (M.T.T). Es el método (modus) por el que negando

(tollendo) el consecuente de un condicional, se puede negar (tollens) el antecedente.
Es decir, si se dan un condicional y la negación del consecuente como premisa, se
concluye en la negación del antecedente. También se llama el método que “Negando,
niega”, sólo se da con las proposiciones implicativas y biimplicativas.
pq
~q
[( p  q) ~ q] ~ p
~ p
pq
~p
[( p  q) ~ p]  ~ q
~ q
pq
~q
[( p  q) ~ q]  ~ p
~ p
28
c) Modus Ponendo Tollens (M,P,T). O método que “Afirma, niega”, sólo se da
con la proposición disyuntiva excluyente.
29
p q
p [( p q)  p]  ~ q
~ q
p q
q [( p q)  q]  ~ p
~ p
d) Modus Tollendo Ponens (M,T,P). También se le conoce con el nombre de

SILOGISMO DISYUNTIVO, es el método que “Negando, afirma”, se da con la
proposición disyuntiva incluyente y excluyente.
p q
~p
[( p q) ~ p]  q
q
p q
~q
[( p q) ~ q]  p
p
p q
~p
[( p  q) ~ p]  q
q
p q
~q
[( p  q) ~ q]  p
p
2) LOS SILOGISMOS. Son aquellas estructuras lógicas que tienen dos premisas y
una conclusión.
Silogismo Hipotético o categórico (S.H). Constituye la base lógica de todo silogismo
como veremos más adelante. Se da con la proposición implicativa y biimplicativa.
pq
qr
[( p  q) (q  r)] ( p  r)
pr
pq
r p
[( p  q) (r  p)] (r  q)
 r q
3) LOS DILEMAS. Son aquellas estructuras lógicas en la cual se combinan Modus

y conformada por tres premisas, que resultan de la combinación de proposiciones
implicativas y disyuntivas débiles; y una conclusión. Para resolverlos se debe
emplear la estrategia de separar en modus, a fin de analizar su validez.
30
a) El Dilema Constructivo (D.C).
pq
rs
pr
[( p  q)  (r  s)]  ( p  r)  (q  s)
q  s
b) El Dilema Destructivo (D.D).
pq
rs
~ q ~ s
[( p  q)  (r  s)]  (~ q ~ s)  (~ p ~ r)
~ p ~ r
4. La Conjunción o Adjunción. Es una inferencia mediante la cual aparentemente

las dos premisas están aisladas, las cuales se las conjunciona en la conclusión. Se
presenta siempre con signos lingüísticos (coma, punto, punto y coma) en las
proposiciones verbales.
p
q
pq
5. La Adición o nuevo factor. Inferencia, a partir de la cual teniendo una premisa

que puede ser una proposición simple; se deduce una conclusión que es una
proposición disyuntiva, sin alterar la premisa.
p ~p
pq ~ p  q
6. Absorción (Abs). Dada una premisa como condicional, se concluye otra

condicional cuyo antecedente es el mismo, pero el consecuente es la conjunción de
antecedente y consecuente de la premisa dada.
pq
( p  q) [ p  ( p  q)]
 p ( p  q)
7. Transposición (Transp). Esta ley indica que los miembros de un condicional

pueden ser transpuestos si se niega cada uno de ellos.
pq ~ p ~ q
p  q ~ q  ~ p
~ q  ~ p q  p
8. Exportación (Exp). Según esta ley, el antecedente de una condicional, que es un

esquema conjuntivo, pasa a ser una condicional de mayor jerarquía.
( p  q)  r 9. Ley del p  (q  r)
 p  (q  r) absurdo. ( p  q)  r
31
( p  q) r  p  (q  r)
p (~ q  q) ~ p (~ q  q)
~ p p
32
2. MÉTODO DE DERIVACIONES O PRUEBA FORMAL
En este método consiste en aplicar a cada una de las premisas de un razonamiento,

una serie de reglas o leyes lógicas (implicaciones notables y equivalencias notables)
hasta llegar a la conclusión del razonamiento si es posible, en caso de llegar a
demostrar la conclusión del razonamiento, será correcto. Este procedimiento no es
algorítmico ya que el número de pasos no puede predecirse, su eficacia depende de
la capacidad natural del quien lo aplica.
EJEMPLOS:
Resolución:
argumento.
Plaza de Armas”.
PREMISAS
CONCLUSIÓN

Forma clásica
p  (q  r)
~q
~ p
Efectuamos las derivaciones.
1. p  (q  r)
2. ~ q / ~ p
3. ~ q ~ r ...Adición(2)
4. ~ (q  r) ...Demorgan(3)
5. ~ p ...M .T.T (1, 4)
Como se llegó a la conclusión (~p), el argumento es correcto.
33
Resolución:

argumento.
PREMISAS
CONCLUSIÓN
Forma clásica
pq
r
rq
Realizamos las derivaciones:
1. p  q
2.r / r  q
3.( p  q)  (q  p)...Definición Bicond (1)
4. p  q ...Simplificación(3)
5.r  ( p  q) ...Conjunción(2, 4)
Como no se llega a la conclusión, el razonamiento es incorrecto.
3) “Si eres activo y tienes buen carácter serás un buen profesional. Si tener buen
carácter implica que serás buen profesional., entonces llagarás a ser un gran gerente.
Tu eres activo. Por lo tanto llegarás a ser un gran gerente”
Resolución:

argumento.
Determinamos las variables de la inferencia.
“Si eres activo y tienes buen carácter serás buen profesional.
Si tener buen carácter implica que serás buen profesional, entonces llegarás a ser un
gran gerente.
Tú eres activo.
Luego, llegarás a ser un gran gerente”.
Sean:
p: Eres activo.
q: Tienes buen carácter.
r: Serás un buen profesional.
34
S: Llegarás a ser un gran gerente.
Se simboliza las premisas y conclusión:

1. ( p  q)  r
2. (q  r)  s
3. p /  s
Realizamos las derivaciones:

1. ( p  q)  r
2. (q  r)  s
3. p /  s
4. p  (q  r)...Export.(1)
5.q  r ...M .P.P(4, 3)
6. s ...M .P.P(2, 5)
Como se llega a la conclusión, el razonamiento es correcto.
3. LA DEMOSTRACION CONDICIONAL. La demostración condicional, es una

regla dentro del método de derivaciones y se aplica en los casos en que una inferencia
tenga conclusión implicativa. Esta regla consiste en agregar al antecedente de la
conclusión como una nueva premisa más a las premisas dadas, efectuar las
derivaciones correspondientes hasta obtener el consecuente de la conclusión.
Finalmente unimos implicativamente la premisa agregada con la última obtenida.
Ejemplos:
1) Demostrar la validez del siguiente razonamiento, usando la demostración
condicional.
1. p  q
2. r  t
3.s  r
4.s  p / ~ q  t
Resolución:
1. p  q
2. r  t
3.s  r
4.s  p / ~ q  t
5. ~ q ...P.A(antecedente de la conclusión)
6. ~ p ...M .T.T (1, 6)
7. s ...S.D(4, 6)
8. r ...M .P.P(3, 7)
9. t ...M .P.P(8, 2)
10. ~ q  t...Demostración Condicional(5, 9)

35
Luego, el argumento es correcto.
2) Utilizando la demostración condicional determinar la validez del siguiente

razonamiento:
1. ( p  q) ~ r
2. s  p
3.t  q
4.s  t /  r  q
4) LA DEMOSTRACIÓN POR REDUCCIÓN AL ABSURDO. Esta regla resulta de

la mezcla de la regla condicional y la noción de contradicción; de ahí su nombre “por
reducción al absurdo”. Consiste en agregar como premisa adicional la negación de la
conclusión, para que de esta forma mediante las derivaciones correspondientes se
encuentre una contradicción. Luego se une implicativamente la premisa agregada con
la contradicción hallada. Finalmente; se afirma la conclusión deseada como una
inferencia lógicamente deducida de las premisas originales (p. Abs.).
Ejemplos:
1) Utilizando la demostración por el absurdo, determinar la validez del siguiente
razonamiento:
1. ~ p  (~ t  r)
2. ~ p  q
3. ~ s  ~ r
4. ~ t /  q  s
Resolución:
1. ~ p  (~ t  r)
2. ~ p  q
3. ~ s  ~ r
4. ~ t /  q  s
5. ~ (q  s) ...P.A(negación de la conclusión)
6. ~ q ~ s ...Demorgan(5)
7. ~ q ...Simplificación(6)
6. ~ p ...S.D(2, 7)
7. ~ t  r ...M .P.P(1, 6)
8. r ...M .P.P(4, 7)
9. ~ s ...M .T.T (3,8)
10. ~ r ...M .P.P(3, 9)
11. ~ r  r...Conjunción(8,10)
12. ~ (q  s)  (~ r  r)...Demostración Condicional(5,11)
13.13. q  s ...D. Abs(12)
36
2) Utilizando la demostración por el absurdo, determinar la validez del siguiente
razonamiento:
1. p ~ q
2. ~ q ~ s
3.( p  ~ s)  ~ t / ~ t
5. MÉTODO DIRECTO. Este método consiste en reducir un razonamiento que está

en forma horizontal, mediante equivalencias notables, si el resultado es tautológico,
el razonamiento es válido, caso contrario será incorrecto.
EJEMPLOS:
Resolución:
argumento.
Plaza de Armas”.
PREMISAS
CONCLUSIÓN

Forma clásica
p  (q  r)
~q
~ p

 
M   p   q  r   ~ q ~ p
Reduciendo a M tenemos:
37
...Definición condicional.
 
M ~  ~ p   q  r    ~ q  ~ p
...Demorgan
 
M  ~  ~ p   q  r   q  ~ p
 
M   p ~  q  r    q  ~ p ...Demorgan
M   p   ~ q ~ r   q  ~ p ...Demorgan
 
M  ( p  q)   ~ q ~ r  q   ~ p ...Distributiva
M  ( p  q)   ~ q  q ~ r   ~ p ...Conmutativa
 
M  ( p  q)  V  ~ r    ~ p Complementación
M  ( p  q) V  ~ p Identidad
M  V ~ p Identidad
M  V (Tauto log ía) Identidad
El resultado es tautológico, por lo tanto el razonamiento es válido.

Resolución:

argumento.
PREMISAS
CONCLUSIÓN
Forma clásica
pq
r
rq

 
N   p  q   r  (r  q)
Simplificando se obtiene:
38
 
N   p  q    r  (r  q)
N   p  q    q  p    r  (r  q) Definición Bicondicional.
N ~ ~ p  q    ~ q  p  r   (~ r  q) Definición Condicional

N   p ~ q    q ~ p   ~ r   (~ r  q) Demorgan, Doblenegación
N  [q   q ~ p]   p ~ q   (~ r ~ r) Asociativa, Conmutativa
N  q   p ~ q   ~ r Absorción, Idempotencia
N  p  q ~ r Absorción.
El esquema no se pude reducir a una tautología, por tanto el argumento es

incorrecto.
Práctica Nº 01
1) Demostrar que la proposición: N   ~  p  q   (q ~ r) , es equivalente a
cada una de las siguientes proposiciones:

a)  p  ( p  ~ r) ~ q b)  p ~ q   ~ (q  r)
2) ¿Cuáles de las siguientes proposiciones:

a) ~ ( p ~ q ~ r)
b) ( p ~ q)  r
c) (r  q) ~ (~ r  q)
Son equivalentes a: ( p  q)  r
3) Al simplificar la proposición compuesta:

M ~  ~  p  q   ( p ~ q)  ( p  q)  (~ p  r) , se obtiene:
a) p  (q  r) b) Tautología c) Contradicción d) (q  r)  p e) p  q
4) Al simplificar la proposición compuesta:

 
M   p  q   ~ p  (q  p)  ( p ~ q), se obtiene:
a) p  q b) ~ p  q c) ~ q  p d) p ~ q e) N.A
5) De la proposición: “Si Juan trabaja, entonces hoy es miércoles, pero ve televisión

ya que hoy es miércoles. En consecuencia hoy no es miércoles.”
Señale una proposición equivalente a la anterior:
a) Hoy es miércoles y Juan trabaja
b) Hoy no es miércoles o Juan no ve televisión
c) Hoy es miércoles ya que Juan ve televisión
d) Si hoy es miércoles entonces Juan no ve televisión
39
e) Juan no ve televisión.
6) Mediante el método de tablas de verdad y/o el método abreviado, determinar la

validez de los siguientes razonamientos:
40
a) “Si Juan recibió un mensaje, entonces asistirá a la reunión u ofrecerá su renuncia.
Luego, Juan no recibió el mensaje o no ofrecerá su renuncia si no asiste a la reunión”.
b) “Si un político comprende que sus anteriores opiniones eran equivocadas y no
altera su línea, entonces engaña a la gente, y si altera su línea se expone a
contradecirse. Ocurre que altera su línea o no lo hace. Luego, engaña a la gente o se
contradice”.
c) “Si Antonio estaciona su auto en la Plaza de Armas, se lo llevará la grúa y tendrá
que pagar una multa. La grúa no llevará el auto. Por lo tanto, no lo estaciona en la
Plaza de Armas”.
d) “Enrique viaja a Lima, si obtiene buenas notas o no tiene problemas familiares.
Pero Enrique no viajará a Lima. En consecuencia, tiene problemas familiares y no
obtiene buenas notas”.
e) “Si Juan no ingresa a la Universidad, entonces o se dedica a la música o se hará
comerciante. Juan no se hace comerciante. Luego, Juan no se dedicará a la mecánica
porque ingresó a la universidad”.
f) “La adhesión a una doctrina debe ser racional. Ahora bien, si comienzas prestando
fe a una doctrina y la adhesión a una doctrina debe ser racional, entonces tu actitud
es dogmática. Pero tu actitud no es dogmática. Luego, no puedes comenzar prestando
fe a una doctrina”.
g) “Si un porvenir brillante me espera, recibiré una gran herencia o estudiaré mucho.
Pero no recibiré una gran herencia. En consecuencia, no estudiaré mucho pues no me
espera un porvenir brillante o me es indiferente triunfar.”
7) Utilizando el método de las derivaciones, demuestre la validez de los siguientes

razonamientos
a) “Si Roberto obtiene la beca, entonces viajará a China. Si Roberto obtiene la beca,
entonces si viaja a China, deberá aprender Chino. Luego, Roberto deberá aprender
Chino si obtiene la beca”.
b) “Si se requiere ya sea álgebra o geometría, entonces todos los estudiantes cursarán
matemáticas. Se requiere el álgebra y se requiere la trigonometría. Por lo tanto, todos
los estudiantes tomarán matemáticas”.
c) “Si el rey no se enroca y el peón avanza, entonces o el alfil queda bloqueado o la
torre inmovilizada. Si el rey no se enroca, entonces, si el alfil queda bloqueado
entonces el juego es tablas. O el rey se enroca o si la torre es inmovilizad se pierde
el cambio. El rey no se enroca y el peón avanza. Por lo tanto, o el juego es tablas o
se pierde el cambio”.
d) “Si estudio obtengo buenas calificaciones. Si no estudio me divierto. Por lo tanto,
u obtengo buenas calificaciones, o me divierto”.
e) “Esteban tomó o el autobús o el tren. Si tomó el autobús o condujo su propio
automóvil entonces llegó tarde y se perdió la reunión. No llegó tarde. Por lo tanto, él
tomó el tren”.
f) Si siembre tulipanes entonces su jardín florece temprano, y si siembra margaritas
su jardín florece tarde. De modo que si siembra o tulipanes o margaritas su jardín
florece tarde o temprano”.
8) Utilizando demostración condicional, para demostrar la validez de los siguientes

razonamientos:
41
a) “Si es imposible que consiga carro y me movilice rápido, entonces pierdo e tren y
no viajo a mi destino. De ahí que, no viajo a mi destino si no consigo carro”.
b) “Si el contrato no se cumple, entonces la construcción del edificio no se terminará
a fin de año. Además, el Banco pierde dinero si la construcción del edificio no se
termina a fin de año. Por lo tanto, si el contrato no se cumple, entonces el Banco
pierde dinero”.
c) 1.( p  q)  ~ r
2.s  p d ) 1.(r  s)  t e) 1.r  s
3.t  q 2. p  ~ t 2. ~ q  ~ s
4.s  t 3. p  s 3.r  (s  t)
rq rs ~ q  (t  s)
9) Utilizando la demostración por el absurdo, determinar la validez de los siguientes
razonamientos:
a) 1. p  ~ q
2. ~ q  ~ s b) 1. p  q c) 1. ~ p  q
3.( p  ~ s)  ~ t 2. r  p 2.s  ~ p
4.r  t 3. ~ q 3. ~ q ~ r
~ r ~ r ~ s
42

Obtener Archivo Recurso 2

Cargado por

Copyright:

Formatos disponibles

Obtener Archivo Recurso 2

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Obtener Archivo Recurso 2

Cargado por

Copyright:

Formatos disponibles

INTRODUCCIÓN

La lógica es el estudio de los métodos y principios utilizados para diferenciar un

El problema central de la lógica es de distinguir entre el razonamiento correcto y el

La lógica dialéctica estudia el contenido de las formas del pensamiento, es decir lo

La lógica proposicional también llamada simbólica o matemática, es aquella parte de la

El estudio de la lógica matemática se desarrolla utilizando proposiciones, en consecuencia

La oración. Gramaticalmente tiene una definición, solamente vamos a clasificarla.

1. Oraciones Declarativas o Aseverativas. Son aquellas que tienen las funciones de

2. Oraciones Expresivas. Son aquellas que buscan expresar sentimientos, órdenes,

Función Proposicional. Función proposicional en una variable x, es todo enunciado en

b) Existen expresiones lingüísticas que tienen apariencias de proposiciones, pero que en

Clases de proposiciones. Existen dos tipos de proposiciones:

2. Proposiciones compuesta o molecular o coligativas. Son aquellas que están

CONECTIVOS LÓGICOS SIMBOLO OPERACIÓN SIMBOLIZACIÓN SIGNIFICADO

OPERACIONES FUNDAMENTALES CON PROPOSICIONES

OPERACIONES FUNDAMENTALES CON PROPOSICIONES

1. LA CONJUNCIÓN O PRODUCTO LÓGICO

Además es necesario precisar que la “y” no siempre cumple una función

2. LA DISYUNCIÓN INCLUSIVA O DÉBIL

En el lenguaje ordinario existen otras expresiones que se traducen en disyunción

3. LA DISYUNCIÓN EXCLUSIVA O FUERTE

DEFINICIÓN El sentido exclusivo de la disyunción descarta que se den ambas

DEFINICIÓN. Es un operador binario que enlaza a una proposición que es el

A) FORMA ANTECEDENTE-CONSECUENTE. Se caracterizan porque después

Si un cuerpo se calienta, entonces se dilata.

B) FORMA CONSECUENTE-ANTECEDENTE. Se caracterizan porque después

asocia otras tres proposiciones, igualmente importantes, que son: la recíproca, la

CONTRARIAS CONTRARECÍPROCAS CONTRARIAS

DEFINICIÓN. Nos referimos exclusivamente a la equivalencia material llamada

Existen otras expresiones que se traducen en bicondicional, tales como:

Otras notaciones para la negación: La negación de la proposición p, tiene las

Ejemplo: La negación de la proposición

“No es cierto que, Javier viaja a Lima o a Chiclayo”.

DEFINICIÓN. La negación alterna de dos proposiciones es la proposición que resulta

7. LA NEGACIÓN CONJUNTA O FLECHA DE NICOD

DEFINICIÓN. Se llama negación conjunta a la unión de dos proposiciones por medio

Definición: Simbolizar una proposición consiste en sustituir cada una de las

Además se debe tener en cuenta la jerarquía de los conectivos lógicos, la cual es la

La jerarquización sigue esta regla general: a mayor encierro dentro de signos de

Simbolizar las siguientes proposiciones compuestas:

1. No es verdad que sea falso que, Newton sea físico.

b) Reemplazamos cada proposición atómica por una variable proposicional:

a) Identificamos las proposiciones simples que intervienen:

c) Insertamos las variables proposicionales.

b) Reemplazamos cada proposición atómica por una variable proposicional:

c) Insertamos las variables proposicionales.

4. “Es objetable que, ni haya fantasmas ni hombres alados”.

EVALUACIÓN DE ESQUEMAS MOLECULARES POR TABLAS DE VERDAD

Evaluar un esquema molecular, por medio de tablas de valores de verdad, consiste en

Variables Proposicionales Esquema Molecular

A. Tautología. Un esquema molecular es Tautológico cuando, los valores de su

Evaluar los siguientes esquemas moleculares:

p q  p  q  p  ~ q

VALOR DE VERDAD DE UNA PROPOSICIÓN MOLECULAR

Para determinare el valor de verdad de una proposición molecular determinada, es

Como ~ p  q es verdadera, podemos encontrar los valores de verdad de p y q,

dado que la conjunción es verdadera cuando ambos términos son verdaderos, es

consecuente falso, es decir: r  V , t ~ q  F, sabemos qué q  V , entonces

~qF; para que t ~ q  F, se debe cumplir que t V, luego: