PRIMERA SEMANA

LÓGICA PROPOSICIONAL
LOGICA

Es una ciencia que estudia los métodos o procedimientos que aplican definiciones y leyes o reglas con el
propósito de determinar la validez o invalidez de las inferencias.
La lógica es la ciencia que estudia los métodos y principios del pensamiento correcto y en los juegan un rol
decisivo la exactitud y la precisión
Ciencia dedicada a la construcción de lenguajes especiales, llamados lenguajes formales o artificiales,
adecuados para el análisis de la estructura y contenido de las teorías científicas (Del griego, logos,
palabra, proposición, razón), disciplina y rama de la filosofía que estudia los principios formales del
conocimiento humano. Su principal análisis se centra en la validez de los razonamientos y argumentos,
por lo que se esfuerza por determinar las condiciones que justifican que el individuo, a partir de
proposiciones dadas, llamadas premisas, alcance una conclusión derivada de aquéllas.

La validez lógica depende de la adecuada relación entre las premisas y la conclusión, de tal forma que
si las premisas son verdaderas la conclusión también lo será. Por ello, la lógica se encarga de analizar la
estructura y el valor de verdad de las proposiciones, y su clasificación

PROPOSICIONES LOGICAS

Es parte de la lógica formal que estudia a las proposiciones como un todo indiviso, como bloques
unitarios, con total abstracción de su estructura interna

PROPOSICIÓN.

Es un enunciado cuya propiedad fundamental es la de ser verdadera (V) o falsa (F), pero no ambas
simultáneamente. Se representa simbólicamente por letras minúsculas tales como p, q, r, s, t, etc.
(llamadas variables proposicionales)

Ejemplo:
Son proposiciones:
 6 2 + 9 2 ≠ 30
 Loreto es un departamento que tiene 7 provincias
 El concurso de Marinera 2012 se realizó en la ciudad de Trujillo
 La Informática es un conjunto de conocimientos científicos y de técnicas que hacen posible el
tratamiento automático de la información por medio de computadoras.
 La palabra lógica proviene del vocablo griego logos

NO SON PROPOSICIONES:
 ¡Qué hermoso paisaje!
 ¿Por qué postulaste a la Facultad de Educación?
 Prohibido pisar el césped.
 Deseo viajar a Brasil
 Ojalá hoy día no llueva.
 Agua que no has de beber, déjala correr.
 En resumen:
Son proposiciones No son proposiciones
 Enunciados aseverativos  Personajes o hechos literarios.
 Leyes científicas  Supersticiones.
 Fórmulas matemáticas  Dudas, súplicas, deseos, órdenes.
 Fórmulas lógicas  Refranes, proverbios.
 Enunciados cerrados  Enunciados abiertos.
 Enunciados interrogativos.
 Personajes ficticios.
 Absurdos.
 Apreciaciones personales.
 Creencias religiosas.

CLASIFICACION

A) Proposición Simple (atómicas o elementales)

Son aquellos enunciados que tienen un solo sujeto y un solo predicado.
Ejemplo:
1) César Vallejo nació en Perú ( )
2) 17 + 28 > 40 ( )
3) El Amazonas es el más caudaloso del mundo ( )
4) Requena es una provincia del Departamento de Loreto. ( )
5) La anarquía es la falta de todo gobierno en un estado. ( )
6) Aristóteles es el padre de la lógica ( )

Las proposiciones simples se pueden clasificar en:

1. Predicativas. Son aquellas que atribuyen o afirman una característica respecto del sujeto,
presentan la siguiente forma: “S” es “P”.
Ejemplo
– La Física es una ciencia experimental.
– Víctor es una persona responsable.
– Los estudiantes de Matemática e Informática son prácticos.
– La Fortaleza de Kuélap se encuentra situado en el Departamento de Amazonas.
– El alcalde de Uchiza es Andy Ramirez.

2. Relacionales. Son aquellas que establecen un nexo entre dos o más sujetos. Este nexo no puede
eliminarse razón por la cual un sujeto dependerá del otro necesariamente; las relaciones pueden ser
por afinidad, ubicación o grado. Presentan la siguiente forma: “A” relación “B”.
Ejemplo
– Pizarro y Almagro fueron amigos.
– Mi prima fue tu contemporánea.
– Roberto es más alto que Guillermo.
– El agua es una sustancia cuyas moléculas están formadas por la combinación de un átomo de
oxígeno y dos átomos de hidrógeno.

B) Proposición compuesta (molecular o coligativa)

Son aquellas que están constituidas por dos o más proposiciones simples.
Ejemplos:
– Platón estudió geometría y filosofía.
– Cuando los zapatos son nuevos, entonces me hieren los pies.
– Bertrand Russel no fue médico
– Un triángulo es isósceles si y sólo si tiene 2 lados iguales.
 – Si Julio estudia mucho entonces aprobará Lógica Matemática.
– Mario Vargas Llosa es autor peruano excepto que escribió “Conversación en la Catedral”.
– El Rio Amazonas es una de las maravillas del mundo si y solo si es el más caudaloso del mundo.

ACTIVIDAD Nº01
Formula 6 proposiciones simples y 6 proposiciones compuestas:

Proposiciones simples
1) .............................................................................
2) .............................................................................
3) ............................................................................
4) .............................................................................
5) .............................................................................
6) …………………………………………………….
CONECTIVOS LÓGICOS
OPERACIONES CON PROPOSICIONES

a) LA CONJUNCIÓN (p 𝖠 q)

La proposición conjuntiva es verdadera únicamente cuando las dos

proposiciones coligativas p y q son verdaderas, en cualquier otro caso es
falsa.
Otros términos conjuntivos: a la vez, pero, sin embargo, además, aunque, no
obstante, tal como, también, incluso, simultáneamente, con, de la misma
manera, es compatible con, así como, al igual que, etc.
Ejemplo:
Determinar el valor de verdad de la proposición conjuntiva:
1) 12 es número compuesto no obstante es divisible por 2. p: 12
es un número compuesto. q: 12 es divisible por 2. Si v(p) =
V, v(q) = V, entonces v (p 𝖠 q) = V
2) Iquitos está ubicada en la Selva Amazónica al igual que Punchana. p:
Iquitos está ubicada en la Selva Amazónica
q: Punchana está ubicada en la Selva Amazónica.
b) LA DISYUNCIÓN DEBIL (p v q)

La disyunción inclusiva de dos proposiciones es verdadera si y sólo si por lo

menos una de las dos proposiciones es verdadera, resultando falsa sólo cuando
las dos son falsas.

Son conectivos disyuntivos los términos: “a menos que”, “salvo que “,

“excepto”, “o también”, “a no ser que”, “o incluso”, “o en todo caso”, etc.

Ejemplo
Determinar el valor de verdad de la proposición disyuntiva débil: p: Galileo Galilei inventó el péndulo.
q: Galileo nació en 1990.
Si v(p) = V , v(q) = F , entonces v(p v q ) = V

c) LA DISYUNCIÓN EXCLUSIVA FUERTE. (p ∆ q)

se llama disyunción exclusiva o fuerte, se escribe p ∆ q y se lee: “p o q, pero no

ambos”, esto es, se da exactamente una de las dos alternativas. La disyunción
exclusiva de dos proposiciones es verdadera si y sólo si por lo menos una de las
dos proposiciones componentes es verdadera y no las dos, resultando falsa en
otros casos.
Otros términos: “O p o q”, “O bien p o bien q”, “p o solamente q”, “p o sólo q”,
“p salvo que sólo q”, “p o únicamente q”, “o sólo p o sólo q”, etc.

Ejemplo:
Determinar el valor de verdad de la proposición disyuntiva fuerte. p: José
Carlos Mariátegui nació en el Perú.
q: José Carlos Mariátegui nació en Madrid. Si v(p) = V y v(q) = V, entonces v(p ∆ q) = F

d) LA NEGACION ( ~ p )

Se denomina proposición negativa de la proposición afirmativa “p” a otra que se

denota por “~ p”, y se lee: “no es cierto que p”, “no p”, “no es el caso que p”, “es
falso que p”.

Ejemplos:

1) p: Shakespeare es autor de la “Odisea”

~ p: Shakespeare no es autor de la “Odisea”
2) No es el caso que Pedro sea ingeniero o profesor de Matemática. p:
Pedro es ingeniero.
q: Pedro es profesor de matemática. Simbolizando, tenemos: ~ (p v q)

e) LA CONDICIONAL O IMPLICACION (p → q)
La condicional tendrá un valor de verdad falso cuando el antecedente p es
verdadero y el consecuente q es falso, en los demás casos p → q es verdadero.
También son conectivos condicionales los términos: “porque”, “puesto que”,
“ya que”, “si”, “cada vez que”, “está implicado por”, “dado que”, “se supone”,
“cuando”, “siempre que”, “a condición de que”, “se concluye de”, etc. Todas
se caracterizan porque después de cada uno de estos conectivos está el
antecedente.

Simbolizar las siguientes proposiciones:

 Ejemplos:
1) 14 es número par puesto que es divisible por dos. p: 14
es número par.
q: 14 es divisible por 2.
Se simboliza: q→p

2) Es falso que Rosa estudia Derecho y no juega vóley porque Rosa estudia Economía y juega
vóley.
p: Rosa estudia Derecho. q: Rosa juega vóley. r: Rosa estudia economía.
Se simboliza: (r 𝖠 q ) → ~ ( p 𝖠 ~ q )

A toda condicional se le asocian otras tres proposiciones, igualmente importantes, que son: La recíproca,
la inversa y la contra recíproca.

1. PROPOSICION RECIPROCA. Dada la proposición condicional “p → q”, se llama proposición

recíproca a la proposición que se denota por “q → p”.
Ejemplo
Si p: 16 es divisor de 32 q: 32 es múltiplo de 8
Simbolizando, tenemos: p → q, que se lee: si 16 es divisor de 32 entonces 32
es múltiplo de 8.
La proposición recíproca q → p es: Si 32 es múltiplo de 8 entonces 16 es divisor de 32.

2. PROPOSICION INVERSA. Dada la proposición condicional “p → q”, se llama proposición

inversa a la proposición que se denota por “~ p → ~ q”.
Ejemplo
Si María viaja a lima entonces estudiará en la UNI: p→q
Si María no viaja a Lima entonces no estudiará en la UNI: ~ p→ ~ q

3. PROPOSICION CONTRARECIPROCA. Dada la proposición condicional “p → q”, se llama

proposición contrarecíproca a la que se denota por “~ q → ~ p”.

Ejemplo
Si dos rectas son perpendiculares a una misma recta, entonces son paralelas:
p→ q.
Si dos rectas no son paralelas, entonces no son perpendiculares a una misma recta:
~ q →~ p.

f) LA BICONDICIONAL. (p ↔ q)

Si p y q tienen el mismo valor de verdad, entonces la bicondicional p ↔ q es

verdadera, y si p y q tienen el valor de verdad opuestos, entonces p ↔ q es falsa.
Otros términos equivalentes: “siempre y cuando”, “es lo mismo que”, “equivale”,
“es igual que”, “se define como”, “condición suficiente y necesaria”, etc.

Ejemplos:
1. Luis viajará a Francia siempre y cuando gane un concurso.
Simbolizando:
p: Luis viajará a Francia q: Luis gana un concurso. Entonces: p ↔ q

2. Un número es positivo si y sólo si es mayor que cero.

Simbolizando:
p: Un número es positivo. q: Un número es mayor que cero. Entonces: p ↔ q
 3. Los estudiantes de Matemática e Informática aprobarán el curso de Matemática si y sólo si
estudian consecuentemente y son responsables.
Simbolizando:
p: Los estudiantes de Matemática e Informática aprobarán el curso de Matemática. q: Los
estudiantes de matemática e Informática estudian consecuentemente.

r: los estudiantes de Matemática e Informática son responsables.

𝑝 ↔ (𝑞 𝖠 𝑟)

SEGUNDA SEMANA

EVALUACIÓN DE ESQUEMAS MOLECULARES

Consiste en obtener los valores del operador principal a partir de la validez de cada una de las variables
proposicionales.
Las combinaciones de todas las posibilidades de V y F se hacen en las columnas de referencia al margen
izquierdo del esquema, luego se procede a aplicar la regla a cada uno de los operadores, empezando por el
de menor alcance, hasta llegar al de mayor jerarquía.

 Cuando los valores del operador principal son todos verdaderos se dice que el esquema molecular
es tautológico.

 Se dirá que el esquema molecular es contradictorio si los valores del operador principal son todos
falsos.

 Si los valores del operador principal tienen por lo menos una verdad y una falsedad se dice que es
contingente o consistente.

OBSERVACIÓN: La cantidad de filas en una tabla es: #Filas=2n

 Donde n es la cantidad de proposiciones simples.

Veamos un ejemplo

1) Tabla de la verdad de la proposición: (p → q) ↔ (~ p ∨ q)

p q ~p p→q ~p∨q (p → q) ↔ (~ p ∨ q)
V V F V V V
V F F F F V
F V V V V V
F F V V V V
La expresión (p → q) ↔ (~ p ∨ q) es una Tautología.

2) Tabla de la verdad de la proposición: (p ↔ q) ↔ ~ [(p → q) ^ (q → p)]

p q p↔q q→p (p → q) ^ (q → p) ~ [(p → q) ^ (q → p)] (p ↔ q) ↔ ~ [(p → q) ^ (q → p)]
VV V V V F F
VF F V F V F
FV F F F V F
FF V V V F F
La expresión (p ↔ q) ↔ ~ [(p → q) ^ (q → p)] es una Contradicción.
3) Tabla de la verdad de la proposición: (p ˅ q) → r
p q R p ˅ q (p ˅ q) → r
V V V F V
V V F F V
V F V V V
V F F V F
F V V V V
F V F V F
F F V F V
F F F F V
La expresión (p ˅ q) → r es una Contingencia.

PONGAMOS EN PRÁCTICA LO APRENDIDO:

ACTIVIDAD Nº 01

01. Señale verdadero (V) o falso (F):

( ) Basta que el antecedente sea falso para que la proposición condicional sea falsa
( ) Una proposición bicondicional es verdadera solamente cuando sus dos componentes son verdaderas.

a) VV b) VF c) FV d) FF e) No se puede determinar

02.Señale verdadero (V) o falso (F):

( )Solamente cuando el antecedente es verdadero y el consecuente es falso, la proposición
condicional es falso
( )Basta que el consecuente sea verdadero para que la proposición condicional sea verdadera.

a) FV b) FF c) VV d) VF e) No se puede determinar

03.Señale verdadero (V) o falso (F):

( ) “si y solo si” es una conectiva bicondicional.
( ) Basta que uno de los componentes de una proposición conjuntiva sea verdadero, para que la
proposición conjuntiva sea verdadera.

a)VV b) VF c) FV d) FF e) No se puede determinar

04. Es una proposición que admite el valor V solo cuando las dos proposiciones componentes son
verdaderas:
a) Conjunción
b) Disyunción débil
c) Disyunción fuerte.
d) Implicación
e) Negación

05. Es una proposición en la cual basta que una de las proposiciones sea verdadera, para que toda ella sea
verdadera.
a) Conjunción
b) Disyunción
c) Bicondicional
d) Implicación
e) Negación
06. Es una proposición que es verdadera solo cuando las dos proposiciones tienen el mismo valor de
verdad
a) Disyunción
b) Bicondicional
c) Conjunción
d) Implicación
e) Negación

07. Es una proposición que es falsa solo cuando forman la combinación V y F, en ese orden.
a) Disyunción
b) Bicondicional
c) Conjunción
d) Implicación
e) Negación

08. Dada la proposición: “si estudio triunfo. Estudio, por lo tanto triunfo”. Corresponde a un
esquema:
a) Tautológico
b) Consistente
c) Contradictorio
d) Indeterminado
e) Falso
09. Dada la proposición: “Si llueve, el suelo se moja”. Los valores de la matriz principal de su tabla de
verdad son:
a) FVFV
b) VFVF
c) VVVV
d) VFVV
e) FFVV

10.Si la proposición: “No es cierto que, estudiemos y no aprobemos”, es verdadera, entonces podemos
afirmar.
a) Aprobamos y no estudiamos
b) Estudiamos o aprobamos
c) Estudiamos o no aprobamos
d) Aprobamos o no estudiamos
e) Estudiamos y aprobamos

11. Si se sabe que: p ∧ ~ r es F ; r → q es V ; q V t es F

Determine los valores de verdad de p, q, r y t
a) VVVV
b) VVFF
c) VFVF
d) FVFF
e) FFF

12. Si la proposición compuesta: (p ∧ q) → (r V t) es falsa.

Indicar las proposiciones que son verdaderas
a) p y r
b) p y q
c) r y t
d) q y t
e) p, r y t
13. Si la proposición: (~p ∧ q) → r, es falsa. Determinar, ¿Cuáles de las proposiciones son falsas?
a) p y q
b) p y r
c) p, q y r
d) q y r
e) r y q

14. Los valores de verdad de las proposiciones p, q, r y s son respectivamente V, F, F, V. Obtener

los valores de verdad de:
( ) [(𝑝 𝑉 𝑞) 𝑉 𝑟] 𝖠 s
( ) r → (s ∧ q)
( ) (p V r) ↔ (r 𝖠 ~s)
a) VFF b) VVV c) FFF d) FVV e) VVF

15. Determine cuáles de las siguientes expresiones representan proposiciones:

a) Isaac Newton formuló las leyes del movimiento ( )
b) ¿Por qué ingresaste a Matemática e Informática? ( )
c) La ociosidad alimenta el vicio y éste lleva al precipicio.( )
d) Cada célula del hombre tiene 46 cromosomas. ( )
e) Ojalá consiga participar en las olimpiadas ( )
f) Las ballenas azules están en peligro de extinción. ( )
g) Martín Luther King recibió el Premio Nóbel de la Paz en 1964. ( )
h) La marihuana es una droga que genera dependencia. ( )
i) Rosendo Maqui fue líder de su pueblo. ( )
j) ¡Eureka! ( )
k) ¡Tanto amor, y no poder nada contra la muerte! ( )
l) Levanta ese cuaderno ( )
ll) Miguel de Cervantes Saavedra en el autor de la novela “El ingenioso
hidalgo don Quijote de la Mancha”.( )
m) A toda acción una reacción ( )

ACTIVIDAD 2
1. Hallar el valor de verdad de las siguientes proposiciones:
p:5>8
q : 41 > 81
r : (3,2)2 > (1,7)3
s : (0,5)3 < (0,4)2

a) VVFF b) FVVV c) FFFV d) FFVV e) VVVV

2. De los siguientes enunciados, ¿Cuáles son proposiciones? p:

¡Buenos días!
q: 3+11=11+3
r: x+7=28
s: ¡Hola!
t: ¿Qué dia es hoy?

a) p;s;t b) q c) p;q;r d) q;r e) p;s

3. De los siguientes enunciados, ¿Cuáles no son proposiciones? p:

Cesar Vallejo escribió “Trilce”
q: 6 x 9
r: 23 + 23 = 26
s: 13 – 7 > 16 – 2
t: x + y = z
a) p;r;s b) p;q;r c) r;s;t d) q;t e) t
4. ¿Cuántas de las siguientes proposiciones son simples? p:
Huaraz está en Arequipa
q: Si 3 ≤ 4 entonces, 3 ≤ 5
r: 5 es número primo o compuesto s: 3
x 7 – 6 < 24

a) 0 b) 1 c) 2 d) 3 e) 4

5. ¿Cuántas de las siguientes proposiciones son compuestas? p: 3 x 7

– 5 ≤ 17
q: si x = 3 entonces x es número primo.
r: Dos o menos de dos es la raíz cuadrada de cuatro
s: Si Juan viene mañana y si Elsa viene mañana, entonces vamos al cine

a) 0 b) 1 c) 2 d) 4 e) 3

6.Simbolizar:
Luis sabe matemática, por lo tanto, resuelve este problema; es:

a) p Λ ~q b) ~p → ~q c) p → q d) ~p V q e) ~q → p

7. Si la proposición (~p Λ q) → (~r → ~s) es falsa, el valor de verdad de p, q, r, en ese orden es:

a) FVFV b) VFVF c) VVFF d) FFVV e) VFFV

8. Diego es profesor e ingeniero, entonces es ingeniero; es:

a) Tautológico b) contradictorio c) contingencia d) absurdo e) otra

9. El valor de verdad de cada proposición es:

p : 5- 8= 5x8
q :102 < 210
r : ( 2) −2 = (3)−2
3 2
s :11 es un número impar y primo

a) VVFF b) FFVV c) VFVF d) VFFV e) FVFV

10. El valor de verdad de cada proposición es: p:

{Ф} es un conjunto vacío
q: {a; a; a} es un conjunto unitario r:
√2 es un numero 4 irracional
43
s: 3 = 3
3

a) FVVF b) VFFV c) VFVF d) FVFV e) VVVF

11. Simbolizar:
Maria y Karol o Rocio van a jugar en el parque.

a) (p V q) Ʌ r b) (p V q) V r c) (p Ʌ q) → r d) (p Ʌ q) V r e) (p Ʌ q) Ʌ r

12.Simbolizar:
Si Luis y Juan van al cine, entonces Marlene y Karina van al estadio
a) p→q b) p → (q Ʌ r) c) (p Ʌ q) → (r V s)
d) (p Ʌ q) → (r Ʌ s) e) (p V q) → (r V s)
13. Simbolizar:
Si 3 ≥ 4 y 7 ≥ 8 entonces 10 ≥ 11 y 7 ≥ 8; es:
a) (p Λ q) → r b) p ↔ q c) p → q d) (p Ʌ q) → q e) (p Ʌ q) → (r Λ q)

14. Si la Proposición P v (~q → r) es falso, entonces el valor de verdad de p, q, r en ese orden es:
a) VFV b) FVF c) FFV d) FFF e) VVV

15. Si la proposición ~(r V ~p) Λ ~(p ↔ q) es verdadera, el valor de verdad de p; q; r en ese orden, es:
a) VFV b) FFF c) VVV d) FFV e) VFF

I. LEYES LÓGICAS O TAUTOLOGÍAS

Ley Lógica. - Fórmula formalmente válida, es decir, fórmula lógica verdadera independiente de la
asignación de los valores de verdad a sus variables. También se le denomina tautología. Las leyes lógicas
no deben ser confundidas con las reglas de inferencia, ya que éstas pertenecen al metalenguaje del cálculo

Características fundamentales de la ley lógica:

1)La ley permanece al plano teórico; 2) Su enunciado es susceptible de verdad o falsedad; 3) Se expresa en
el interior del cálculo lógico; 4) Su expresión es un enunciado lógico; 5) La ley pertenece al lenguaje
lógico. 6) La ley usa los conectivos u operadores lógicos.

LEYES LOGICAS IMPORTANTES

1. LEY DEL MODUS PONENDO PONENS O MODUS PONENS
[(p  q)  p]  q

2. LEY DEL MODUS TOLLENDO TOLLENS O MODUS TOLLENS

[(p  q)  q]  p

3. LEYES DEL MODUS TOLLENDO PONENS O SILOGISMO DISYUNTIVO

[(p  q)  p]  q
[( p  q)  q]  p

4. LEYES DE TRANSITIVIDAD O SILOGISMO HIPOTETICO DEL CONDICIONAL

[(p  q)  (q  r)]  (p  r)
DEL BICONDICIONAL
[(p  q)  (q  r)]  (p  r)

5. LEY DEL DILEMA CONSTRUCTIVO

[(p  q)  (r  s) (p  r)]  (q  s )

6. LEY DEL DILEMA DESTRUCTIVO

[(p  q)  (r  s)( q s)]  ( p r)

7. LEY DEL DILEMA SIMPLE

[(p  r)  (q  r) (p  q)] r

EL RAZONAMIENTO DEDUCTIVO

1. Leyes Lógicas. - Son fórmulas lógicas cuyas tablas de verdad tienen por resultado únicamente
valores de verdad “verdaderos”. También se les denomina “tautologías”.

Las características fundamentales de las leyes lógicas son:

 a. La ley permanece en el plano teórico.
b. Su enunciado es susceptible de verdad o falsedad.
c. Se expresa en el interior del cálculo (pertenece al cálculo mismo).
d. Su expresión es un enunciado lógico.
e. La ley pertenece al lenguaje lógico (lengua lógica proposicional).
f. La ley usa los símbolos, funciones u operadores lógicos.

2. Reglas de Inferencia. - Son normas, prescripciones, licencias que indican como debe hacerse la
operación de deducción, al mismo tiempo que justifica, garantiza la legitimidad o validez del acto
llamado “operación deductiva” o “inferencia.”
Razonamiento Deductivo u operación de deducción es aquella operación que consiste en que, dadas
ciertas proposiciones, llamadas “premisas” se obtenga, se infiera, se derive se deduzca con el carácter
de necesidad una proposición, llamada “conclusión.”, es decir, se pretende que una de ellas, llamada
“conclusión”, se infiera en forma necesaria de la/s premisa/s. Una deducción es una secuencia de
enunciados, los cuales pueden ser o bien premisas o bien se han obtenido de la aplicación de un
conjunto de reglas de inferencia a enunciados anteriores.

Las características fundamentales de las reglas lógicas son:

a. La regla se sitúa en el plano práctico, dice cómo debe hacerse una operación deductiva.
b. Su enunciado es normativo, prescriptivo, y, por eso, la regla puede ser buena o mala, útil o inútil,
eficiente o deficiente.
c. Se expresa al exterior del cálculo, justifica, garantiza la legitimidad o validez de la deducción.
d. Su expresión es enunciado metalógico.
e. La regla pertenece al metalenguaje.
f. La regla menciona los funciones u operadores lógicos.

A toda ley lógica le corresponde su respectiva regla lógica.

3. Las Argumentaciones
Por argumentación entenderemos una expresión lingüística que presenta o representa un razonamiento.
Un razonamiento es un sistema de proposiciones (dos o más) en el que una de ellas, llamada
conclusión, se pretende que esté fundada en o se infiera de la/s otra/s, llamada/s premisa/s. Un
razonamiento deductivo es un sistema de proposiciones (dos o más) en el que se pretende que una de
ellas, llamada “conclusión”, se infiera o derive con el carácter de necesidad de la/s premisa/s. La
argumentación puede ser inductiva o deductiva, de acuerdo con el tipo de razonamiento. Por
consiguiente, la argumentación es un sistema de proposiciones.

La lógica es una ciencia eminentemente deductiva, por eso sólo tiene en cuenta los razonamientos
deductivos. Estos se basan en fundamentos comprobados o aceptados como postulados primordiales.
Una argumentación deductiva tendrá siempre un esquema, estructura o forma implicativa o
condicional, en símbolos: A⟹B, es decir, sus principales componentes-antecedente (premisa/s) y
consecuente (conclusión)-están unidos o enlazados por el conectivo “⟹”

Ejemplo de un razonamiento deductivo:

“El ladrón entró por la puerta o la ventana. Por la puerta no entró, como lo ha demostrado la
investigación policial. Por lo tanto, el ladrón entró por la ventana.”
Tomando el razonamiento deductivo del ejemplo dado, líneas arriba, procedemos a formalizarlo como
fórmula lógica, teniendo como resultado la fórmula de la lógica proposicional:

[(p  q) p]q), que es una ley lógica (tautología)

denominada “Modus Tollendo Ponens o Silogismo Disyuntivo.”
Este conjunto de proposiciones, formalizadas, también podemos verlas o percibirlas como una
representación del argumento o razonamiento deductivo dado.
Los componentes de los razonamientos deductivos son las premisas (proposiciones que implican a la
conclusión), la conclusión (proposición implicada por las premisas) y las expresiones derivativas. Las
expresiones derivativas tienen por objeto indicar cuál es la conclusión y cuáles son las premisas. No
siempre figuran en los razonamientos, algunas veces están implícitas. Son de dos tipos: las que se
anteponen a la conclusión, como “luego”, “por tanto”, “por consiguiente”, etc., y las que se colocan
después de la conclusión, antepuestas a alguna de las premisas, como “ya que”, “puesto que”, “dado
que”, “como” y otras.
Un signo lógico que hace las veces de las expresiones derivativas (que separa a las premisas de la
conclusión) es una barra “/“ que se coloca después de las premisas en columnas, al lado derecho se
escribe la conclusión.

En los ejemplos que siguen a continuación se podrá observar la barra, que hace las veces de las
expresiones derivativas. Los siguientes ejemplos ilustran los dos tipos de expresiones derivativas.

Ejemplo 1.
“El ladrón entró por la puerta o por la ventana. Por la puerta no entró, como lo ha demostrado la
investigación policial. Por lo tanto, (expresión derivativa que se antepone a la conclusión) el ladrón
entró por la ventana.” Los componentes del razonamiento deductivo dado son: Premisa 1: El ladrón
entró por la puerta o por la ventana.
Premisa 2: Por la puerta no entró./
Conclusión: Por lo tanto, el ladrón entró por la ventana. Formalizando el
razonamiento deductivo, dado, tenemos:
Premisa 1: p  q
Premisa 2:  p / Conclusión: q
La regla lógica “Modus Tollendo Ponens o Silogismo Disyuntivo” prescribe lo siguiente:
“A partir de una disyunción débil y la negación de uno de sus disyuntivos es legítimo inferir u obtener
el otro disyuntivo”, de esta manera justifica, garantiza la legitimidad o validez de la operación de
deducción. Es decir, este conjunto de proposiciones está relacionadas de modo tal, que la proposición,
llamada conclusión: “El ladrón entró por la ventana.” Está fundada o se infiere de las otras dos
proposiciones, llamadas premisas. En éste caso, la regla lógica del modus tollendo ponens o silogismo
disyuntivo, nos autoriza, nos prescribe ha inferir u obtener la conclusión:
“El ladrón entró por la ventana.” En símbolos:
A  B,
_A /  B

Ejemplo 2.
“El agua hervirá, dado que (expresión derivativa que se coloca después de la conclusión) si la
temperatura está a 1000 C entonces el agua hervirá. La temperatura está a 100 0 C” Al formalizarlo,
tenemos como resultado la fórmula lógica proposicional q [(pq)  p], que es una ley lógica
(tautología) denominada “Ley Lógica del Modus Ponendo Ponens.” Procedemos a reestructurar el
razonamiento deductivo dado, para obtener un razonamiento deductivo equivalente, tal como: “Si la
temperatura está a 1000 C entonces el agua hervirá. La temperatura está a 100 0 C. Por consiguiente, el
agua hervirá.” Este sistema de proposiciones formalizadas, equivalente al sistema de proposiciones
inicialmente dado, también podemos verla o percibirla como una representación del argumento o
razonamiento deductivo dado.

Los componentes, reestructurados, de éste razonamiento deductivo son: Premisa 1: Si la

temperatura está a 1000 C entonces el agua hervirá.
Premisa 2: La temperatura está a 1000 C./
Conclusión: Por consiguiente, El agua hervirá.

Formalizando el razonamiento deductivo, dado, tenemos:

 Premisa 1: pq.
Premisa 2: _p / Conclusión: q.
La regla lógica, “Modus Ponendo Ponens”,
prescribe lo siguiente: “A partir de un condicional y la afirmación de su antecedente es legítimo
inferir su consecuente.”

Ejemplo 3.
“Si hace calor, Juan va a la piscina. Si Juan va a la piscina, arregla la casa después de almorzar. Luego,
si hace calor, se arregla la casa después de almorzar.” Procedemos a formalizarlo como fórmula lógica,
teniendo como resultado la fórmula de la lógica proposicional [(pq)  (q r)]  (pr), que es una
ley lógica (tautología) denominada “Ley Lógica Silogismo Hipotético o Transitividad” Este conjunto
de proposiciones, formalizadas, también podemos verlas o percibirlas como una representación del
argumento O razonamiento deductivo, dado.

Los componentes, reestructurados, de éste razonamiento deductivo son: Premisa 1: Si

hace calor, Juan va a la piscina.
Premisa 2: Si Juan va a la piscina, arregla la casa después de almorzar. Conclusión: Luego,
si hace calor, se arregla la casa después de almorzar. Formalizando el razonamiento
deductivo, dado, tenemos:
Premisa 1: pq.
Premisa 2: qr/ Conclusión: pr.

La regla lógica, “Silogismo Hipotético o Transitividad”, prescribe lo siguiente: “A partir de dos

condicionales, donde el consecuente del primero es el antecedente del segundo es legítimo inferir el
condicional formado por el antecedente del primero y el consecuente del segundo”
¿Cuándo un conjunto de proposiciones no es un razonamiento deductivo? Cuando no hay ninguna
proposición, de las dadas, que se afirme sobre la base de las otras.
Tomemos como ejemplo las proposiciones siguientes: “Llueve mucho. Será mejor que no salgamos.
Podemos postergar la excursión para mañana.” Efectuando la formalización se tiene la siguiente
fórmula: p q  r.
Si bien estas proposiciones están relacionadas en cuanto al contenido, no hay ninguna que se afirme
sobre la base de las otras. En consecuencia, no se trata de un razonamiento deductivo. Conclusión y
premisas son términos relativos. Una misma proposición puede ser premisa en un razonamiento
deductivo y conclusión en otro. Esta circunstancia origina cadenas de razonamientos deductivos.

PROBLEMAS LÓGICOS SOBRE RAZONAMIENTOS DEDUCTIVOS

A. APLICANDO LA REGLA DE INFERENCIA DEL MODUS PONENDO PONENS

[(p  q)  p]  q
Dadas las premisas infiera o derive una conclusión.
1. Si Venus es un planeta entonces Venus brilla con luz refleja. Venus es un planeta.
2. Si son las cinco, la oficina está cerrada. Son las cinco.
3. Si Juan va a la Unión, se encuentra con Pedro. Juan va a la Unión.
4. Si llovió anoche, las pistas están mojadas. Llovió anoche.
5. Si voy de paseo, me encuentro con Ana. Voy de paseo.
6. Si la policía hace patrullaje urbano, captura a los delincuentes. La policía hace patrullaje
urbano. Resolución
Formalización: (p qp
Razonamiento
P1: p q
P2: p /
q: La policía captura a los delincuentes.
 Regla lógica utilizada para hacer la inferencia: Modus Ponendo Ponens.

7. Si el Atestado Policial prueba que estafaste, serás privado de tu libertad. El Atestado

Policial prueba que estafaste.
Resolución
Formalización: (p qp
Razonamiento
P1: p q
P2: p /q: serás privado de tú libertad
Regla lógica utilizada para hacerla inferencia: Modus PonendoPonens.

8. Si los terremotos son fenómenos naturales, los terremotos obedecen a leyes físicas. Los terremotos
son fenómenos naturales.
9. Si Gabriel es un alumno-policía que práctica buenos hábitos, será un policía disciplinado
y responsable. Gabriel es un alumno-policía que práctica buenos hábitos.
10. Si hay igualdad de oportunidades, hay justicia social. Hay igualdad de oportunidades.

B. APLICANDO LA REGLA DE INFERENCIA DEL MODUS TOLLENDO TOLLENS

[(p  q)  q]  p
Dadas las premisas infiera o derive una conclusión.
1. Dado que los objetos caen entonces existe gravedad. No es cierto que los objetos caén.

2. Si es estrella, ese astro tiene luz propia. Ese astro no tiene luz propia.
Resolución
Formalización: (p q (q)
Razonamiento
P1: p q
P2: q /p: no es estrella.

Regla lógica utilizada para hacer la inferencia: Modus TollendoTollens.

3. Si llueve, la ropa se moja. La ropa no se

moja. Resolución
Formalización: (p q (q)
Razonamiento
P1: p q
P2: q /p: no llueve.

Regla lógica utilizada para hacerla inferencia: Modus TollendoTollens.

4. Si Carlos no viaja a Tumbes, no se encontrará con Gabriel. Carlos se encontró con Gabriel.
5. Si Juan no ésta en clase entonces está de servicio. Juan no está de servicio.
6. Si Pedro compró el libro entonces es propietario del libro. Pedro no es propietario del libro.
7. Si un objeto flota en el agua entonces es menos denso que el agua. No es menos denso que el agua.
8. Si eres bondadoso y honrado, serás premiado. No serás premiado.
9. Si  = 1500 entonces Sen = ½. Sen ½.
10. Si Víctor es un graduado universitario entonces Víctor no es mecánico. Víctor es mecánico.

C. APLICANDO LA REGLA DE INFERENCIA DEL MODUS TOLLENDO PONENS O SILOGISMO DISYUNTIVO

[(p  q)  p]  q
[( p  q)  q]  p
Dadas las premisas infiera o derive una conclusión.
1. El policía viajó en auto o avión. El policía no viajó en avión.
2. Las Fuerzas Operativas de la Policía Nacional del Perú van al Estadio Nacional o al Mercado de
Santa Anita. Las Fuerzas Operativas de la Policía Nacional no van al Estadio Nacional.
3. María juega Vóley o Básquet. María no juega básquet.
4. El paciente tiene sarampión o tifoidea. El paciente no tiene sarampión.
5. Fujimori será extraditado o liberado. Fujimori no será liberado.
6. Los funcionarios policiales trabajan con hipótesis o refutaciones de hipótesis. Los
funcionarios policiales no trabajan con refutaciones de hipótesis.
7. El reo es culpable o inocente del delito que se le imputa. El reo no es inocente del delito que se
le imputa.
8. El ladrón entró por la puerta o la ventana. Por la puerta no entró, como lo ha demostrado
la investigación policial. se dedica a la función jurisdiccional.
9. Maritza se dedica a la función policial o Maritza no se dedica a la función jurisdiccional.
10. El accidente de tránsito fue causado por ebriedad del chofer o falla mecánica del accidente
de tránsito no fue causado por falla mecánica, de acuerdo a la investigación policial.

D. APLICANDO LA REGLA DE INFERENCIA DE SILOGISMO HIPOTÈTICO O TRANSITIVIDAD

DEL CONDICIONAL:
[(p  q)  (q  r)]  (p  r)
DEL BICONDICIONAL:
[(p  q)  (q  r)]  (p  r)
Dadas las premisas infiera o derive una conclusión
1. Si un policía es profesional y ético, es responsable de su buena conducta. Si es responsable de
su buena conducta, evita realizar acciones delictivas.
Resolución
Formalización: [(pq) r]  (r s)
Razonamiento
P1: (pq) r
P2: rs /(pq) s: Si un policía es profesional y ético, entonces evita realizar acciones delictivas

2. Si se denuncia la comisión de un delito, la policía efectúa la investigación. Si la policía efectúa

la investigación, establece la responsabilidad de los involucrados.
Resolución
Formalización: (p q)  (q r)
Razonamiento
P1: p q
P2: qr /p r:
Conclusión: p r: Si se denuncia la comisión de un delito, entonces la policía establece la
responsabilidad de los involucrados.
3. Si Elizabeth viaja a Estados Unidos, visitará a su papá. Si visita a su papá, pasará buenas vacaciones.
4. Si los ladrones asaltan el Banco de la Nación, el cajero aprieta el botón de alarma. Si el
cajero aprieta el botón de alarma, la patrulla policial interviene a los ladrones.
5. Si el Gobierno está a favor de las nacionalizaciones de las empresas, está en contra de la empresa
privada. Si el Gobierno está en contra de la empresa privada, es comunista.
6. Si Bertrand Russell fue neopositivista, conformó el Circulo de Viena. Si conformó el Circulo de Viena,
confiaba en la Lógica Simbólica.
7. Si Luisa obtiene buenas notas, le dan una beca. Si le dan una beca, viaja a Colombia.
8. Si hay abundancia de peces, habrá abundante harina de pescado. Si hay abundante harina
de pescado, se incrementa la exportación.
 9. Si sube la gasolina, subirá la harina de trigo. Si sube la harina de trigo, subirá el precio del pan.

E. APLICANDO LA REGLA DE INFERENCIA DEL DILEMA CONSTRUCTIVO

[(p  q)  (r  s) (p  r)]  (q  s )
Dados los razonamientos deductivos siguientes.
Verifique, si dichos razonamientos son válidos o inválidos, utilizando cualesquiera de las técnicas de
validación que se le ha enseñado y usted ha aprendido.
1. Si llueve, jugaremos ajedrez. Si el campo está seco, jugaremos fútbol. O llueve o el campo está seco.
/ O jugaremos al ajedrez o fútbol.
2. Si voy al cine, no estudio. Si no voy a la fiesta, viene Felipe a Estudiar. Voy al cine o no voy a la fiesta.
/ No estudio o viene Felipe a estudiar.

Resolución
Formalización:
(pq)  (rs)  (p r )
Razonamiento
P1: pq
P2: rs
P3: p r / (q s): No estudio o viene Felipe a estudiar.

3. Si se mantiene la paz, las ciencias progresan. Si se fomenta la guerra, los pueblos se empobrecen.
O se mantiene la paz o se fomenta la guerra. / Las ciencias progresan o los pueblos se
empobrecen. Resolución
Formalización: (pq)  (rs)  (p  r )
Razonamiento
P1: pq
P2: rs
P3: p  r / (q s): Las ciencias progresan o los pueblos se empobrecen.

F. APLICANDO LA REGLA DE INFERENCIA DEL DILEMA DESTRUCTIVO

[(p  q)  (r  s)( q s)]  ( p r)
Dados los razonamientos deductivos siguientes. Verifique, si dichos razonamientos son válidos o
inválidos, utilizando cualesquiera de las técnicas de validación que se le ha enseñado y usted ha
aprendido.
1. Si me encuentro con Pedro, voy a Chosica. Si me encuentro con Eduardo, voy a Barranco. No voy
a Chosica o no voy a Barranco. /O no me encuentro con Pedro o no me encuentro con
Eduardo.

2. Si voy a Chosica, no me encuentro con Pedro. Si me encuentro con Eduardo, no voy a Barranco. O
me encuentro con Pedro o voy a Barranco. /O voy a Chosica o me encuentro con Eduardo.

Resolución
Formalización:
(pq)  (rs)  (q s )
Razonamiento
P1: pq
P2: rs
P3: q  s / (pr): No voy a Chosica o no me encuentro con Eduardo.
Regla lógica utilizada para hacerla inferencia: Dilema destructivo.

3. Si te dedicas a la ciencia, serás un científico. Si cultivas las artes, serás un artista. O no serás un
científico o no serás un artista. / O no te dedicas a las ciencias o no cultivas las artes.
 Resol
ución
Form
alizaci
ón:
(pq)  (rs)  (q
s) Razonamiento
P
1
:

p

q

P
2
:

r

s
P3: q s / (pr): No te dedicas a la ciencia o no cultivas las artes. Regla lógica utilizada
para hacerla inferencia: Dilema destructivo