Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Guía de Estudio
pag.
Unidad 2
Guía de lectura
ACTIVIDAD 1
a. La conclusión es “Doblé a la derecha” (subrayada). Nos damos cuenta porque es lo que se pretende mostrar
con este razonamiento y porque está a continuación de la expresión “Por lo tanto”. Este razonamiento tiene dos
premisas (1) “Doblo a la izquierda o a la derecha” y (2) “No doblé a la izquierda”.
b. Este razonamiento es válido, y por lo tanto deductivo, ya que si sus premisas son verdaderas, la conclusión
necesariamente también. Si es verdadero que se da una cosa u otra y no se da una de ellas, necesariamente tiene
que darse la otra. En este caso, si es cierto que doblo a la izquierda o a la derecha y es verdadero que no doblo a
la izquierda, entonces tiene que ser verdadero que doblo a la derecha.
4. Si hay sequía, suben los precios de los productos agrícolas. Hay sequía. Por lo tanto, suben los precios de los
productos agrícolas.
a. La conclusión es “Suben los precios de los productos agrícolas”. Nos damos cuenta porque es lo que se pretende
mostrar con este razonamiento y porque está a continuación de la expresión “Por lo tanto”. Este razonamiento
tiene dos premisas (1) “Si hay sequía, suben los precios de los productos agrícolas” y (2) “Hay sequía”.
b. Este razonamiento es válido, y por lo tanto deductivo, ya que si sus premisas son verdaderas, la conclusión
necesariamente también. Si es verdadera la primera premisa, es decir que en caso de sequía se da que suben los
productos agrícolas y es verdadera la segunda premisa, es decir que hay sequía, entonces necesariamente
también va a ser verdadera la conclusión, que suben los precios de los productos agrícolas.
5. La mayoría de los humanos son diestros. Patricio es un humano. De modo que Patricio es diestro.
a. La conclusión es “Patricio es diestro”. Nos damos cuenta porque es lo que se pretende mostrar con este
razonamiento y por la expresión “de modo que”. Este razonamiento tiene dos premisas (1) “La mayoría de los
humanos son diestros” y (2) “Patricio es un humano”.
b. Este razonamiento es no deductivo, ya que es inválido: la verdad de sus premisas no garantiza la verdad de su
conclusión. Si es cierto que la mayoría de los humanos son diestros y que Patricio es un humano, esto no garantiza
que Patricio sea diestro.
6. Algunos inviernos nieva en Buenos Aires. Podemos concluir entonces que este invierno nevará en Buenos Aires.
a. La conclusión es “Este invierno nevará en Buenos Aires”. La reconocemos porque es lo que se pretende mostrar
en este razonamiento y por la expresión “podemos concluir que”. Este razonamiento tiene una sola premisa:
“Algunos inviernos nieva en Buenos Aires”.
b. Este razonamiento es inválido, y por lo tanto no deductivo, ya que la conclusión no se sigue necesariamente de
la premisa. Si es cierto que algunos inviernos nieva en Buenos Aires, la conclusión sólo se sigue con cierto grado
de probabilidad, pero su verdad no está garantizada por la premisa.
7. Si la temperatura desciende a 0ºC entonces se forman cristales de hielo en la atmósfera. Si se forman cristales
de hielo en la atmósfera, entonces nieva. De allí podemos concluir que si la temperatura desciende a 0ºC,
entonces nieva.
a. La conclusión es “Si la temperatura desciende a 0ºC, entonces nieva.” Nos damos cuenta porque es lo que se
pretende mostrar con este razonamiento y porque está a continuación de la expresión “de allí podemos concluir
que”. Este razonamiento tiene dos premisas (1) “Si la temperatura desciende a 0ºC entonces se forman cristales
de hielo en la atmósfera” y (2) “Si se forman cristales de hielo en la atmósfera, entonces nieva”.
b. Este razonamiento es deductivo, ya que es válido. Si las dos premisas son verdaderas, la conclusión
necesariamente también lo será. Si la primera premisa es verdadera, entonces en caso de que la temperatura
descienda a 0º, necesariamente se formarán cristales de hielo en la atmósfera. Y si la segunda premisa es
verdadera, en caso que se formen cristales de hielo en la atmósfera, necesariamente nieva. De modo que, si estas
dos premisas son verdaderas y se da que la temperatura desciende a 0º, necesariamente nevará. Esto último es
lo que afirma la conclusión. De modo que, si las dos premisas son verdaderas, la conclusión también lo será.
8. Coloco un tubo de cobre en un horno a 300º y observo que se expande. Coloco un anillo de oro en un horno a
300º y observo que se expande. Coloco una bombilla de acero en un horno a 300º y observo que se expande. De
aquí se sigue que todos los metales se expanden con el calor.
a. La conclusión es “Todos los metales se expanden con el calor.” La reconocemos porque es lo que se pretende
mostrar con este razonamiento y porque está a continuación de la expresión “de aquí se sigue que”. Este
razonamiento tiene tres premisas (1) “Coloco un tubo de cobre en un horno a 300º y observo que se expande”,
(2) “Coloco un anillo de oro en un horno a 300º y observo que se expande” y (3) “Coloco una bombilla de acero
en un horno a 300º y observo que se expande”.
b. Este razonamiento es no deductivo, ya que es inválido. En este razonamiento, la verdad de las premisas no
garantiza la verdad de la conclusión. Por más que las observaciones que se detallan en las premisas sean
verdaderas, esto no garantiza la inferencia para todos los metales: la observación de tres tipos de metales en
determinadas condiciones no permite afirmar con certeza que todos los metales vayan a comportarse de la
misma manera en esas condiciones. Esta conclusión puede inferirse con cierto grado de probabilidad, pero no
está garantizada por las premisas.
ACTIVIDAD 2
8. Los pulpos tienen ocho Es compuesta, es una p: Los pulpos tienen ocho p.q
brazos y pueden cambiar conjunción. brazos.
el color de su piel.
q: Los pulpos pueden
cambiar el color de su
piel.
20. Francia está en Asia o Es compuesta, es una p: Francia está en Asia. q: pvq
África. disyunción. Francia está en África.
22. Si Newton unificó en Se trata de una proposición p: Newton unificó en una p → [(q . r) . s]
una única teoría compuesta. La conectiva única teoría los hallazgos
los hallazgos de Copérnico, principal es el condicional. El de Copérnico, Galileo y
Galileo y Kepler entonces antecedente es una Kepler.
el sol es el centro del proposición simple y el
q: El sol es el centro del
sistema solar, la luna tiene consecuente es una
sistema solar.
cráteres y los planetas proposición compuesta, es
describen órbitas elípticas. una conjunción, que, a su vez, r: La luna tiene cráteres.
tiene en una de sus partes s: Los planetas describen
otra conjunción. órbitas elípticas.
no nieva. La conectiva
principal es la conjunción.
ACTIVIDAD 3
3. Laura es periodista y trabaja en una radio. Por lo tanto, Laura trabaja en una radio.
a. Este razonamiento tiene una sola premisa. En este caso, la expresión “por lo tanto” es la que relaciona la
premisa y la conclusión. La oración que figura antes expresa la premisa y la que figura después expresa la
conclusión. La premisa y conclusión son las siguientes:
p: Laura es periodista
p . q__
4. Guadalupe estudia inglés o francés. No estudia francés. Por lo tanto Guadalupe estudia inglés.
a. La expresión “por lo tanto” es la que relaciona las premisas y la conclusión. Las oraciones que figuran antes
expresan las premisas y la que figura después expresa la conclusión. Las premisas y conclusión son las siguientes:
Guadalupe estudia inglés o francés. → Premisa 1
b. Para extraer la forma del razonamiento, primero elaboramos el diccionario con las proposiciones simples:
pvq
~ q___
5. Los murciélagos utilizan la vista o el oído para orientarse. No utilizan la vista. De modo que utilizan el oído para
orientarse.
a. En este caso la expresión “de modo que” es la que relaciona las premisas y la conclusión. Las oraciones que
figuran antes expresan las premisas y la que figura después expresa la conclusión. Las premisas y conclusión son
las siguientes:
b. Para extraer la forma del razonamiento, primero elaboramos el diccionario con las proposiciones simples:
pvq
~ p___
6. Si la Tierra describiese una órbita alrededor del Sol, entonces debería observarse un ligero cambio periódico en
la posición de una estrella cualquiera con respecto a la esfera estelar. Se observa un ligero cambio periódico en la
posición de una estrella cualquiera con respecto a la esfera estelar. De manera que la Tierra describe una órbita
alrededor del Sol.
a. En este caso, las premisas y la conclusión están conectadas por la expresión “de manera que”. Las oraciones
que figuran antes expresan las premisas y la que figura después expresa la conclusión. Las premisas y conclusión
son las siguientes:
Si la Tierra describiese una órbita alrededor del Sol, entonces debería observarse un ligero cambio
periódico en la posición de una estrella cualquiera con respecto a la esfera estelar. → Premisa 1
Se observa un ligero cambio periódico en la posición de una estrella cualquiera con respecto a la
esfera estelar. → Premisa 2
q: Se observa un ligero cambio periódico en la posición de una estrella cualquiera con respecto a
la esfera estelar.
p→q
q____
p
7. Si los caracteres adquiridos son heredables por la descendencia, entonces Lamarck tenía razón. Lamarck no
tenía razón. De modo que los caracteres adquiridos no son heredables por la descendencia.
a. En este caso, las premisas y la conclusión están relacionadas por la expresión “de modo que”. Las oraciones que
figuran antes expresan las premisas y la que figura después expresa la conclusión. Las premisas y conclusión son
las siguientes:
~ q____
10
~p
8. Subieron los precios de los productos agrícolas. Ya que si hay sequía, suben los precios de los productos
agrícolas. Y hubo sequía.
a. En este caso, las premisas y la conclusión están relacionadas por la expresión “ya que”. La oración que figura
antes expresa la conclusión y las que figuran después, las premisas. Las premisas y conclusión son las siguientes:
p: Hay sequía.
p→q
p____
q
9. La Tierra no se mueve, pues si la Tierra se moviera entonces los cuerpos serían despedidos de la superficie de
la Tierra. Pero los cuerpos no son despedidos de la superficie de la Tierra.
a. La expresión “pues” es la que relaciona las premisas y la conclusión. Antes de ella figura la conclusión, y después
las premisas. Las premisas y conclusión son las siguientes:
p: La Tierra se mueve.
p→q
~ q___
11
~p
10. Si no hace frío, entonces dejo las ventanas abiertas. Si dejo las ventanas abiertas, llega mucho ruido de la calle.
Podemos concluir que si no hace frío, entonces llega mucho ruido de la calle.
a. La expresión “podemos concluir que” es la que relaciona las premisas y la conclusión. Las oraciones que figuran
antes expresan las premisas y la que figura después expresa la conclusión. Las premisas y conclusión son las
siguientes:
b. Para extraer la forma del razonamiento, primero elaboramos el diccionario con las proposiciones simples:
p: Hace frío.
~p→q
q → r____
~p→r
11. Dejo las ventanas abiertas si y sólo si no llueve. Llueve, por lo tanto, no dejo las ventanas abiertas.
a. La expresión “por lo tanto” es la que relaciona las premisas y la conclusión. Las afirmaciones que figuran antes
expresan las premisas y la que figura después expresa la conclusión. Las premisas y conclusión son las siguientes:
Llueve. → Premisa 2
b. Para extraer la forma del razonamiento, primero elaboramos el diccionario con las proposiciones simples:
q: Llueve.
p↔~q
q______
12
~p
12. Si París es la capital de España, entonces París está en Europa y está en el hemisferio norte. París no es la
capital de España. Por lo tanto, no es cierto que París está en Europa y está en el hemisferio norte.
a. La expresión “por lo tanto” es la que relaciona las premisas y la conclusión. Las oraciones que figuran antes
expresan las premisas y la que figura después expresa la conclusión. Las premisas y conclusión son las siguientes:
b. Para extraer la forma del razonamiento, primero elaboramos el diccionario con las proposiciones simples:
p → (q . r)
~p______
~(q . r)
ACTIVIDAD 4
1. La conectiva principal es la conjunción. Para poder resolverla, primero debemos hallar los valores de verdad del
condicional para cada fila:
p q (p → q) . p
v v v v v v
f v f v v f
v f v f f v
f f f v f f
13
Una vez hallados los valores del condicional, podemos hallar los valores de la conjunción, tomando en cuenta los
valores del condicional y los de p:
p q (p → q) . p
v v v v v V v
f v f v v F f
v f v f f F v
f f f v f F f
2. La conectiva principal es la conjunción. Para poder resolverla, primero debemos hallar los valores de verdad del
condicional y de la negación:
p q (p → q) . ~ p
v v v v v f v
f v f v v v f
v f v f f f v
f f f v f v f
Una vez hallados esos valores, podemos resolver la conjunción, tomando en cuenta, en cada fila, los valores del
condicional y de la negación de p:
p q (p → q) . ~ p
v v v v v F f v
f v f v v V v f
v f v f f F f v
f f f v f V v f
14
3. La conectiva principal es el condicional. Para poder resolverlo, primero debemos hallar los valores de verdad
de su antecedente. El antecedente también es una proposición compuesta: es una conjunción. Para poder
resolver la conjunción, primero debemos resolver el condicional entre paréntesis. Para esto, consideramos en
cada fila como valor del antecedente el valor de p y como valor del consecuente el valor de q.
p q [(p → q) . p] → q
v v v v v v v
f v f v v f v
v f v f f v F
f f f v f f F
Una vez que resolvimos el condicional entre paréntesis, podemos resolver la conjunción entre corchetes, teniendo
en cuenta en cada fila el valor del resultado del condicional y el valor de p:
p q [(p → q) . p] → q
v v v v v v v v
f v f v v f f v
v f v f f f v f
f f f v f f f f
Finalmente, se resuelve el condicional principal. En cada fila, el valor del antecedente es el valor de la conjunción
entre corchetes y el valor del consecuente es el valor de q:
15
p q [(p → q) . p] → q
v v v v v v v V v
f v f v v f f V v
v f v f f f v V f
f f f v f f f V f
p q [(p → q) . ~ p] → ~ q
v v v v v f v v
f v f v v v f v
v f v f f f v f
f f f v f v f f
p q [(p → q) . ~ p] → ~ q
v v v v v f f v v
f v f v v v v f v
v f v f f f f v f
f f f v f v v f f
16
Una vez resuelta la conjunción, ya tenemos los valores del antecedente del condicional principal para cada fila.
Falta hallar los valores del consecuente, es decir, hallar los valores de la negación de q:
p q [(p → q) . ~ p] → ~ q
v v v v v f f v f v
f v f v v v v f f v
v f v f f f f v v f
f f f v f v v f v f
Finalmente, se obtienen los valores del condicional principal, tomando como valores para el antecedente los de
la conjunción, y para el consecuente los de la negación de q:
p q [(p → q) . ~ p] → ~ q
v v v v v f f v V f v
f v f v v v v f F f v
v f v f f f f v V v f
f f f v f v v f V v f
ACTIVIDAD 5
3.
p: Laura es periodista
17
p . q_
q
Recuerden que el condicional asociado se arma como un condicional que tiene la conjunción de las premisas como
antecedente y la conclusión como consecuente.
En este caso, el razonamiento tiene una sola premisa, de modo que el condicional asociado será:
(p . q) → q
Para evaluar la validez del razonamiento, confeccionamos la tabla de verdad del condicional asociado. Esta tabla
tendrá 4 filas, ya que la proposición condicional en este caso tiene dos proposiciones atómicas:
p q (p . q) → q
v v v v v
f v f v v
v f v f f
f f f f f
p q (p . q) → q
v v v v v v
f v f f v v
v f v f f f
f f f f f f
18
Luego, resolvemos el condicional, tomando en cada fila como valor del antecedente el valor de la conjunción y
para el consecuente el valor de q.
p q (p . q) → q
v v v v v V v
f v f f v V v
v f v f f V f
f f f f f V f
El condicional es verdadero para todos los casos, es decir que es tautológico, por lo tanto el razonamiento es
válido.
4.
Guadalupe estudia inglés o francés. → Premisa 1
Diccionario:
pvq
~ q___
p
19
La tabla de verdad para esta proposición condicional tendrá 4 filas, porque la proposición tiene dos proposiciones
atómicas:
p q [(p V q) . ~ q)] → p
v v v v v v
f v f v v f
v f v f f v
f f f f f f
Para poder resolver el condicional principal, primero debemos hallar los valores del antecedente. Para eso
resolvemos primero la disyunción entre paréntesis y luego la negación de q:
p q [(p V q) . ~ q)] → p
v v v v v f v v
f v f v v f v f
v f v v f v f v
f f f f f v f f
Luego resolvemos la conjunción entre corchetes, teniendo en cuenta los valores obtenidos para la disyunción y
la negación:
20
p q [(p V q) . ~ q)] → p
v v v v v f f v v
f v f v v f f v f
v f v v f v v f v
f f f f f f v f f
p q [(p V q) . ~ q)] → p
v v v v v f f v V v
f v f v v f f v V f
v f v v f v v f V v
f f f f f f v f V f
El condicional es tautológico (es verdadero para todos los casos), por lo tanto el razonamiento es válido.
5.
Diccionario:
p: Los murciélagos utilizan la vista para orientarse.
21
~ p____
[(p v q) . ~ p] → q
La tabla de verdad para esta proposición condicional tendrá 4 filas, porque la proposición tiene dos proposiciones
atómicas:
P q [(p V q) . ~ p)] → q
v v v v v v
f v f v f v
v f v f v f
f f f f f f
Para poder resolver el condicional principal, primero debemos hallar los valores del antecedente. Para eso
resolvemos primero la disyunción entre paréntesis y luego la negación de p:
P q [(p V q) . ~ p)] → q
v v v v v f v v
f v f v v v f v
v f v v f f v f
f f f f f v f f
22
Luego resolvemos la conjunción entre corchetes, teniendo en cuenta los valores obtenidos para la disyunción y la
negación:
P q [(p V q) . ~ p)] → q
v v v v v f f v v
f v f v v v v f v
v f v v f f f v f
f f f f f f v f f
P q [(p V q) . ~ p)] → q
v v v v v f f v V v
f v f v v v v f V v
v f v v f f f v V f
f f f f f f v f V f
El condicional es tautológico (es verdadero para todos los casos), por lo tanto el razonamiento es válido.
6.
Si la Tierra describiese una órbita alrededor del Sol, entonces debería observarse un ligero cambio
periódico en la posición de una estrella cualquiera con respecto a la esfera estelar. → Premisa 1
Se observa un ligero cambio periódico en la posición de una estrella cualquiera con respecto a la esfera
estelar. → Premisa 2
Diccionario:
p: La Tierra describe una órbita alrededor del Sol.
23
q: Se observa un ligero cambio periódico en la posición de una estrella cualquiera con respecto a la esfera
estelar.
q______
[(p → q) . q ] → p
La tabla de verdad para esta proposición condicional tendrá 4 filas, porque la proposición tiene dos proposiciones
atómicas:
p q [(p → q) . q)] → p
v v v v v v
f v f v v f
v f v f f v
f f f f f f
Para hallar los valores del antecedente, primero debemos hallar los valores del condicional entre paréntesis:
p q [(p → q) . q)] → p
v v v v v v v
f v f v v v f
v f v f f f v
f f f v f f f
24
Luego, teniendo en cuenta esos valores obtenidos y los valores de q, hallamos los valores de la conjunción:
p q [(p → q) . q)] → p
v v v v v v v v
f v f v v v v f
v f v f f f f v
f f f v f f f f
p q [(p → q) . q)] → p
v v v v v v v V v
f v f v v v v F f
v f v f f f f V v
f f f v f f f V f
7.
Diccionario:
25
~q
~p
[(p → q) . ~ q ] → ~ p
Tabla de verdad:
p q [(p → q) . ~ q] → ~ p
v v v v v f f v V f v
f v f v v f f v V v f
v f v f f f v f V f v
f f f v f v v f V v f
8.
Diccionario:
p: Hay sequía.
p→q
p_____
q
26
Tabla de verdad:
p q [(p → q) . p)] → q
v v v v v v v V v
f v f v v f f V v
v f v f f f v V f
f f f v f f f V f
9.
Si la Tierra se mueve entonces los cuerpos serán despedidos de la superficie de la Tierra. → Premisa 1
Diccionario:
p: La Tierra se mueve.
Forma lógica:
p→q
~ q____
~p
27
Tabla de verdad:
p q [(p → q) . ~ q] → ~ p
v v v v v f f v V f v
f v f v v f f v V v f
v f v f f f v f V f v
f f f v f v v f V v f
Este razonamiento es válido, puesto que el condicional asociado de su forma es tautológico (nótese que se trata
de la misma forma que la del ejercicio 7).
10.
Diccionario:
p: Hace frío.
Forma lógica:
~p→q
q→r _
~p→r
Condicional asociado:
[(~ p → q) . (q → r)] → (~ p → r)
28
Tabla de verdad:
En este caso tendrá 8 filas porque aparecen tres proposiciones.
p q r [(~ p → q) . (q → r)] → (~ p → r)
v v v f v v v v v v v V f v v v
f v v v f v v v v v v V v f v v
v f v f v v f v f v v V f v v v
f f v v f f f f f v v V v f v v
v v f f v v v f v f f V f v v f
f v f v f v v f v f f V v f f f
v f f f v v f v f v f V f v v f
f f f v f f f f f v f V v f f f
11.
Diccionario:
q: Llueve.
Forma lógica:
p↔~q
q______
~p
29
Condicional asociado:
[(p ↔ ~ q) . q ] → ~ p
Tabla de verdad:
p q [(p ↔ ~ q) . q] → ~ p
v v v f f v f v V f v
f v f v f v v v V v f
v f v v v f f f V f v
f f f f v f f f V v f
12.
Si París es la capital de España, entonces París está en Europa y está en el hemisferio norte. → Premisa 1
París no es la capital de España. → Premisa 2
Diccionario:
Forma lógica:
p → (q . r)
~p_______
~(q . r)
Condicional asociado:
{[ p → (q . r)] . ~p} → ~(q . r)
30
Tabla de verdad:
p q r {[p → (q . r)] . ~ p} → ~ (q . r)
v v v v v v v v f f v V f v v v
f v v f v v v v v v f F f v v v
v f v v f f f v f f v V v f f v
f f v f v f f v v v f V v f f v
v v f v f v f f f f v V v v f f
f v f f v v f f v v f V v v f f
v f f v f f f f f f v V v f f f
f f f f v f f f v v f V v f f f
ACTIVIDAD 7
A→B
~ A___
~B
El ejemplo más sencillo de falacia de negación del antecedente (en el cual se reemplazan A y B por proposiciones
simples) es el siguiente:
p→q
~ p____
~q
[(p → q) . ~ p] → ~ q
31
p q [(p → q) . ~ p] → ~ q
v v v v v f f v V f v
f v f v v v v f F f v
v f v f f f f v V v f
f f f v f v v f V v f
A→B
B______
El ejemplo más sencillo de falacia de afirmación del consecuente (en el cual se reemplazan A y B por proposiciones
simples) es el siguiente:
p→q
q_____
p
[(p → q) . q] → p
32
p q [(p → q) . q] → p
v v v v v v v V v
f v f v v v v F f
v f v f f f f V v
f f f v f f f V f
Cómo se puede ver el resultado de la tabla de verdad del condicional asociado es una contingencia, y en
consecuencia, la forma es inválida.
ACTIVIDAD 8
3.
(p v q) → r
(p v q)____
Este razonamiento tiene la forma del modus ponens, ya que una de sus premisas, (p v q) → r, es un condicional,
la otra premisa afirma el antecedente de ese condicional, (p v q), y la conclusión afirma el consecuente del
condicional, r. Esta forma de razonamiento es válida.
4.
[(p → q) . r ] → r
r _____________
[(p → q) . r ]
La forma corresponde a la falacia de afirmación del consecuente, ya que una de sus premisas, [(p → q) . r ] → r,
es un condicional; la otra premisa afirma el consecuente de ese condicional, r, y la conclusión afirma el
antecedente del condicional, [(p → q) . r ]. Esta forma de razonamiento es inválida.
33
5.
(p ↔ q) → (p . q)
~ (p . q)________
~ (p ↔ q)
La forma corresponde al modus tollens, ya que una de sus premisas es un condicional, la otra premisa niega el
consecuente de ese condicional y la conclusión niega su antecedente. Esta forma de razonamiento es válida.
6.
p.r
(p . r) → q _
La forma corresponde al modus ponens, ya que una de sus premisas es un condicional, (p . r) → q; la otra premisa
afirma el antecedente de ese condicional, p . r, y la conclusión afirma el consecuente del condicional, q. Esta forma
de razonamiento es válida.
7.
~ [(p → q) v r]
[(p → q) v r] → (p v r) _
~ (p v r)
La forma corresponde a la falacia de negación del antecedente, ya que una de sus premisas es un condicional, [(p
→ q) v r] → (p v r); la otra premisa niega el antecedente de ese condicional, ~ [(p → q) v r], y la conclusión niega
el consecuente del condicional, ~ (p v r).
34