Universidad Nacional de La Plata

Facultad de Humanidades y Ciencias de la Educación

Materia: Lógica 1
Material didáctico
Tema: Introducción a la ejercitación en el método indirecto
 Nota

La siguiente presentación tiene como principal propósito

introducir a los estudiantes a la ejercitación en el método
indirecto. A continuación se presenta una larga serie de
ejercicios con algunas de las estrategias de resolución que se
dan en el tema. El presente recurso didáctico prescinde del
audio.
 • Advertencia:

La siguiente presentación constituye una primera versión de

este material didáctico. El material ha sido revisado en varias
oportunidades por el docentes antes de su publicación, no
obstante, en lógica pueden filtrarse involuntariamente signos
o problemas al tipear. Si se detectase alguna errata en alguna
de las justificaciones de las líneas, se agradecerá que la
comunique para la enmienda del material.
 1ra Parte

Comencemos recordando cuáles son las

condiciones de verdad para cada una de las
constantes lógicas
En principio veamos la tabla de la negación para
una variable proposicional

p p

1 0

0 1
La variable “p” la cual da cuenta de una
proposición puede ser
verdadera (1) o falsa (0)

p p

1 0

0 1
 Cuando “p” está negada, los valores de
verdad son los opuestos.

p p

1 0

0 1
Continuemos con las condiciones de verdad de
las conectivas para lo cual vamos valernos de
dos variables, tomaremos por caso a “p” y “q”
p  q p v q

1 1 1 1 1 1

0 0 1 0 1 1

1 0 0 1 1 0

0 0 0 0 0 0

p  q p  q

1 1 1 1 1 1

0 1 1 0 0 1

1 0 0 1 0 0

0 1 0 0 1 0
¿Cómo recordar todas estas líneas
entre tantas tablas?
Una forma sencilla es recordando un
caso en particular

Veamos esto
p  q

1 1 1

0 0 1

1 0 0

0 0 0 De la conjunción recordaremos el caso

en el que es verdadera, los demás casos
son falsos

-la conjunción es verdadera cuando los

conjuntos que la componen son
verdaderos.

En las demás líneas, la conjunción es

falsa.
 p v q

1 1 1

0 1 1

1 1 0

0 0 0
De la disyunción recodaremos
cuando es falsa, en los demás
casos es verdadera

La disyunción es falsa cuando los

disyuntos son falsos.

En las demás líneas, la disyunción

es verdadera.
 Del condicional recordaremos cuándo este es
falso.

El condicional es falso cuando el antecedente

es verdadero y el consecuente falso.

En las demás líneas, el condicional es

verdadero.
p  q

1 1 1

0 1 1

1 0 0

0 1 0
Del bicondicional recordaremos
cuando este es falso.

Un bicondicional es falso cuando los

componentes del mismo no tienen
el mismo valor de verdad

p  q

1 1 1

0 0 1

1 0 0

0 1 0
 En síntesis, sería sencillo y muy útil
recordar las líneas subrayadas en cada
caso.

Veámoslas todas juntas

p  q p v q

1 1 1 1 1 1

0 0 1 0 1 1

1 0 0 1 1 0

0 0 0 0 0 0

p  q p  q

1 1 1 1 1 1

0 1 1 0 0 1

1 0 0 1 0 0

0 1 0 0 1 0
p  q p v q

1 1 1 1 1 1

0 0 1 0 1 1

1 0 0 1 1 0

0 0 0 0 0 0

Ahora quedémonos únicamente con las

p  q subrayadas
p  q

1 1 1 1 1 1

0 1 1 0 0 1

1 0 0 1 0 0

0 1 0 0 1 0
p  q p v q

1 1 1 1 1 1

0 0 1 0 1 1

1 0Asíquedó0 1 1 0

0 simplificado
0 0 0 0 0

p  q p  q

1 1 1 1 1 1

0 1 1 0 0 1

1 0 0 1 0 0

0 1 0 0 1 0
p  q p v q

1 1 1 1 1 1

0 0 1 0 1 1

1 0 0 1 1 0

0 0 0 0 0 0

p  q p  q

1 1 1 1 1 1

0 1 1 0 0 1

1 0 0 1 0 0

0 1 0 0 1 0
p  q p v q

1 1 1 0 0 0

p  q p  q

1 0 0 0 0 1

1 0 0
 Como no siempre serán “p” y “q”
nuestras variables dejemos los mismos
cuadros pero con metavariables
φ  ψ φ v ψ

1 1 1 0 0 0

Φ  ψ φ  Ψ

1 0 0 0 0 1

1 0 0
 2da Parte

tablas de verdad
Método directo
Tabla de verdad de la fórmula : pp

Para saber cuál el número de líneas que tendrá una tabla de

verdad se debe considerar la fórmula 2n. El 2 es porque
estamos en un sistema bivalente de 1 y 0. Y el exponente n
es el número de variables proposicionales que tenemos.
p  p

Dado que en este caso tenemos 1 variable proposicional,

tendremos solo dos líneas ( 21 = 2)
 Asignamos valores de
verdad en la primera
columna

p  p
1
0
 Aquí “p” está negada de
modo que tiene el valor
opuesto a la primera
columna

p  p
1
0
 Aquí “p” está negada de
modo que tiene el valor
opuesto a la primera
columna

p  p
1 0
0 1
 Por último debemos
resolver la columna de
la conectiva principal

p  p
1 0
0 1
 En este caso recordemos
lo visto sobre la
conjunción

p  p
1 0
0 1
 φ  ψ
1 1 1

Es verdadera cuando ambos

conjuntos son verdaderos , en
los demás casos es falsa

p  p
1 0
0 1
 φ  ψ
1 1 1
De modo que en este caso la
conjunción es falsa en las dos
líneas

p  p
1 0 0
0 0 1
 La fórmula en cuestión es
una contradicción dado
que es falsa en todos
los casos de la columna
de la conectiva principal

p  p
1 0 0
0 0 1
Veamos ahora la siguiente fórmula

(q  p)  ( p  q)
Dado que tenemos dos variables (“p” y “q”) tendremos 4 líneas

(q  p)  ( p  q)
1 1 0 0
0 1 0 1
1 0 1 0
0 0 1 1
 Ubiquemos los valores de
verdad para la variable “q”

(q  p)  ( p  q)
1
0
1
0
 La variable “q” está aquí
negada por lo que
comenzamos con el valor 0

(q  p)  ( p  q)
1 0
0 1
1 0
0 1
 Ubiquemos los valores de verdad para la variable
“p”.
Si primeramente pusimos 1 y 0 intercalados de
uno en uno, en la segunda variable lo haremos
de dos en dos

(q  p)  ( p  q)
1 1 0
0 1 1
1 0 0
0 0 1
 Aquí repetimos algo que hicimos antes.
Como “p” aparece negada, podemos
comenzar con el valor 0

(q  p)  ( p  q)
1 1 0 0
0 1 0 1
1 0 1 0
0 0 1 1
 Ya hemos ubicado todos los valores de
verdad, ahora debemos ir de las conectivas
subordinadas que señalamos a
continuación

(q  p)  ( p  q)
1 1 0 0
0 1 0 1
1 0 1 0
0 0 1 1
 Y después de evaluar estas conectivas
subordinadas debemos evaluar…

(q  p)  ( p  q)
1 1 0 0
0 1 0 1
1 0 1 0
0 0 1 1
 … la conectiva principal

(q  p)  ( p  q)
1 1 0 0
0 1 0 1
1 0 1 0
0 0 1 1
 Para realizar la evaluación en esta
columna
¿Qué debíamos recordar del condicional?

(q  p)  ( p  q)
1 1 0 0
0 1 0 1
1 0 1 0
0 0 1 1
 Debíamos recordar al condicional.
Φ  ψ
1 0 0

(q  p)  ( p  q)
1 1 0 0
0 1 0 1
1 0 1 0
0 0 1 1
 El condicional es falso cuando el antecedente es
1 y el consecuente es 0
Φ  ψ
Eso pasa en la línea 3! 1 0 0

(q  p)  ( p  q)
1 1 0 0
0 1 0 1
1 0 0 1 0
0 0 1 1
 También pasa en la 3ra línea de esta otra
columna
Φ  ψ
1 0 0

(q  p)  ( p  q)
1 1 0 0
0 1 0 1
1 0 0 1 0 0
0 0 1 1
 ¿Cómo son los demás casos de esta columna?
Son verdaderos puesto que ya ubicamos el
único valor falso y no hay otro Φ  ψ
1 0 0

(q  p)  ( p  q)
1 1 0 0
0 1 0 1
1 0 0 1 0 0
0 0 1 1
(q  p)  ( p  q)
1 1 1 0 0
0 1 1 0 1
1 0 0 1 0 0
0 1 0 1 1
 Aquí también los demás casos son verdaderos
porque ya hemos detectado el caso falso
Φ  ψ
1 0 0

(q  p)  ( p  q)
1 1 1 0 0
0 1 1 0 1
1 0 0 1 0 0
0 1 0 1 1
(q  p)  ( p  q)
1 1 1 0 1 0
0 1 1 0 1 1
1 0 0 1 0 0
0 1 0 1 1 1
 Realizamos la evaluación de la conectiva
principal teniendo en cuenta los resultados
anteriores

(q  p)  ( p  q)
1 1 1 0 1 0
0 1 1 0 1 1
1 0 0 1 0 0
0 1 0 1 1 1
 Por último, le damos los valores de verdad a la
columna de la conectiva principal

(q  p)  ( p  q)
1 1 1 0 1 0
0 1 1 0 1 1
1 0 0 1 0 0
0 1 0 1 1 1
 Para eso debemos considerar los valores del
antecedente y del consecuente

(q  p)  ( p  q)
1 1 1 0 1 0
0 1 1 0 1 1
1 0 0 1 0 0
0 1 0 1 1 1
 Allí no hay ningún caso falso del condicional
Φ  ψ
1 0 0

(q  p)  ( p  q)
1 1 1 0 1 0
0 1 1 0 1 1
1 0 0 1 0 0
0 1 0 1 1 1
 A estas fórmulas se las llama tautologías, sin
importar el valor de verdad que tengan las
variables, en todos los casos son verdaderas.

(q  p)  ( p  q)
1 1 1 1 0 1 0
0 1 1 1 0 1 1
1 0 0 1 1 0 0
0 1 0 1 1 1 1
Pasemos por último a la tabla de verdad de la
fórmula
r  (p  q)

Dado que son 3 variables tendremos 8 líneas

(recordemos 2n, es decir, para este caso 23=8)
 Ubiquemos los valores de
verdad a las variables
proposicionales

r  (p  q)
 Comenzamos alternando 1
y 0 de uno en uno

r  (p  q)
1
0
1
0
1
0
1
0
 Proseguimos en la segunda
variables ubicando 1 y 0
pero aquí de dos en dos

r  (p  q)
1 1
0 1
1 0
0 0
1 1
0 1
1 0
0 0
 Por último, ubicamos aquí
los valores 1 y o de cuatro
en cuatro

r  (p  q)
1 1 1
0 1 1
1 0 1
0 0 1
1 1 0
0 1 0
1 0 0
0 0 0
 En esta columna
debemos atender a
la conjunción

r  (p  q)
1 1 1
0 1 1
1 0 1
0 0 1
1 1 0
0 1 0
1 0 0
0 0 0
 Φ  ψ
1 1 1

r  (p  q)
1 1 1 1
0 1 1
1 0 1
0 0 1
1 1 0
0 1 0
1 0 0
0 0 0
 Φ  ψ
1 1 1

r  (p  q)
1 1 1 1
0 1 1 1
1 0 1
0 0 1
1 1 0
0 1 0
1 0 0
0 0 0
 Φ  ψ
1 1 1

r  (p  q)
1 1 1 1
0 1 1 1
1 0 0 1
0 0 0 1
1 1 0 0
0 1 0 0
1 0 0 0
0 0 0 0
 Φ  ψ
1 0 0

r  (p  q)
1 1 1 1
0 1 1 1
1 0 0 1
0 0 0 1
1 1 0 0
0 1 0 0
1 0 0 0
0 0 0 0
 Φ  ψ
1 0 0

r  (p  q)
1 1 1 1
0 1 1 1
1 0 0 0 1
0 0 0 1
1 1 0 0
0 1 0 0
1 0 0 0
0 0 0 0
 Φ  ψ
1 0 0

r  (p  q)
1 1 1 1
0 1 1 1
1 0 0 0 1
0 0 0 1
1 0 1 0 0
0 1 0 0
1 0 0 0
0 0 0 0
 Φ  ψ
1 0 0

r  (p  q)
1 1 1 1
0 1 1 1
1 0 0 0 1
0 0 0 1
1 0 1 0 0
0 1 0 0
1 0 0 0 0
0 0 0 0
 La fórmula en cuestión
es una contingencia

r  (p  q)
1 1 1 1 1
0 1 1 1 1
1 0 0 0 1
0 1 0 0 1
1 0 1 0 0
0 1 1 0 0
1 0 0 0 0
0 1 0 0 0
 3ra parte

Método indirecto
El método indirecto cuenta de 3 pasos
 1ro

Se supone que cada una de las premisas

es verdadera y que la conclusión es
falsa

V(premisa) = 1
V(conclusión) = 0.
 3ro

Se intenta encontrar una asignación de

valores para cada fórmula de modo que
se cumpla la hipótesis.
 2do

Se intenta encontrar una asignación de

valores para cada fórmula de modo que
se cumpla la hipótesis.
 3ro Resultado:
(a)
Si se encontró una asignación como la buscada se
termina el ejercicio y,
por cumplirse la hipótesis, el argumento es inválido.

(b)
Si toda asignación posible lleva a una contradicción con la
hipótesis: se señala la o las contradicciones (en caso de
que hubiere más de una asignación posible) y el resultado
es que el argumento es válido.
.
.

Analicemos este primer argumento

¿es válido o no?

(p  q)  (q  r) / pr
 Paso1 : Se supone que cada una de
Paso1 las supone
: Se premisas es verdadera y
la conclusión falsa, es decir V(premisa) = 1, para cada premisa, y
V(premisa) = 1 y V(conclusión) = 0
V(conclusión) = 0.

(p  q)  (q  r) / pr

1 0

Premisa Conclusión
 Paso1 : Se supone
Paso2 que: cada una de
Avanzar las premisas
a partir de losesvalores
verdadera y
la conclusión falsa, es decir V(premisa) = 1, para cada premisa, y
de verdad que tenemos
V(conclusión) = 0.

(p  q)  (q  r) / pr

1 0

Premisa Conclusión
 Aquí si la conjunción es verdadera, entonces
los conjuntos tienen que ser verdaderos.
Recordemos:

(p  q)  (q  r) / pr

1 0

Premisa Conclusión
 Aquí si la conjunción es verdadera, entonces
los conjuntos tienen que ser verdaderos.
Recordemos: Φ  ψ
1 1 1

(p  q)  (q  r) / pr

1 1 1 0

Premisa Conclusión
 (p  q)  (q  r) / pr

1 1 1 0
1 0

Paso 2: asignar valores. Véase que p y r

obtuvieron valores que debemos trasladar
 Paso1 : Se supone
Aquí debemos que cada
atender una de las premisas es verdadera y
al condicional.
la conclusión falsa, esera
¿cuándo decir V(premisa) = 1, para cada premisa, y
falso?
V(conclusión) = 0.

(p  q)  (q  r) / pr

1 1 1 0

Premisa Conclusión
 Paso1 : Se supone que cada una de las premisas es verdadera y
la conclusión falsa, es decir V(premisa) = 1, para cada premisa, y
Φ  ψ
V(conclusión) = 0.
1 0 0

(p  q)  (q  r) / pr

1 1 1 1 0 0

Premisa Conclusión
 Paso1 : Se supone que cada una de las premisas es verdadera y
Por V(premisa)
la conclusión falsa, es decir último, debemos llevar
= 1, para cadalos valoresy
premisa,
V(conclusión) = 0. obtenidos a las variables proposiciones

(p  q)  (q  r) / pr

1 1 1 1 0 0

Premisa Conclusión
 Paso1 : Se supone que cada una de las premisas es verdadera y
la conclusión falsa, es decir V(premisa) = 1, para cada Si “p” aquí yes
premisa,
verdadero, dicho
V(conclusión) = 0.
valor debe llevarse a
las otras apariciones
de “p”
(p  q)  (q  r) / pr

1 1 1 1 0 0

Premisa Conclusión
 Paso1 : Se supone que cada una de las premisas es verdadera y
la conclusión falsa, es decir V(premisa) = 1, para cada premisa, y
V(conclusión) = 0. Trasladamos el valor
de verdad

(p  q)  (q  r) / pr

1
1 1 1 1 0 0

Premisa Conclusión
 Paso1 : Se supone que cada una de las premisas es verdadera y
la conclusión falsa, es decir V(premisa) = 1, para cada premisa,
Si “r” y
aquí es falsa,
V(conclusión) = 0. dicho valor debe
llevarse a las otras
apariciones de “r”
(p  q)  (q  r) / pr

1
1 1 1 1 0 0

Premisa Conclusión
 Paso1 : Se supone que cada una de las premisas es verdadera y
la conclusión falsa, es decir V(premisa) = 1, para cada premisa,
Si “r” y
aquí es falsa,
V(conclusión) = 0. dicho valor debe
llevarse a las otras
apariciones de “r”
(p  q)  (q  r) / pr

1 0
1 1 1 1 0 0

Premisa Conclusión
 Por último, debemos
Paso1 : Se supone que cada una de las premisas
darle es evitando
valor a “q” verdadera y
la conclusión falsa, es decir V(premisa) =caer
1, para cada premisa, y
en alguna
V(conclusión) = 0.
inconsistencia

(p  q)  (q  r) / pr

1 ¿? ¿? 0
1 1 1 1 0 0

Premisa Conclusión
 Paso1 : Se supone que cada una deAquí “q” necesariamente
las premisas es verdadera y
debe
la conclusión falsa, es decir V(premisa) serpara
= 1, 1, para
cada que el y
premisa,
V(conclusión) = 0. condición sea 1

(p  q)  (q  r) / pr

1 1 ¿? 0
1 1 1 1 0 0

Premisa Conclusión
 Paso1 : Se supone que cada una deCuando trasladamos
las premisas el y
es verdadera
valor= de
la conclusión falsa, es decir V(premisa) verdad,
1, para cadacaemos
premisa, y
V(conclusión) = 0. en una inconsistencia

(p  q)  (q  r) / pr

1 1 1 0
1 1 1 1 0 0

Premisa Conclusión
 Paso1 : Se supone que cada una de las premisas es verdadera y
Φ  ψ
la conclusión falsa, es decir V(premisa) = 1, para cada premisa, y
V(conclusión) = 0. 1 0 0

(p  q)  (q  r) / pr

1 1 1 0
1 1 1 1 0 0

Premisa Conclusión
 (p  q)  (q  r) ╞ pr

1 1 1 0/*
1 1 1 0
1 0

Paso3- La asignación no es posible porque al darle un valor

a q llegamos a inconsistencia. Es decir, no hay un caso en
el que la premisa sea verdadera y la conclusión falsa.
De allí que el razonamiento es válido
(r  s)  p , (r  p)  q / (s  p)  q

1 1 0

• Paso 1.
• Premisas verdaderas y conclusión falsa
(r  s)  p , (r  p)  q / (s  p)  q

0 0
1 1 0

Paso 2:
Realizo la asignación de valores de verdad. Dado
que la conclusión es una disyunción falsa,
puedo continuar por allí.
(r  s)  p , (r  p)  q / (s  p)  q

1 0
0 0
1 1 0

Continúo la asignación por el condicional de la

conclusión.
Véase que s, p y q han obtenido valor de verdad. En el
paso siguiente, traslado esos valores.
(r  s)  p , (r  p)  q / (s  p)  q

__ 1 __ 0
__ 0 __ 0
1 0
0 0
1 1 0
Los espacios señalados por un guión bajo son los
valores que faltan. Los mismos se pueden
completar con la información que se posee.
(r  s)  p , (r  p)  q / (s  p)  q

__ 1 _ 0
__ 0 __ 0
1 0
0 0
1 1 0

Véase, en ambos condicionales, se precisa que el

antecedente sea 0 para no caer en una contradicción.
(r  s)  p , (r  p)  q / (s  p)  q

0 1 0 0
0 0 0 0
1 0
0 0
1 1 0

En este caso, ahora resta poner un valor a r, evitando

caer en una contradicción o inconsistencia.
(r  s)  p , (r  p)  q / (s  p)  q

El razonamiento no es válido porque encontramos

una asignación de valores de verdad en la cual
las premisas son verdaderas y la conclusión es
falsa.
• r  s, (r  q)  s, (s  p)  r / (p  q)

1 1

1
1 1 1 0
• r  s, (r  q)  s, (s  p)  r / (p  q)

1 1

1 1

1
1 1 1 0
• r  s, (r  q)  s, (s  p)  r / (p  q)

1 1
___ ___
1 1

1
1 1 1 0
• r  s, (r  q)  s, (s  p)  r / (p  q)

1 1
_1 _1
1 1

1
1 1 1 0
• r  s, (r  q)  s, (s  p)  r / (p  q)

1 1
1 __ 1 __
1 1

1
1 1 1 0
• r  s, (r  q)  s, (s  p)  r / (p  q)

1 1
1 __ 1 __
1 1

1
1 1 1 0
• r  s, (r  q)  s, (s  p)  r / (p  q)

1 1
1 1 1 1
1 1

1
1 1 1 0
• r  s, (r  q)  s, (s  p)  r / (p  q)

0 0 1 1
1 1 1 1
1 1

1
1/* 1 1 0
• El razonamiento es válido.
 pq , ¬rp , ¬q / ¬r↔p

1 1/*
1 1
1 1 1 0

El razonamiento es válido.
p  r , q  (r  p), (r  p)  q / (r  p)  q

1 0
1 0
1 1 1 0
 p  r , q  (r  p), (r  p)  q / (r  p)  q
Alt1 1 1 0 1 0 1 0 0 /*
Alt2 1 0
Alt3 0 1

1 0
1/* 0
1 1 1 0
 p  r , q  (r  p), (r  p)  q / (r  p)  q
Alt1
Alt2 1 0 1 1 1 1 1 0
Alt3

1 1 1/* 0
1 0
1 1 1/* 0
 p  r , q  (r  p), (r  p)  q / (r  p)  q
Alt1
Alt2
Alt3 0 1 0 0/* 0 0 1 1

1 1/* 0
1 0
1 1 1/* 0
• p  r , q  (r  p), (r  p)  q ╞ (r  p)  q

• El razonamiento es válido. En ninguna de las

tres alternativas hemos llegado a un caso de
premisas verdaderas y conclusión falsa.
Aquí culminan los ejercicios de práctica!

Esperamos que con la ejercitación haya afianzado

sus competencias para poder realizar el método
indirecto .