LÓGICA ARISTOTÉLICA

02

SITUACION PROBLEMÁTICA:

Los guardianes

Estamos encerrados en una habitación que tiene dos puertas (“A” y “B”) con sendos guardianes que las custodian.
Una de las puertas nos llevaría a la muerte y la otra nos dejaría vivir. De los dos guardianes, no sabemos el de que
puerta, uno dice siempre la verdad y el otro siempre miente.

Si estamos obligados a elegir una de las puertas, ¿qué misma pregunta debemos formularle a ambos guardianes para
averiguar la puerta que nos permite seguir viviendo?
P Grau desprende que:
tuvo Después de
r
úlcera analizar cada una de Una proposición
o estom ellas concluímos que es toda expresión
p acal. (a) es falsa y (c) es libre de ambigüedad
o c. 6 verdadera; respecto y que tiene la
s es un de (b) es probable propiedad de que es
núme que dudemos en verdadera o falsa,
i responder, pero lo
ro pero sólo una de
c enter cierto es que es o ellas.
i oy verdadera o falsa y
ó par. no ambas ya que en
n d la realidad debe haber
. ocurrido que Miguel
Grau tuvo o no úlcera
l ¿ estomacal, pero sólo
ó Q una de las
g u posibilidades es
i é correcta.
c t Por otra parte
a i notamos que no tiene
e sentido afirmar que
Antes de dar el m (d) y (e) son
concepto de lo que p verdaderas o falsas y
es una proposición, o finalmente para
trataremos de establecer la verdad
establecer cuáles h o falsedad de (f)
de las siguientes a necesitamos conocer
expresiones son c el valor de “x” y no lo
verdaderas o falsas: e tenemos.

a h
A los enunciados
. o
que como (a), (b) y
y
(c) son
?
9 unívocamente
e
verdaderos o falsos
.
e se les denomina
s proposiciones; por
¡
esta razón (d) y (e)
S
d no son
o
i proposiciones (En
c
v general las
o
i preguntas y las
r
s exclamaciones no son
r
i proposiciones).
o
b Debemos anotar
!
l también que la
f
e expresión (f), si bien
.
no es proposición,
p depende del valor de
x
“x” para serlo; a este
o
tipo de expresiones
r +
se les denomina
funciones
4 3
proposicionales o
.
enunciados abiertos.
b. >
Migu
De lo anterior se
el 5
 Si una e m
proposición es 2 g
verdadera se le 0 a e
asignará el valor de c
verdad simbolizado e i r
por “V” y si es falsa s ó
se le asignará el n o
valor de verdad u
simbolizado por “F”. n (
~
Notación: n ) p
Representaremos las ú
proposiciones por m Representa la r
letras minúsculas de e inversión del
la segunda mitad r valor de verdad i
del alfabeto, como: o de una
“p”; “q”; “r”; “s”, proposición. m
etc, que llamaremos p
variables propo- a P o
sicionales. r o
. r .
Conecti
vos u q e
:
operado j
res e S
2 m
lógicos 0 p u
l
A partir de dos e
o
proposiciones dadas s
:
podemos formar
una tercera, si las d n
p
unimos mediante i
expresiones como v e
:
“y”; “o”; “si .......... i
entonces”; “........... s g
si y solo si i
...........”, etc. A b a
estas expresiones l 1
e c
de enlace los
llamaremos 3
p i
conectivos u
operadores lógicos. o
r ó
P e
5 n
o
r . s
“p” y “q”: 20 es
e un número par y
j es divisible por e
e 5. u
m s
p A n
. :
l
o
L ~p: No es
:
a cierto que
n
13 es un
p
: n número
ú
primo.
 p p
Observamos en :
el ejemplo que
“p” es verdadero ~ R
y “~p” es falso; p o
esto es porque x
“p” y “~p” V F a
No "p"
tienen valores de n
Se lee: N
o
verdad opuestos. e a
s
En general: c
i
e c
rt
o
q
u o
e
"
p m
" i
F V ó
No es el caso
que "p"
p
e
B s
. c
a
C d
o o
n .
j
u q
n :
c
i R
ó o
n x
a
( n
 a
)
s
Dos proposiciones se e
enlazan por medio de
la palabra i
“y” para n
formar d
una i
nueva g
proposici e
ón. s
t
P ó
o .
r
L
e a
j
e p
m r
p o
l p
o o
: s
i V "p" y antecedente o el
D. La condicional ()
c V "q"
"p" no consecuente sean
V S
i Si "p" y "q" obsta verdaderos o falsos.
ó representan V e nte
n proposiciones F le "q" A partir de lo
cualesquiera, la e "p"
anterior
F adem
q condicional de “p” y : consideraremos que
F ás "q"
u “q” se denota por “p  "p" sin una condicional sólo
q” y se lee “si p, V
e embar es falsa si tiene
d entonces q”. En “p  F go "q" antecedente
q”, la proposición "p"
a F cada
verdadero y
r representada por “p” F vez consecuente falso y
í se denomina que convendremos en
antecedente y la F
a "q" "p"
: representada por “q”, pero
consecuente. Se dice "q"
también que el C. Disyunción que el valor de verdad
“p” y “q”: Roxana
antecedente implica inclusiva () de “p  q” viene dado
comió pescado y
al consecuente. en la siguiente tabla:
se indigestó Dos proposiciones se
Tratemos de precisar enlazan por medio de p q p q
El valor de verdad de la palabra
una conjunción será el significado de la
condicional en un “o” para formar una
dado por los valores nueva proposición.
de verdad de las ejemplo:
rí
proposiciones que la P V V V
componen y de “Si fumo un cigarro, o V F F
acuerdo a la entonces me aumenta r F V V
siguiente tabla: la presión arterial”.
e F F V
j
El ejemplo afirma que
p e
en el caso que fume
m
un cigarro debe
q p
ocurrir
l
necesariamente que
p o
me aumente la
:
presión arterial; esto
 es que si el
p
antecedente es
:
q verdadero, el
consecuente también
4
debe serlo.
e
Notemos también
s
que sólo será falsa
cuando ocurra que
m
me fume un cigarro y
e
no me suba la
n
presión arterial, esto
o
es cuando el
r
antecedente sea
verdadero y el
q
consecuente falso.
u
e
Por otra parte no se
afirma que
individualmente el 7
.

q
:
 "
“p” o “q”: E. La bicondicional ()
Se e 4 es
lee: n
menor
t Se denota por “p  q”
o que 7 o y se lee “p si y solo si
n igual a 7. q”. “p  q” afirma que
c “p  q” y a la vez “q 
e El valor de verdad de p” esto es que deben
s
una disyunción darse las dos
inclusiva será dado condicionales.
"
q
por los valores de Es decir los valores de
" verdad de las verdad de “p  q”
proposiciones que la dependen de los
" componen y de valores de “p  q” y “q
p acuerdo a la siguiente  p”, entonces:
" tabla:

i p q pq p q p q q p
m (p  q)  (q  p)
p V
l
i
c
a V
"
q
"
"
q V
"

p
V
o
r
q
u F
e

"
p V
" F Se V V
lee
: V
" “p
p ”o V
" “q
V ” V
V F
d
a F
d V
o
V F
q F V V F
u F
e F

"
q
" F

F
Nota: También existe la llamada disyunción
exclusiva que se F F V V E De acuerdo al resultado
denota por "p  q"; V n
se lee “o p o q” y es obtenido, una fórmula
verdadera cuando r propo- sicional recibe
solo una de las e un nombre especial, así
componentes es s "p" si tenemos que:
Se y
verdadera. u solo
m lee si "q" a. Si la fórmula
e : "p" resulta verdadera
n es para cualquier
condi
: combinación de los
ción
nece valores de verdad
saria de las componentes,
p y su- la fórmula se
q ficien denomina
p  te
para
tautología.
q "q". b. Si por el contrario
V resulta, siempre
falsa recibe el
nombre de
V contradicción.
c. Si no es tautología ni
V contradicción, la
fórmula recibe el
nombre de
V contingencia.

Observaciones:
F

Tabla
de
verdad
A menudo es necesario representar proposiciones 1. Consideramos dos tipos de proposiciones:
compuestas que pueden a su vez tener como simples son aquellas que no contienen
componentes otras proposiciones compuestas; en conectivos lógicos y compuestas que son las que
este caso es necesario el uso de los signos de contienen conectivos lógicos.
colección (paréntesis, corchetes, etc).
A e st a re pr es en ta ci ón m ed ia nt e va ri 2. El número de posibles combinaciones de los
ab le s proposicionales, conectivos lógicos y signos de valores de verdad de “n” proposiciones
colección la llamaremos fórmula proposicional. Así
componentes es 2n. Por ejemplo:
por ejemplo:
Si: n = 2  hay: 22 = 4 combinaciones
p  [ (~p  q)  ~q ]
p V V F F
Si en la fórmula anterior, se sabe que “p” es V y “q”
es q V F V F
F, el valor de verdad lo obtenemos de la siguiente
forma:
p  [ (~p q)q ]  ~
V F
Si: n = 3  hay: 23 = 8 combinaciones
F F
V V
V V p V V V V F F F F
V q V V F F V V F F
r V F V F V F V F
En otros casos es necesario determinar los valores
de verdad de una fórmula para todas las
combinaciones de los valores de verdad de las 3. Llamamos fórmulas proposicionales equivalentes, a
componentes, a este proceso se le denomina evaluar aquellas que al ser unidas por el conectivo “”
una fórmula en una tabla de verdad, por ejemplo: resulta una tautología. La equivalencia se denota
por “”.

Problemas para la clase

4 1 2 3 1
p q p  [ (~p q )  ~q ]
V V V F FV V V V FV Bloque I

V F V V FV V F V V F

F V F F 1. De acuerdo con la definición, ¿cuántas de las

VF V V F FV
siguientes expresiones son proposiciones?
F F F F VF F F V VF
* La división entre cero no existe.
* 4973 es un número primo.
* Micaela Bastidas murió a los 14 años.
Los números indican el orden en que se han
* El principito no podía comprender a los adultos.
desarrollado los conectivos, primero se ha desarrollado
* ¿Miguel Grau nació en Piura?
las negaciones
* ¡Vive la experiencia!
1 , luego se desarrolló el paréntesis 2 , para después
* Mi mejor experiencia, fue a los 17 años.
desarrollar el corchete 3 , siendo el resultado final
de
la evaluación la columna debajo del número 4 .
 a) 3 b) 4 c) 5 8. Una proposición disyuntiva inclusiva, será:
d) 6 e) 7
a) Héctor es soltero o casado.
2. ¿Cuántas de las siguientes proposiciones son b) Si hay dinero; iremos de
simples? vacaciones. c) La leche está fría o
caliente.
* 24 es número compuesto. d) Rommel es líder y orador.
* El número 20 es par y el 15 es impar. e) Eres tú o soy yo, ¿quién se casará con Diana?
* Los números 40 y 27 son pares.
* Juan y Pedro son primos. 9. En la siguiente tabla:
* Juan y Pedro son peruanos.
 p q [(p  q)  p]  q
a) 1 b) 2 c) 3 V V 1
d) 4 e) 5 V F 2
F V 3
3. Determinar el valor de verdad de cada una de las
siguientes proposiciones: F F 4
Los valores de verdad que deben reemplazar a los
I. Si: 3 + 1 = 7, entonces: 4 + 4 = 8. círculos en el orden indicado son:
II. No es verdad que: 2 + 2 = 5 si y solo si 4 + 4 =
10. III. Madrid está en España o Londres está en a) VVVV b) VFFV c) VVFF
Francia. d) FFFF e) FVFV

a) VFV b) VVV c) VFF 10.Indicar el valor de verdad

d) FVF e) FFF
de: I. p  (p q)
4. Un esquema conjuntivo representa a la proposición: II. (p q)  (p  q)
III. ~[(p q)  p]
a) Tanto Pizarro como Maestri son
jugadores. b) La fiesta empezó al igual que a) VVV b) VFV c) VFF
el concurso. d) FVF e) FVV
c) Marco y Rubén toman chicha con ron.
d) Carlitos asiste a clases, sin embargo no escucha 11.Si la proposición: (p  ~q)  (~r  s) es falsa, deducir
clases. el valor de verdad de: (~p  ~q)  ~p
e) Todas.
a) V
5. ¿Qué proposición es: “Es el caso que eres postulante b) F
si te preparas en la academia”? c) V o F
d) no se puede
a) conjuntiva b) disyuntiva determinar e) ninguna
c) bicondicional d) condicional
e) negativa 12.Si: (p ~q)  r; es falsa, determinar los valores de
verdad de “p”, “q” y “r”.
6. Simbolizar:
a) VVF b) VFF c) VVV
“No es el caso que Carlos sea médico o abogado; en d) VFV e) FFF
conclusión, Carlos no es abogado”.
Bloque II
a) ~p q  q
b) ~q ~(p q) 1. Dadas las proposiciones:
c) ~(p q) ~q
d) ~(p q)  ~q p: Marco es comerciante
e) ~(p  q)  ~ q q: Marco es un próspero
industrial r: Marco es ingeniero
7. “El fiscal de la nación ejercerá sus funciones salvo
que no jure”. Simbolizar el enunciado:
“Si no es el caso que, Marcos sea un comerciante y
La proposición anterior es: un próspero industrial, entonces es ingeniero o no
es comerciante”.
a) conjuntiva b) bicondicional
c) disyuntiva d) condicional a) ~(p  q)  (r p)
e) negativa b) (~p q) (r q)
 c) ~(p q) (r p) I. (q  p) ~(q  ~p) II.
d) ~(p q) (r ~p)
(q  ~p)  (q  p)
e) (~p ~q) (~r p)
a) VV b) VF c) FF
2. Los valores de verdad de las proposiciones “p”, “q”,
d) FV e) N.A.
“r”
y “s” son respectivamente V, F, F y
8. De la falsedad de la proposición:
V. Obtener los valores de verdad
de: (p  ~q) (~r  s) se deduce que el valor de verdad
de los esquemas:
I. [(p q)  r]  s
II. r  (s p) I. (~p ~q) (~q)
III. (p r)  (r ~s) II. (~r q)  [(~q r) s]
III. (p  q)  [(p q) ~q]
a) VFF b) FVV c) VVV
d) VVF e) FFF son respectivamente:

3. Hallar la tabla de verdad de: a) VFV b) FFF c) VVV

 p q (p  q)(p q)  d) VVF e) FFV
V V
9. Indicar el valor de verdad
V F
F V de: I. (~p ~q) (p q)
F F es una contradicción.
II. [(p  q) (q  r)]  (p  r)
a) VVFF b) VFFV c) VFVF es una tautología.
d) VVVV e) FFFF III. [p (p  q)]  (q  r)
es una contingencia.
4. Si: (~p)  r; es verdadero; los valores de verdad de:
I. (p s)  (rs) a) VVV b) VVF c) VFF
II. (p r)  s d) VFV e) FVV
son:
10.¿Cuáles de las siguientes proposiciones compuestas
a) VV b) VF c) FV son tautológicas?
d) FF e) faltan datos
I. (p ~q)  (~p q) II.
5. Sabiendo que: (q  ~p)  (p ~q) III.
* (p  q)  ~r; es falsa (~q  p) (q ~p)
* (s  p)  r; es verdadera
¿Cuál(es) de las siguientes afirmaciones son a) sólo I b) sólo II c) sólo III
correctas? d) I y II e) I y III

I. ~(p s)  V 11.Si la proposición compuesta: (p  q)  (r  t) es falsa.

II. (s r)  F III. Indicar las proposiciones que son verdaderas:
qsV
a) p; r b) p; q c) r; t
a) I y II b) I y III c) II y III d) q; t e) p; r; t
d) todas e) sólo una de ellas
12.Si la proposición: p (r  s) es falsa, ¿cuántas de las
6. ¿C uá le s de l as s ig ui en te s pr op os ic io ne siguientes proposiciones son verdaderas?
s so n equivalentes?
I. (~s  t)  ~p II. r  p
A: (~p q)  (~r  ~p) III. t  ~r IV. (r  p) (s  t)
B: p  (r  q)
C: ~q  ~p a) ninguna b) una c) dos
d) tres e) cuatro
a) A y B b) A y C c) B y C
d) A, B y C e) no son equivalentes 13.De las proposiciones, ¿cuál es una
contradicción?
7. Si las siguientes proposiciones: p
~q y q p son falsas. I. ~[ ~(p  q)  q ]  (p  q) II.
Determinar el valor de verdad ~[ ~p  q ]  (p  q)
de:
 a) I b) II c) I y II I. ~(~q  ~s)  ~p
d) ninguna e) F.D. II. ~(~r  s)  (~p  ~q)
III. p  ~[q  ~(s  r)] son:
14.De la falsedad de: (p  ~q)  (~r  ~s) se deduce
que los valores veritativos de: a) FFV b) FFF c) FVF
d) FVV e) VFF