Tablas de verdad

1.

Realice las correspondientes tablas de verdad e indique cules de las siguientes

frmulas son tautologas, cules contingencias y cules frmulas autocontradictorias.

a)
(p . q) r
contingencia

b) [( p q) . p] q
tautologa

c)
{[(p v q) . ~ p] q}
tautologia

d) p v ~ p
tautologa

e)
(p q) (~ p v q)
tautologia

f) (p . q) (r v ~ p)
contingencia

Relaciones lgicas
Implicacin lgica
Dadas dos frmulas A y B, si A implica lgicamente B, entonces, si A es verdadera,
necesariamente B es verdadera.
Deducibilidad
Es la conversa de la relacin de implicacin lgica. Afirmar que B se deduce de A es
equivalente a decir que A implica lgicamente B.
Contradictoriedad
Dos frmulas son contradictorias si no pueden ser ni ambas verdaderas ni ambas falsas.
Incompatibilidad
Dos frmulas son incompatibles si no pueden ser ambas verdaderas.
Equivalencia
Dos frmulas son equivalentes si tienen la misma tabla de verdad.
1. Dadas dos frmulas A y B, indique el valor de verdad de las siguientes afirmaciones y
fundamente la respuesta:
a) Si A y B son contradictorias, si A es verdadera, entonces B es falsa.
[.V...] Porque: no pueden ser ni V ni F a la vez
b) Si A y B son contradictorias, si A es falsa, entonces B es verdadera.
[V....] Porque: : no pueden ser ni V ni F a la vez
c) Si A implica lgicamente B, si A es verdadera, entonces, B es verdadera.
[.V...] Porque: no se da el caso de que el antecedente sea V y el consecuente F
d) Si A implica lgicamente B, entonces B se deduce de A
[.V...] Porque: la deducibilidad es la inversa de la relacin de implicacin lgica
e) Si B se deduce de A, y B es falsa, entonces A es falsa.
[.V...] Porque: no se puede deducir una F a partir de una V, por definicin de
implicacin lgica.

f) Una tautologa es implicada por cualquier frmula.

[.V...] Porque: un condicional con consecuente verdadero es siempre V
g) Una contradiccin implica cualquier frmula.
[.V...] Porque: un condicional con antecedente falso es siempre V
h) Si A es incompatible con B, y A es verdadera, entonces B es falsa.
[...V.] Porque: no pueden ser simultneamente verdaderas
i) Si A es incompatible con B, y B es verdadera, entonces A es falsa.
[.V...] Porque: no pueden ser simultneamente verdaderas
j) Si A y B son equivalentes, y A es verdadera, entonces, B tambin es verdadera.
[...V.] Porque: tienen la misma tabla de verdad
k) Si A y B son equivalentes, entonces, A implica B y B implica A.
[.V...] Porque: la equivalencia lgica es una implicacin mutua
2. Realice las correspondientes tablas de verdad e indique si las siguientes afirmaciones
son verdaderas o falsas.
1. [..V...] ~ ( p v ~ p ) implica lgicamente ~ p v q
2. [..F...] p . q y p ~ q son incompatibles
3. [..V...] p v q y ~ (~ p . q ) son lgicamente equivalentes
4. [..V...] p w q y

p q son contradictorias

3. Indique con una (x) la/s opcin/es correcta/s:

(p . ~ q) es incompatible con:
a) [.x...] (~p . q)

b) [.x..] (~p . ~ q)

( p v q ) es contradictoria de:
a) [....]

(~p . ~q)

b) [..x..] (~p q)

(p q) se deduce de:
a) [.x..] (~q ~p)

b) [...x.] (p . q)

4. Indique qu tipo de relaciones lgicas mantienen las siguientes frmulas (implicacin

lgica, equivalencia, contradictoriedad, incompatibilidad)
a) p . ~ p

b) ~ p v q

c) p q

a implica lgicamente b y c.
b es equivalente a c (b implica lgicamente c y c implica lgicamente b)

Razonamientos
1. Seale cul de las siguientes expresiones introducen premisas (P) y cules la conclusin C):
[..C..] De aqu se sigue

[.C...] Se infiere que

[..C..] Por ende

[..P..] Ya que

[..P..] Pues

[..C..] Luego

[..P..] Puesto que

[..C..] Por lo tanto

[..C..] De modo que

[..C..] De ah que

[..C..] As que

[.C...] En consecuencia

[..C..] Por consiguiente

[..P..] Dado que

2. Indique cules de las siguientes estructuras lingsticas expresan una proposicin (P) y
cules expresan un razonamiento (R). Deje el espacio en blanco si no es ni una
proposicin ni un razonamiento. En el caso de que se trate de un razonamiento
subraye la conclusin.
a. [..P..]

Los dinosaurios constituyen una especie extinguida.

b. [.R...]

Seguramente habr buena cosecha, ya que si las lluvias son abundantes,

entonces, hay buena cosecha. Y las lluvias fueron abundantes.

c. [.R..]

Si hubiera dicho la verdad, su explicacin del caso habra sido coherente. Pero su
discurso fue incoherente. De modo que no es cierto que haya dicho la verdad.

d. [....]

Desconsolada y sin esperanzas cerr sus ojos a la espera del alba.

e. [....]

De nada vale su sabidura si es una mala persona.

f. [..R..]

Es probable que suba el dlar puesto que hay inflacin. Y siempre que hubo
inflacin subi el dlar.

g. [.P...]

No es cierto que el film ser elegido para el Oscar si y slo si el director y los
actores no se empean en lograrlo.

h. [....]

En casa de herrero cuchillo de palo.

i. [...R.]

Es fiel a sus principios o acta sin reflexionar. No acta sin reflexionar. De modo
que, es fiel a sus principios.

j. [..R..]

En los ltimos diez aos aumentaron paulatinamente los asentamientos de

empresas en la regin. Por consiguiente, es probable que la misma situacin se
prolongue durante la dcada siguiente.

k. [..P..] Si aumenta la demanda exterior aumentarn las exportaciones aunque disminuir el

consumo interno.

l. [.R...]

Tiene talento y es perseverante. Por consiguiente, har una carrera exitosa dado
que ser talentoso y perseverante son condiciones suficientes para tener xito en la
carrera.

m. [.R...] Las estadsticas de los ltimos 5 aos indican un aumento en el rubro de bienes
races. As que, lo mismo ocurrir el prximo ao.

Forma o estructura de los razonamientos deductivos

1. Dados los siguientes razonamientos indique cul es la forma o estructura correcta.

a) Si no llueve entonces habr excedente agropecuario para exportar; ya que, si no llueve,
las hectreas cultivadas producirn buena cosecha. Y si hay buena cosecha, habr
excedente agropecuario para exportar.
x

~pr
rq
--------~pq

~qp
qr
-------~qr

p: llueve
q: habr excedente agropecuario para exportar
r: las hectreas cultivadas producirn buena cosecha
b) Si es inteligente entonces aceptar el error cometido. De modo que no es inteligente, ya que no
admiti el error.
x

pq
~q
--------~p

qp
~p
-------~q

p: es inteligente
q: aceptar el error cometido
c) Si dice la verdad, entonces sus argumentos son falaces. En consecuencia, no es cierto que
diga la verdad y sus argumentos no sean falaces, ya que no dice la verdad o sus argumentos
son falaces.

qp
~pvq
--------(~ q . p)

p: dice la verdad

p q
~p v q
--------~(p.~q)

q: sus argumentos son falaces

d)

Si comprende el tema, entonces, puede resolver los ejercicios. Y si aprueba el examen,

entonces promociona. Luego, puede resolver los ejercicios o promociona, ya que
comprende el tema o aprueba el examen.

p q
rs
q vs
-------pvr

pq
rs
pvr
------qvs

p: comprende el tema
q: puede resolver los ejercicios
r: aprueba el examen
s: promociona
e) No lo saba. Puesto que, no lo saba o se hizo el distrado. Y no es cierto que se hizo el
distrado.
x

~pvq
~q
-------~p

~p
~pvq
-------~q

p: lo saba
q: se hizo el distrado
f) Es suficiente que haya productividad y aumenten las exportaciones, para que mejore la
economa. De aqu se sigue que, no es cierto que hay productividad y aumentaron las
exportaciones, puesto que no mejor la economa.
x

(q . r ) p
~p
------------~ (q . r)

p(q.r)
~ (q . r)
------------~p

p: mejora la economa
q: hay productividad
r: aumentan las exportaciones
2. Abstraiga la forma lgica de los siguientes razonamientos utilizando el lenguaje de la
lgica proposicional:

a) Si los empleados no cumplen el horario completo, su salario disminuye. Si su salario

disminuye, trabajarn descontentos. En consecuencia, si no cumplen el horario
completo trabajarn descontentos.
~pq
qr
______
~pr

b) No es una persona honesta, pues, si lo fuera, habra cumplido su promesa. Y no

cumpli lo prometido.
pq
~q
______
~p

c) Slo si sabe reflexionar se da cuenta de las consecuencias de sus actos. No se da cuenta

de las consecuencias de sus actos o sabe reflexionar. En consecuencia, no es cierto que
se d cuenta de las consecuencias de sus actos pero no sepa reflexionar.
qp
~qvp
_______
~ (q . ~ p)
d) Si fuera un hombre sensato, no hubiera dicho disparates; y si fuera inocente entonces
habra evidencia de ello. Es sensato o inocente. As que, no dijo disparates o hay
pruebas de su inocencia.
p~q
rs
pvr
_______
~qvs
e) No tiene conocimiento de sus lmites; ya que o no conoce sus lmites o es muy
irresponsable. Pero es responsable.
~pw~q
q
__________
~p
f) Si se descubri una nueva droga, entonces hay esperanzas de erradicar la enfermedad y
prolongar el ciclo vital. Se descubri una nueva droga. Por lo tanto, no es cierto que, o
no se erradique la enfermedad o no se prolongue el ciclo vital
p (q . r)
p
_________
~ (~ q w ~ r)
g) Si es conciente de lo que dice, entonces no le importa. Si no le importa, debe hacerse
cargo de las consecuencias. De ah que, si es conciente de lo que dice debe asumir las
consecuencias.

p~q
~qr
________
pr
h) Ni tiene sentido comn ni piensa con mtodo y calma. Carece de sentido comn y no
puede encontrar solucin a sus problemas. En consecuencia, slo si piensa con calma
podr encontrar solucin a sus problemas.
~ p . (~ q . ~ r)
~p.~s
____________
sr
i)

Si aumentan los precios pero no los salarios, entonces habr recesin. Es suficiente que
haya recesin para generar una situacin de crisis social. Luego, no habr crisis social
slo si no aumentan los precios.
(p . ~ q) r
rs
__________
~s~p

3.

Para cada una de las siguientes estructuras deductivas formule un ejemplo de

sustitucin que cumpla con las condiciones indicadas a continuacin:
a)
b)
c)

Premisas falsas y conclusin verdadera

Premisas y conclusin falsas
Premisas y conclusin verdaderas

Modus Ponens
p q
p
-------q
Silogismo disyuntivo
p v q
~q
-------p

Modus Tollens
pq
~q
------~p
Silogismo hipottico
pq
q r
------pr

4. Seale el valor de verdad de las siguientes afirmaciones

Si un razonamiento es deductivo:
a) [..F..] Las premisas son proposiciones singulares y la conclusin es un enunciado
general.

b)
c)
d)
e)
f)
g)
h)
i)

[.V...] Las premisas implican lgicamente la conclusin.

[.V] La conclusin se deduce de las premisas.
[.F...] La conclusin es necesariamente verdadera.
[.F..] Las premisas son necesariamente verdaderas.
[..V.] Si las premisas son verdaderas, entonces, la conclusin tambin lo es.
[.F..] La conclusin se infiere con probabilidad.
[.F...] Si las premisas son falsas, entonces la conclusin es falsa.
[.V..] La conclusin es necesaria.

5. Seleccione las afirmaciones verdaderas del ejercicio anterior y construya un mapa

conceptual que caracterice los razonamientos deductivos.

RAZONAMIENTOS DEDUCTIVOS

6. Indique si las siguientes afirmaciones son verdaderas o falsas, fundamente su respuesta y

apyela con un ejemplo.
Si las premisas y la conclusin de un razonamiento son verdaderas, entonces el
razonamiento es necesariamente deductivo.
Es falso, el razonamiento puede ser deductivamente vlido o no porque en ambos
casos puede darse la combinacin premisas V y conclusin V. Ej.de razonamiento
invlido con premisas y conclusin V: Si 8 es par entonces 5 es un nmero primo.
5 es un nmero primo, luego 8 es par.
Si un razonamiento es deductivo y su conclusin es verdadera, entonces es imposible
que sus premisas sean falsas.
Es falso, de falsedades se pueden deducir verdades o falsedades. Ejemplo de
razonamiento deductivo vlido con premisas falsas y conclusin verdadera: El
Nilo es un ro de frica o el Himalaya se encuentra en Asia. El Nilo no est en
Africa, luego el Himalaya se encuentra en Asia
Si un razonamiento es deductivo y sus premisas son falsas, entonces su conclusin no
puede ser verdadera.
Es falso. Vale la justificacin anterior
Si un razonamiento tiene conclusin falsa, entonces no puede ser un razonamiento
deductivo..
Es falso, los razonamientos deductivos pueden tener una conclusin falsa siempre que
el conjunto de las premisas sea falso. Ej. Si las plantas son seres vivos entonces
caminan. Las plantas no caminan, por lo tanto no son seres vivos.
Si un razonamiento tiene premisas verdaderas y conclusin falsa, no es un
razonamiento deductivo. Es falso por definicin de deduccin

7.

Determine si las siguientes estructuras de razonamiento son o no deductivas

aplicando la tcnica del condicional asociado:
pq
p
_____
q
deduccin vl.

pq
q
_____
p
deduccin vl.

a)

p q
pq
______
pvq
deduccin vl.
e)

b)

pvq
(p . q)
_______
pq
falacia formal
f)

c)

p.q
q
___
p
deduccin vl.

(p . q) v r
p v q
_________
r
deducc. vlida
g)

d) p q
qr
_____
pr
ded. vl.
h) p v ~ p
~p
______
p
falacia formal

Razonamientos inductivos
1.
a) Dado el siguiente esquema de un razonamiento inductivo, asigne significado a a,
b, c, F y G; complete adems la conclusin de manera tal que el conjunto
de las proposiciones resultantes constituyan un razonamiento inductivo por
enumeracin.

a tiene la propiedad F y la propiedad G

b tiene la propiedad F y la propiedad G
c tiene la propiedad F y la propiedad G
etc...
Entonces, es probable que: ...................
...............................................................
b) Dado el contenido asignado a a, b, c, F y G en el esquema anterior,
complete las premisas y la conclusin de modo tal que resulte un razonamiento
inductivo por analoga.
a tiene la propiedad F y la propiedad G
b tiene la propiedad F y la propiedad G
c tiene la propiedad F y la propiedad G
d tiene la propiedad F
Entonces, es probable que: ...................

...............................................................
2. Marque la/s opcin/es correcta/s (coloque una x dentro del corchete)
2.1. Si un razonamiento es inductivo por enumeracin:
a)
a)
b)
c)
d)
e)
f)
g)
h)
i)

[....] La conclusin es necesaria.

[.x...] La conclusin se infiere con probabilidad.
[.x...] Las premisas no implican la conclusin.
[....] Si las premisas son verdaderas, entonces, la conclusin es necesariamente
verdadera.
[.x...] La conclusin siempre es un enunciado general.
[....] La conclusin siempre es un enunciado singular.
[....] La conclusin se deduce de las premisas.
[.x...] La conclusin no es necesaria
[....] La conclusin es siempre verdadera.
[..x..] La conclusin agrega informacin que no est contenida en las premisas.

2.2. Si un razonamiento es inductivo por analoga:

a)
a)
b)
c)
d)
e)
f)
g)
h)
i)

[..x..] La conclusin es siempre un enunciado singular.

[.x...] La conclusin se infiere con probabilidad.
[.x...] Las premisas no implican la conclusin.
[....] La conclusin es necesariamente verdadera.
[....] La conclusin se deduce de las premisas.
[....] Si la conclusin es falsa, entonces, las premisas son necesariamente falsas.
[.x...] Las premisas nunca son proposiciones generales.
[x....] La conclusin no es necesaria
[..x..] Si las premisas son enunciados singulares, entonces, la conclusin es singular.
[..x..] La conclusin agrega informacin que no est contenida en las premisas.

3. Seleccione las proposiciones verdaderas del ejercicio anterior y construya un mapa

conceptual que caracterice los razonamientos inductivos.

RAZONAMIENTOS INDUCTIVOS

INDUCTIVOS POR ANALOGA

INDUCTIVOS POR ENUMERACIN