Lógica

Lógica
Razonamientos deductivos:
En este tipo de razonamientos, si ambas premisas son verdaderas, la conclusión necesariamente también lo será.
Si alguna de las premisas es falsa, la conclusión podría ser verdadera o falsa. A este tipo de razonamientos se los llama
“deductivos”. Los razonamientos deductivos son válidos, se caracterizan por transmitir la verdad de las premisas a
la conclusión. Es decir que si sus premisas son verdaderas, la conclusión tiene que ser verdadera. Si alguna de
las premisas es falsa, la conclusión puede ser verdadera o falsa.
AoB
No A
B
En relación con la forma de razonamiento que venimos analizando, existen razonamientos que tienen:
• Premisas verdaderas y conclusión verdadera
• Al menos una de las premisas falsa y conclusión verdadera (como el anterior)
• Al menos una de las premisas falsa y conclusión falsa
Por las propiedades que tiene la forma de este razonamiento, nunca encontrarán un ejemplo de esta forma con ambas premisas
verdaderas y conclusión falsa. Esto es así, precisamente, porque se trata de una forma de razonamiento válida.
Los razonamientos válidos transmiten la verdad de las premisas a la conclusión, es decir que si sus premisas son
verdaderas, la conclusión necesariamente será verdadera.
Colombia está en América -> esta premisa es verdadera
del sur o en Asia.
Colombia está en Asia. -> la conclusión es falsa
En este razonamiento de una sola premisa, la premisa es verdadera y la conclusión es falsa. Su forma es la
siguiente:
AoB
B
Ejercicios
En el apartado 1 explicamos que, dependiendo de si son válidos o no, los razonamientos se

pueden clasificar como deductivos o no deductivos. El objetivo de la actividad que
proponemos a continuación es aplicar esa distinción a algunos razonamientos, a partir de un
análisis informal. Para cada uno de los razonamientos:
a. identifiquen las premisas y la conclusión;
b. determinen si son razonamientos deductivos o no deductivos. Los primeros dos enunciados
se presentan resueltos a modo de ejemplo. 1. Si hay una crisis económica, sube
el desempleo. Hay una crisis económica. Por lo tanto, sube el desempleo.
a. En este caso la conclusión es: “Sube el desempleo”. Las premisas son “Si hay una crisis
económica, sube el desempleo” y “Hay una crisis económica”.
b. Se trata de un razonamiento deductivo, ya que, si las dos premisas son verda-deras, la conclusión
también lo será. En este caso, las premisas brindan un apoyo definitivo a la conclusión. Si la
primera premisa es verdadera, no puede pasar que haya una crisis económica y, a la vez, no
suba el desempleo. Así, si es verdadero que en caso de una crisis económica sube el
desempleo, y es verdadero que hay una crisis económica, entonces necesariamente sube
el desempleo.
2. La mayoría de los humanos les tiene miedo a las víboras. Carlos es un humano. Por lo
tanto, Carlos les tiene miedo a las víboras.
a. En este caso la conclusión es: “Carlos les tiene miedo a las víboras”. Las premisas son “La mayoría de los humanos les tiene miedo a
las víboras” y “Carlos es un humano”.
b. Se trata de un razonamiento no deductivo, ya que puede ser que sus premisas sean verdaderas y, aun
así, su conclusión falsa. Supongamos que es verdadero que la mayoría de los humanos les
tiene miedo a las víboras y, también, es verdadero que Carlos es un humano. Esto no
garantiza que la conclusión sea verdadera, ya que Carlos podría no formar parte de la
mayoría de los humanos que les teme a las víboras. Es decir que, en este caso, la verdad de
las premisas no garantiza la verdad de la conclusión.
3. Doblo a la izquierda o a la derecha. No doblé a la izquierda. Por lo tanto, doblé a la

derecha.
a. “Doblo a la izquierda o a la derecha”, “No doblé a la izquierda” Premisas, “Doblé a la
derecha” Conclusión
b. Razonamiento deductivo.
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. “Si hay sequía, suben los precios de los productos agrícolas”, “Hay sequía” Premisas,
“Suben los precios de los productos agrícolas” Conclusión.
5. La mayoría de los humanos son diestros. Patricio es un humano, de modo que Patricio es
diestro.
a. “La mayoría de los humanos son diestros”, “Patricio es un humano” Premisas, “Patricio es
diestro” Conclusión.
b. Razonamiento no deductivo.
6. Algunos inviernos nieva en Buenos Aires. Podemos concluir entonces que este invierno
nevará en Buenos Aires.
a. “Algunos inviernos nieva en Buenos Aires” Premisa, “Este invierno nevará en Buenos
Aires” Conclusión.
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. “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” Premisas,
“podemos concluir que si la temperatura desciende a 0ºC, entonces nieva” Conclusión.
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. “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” Premisas, “todos los metales se
expanden con el calor” Conclusión.
Unidad 2 “Nociones básicas de la lógica”
Actividades
En el apartado 2.1 se presentó el lenguaje de la lógica proposicional simbólica y en el 2.2 cómo extraer la
forma lógica de las proposiciones. Esta actividad propone aplicar lo presentado en 2.1 y en 2.2. Para cada una
de las siguientes proposiciones:
a. Indiquen si es simple o compuesta. En caso de ser compuesta, señalen la conectiva
principal.
b. Extraigan la forma lógica de la proposición. Para esto, no olviden primero confeccionar el diccionario.
Los primeros cuatro enunciados se presentan resueltos a modo de ejemplo.
1. Galileo observó con su telescopio que la luna tenía cráteres. a. Se trata de una
proposición simple, ya que no tiene conectivas lógicas. b. El diccionario para este ejemplo es:
p: Galileo observó con su telescopio que la luna tenía cráteres
Y la forma lógica es:

p
2. Kepler inventó el telescopio y propuso que los planetas describen órbitas elípticas.
a. Esta oración expresa una proposición compuesta, ya que es una conjunción de
dos proposiciones simples: “Kepler inventó el telescopio” y “Kepler propuso que los planetas
describen órbitas elípticas”. Observen que cada una de estas proposiciones simples puede
tener un valor de ver-dad independiente de la otra. En este caso, es falso que Kepler inventó
el telescopio, pero es verdad que propuso que los planetas describen órbitas elípticas.
b. El diccionario para este ejemplo es:
p: Kepler inventó el telescopio

q: Kepler propuso que los planetas describen órbitas elípticas
p.q
3. Si mañana es feriado, entonces no programo el despertador.

p: mañana es feriado
q: programo el despertador
p→~q
4. Si llueve o nieva, no salimos.
a. Se trata de una proposición compuesta. La conectiva principal es el condicional,

y en el lenguaje natural lo reconocemos por la expresión “si”. En este ejemplo, la
coma está en lugar del “entonces”. De modo que “llueve o nieva” es el antecedente “no
salimos” es el consecuente. Tanto el antecedente como el consecuente son, a su vez,
proposiciones compuestas. El antecedente es una disyunción –“llueve o nieva”– y
el consecuente una negación –“no salimos”.

p: llueve
q: nieva
r : salimos
y la forma lógica es:
(p v q) → ~ r
Observen que, en este caso, es necesario utilizar paréntesis para señalar que el antecedente
es la disyunción. Sin los paréntesis, no quedaría claro exactamente qué proposiciones une cada
conectiva.
5. La Luna orbita alrededor de la Tierra.

Proposición simple, ya que no tiene conectivas lógicas.
El diccionario es: p: “La luna orbita alrededor de la Tierra.”
La forma lógica es: p
6. Júpiter tiene satélites.

Proposición simple, ya que no tiene conectivas lógicas.
El diccionario es: p: “Júpiter tiene satélites.”
7. La Luna orbita alrededor de la Tierra y Júpiter tiene satélites.

Proposición compuesta, ya que es una conjunción de dos proposiciones simples, “La Luna orbita alrededor de
la Tierra” y “Júpiter tiene satélites”
El diccionario es: p: “La Luna orbita alrededor de la Tierra”
q: “Júpiter tiene satélites”
La forma lógica es: p . q
8. Los pulpos tienen ocho brazos y pueden cambiar el color de su piel.

Proposición compuesta, ya que es una conjunción de dos proposiciones simples, “Los pulpos tienen ocho
brazos”, Pueden cambiar el color de su piel”
El diccionario es: p: “Los pulpos tiene ocho brazos”
q: “Pueden cambiar el color de su piel”
9. Vamos en subte o en colectivo.

Proposición compuesta, es una disyunción, “vamos en subte” o “vamos en colectivo”
El diccionario es: p: “vamos en subte”
q: “vamos en colectivo”
La forma lógica es: p v q
10. Juan es actor.

Proposicion simple, no tiene conectivas lógicas.
El diccionario es: p: “Juan es actor”
11. Juan no es famoso.

Proposición compuesta, es una negación.
El diccionario es: p: “Juan no es famoso”
La forma lógica es: ~p
12. Juan es actor y no es famoso.

Proposición compuesta, es una conjunción. “Juan es actor” y “Juan no es famoso”
El diccionario es: p: “Juan es actor”
q: “Juan no es famoso”
La forma lógica es: p. ~ q
13. Si llueve, entonces se suspende el partido.

Proposición compuesta, la conectiva principal es un condicional. “Llueve” es el antecedente
y “se suspende el partido” el consecuente.
El diccionario es: p: “llueve”
q: “se suspende el partido”
La forma lógica es: p -> q
14. Si no llueve, riego el pasto.

Proposicion compuesta, la conectiva principal es un condicional. En este caso, el
antecedente a su vez es una proposición compuesta, una negación.
El diccionario es: p: “Si no llueve”
q: “riego el pasto”
La forma lógica es: ~ p -> q
15. Voy al cine o al teatro.

Es una proposición compuesta, la conectiva principal es una disyunción.
El diccionario es: p: “Voy al cine”
q: “Voy al teatro”
La forma lógica es: p v o
16. Si tengo tiempo, voy al cine o al teatro.

Proposicion compuesta, la conectiva principal es un condicional y una disyunción.
El diccionario es: p: “Si tengo tiempo”
q: “Voy al cine”
r: “Voy al teatro”
La forma lógica es: p -> (q v r)
17. Si un elefante ve un ratón o se asusta, entonces corre.
Proposicion compuesta, la conectiva principal es un condicional, el antecedente es una
disyunsión y el consecuente es una proposición simple.
El diccionario es: p: “un elefante ve un raton”
q: “un elefante se asusta”
r: “el elefante corre”
La lógica formal es: (p v q) -> r
18. Inauguran en enero, si terminan la obra a tiempo y consiguen la habilitación.

Proposicion compuesta, la conectiva es un condicional, es antecedente es una conjunción y
el consecuente una proposición simple.
El diccionario es: p: “inauguran en enero”
q: “si terminan la obra a tiempo”
r: “si consiguen la habilitación”
La lógica formal es: (q . r ) -> p
19. Una figura es un cuadrilátero si y solo si sus ángulos interiores suman 360º.
Proposicion compuesta, la conectiva principal es un bicondicional.
El diccionario es: p: “una figura es un cuadritalero”
q: “sus angulos interiores suman 360°”
La forma lógica es: p <-> q
20. Francia está en Asia o en África.

Proposicion compuesta, la conectiva principal es una disyunción.
El diccionario es: p: “Francia esta en Asia”
q: “Francia esta en Africa”
21. No es cierto que Francia está en Asia o en África.
Proposicion compuesta, la conectiva principal es la negación.
El diccionario es: p: “Francia esta en Asia”
Q: “Francia esta en Africa”
La forma lógica es: ~ (p . q)
22. Si Newton únifico en una única teoría los hallazgos de Copérnico, Galileo y Kepler entonces
el sol es el centro del sistema solar, la luna tiene cráteres y los planetas describen órbitas elípticas.
Proposicion compuesta, la principal conectiva es un condicional.
El diccionario es: p: “Si Newton unifico…Kepler…”
q: “El sol es el centro…orbitas elípticas…”
23. No llueve ni nieva.

Proposicion compuesta, la conectiva principal es la conjunción.
Diccionario: p: “Llueve”
q: “Nieva”
La forma lógica es: “~p . ~q”
24. No es cierto que si no sentimos el movimiento de la Tierra, entonces la Tierra está en

reposo.
Proposicion compuesta, la conectiva principal es la negacion, lo que esta negado es un condicional.

El diccionario es: p: “Sentimos el movimiento de la tierra”
q: “La Tierra esta en reposo”
La forma lógica es: ~ (~ p -> q)
Si la Tierra gira alrededor del Sol, entonces Copérnico tenía razón. Pero Copérnico no tenía razón. Por lo tanto,
la Tierra no gira alrededor del Sol.
Diccionario
p: “La tierra gira alrededor del sol”
q: “Copernico tenia razón”
La lógica formal es:

p -> q
~q
~p
2.3 “Las formas de los razonamientos”
Actividad 3
3. Laura es periodista y trabaja en una radio. Por lo tanto, Laura trabaja en una radio.
Premisa 1: Laura es periodista y trabaja en una radio.
Conclusión: Laura trabaja en una radio
Diccionario: p: “Laura es periodista”

q: “Laura trabaja en una radio”

p
4. Guadalupe estudia inglés o francés. No estudia francés. Por lo tanto, Guadalupe estudia
inglés.
Premisa 1: Guadalupe estudia inglés o francés.
Premisa 2: No estudia francés.
Conclusión: Guadalupe estudia ingles.
Diccionario: p: “Guadalupe estudia ingles”

q: “Guadalupe estudia francés”

~q
p
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.
Premisa 1: Los murciélagos utilizan la vista o el oído para orientarse.
Premisa 2: No utilizan la vista.
Conclusión: Utilizan el oído para orientarse.
Diccionario: p: “Los murciélagos utilizan la vista para orientarse”

q: “Los murciélagos utilizan el oído para orientarse”

~p
q
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 solar. De manera que la Tierra describe una órbita alrededor del sol.
Premisa 1: 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 2: Se observa un ligero cambio periódico en la posición de una estrella cualquiera
con respecto a la esfera solar.
Conclusión: La Tierra describe una órbita alrededor del sol.
Diccionario: p: “La tierra describe una órbita alrededor del sol”

q: “Se observa un ligero cambio periódico en la posición..”

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.
Premisa 1: Si los caracteres adquiridos son heredables por la descendencia, entonces
Lamarck tenía razón.
Premisa 2: Lamarck no tenía razón.
Conclusión: Los caracteres adquiridos no son heredables por la descendencia.
Diccionario: p: “Los caracteres…”
q: “Lamarck tenía razón”

~q
~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.
Premisa 1: Si hay sequía, suben los precios de los productos agrícolas.
Premisa 2: Hubo sequía.
Conclusión: Subieron los precios de los productos agrícolas.
Diccionario: p: “Hay sequía”

q: “Suben los precios de los productos agrícolas”

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.
Premisa 1: “Si la Tierra se moviera entonces los cuerpos serían despedidos de la superficie
de la Tierra”
Premisa 2: “Los cuerpos no son despedidos de la superficie de la Tierra”
Conclusión: “La tierra no se mueve”
Diccionario: p: “La tierra se mueve”

q: “Los cuerpos son despedidos de la superficie de la tierra”

~q
~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.
Premisa 1: “Si no hace frío, entonces dejo las ventanas abiertas”
Premisa 2: “Si dejo las ventanas abiertas, llega mucho ruido de la calle”
Conclusión: “Si no hace frío, llega mucho ruido de la calle”
Diccionario: p: “Hace frío”

q: “Dejo las ventanas abiertas”
r: “Llega mucho ruido de la calle”

q -> r
~ p -> r
11. Dejo las ventanas abiertas si y solo si no llueve. Llueve, por lo tanto, no dejo las
ventanas abiertas.
Premisa 1: “Dejo las ventanas abiertas si y solo si no llueve”
Premisa 2: “Llueve”
Conclusión: “No dejo las ventanas abiertas”
Diccionario: p: “Dejo las ventanas abiertas”

q: “Llueve”
La forma lógica es: p <-> ~ q

q
~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.
Premisa 1: “Si París es la capital de España, entonces París esta en Europa y está en el
hemisferio norte”
Premisa 2: “París no es la capital de España”
Conclusión: “París no está en Europa y está en el hemisferio norte”
Diccionario: p: “París es la capital de España”

q: “París está en Europa”
r: “París está en el hemisferio norte”
La forma lógica es: p -> (q . r)
~p
~ (q . r)
2.4 Tablas de verdad con más de una conectividad
Actividades
1.
p q (p -> q) . p
v v v v v v v
f v f v f f f
v f v f f f v
f f f v f f f
2.
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
3.
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
4.
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 v f v
v f v f f f f v v v f
f f f v f v v f f v f
2.6 Prueba de validez de razonamientos por condicional asociado
Actividad 4
3. Laura es periodista y trabaja en una radio. Por lo tanto, Laura trabaja en una radio.
Premisa 1: Laura es periodista y trabaja en una radio.
Conclusión: Laura trabaja en una radio
Diccionario: p: “Laura es periodista”

q: “Laura trabaja en una radio”

q
El condicional asociado a este razonamiento es:

(p . q) -> 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 principal es verdadero es todos los casos, se trata de una tautología. Por lo tanto el
razonamiento es válido.
4. Guadalupe estudia inglés o francés. No estudia francés. Por lo tanto, Guadalupe estudia
inglés.
Premisa 1: Guadalupe estudia inglés o francés.
Premisa 2: No estudia francés.
Conclusión: Guadalupe estudia ingles.
Diccionario: p: “Guadalupe estudia ingles”

q: “Guadalupe estudia francés”

~q
p
El condicional asociado a este razonamiento es:
[( p v q) . ~q] -> p
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 principal es verdadero en todos los casos, se trata de una tautología. Por lo
tanto el razonamiento es válido.
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.
Premisa 1: Los murciélagos utilizan la vista o el oído para orientarse.
Premisa 2: No utilizan la vista.
Conclusión: Utilizan el oído para orientarse.
Diccionario: p: “Los murciélagos utilizan la vista para orientarse”

q: “Los murciélagos utilizan el oído para orientarse”

~p
q
El condicional asociado para este razonamiento es:
[(p v q) . ~ p] -> q
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 principal es verdadero, se trata de una tautología. Por lo tanto es un

razonamiento valido.
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 solar. De manera que la Tierra describe una órbita alrededor del sol.
Premisa 1: 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 2: Se observa un ligero cambio periódico en la posición de una estrella cualquiera
con respecto a la esfera solar.
Conclusión: La Tierra describe una órbita alrededor del sol.
Diccionario: p: “La tierra describe una órbita alrededor del sol”

q: “Se observa un ligero cambio periódico en la posición..”

q
p

[(p -> q) . q]-> p
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
El condicional principal es verdadero casi en todo los casos, excepto en uno, por lo tanto
estamos hablando de una contingencia. Este razonamiento es invalido.
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.
Premisa 1: Si los caracteres adquiridos son heredables por la descendencia, entonces
Lamarck tenía razón.
Premisa 2: Lamarck no tenía razón.
Conclusión: Los caracteres adquiridos no son heredables por la descendencia.
Diccionario: p: “Los caracteres…”

q: “Lamarck tenía razón”

~q
~p

[(p -> q) . ~ q] -> ~ p
p q [(p -> q) . ~ q] -> ~ p

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. 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.
Premisa 1: Si hay sequía, suben los precios de los productos agrícolas.
Premisa 2: Hubo sequía.
Conclusión: Subieron los precios de los productos agrícolas.
Diccionario: p: “Hay sequía”

q: “Suben los precios de los productos agrícolas”

p
q

[(p -> q) . p] -> q
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. 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.
Premisa 1: “Si la Tierra se moviera entonces los cuerpos serían despedidos de la superficie
de la Tierra”
Premisa 2: “Los cuerpos no son despedidos de la superficie de la Tierra”
Conclusión: “La tierra no se mueve”
Diccionario: p: “La tierra se mueve”

q: “Los cuerpos son despedidos de la superficie de la tierra”
~q
~p

[(p -> q) . ~ q] -> ~ p
p q [(p -> q) . ~ q] -> ~ p

v f v f f f v f v f v
f f f v f v v f v v f
El condicional principal es verdadero, se trata de un razonamiento tautológico. Por lo tanto

es un razonamiento valido.
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.
Premisa 1: “Si no hace frío, entonces dejo las ventanas abiertas”
Premisa 2: “Si dejo las ventanas abiertas, llega mucho ruido de la calle”
Conclusión: “Si no hace frío, llega mucho ruido de la calle”
Diccionario: p: “Hace frío”

q: “Dejo las ventanas abiertas”
r: “Llega mucho ruido de la calle”

q -> r
~ p -> r
El condicional asociado de este razonamiento es:
[(~p -> q) . (q -> r)] -> (~p -> r)
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. Dejo las ventanas abiertas si y solo si no llueve. Llueve, por lo tanto, no dejo las
ventanas abiertas.
Premisa 1: “Dejo las ventanas abiertas si y solo si no llueve”
Premisa 2: “Llueve”
Conclusión: “No dejo las ventanas abiertas”
Diccionario: p: “Dejo las ventanas abiertas”
q: “Llueve”
La forma lógica es: p <-> ~ q

q
~p
[(p <-> ~q) . q] -> ~ p
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
El condicional principal es verdadero, por lo tanto hablamos de una tautología. Este

razonamiento es valido.
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.
Premisa 1: “Si París es la capital de España, entonces París esta en Europa y está en el
hemisferio norte”
Premisa 2: “París no es la capital de España”
Conclusión: “París no está en Europa y está en el hemisferio norte”
Diccionario: p: “París es la capital de España”

q: “París está en Europa”
r: “París está en el hemisferio norte”
La forma lógica es: p -> (q . r)
~p
~ (q . r)
La condicional asociada de este razonamiento es:

{[p -> (q . r)] . ~ p} -> ~ (q . r)
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
El principal condicional es verdadero excepto es una, estamos hablando de una contingencia. Este
razonamiento es inválido.
3. Algunas formas de razonamientos importates.
3.1 Modus ponens y Modus tollens
3.1.1 Modus Ponens
La forma de este razonamiento es:

A -> B
A .
B
3.1.2 Modus Tollens
La forma de este razonamiento es:

A -> B
~B .
~A
Actividad 6
p -> q
p .
q

[(p -> q) . p] -> q
p -> q
~q .
~p
[(p -> q). ~q] -> ~ p
3.2 Falacias Formales
3.2.1 Falacia de negación del antecedente
La forma de este razonamiento es la siguiente:

A -> B
~A .
~B
[(p -> q). ~ p] -> ~ q
p q [(p -> q) . ~ p] -> ~ q

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
Razonamiento invalido, ya que es un contingente.
3.2.2 Falacia de afirmación del consecuente
Este razonamiento falaz tiene la siguiente forma:

A -> B
B .
A
[( p -> q) . q] -> p
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
Actividad 8
El Modus ponens, el Modus tollens, la falacia de negación del antecedente y la falacia de

afirmación del consecuente no son las únicas formas de razonamiento con nombre, pero su
uso es muy común y reconocerlas resulta de utilidad. Puesto que el Modus ponens y
el Modus tollens son formas de razonamiento válidas, cualquier razonamiento que tenga
alguna de esas dos formas será válido. Así, se puede conocer la validez de un razonamiento
que tiene la forma del Modus ponens o el Modus tollens, sin necesidad de recurrir al método del
condicional asociado o a otros métodos formales. De la misma manera, se puede armar la
invalidez de un razonamiento que tenga la forma de la falacia de afirmación del consecuente
o de negación del antecedente. Indiquen si las siguientes formas de razonamiento
corresponden a Modus ponens, Modus tollens, falacia de afirmación del consecuente, falacia de
negación del antecedente o a ninguna de las cuatro formas presentadas. En caso de que
corresponda a alguna de las cuatro, indiquen si se trata de una forma válida o inválida. Los
primeros dos enunciados se ofrecen resueltos a modo de ejemplo.
3. (p v q) -> r
(p v q) .
r
Modus Ponens, una premisa es un condicional, la otra premisa es la afirmación del

antecedente y la conclusión es el consecuente. Esta forma de razonamiento es válida.
4. [(p -> q) . r] -> r

r .
[(p -> q) . r]
Falacia de afirmación del consecuente, la primera premisa es un condicional, la segunda es

la afirmación del consecuente y la conclusión es la afirmación del antecedente. Esta forma
de razonamiento es inválida.
5. (p <-> q) -> (p . q)
~ (p . q) .
~ (p <-> q)
Modus Tollens. La primera premisa es un condicional, la segunda es la negación del

consecuente de ese condicional y la conclusión es la negación del antecedente del
condicional. Esta forma de razonamiento es válida.
6. p . r
(p . r) -> q
q
7. ~ [(p -> q) v r]
[(p -> q) v r] -> (p v r)
~ (p v r)
p: La tierra gira alrededor del Sol

q: Copérnico tenía razón
p -> q
~q
~p
p q [(p -> ~ q) . ~ q] -> p

v v v f f v f f v v v
f v f v f v f f v v f
v f v v v f v v f v v
f f f v v f v v f f f
Por lo tanto estamos hablando de una contigencia, este razonamiento es invalido.
4.1 [(p -> ~ q) . ~ q] -> p
P q [(p -> ~ q) . ~ q] -> p

V v v f f v f f v v v
F v f v f v f f v v f
V f v v v f v v f v v
F f f v f f v v f f f
Razonamiento invalido, ya que es un contingente.

4.2 [(p v q). ~ q] -> p
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
Se trata de un razonamiento valido, ya que es tautológico.
4.3 p -> (q -> p)
p q p -> (q -> p)
v v v v v v v
f v f v v f f
v f v v f v v
f f f v f v f
Se trata de un razonamiento valido. Es un razonamiento tautológico.
4.4 {[(p.q) -> r] . ~ r} -> ~ (p . q)
p q r {[(p . q) -> r] . ~ r} -> ~ (p . q)

v v v v v v v v f f v v f v v v
f v v f f v v v f f v v v f f v
v f v v f f v v f f v v v v f f
f f v f f f v v f f v v v f f f
v v f v v v f f f v f v f v v v
f v f f f v v f v v f v v f f v
v f f v f f v f v v f v v v f f
f f f f f f v f v v f v v f f f
Se trata de un razonamiento valido. Es condicional asociado es tautológico.
Parcial
Si Darwin era creacionista entonces Lamark tambien lo era. Lamark era creacionista. Por lo tanto, Darwin era
creacionista.
Diccionario: p: Darwin era creacionista

q: Lamark era creacionista
Forma lógica: p -> q

q
p
Falacia de afirmación del consecuente
pvq
-p
-p
[( p v q) . –p] -> -p
p q [(p v q) . - p] -> - p
f v f v v v v f v v f
v f v v f f f v v f v
f f f f f f v f v v f
Se trata de un razonamiento valido, su condicional principal es verdadero, por lo tanto es tautológico.
2do parcial
Este razonamiento es deductivo. Si este razonamiento tiene una contradicción entre sus premisas entonces
es deductivo. Por lo tanto, este razonamiento tiene una contradicción en sus premisas.
Diccionario: p: Este razonamiento es deductivo

q: Este razonamiento tiene una contradicción en sus premisas
Forma lógica: q -> p

p
q
Falacia de la afirmación del consecuente
p . –q
q
p
[(p . –q) . q] -> p
p q [(p . - q) . q] -> p
v v v f f v f v v v
f v f f f v f v v f
v f v v v f f f v v
F f f f v f f f v f
Este razonamiento es válido, es tautológico
3er parcial
Si todos los geocentristas eran aristotélicos entonces Copérnico no era heliocentrista. Copernico no era
heliocentrista. Por lo tanto, no todos los geocentristas eran aristotélicos.
Diccionario: p: Todos los geocentristas eran aristotélicos

q: Copernico era heliocentrista
Forma lógica: p -> -q

-q
-p
p -> q
-q
p
[(p -> q) . –q] -> p
p q [(p -> 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 f f f v f v v
f f f v f v v f f f
Se trata de un razonamiento invalido, es una contingencia.
4to parcial
Copernico era heliocentrista. Si todos los geocentristas eran aristotélicos entonces Copernico era
heliocentrista. Por lo tanto, no todos los geocentristas eran aristotélicos.
Diccionario: p: Copernico era heliocentrista

q: Todos los geocentristas eran aristotélicos
Forma lógica: q -> p

p
-q
Forma invalida
p -> q
-q
-p
[(p -> q) . –q] -> -p
p q [(p -> q) . - q] -> - p

v f v f f v v f v f v
f f f v f f v f v v f
Este razonamiento es valido, es tautológico.
5to parcial
Buffon considera que los seres vivos cambian o es creacionista. Buffon no considera que los seres vivos
cambian. Por lo tanto es creacionista.
Diccionario: p: Buffon considera que los seres vivos cambian

q: Buffon es creacionista
pvq
-p
q
No pertenece a ninguno
pvq
-p
q
[(p v q) . –p] -> q
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
Este razonamiento es válido. Es tautológico.
6to parcial
Si Buffon considera que los seres vivos cambian entonces es evolucionista. Pero Buffon no considera que los
seres vivos cambian. Por lo tanto, Buffon es evolucionista
Diccionario: p: Buffon considera que los seres vivos cambian

q: Buffon es evolucionista

-p
q
No corresponde a ninguna
-p -> -q
q
p
[(-p -> -q) . q] -> p
p q [(- p -> - q) . q] -> p

v v f v v f v v v v v
f v v f f f v f v v f
v f f v v v f f f v v
f f v f v v f f f v f
Este razonamiento es valido. Es tautológico
7mo parcial
Si Kepler utiliza epiciclos para explicar las retrogradaciones de los planetas, entonces no es heliocentrista.
Kepler utiliza epiciclos para explicar las retrogradaciones de los planetas. Por lo tanto, Kepler es heliocentrista.
Diccionario: p: Kepler utiliza epiciclos para explicar las retrogradaciones de los planetas
q: Kepler es heliocentristas
La forma lógica es: p -> -q

p
q
No pertenece a ninguna
p v –q
q
-p
[(p v –q) . q] -> -p
p q [(p v - q) . q] -> - p
v v v v f v v v f f v
f v f f f v f v v v f
v f v v v f f f v f v
f f f v v f f f v v f
Razonamiento invalido, contingecia.
8vo parcial
La selección natural opera sobre variaciones azarosas y produce adaptaciones. La selección natural no opera
sobre variaciones azarosas. Por lo tanto, la selección natural produce adaptaciones.
Diccionario: p: La selección natural opera sobre variaciones azarosas

q: La selección natural produce adaptaciones

~p
q
No pertenece a ninguna
p -> q
~p
q
[( p -> q). ~ p] -> q
p q [(p -> 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 f f f f v v f
f f f v f v v f f f
Razonamiento invalido, no tautológico

9no parcial
p v ~q
~q
p
[(p v ~q). ~ q] -> p
p q [(p v ~ q) . ~ q] -> p
Pvq
~p
Q
[(p v q). ~p] -> q
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
Para el segundo parcial
Actividad 4
H1 “Las dietas ricas en sal elevan la presión sanguínea”.

CI1: “Carla agrega sal a todas sus comidas”
CI2: “Carla se aplicó un tensiómetro para medir su presión sanguínea”
HA1: “El tensiómetro permite medir la presión sanguínea”
HA2: “La presión por encima de 140/90 es considerada alta.
CO: “El tensiómetro aplicado a Carla marcó 170/100 en su indicador”

Lógica

Cargado por

Lógica

Cargado por

Lógica

En el apartado 1 explicamos que, dependiendo de si son válidos o no, los razonamientos se

3. Doblo a la izquierda o a la derecha. No doblé a la izquierda. Por lo tanto, doblé a la

7. Si la temperatura desciende a 0ºC entonces se forman cristales de hielo en la atmósfera.

Y la forma lógica es:

p: Kepler inventó el telescopio

b. El diccionario para este ejemplo es:

4. Si llueve o nieva, no salimos.

a. Se trata de una proposición compuesta. La conectiva principal es el condicional,

b. El diccionario para este ejemplo es:

5. La Luna orbita alrededor de la Tierra.

6. Júpiter tiene satélites.

7. La Luna orbita alrededor de la Tierra y Júpiter tiene satélites.

8. Los pulpos tienen ocho brazos y pueden cambiar el color de su piel.

9. Vamos en subte o en colectivo.

10. Juan es actor.

11. Juan no es famoso.

12. Juan es actor y no es famoso.

13. Si llueve, entonces se suspende el partido.

14. Si no llueve, riego el pasto.

15. Voy al cine o al teatro.

16. Si tengo tiempo, voy al cine o al teatro.

18. Inauguran en enero, si terminan la obra a tiempo y consiguen la habilitación.

20. Francia está en Asia o en África.

23. No llueve ni nieva.

24. No es cierto que si no sentimos el movimiento de la Tierra, entonces la Tierra está en

Proposicion compuesta, la conectiva principal es la negacion, lo que esta negado es un condicional.

La lógica formal es:

2.3 “Las formas de los razonamientos”

Diccionario: p: “Laura es periodista”

La forma lógica es: p . q

Diccionario: p: “Guadalupe estudia ingles”

La forma lógica es: p v q

Diccionario: p: “Los murciélagos utilizan la vista para orientarse”

La forma lógica es: p v q

Diccionario: p: “La tierra describe una órbita alrededor del sol”

La forma lógica es: p -> q

La forma lógica es: p -> q

Diccionario: p: “Hay sequía”

La forma lógica es: p -> q

9. La Tierra no se mueve, pues si la Tierra se moviera entonces los cuerpos serían

Diccionario: p: “La tierra se mueve”

La forma lógica es: p -> q

Diccionario: p: “Hace frío”

La forma lógica es: ~ p -> q

Diccionario: p: “Dejo las ventanas abiertas”

La forma lógica es: p <-> ~ q

Diccionario: p: “París es la capital de España”

2.6 Prueba de validez de razonamientos por condicional asociado

Diccionario: p: “Laura es periodista”

La forma lógica es: p . q

El condicional asociado a este razonamiento es:

Diccionario: p: “Guadalupe estudia ingles”

La forma lógica es: p v q

Diccionario: p: “Los murciélagos utilizan la vista para orientarse”

La forma lógica es: p v q

El condicional principal es verdadero, se trata de una tautología. Por lo tanto es un

Diccionario: p: “La tierra describe una órbita alrededor del sol”

La forma lógica es: p -> q

El condicional asociado para este razonamiento es:

p q [(p -> q) . q] -> p

Diccionario: p: “Los caracteres…”

La forma lógica es: p -> q

El condicional asociado para este razonamiento es:

p q [(p -> q) . ~ q] -> ~ p

El condicional principal es verdadero, se trata de una tautología. Por lo tanto es un

Diccionario: p: “Hay sequía”

La forma lógica es: p -> q

El condicional asociado para este razonamiento es:

p q [(p -> q) . p] -> q

El condicional principal es verdadero, se trata de una tautología. Por lo tanto es un

9. La Tierra no se mueve, pues si la Tierra se moviera entonces los cuerpos serían

Diccionario: p: “La tierra se mueve”

El condicional asociado para este razonamiento es:

p q [(p -> q) . ~ q] -> ~ p

El condicional principal es verdadero, se trata de un razonamiento tautológico. Por lo tanto