Lgica

Proposicional
Trabajo Prctico N 1
Lgica Proposicional
1) Para describir los diversos restaurantes de la ciudad, denotemos con
p: la comida es buena ; con q: el servicio es bueno y con
r: el restaurante es de tres estrellas.
Escribir simblicamente las siguientes proposiciones :
a)- La comida es buena o el servicio es bueno, o ambas cosas
b)-La comida es buena o el servicio es bueno, pero no ambas cosas.
c)-La comida es buena y el servicio no.
d)- No sucede que tanto la comida sea buena como que el restaurante sea de tres
estrellas
e)- Si tanto la comida como el servicio son buenos, entonces el restaurante es de
tres estrellas.
f)- No es cierto que ser de tres estrellas siempre signifique buena comida y buen
servicio.
2) Denotemos con p el clima es agradable y con q vamos de da de campo.
Traducir las siguientes proposiciones al lenguaje coloquial.
a) p . q b) p q c) q p d) ~ (p q)
3) Construir las tablas de verdad de los siguientes esquemas
proposicionales:
a) (p v q) p c) (q p) ( p q) e) (p .q) v(~r)
b) p (p v q) d) ~(r r)
4) Los valores de verdad de las proposiciones p; q; y r; y s son respectivamente
V ; F ; F y V. Obtener los valores de verdad de :
i) [( p v q ) v r] . s ii) r (s . p) iii) (p v r) (r . ~ s)
5) Determinar en cada caso si la informacin que se da es suficiente para conocer
el valor de verdad de las siguientes proposiciones compuestas. En caso
afirmativo, justificarlo.
i) (p q) r ; r es V ii) (p v q) (~ p . ~ q) ; q es V
6) Determinar, si es posible, el valor de verdad de las siguientes
proposiciones :
a) (p v q) q si p q es Falso
b) p v (p q) si p q es Verdad
c) [ (p v q) . ~ q] q si p es Verdad y ~q es Verdad

7) Simplificar las siguientes proposiciones:
a) ~ (~ p v ~ q) b) ~ (p v q) v (~ p . ~ q) c) ~ (p q)
8) Negar los siguientes esquemas proposicionales y obtener expresiones
equivalentes.
i) ~q v r iii) p . (q r)
ii) (p . q) r iv) ~ (p v q) (~ p . ~ q)

9) Determinar si las siguientes proposiciones son leyes lgicas :
i) ( p . q ) r iii) p . [ p q ]
ii) [ (p q) . (q r) ] (p r) iv) (p r) (r p)
10) Cierto pas est habitado por personas que siempre dicen la verdad o
que siempre mienten, y que respondern preguntas solo con si o no. Un
turista llega a una bifurcacin en el camino, una de cuyas ramas conduce a
la Capital y la otra no. No hay un letrero que diga qu camino seguir, pero
hay un nativo, el seor z, parado en la bifurcacin. Qu nica pregunta
deber hacerle el turista para determinar qu camino seguir?.

PROPOSICION es una expresin de la cual
se puede decir que es verdadera o que es falsa

El Gral. San Martn cruz la cordillera de los Andes es una proposicin verdadera

Manuel Belgrano compuso el Himno Nacional es una proposicin falsa

pero de la expresin: Vendrs hoy ? no puede decirse que sea verdadera, ni
falsa; entonces, sta no es una proposicin.

Vamos a denotar a las proposiciones con las letras minsculas p, q, r, s, t, u . . .
Entonces :
p : El Gral. San Martn cruz la cordillera de los Andes
q : Manuel Belgrano compuso el Himno Nacional
1 a b
1 e
1 c d
1 f
2 a b
2 c d
NEGACION
Si queremos negar una proposicin debemos anteponer
expresiones como
No es cierto que . . .; No sucede que . . .;
o insertar convenientemente en la expresin . . . NO . . . .

as, la proposicin
No es cierto que el Gral. San Martn cruz la cordillera de los Andes

es equivalente a decir : El Gral. San Martn NO cruz la cordillera de los
Andes
Simblicamente se antepone a la letra que denota la proposicin,
el smbolo ~ - tambin puede usarse
~ p : No es cierto que el Gral. San Martn cruz la cordillera de los Andes
~ p : El Gral. San Martn NO cruz la cordillera de los Andes
1 e 1 f
2 a b 2 c d
1 a b
1 c d
CONECTORES LOGICOS

Para vincular las proposiciones vamos a valernos de los
conectores lgicos; ellos son:



.
v
v


conjuncin
disyuncin
incluyente
disyuncin
excluyente
implicacin
doble
implicacin
Mediante el uso de los conectores y smbolos
sintcticos (parntesis, corchetes, llaves), podemos
vincular dos o mas proposiciones entre s
1 a b
1 c d
1 e 1 f
2 a b 2 c d
Dadas las proposiciones :
P : El jueves es el examen q : El viernes viajo
Podemos escribir las proposiciones compuestas :
p . q
El jueves es el examen o el viernes viajo, o ambas cosas
p v q
El jueves es el examen o el viernes viajo, pero no ambas cosas
p v q
El jueves es el examen implica que el viernes viajo o
Si el jueves es el examen, entonces el viernes viajo
p q
El jueves es el examen si y solo si el viernes viajo
p q
El jueves es el examen y el viernes viajo
1 e 1 f
2 a b 2 c d
1 a b
1 c d
1) a) En la expresin
La comida es buena o el servicio es bueno, o ambas cosas

Las proposiciones involucradas son
p : La comida es buena q : el servicio es bueno
La expresin simblica es :
estn vinculadas con el conector o ; debe considerarse que al final se
especifica que pueden suceder ambas cosas
el conector que corresponde es DISYUNCION INCLUYENTE ( v )
1 b) En la expresin
La comida es buena o el servicio es bueno, pero no ambas cosas

Las proposiciones involucradas son
p : La comida es buena q : el servicio es bueno
La expresin simblica es :
estn vinculadas con el conector o ; debe considerarse que al final se
especifica que no pueden suceder ambas cosas
corresponde el conector de DISYUNCION EXCLUYENTE ( v )
p v q
p v q o p A q
1e 1 c-d 1f
Proposicin
Negacin
Operaciones
Ejemplos
1 c) En la expresin La comida es buena y el servicio no es bueno

Las proposiciones involucradas son:
p : La comida es buena q : el servicio es bueno
p y ~ q estn vinculadas con el operador y
el operador que corresponde ahora es CONJUNCION ( . )
pero la proposicin el servicio es bueno est negada ~ q
La expresin simblica es : p . ~ q
1 d) En la expresin :
No sucede que tanto la comida sea buena como que el restaurante sea de tres estrellas

Las proposiciones involucradas son: p : La comida es buena
r : El restaurante es de tres estrellas
pero el que tanto es la negacin de toda la expresin No es negacin
La expresin simblica es : ~ (p . r)
en ella, el como que sugiere una conjuncin ( p . r )
1e 1f
Proposicin
Negacin
Operaciones
Ejemplos
1 e) En la expresin :

Si tanto la comida como el servicio son buenos, entonces el
restaurante es de tres estrellas.

Las proposiciones involucradas son : p : La comida es buena
q : El servicio es bueno r : El restaurante es de tres estrellas
La expresin simblica es :
donde aparecern involucradas dos proposiciones: la primera
llamada antecedente y la otra llamada consecuente
Si (antecedente) entonces (consecuente)
vamos a detectar ahora cual es el antecedente y cual es el consecuente de la implicacin.
El antecedente es : Si (tanto la comida como el servicio son buenos)
p . q
El consecuente es : entonces (el restaurante es de tres estrellas) r
( p . q ) r
La forma es :
El Si . . . . . . . entonces . . . . . . nos hace pensar en la implicacin
1f
Proposicin
Negacin
Operaciones
Ejemplos
1 f) En la expresin :
No es cierto que si el restaurante es de tres estrellas siempre
signifique buena comida y buen servicio.

Las proposiciones involucradas son : p : La comida es buena
q : El servicio es bueno r : El restaurante es de tres estrellas
detectaremos ahora cual es el antecedente y el consecuente de la implicacin
el consecuente es la conjuncin
Aparecen aqu tres operaciones
la primera es una negacin que afecta a toda la expresin que contina
se distingue tambin una implicacin,
aunque no aparezca aqu el clsico si . . . entonces . . .
sino si . . . .siempre significa . . . .
el antecedente es la proposicin r : el restaurante es de tres estrellas
~ [ r ( p . q) ]
p . q : la comida es buena y el servicio es bueno
La expresin simblica es :
Proposicin
Negacin
Operaciones
Ejemplos
2 a) Si las proposiciones son :
p : el clima es agradable q : vamos de da de campo
La proposicin compuesta
p . q
es la conjuncin de las
proposiciones p con q
que en el lenguaje coloquial se expresa :
el clima es agradable y vamos de da de campo
La proposicin compuesta
p q
es la doble implicacin de las
proposiciones p con q
que en el lenguaje coloquial se expresa :
el clima es agradable si y solo si vamos de da de campo
2 b) Si las proposiciones son :
p : el clima es agradable q : vamos de da de campo
2 c-d
Proposicin
Negacin
Operaciones
Ejemplos
2 c) Si las proposiciones son :
p : el clima es agradable q : vamos de da de campo
La proposicin compuesta
q p
es la implicacin
q implica p
que en el lenguaje coloquial se expresa :
Si vamos de da de campo entonces el clima es agradable
La proposicin compuesta ~(p q)
es la negacin de la doble implicacin
de las proposiciones p con q
que en el lenguaje coloquial se expresa :
No es cierto que el clima es agradable si y solo si
vamos de da de campo
2 d) Si las proposiciones son :
p : el clima es agradable q : vamos de da de campo
Proposicin
Negacin
Operaciones
Ejemplos
La primera operacin que vamos a tratar es la negacin
Tablas de Verdad
Si p es verdad , ~ p es falso
Si p es falso , ~ p es verdad
p ~ p
V F
F V
La tabla de verdad de la conjuncin de proposiciones se resuelve :
Verdadera si ambas
proposiciones son verdaderas
Falsa si alguna o ambas
proposiciones son falsas
p q p . q
V
V
V V
V
F F
F
F F
F
F
34-5
6
3 a-b
4 5 i
6 i-ii
3 c-d
3 e
5 ii
6 iii
La tabla de verdad de la disyuncin de proposiciones se resuelve
p q p v q
V
V
V V
V
F V
V
F F
F
F
verdadera a si alguna o
ambas proposiciones son
verdaderas
falsa si ambas
proposiciones son falsas
La tabla de verdad de la disyuncin excluyente
de proposiciones se resuelve
p q p v q
V
V
V F
V
F V
V
F F
F
F
verdadera si las proposiciones
tienen valores de verdad
diferentes
falsa si ambas
proposiciones tienen el
mismo valor de verdad
34-5
6
3 a-b 3 c-d 3 e
4 5 i
6 i-ii
5 ii
6 iii
La tabla de verdad de la doble implicacin se resuelve :
p q p q
V
V
V V
V
F F
F
V F
F
F
verdadera si ambas
proposiciones tienen el mismo
valor de verdad
falsa las proposiciones
tienen valor de verdad
diferente
La tabla de verdad de la implicacin de proposiciones se resuelve
p q p q
V
V
V V
V
F F
V
V F
F
F
verdadera si ambas
proposiciones son verdaderas
si el antecedente es falso, no
importa el consecuente, la
implicacin es verdadera
falsa nicamente con
antecedente (p) verdadero
y consecuente (q) falso
los trminos antecedente
consecuente se usan
exclusivamente en sta operacin
34-5
6
3 a-b 3 c-d 3 e
4 5 i
6 i-ii
5 ii
6 iii
Las posibles combinaciones de valores
de verdad entre dos proposiciones
siempre se agotan en cuatro
alternativas ; en caso que estn
involucradas mas de dos proposiciones
en una operacin lgica, para averiguar
la cantidad de alternativas posibles,
usaremos la expresin : 2
n
donde n
es la cantidad de proposiciones.
Si tengo que operar las
proposiciones p ; q y
r, las combinaciones
posibles sern: 2
3
= 8
p q r resultado
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
34-5
6
3 a-b 3 c-d
3 e 4
5 i
6 i-ii
5 ii
6 iii
3 a) Para hacer la tabla de
verdad de ( p v q ) p
debemos resolver
primero p v q
p q p v q (p v q) p
V V
V
V
V
F
F
V
V
F
F
F
V
F
V
V

3 b) Para hacer la tabla de
verdad de p ( p v q )
debemos resolver primero
p v q
p q p v q p (p v q)
V V
V
V
V
F
F
V
V
F
F
F
V
F
V
V
considerando la columna
p v q obtenida como
antecedente y la de q
como consecuente,
resolvemos la
implicacin
y con la columna
obtenida buscar el
resultado final.
3 e 3 c-d
Negacin - Conjuncin
Implicacin
Doble Implicacin
Disyuncin
Disyuncin Excluyente
3 c) para resolver (q p) ( p q) debemos resolver por separado
las implicaciones (q p) y ( p q) ; y luego buscar el resultado final
hallando una implicacin entre esos dos resultados parciales
p q
V
V
V V
V
F F
V
V F
F
F
V
V
V
F
V
V
V
F
q p p q (q p) (p q)
3 d) Para resolver ~ ( r r ) debemos
resolver primero ( r r ) ; cuando r
(antecedente) es verdad, r
(consecuente) tambin es verdad,
idntica situacin cuando r es falso.
r r
V
F
V V
F V
F
F
y luego negar ( r r )
r r
~( r r )
3 e
Negacin - Conjuncin
Implicacin
Doble Implicacin
Disyuncin
Disyuncin Excluyente
3 e) En ( p . q ) v ( ~ r ) aparecen involucradas tres proposiciones,la
tabla de verdad debe contemplar todas las posibles configuraciones de
valores de verdad entre las tres proposiciones. Tambin ~ r
p q r
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
~ r
F
V
F
V
F
V
F
V
Luego se resuelve ( p . q )
p . q
V
V
F
F
F
F
F
F
y finalmente ( p . q ) v ( ~ r )
( p . q ) v ( ~ r )
V
V
F
V
F
V
F
V
Negacin - Conjuncin
Implicacin
Doble Implicacin
Disyuncin
Disyuncin Excluyente
4) Para resolver este ejercicio podemos confeccionar una tabla de
verdad solamente para los valores asignados a las proposiciones
i) [(p v q) v r] . s se resuelve:
p q r s
V F F V
p v q
V
(p v q) v r
V
[(p v q) v r] . s
V
ii) r (s . p) se resuelve:
p r s
V F V
s . p
V
r (s . p)
V
iii) (p v r) (r . ~ s) se resuelve:
p r s
V F V
~s
F
p v r r . ~ s
V F
(p v r) (r . ~s)
F
Negacin - Conjuncin
Implicacin
Doble Implicacin
Disyuncin
Disyuncin Excluyente
Otra forma de resolverlo es usando tablas de verdad
5 i) Para saber el valor de verdad de (p q) r ; cuando r es V
Debemos considerar que la operacin principal es una implicacin,
donde el consecuente ( r ) es verdad.
Repasamos la tabla de verdad de la implicacin:
p q p q
V V V
V F F
F V V
F F V
Vemos que la implicacin es falsa solo cuando
el consecuente es falso y el antecedente
verdadero.
Si nuestro consecuente r es V, no
importa si p q es verdad o falso
p q r
Analizamos solamente
cuando r es verdad
V
V
V
V
V V
V F
V V
V F
ahora resolvemos como
cualquier tabla de verdad
p q
V
F
V
F
(p q) r
V
V
V
V
(p q) r es verdad
Negacin - Conjuncin
Implicacin
Doble Implicacin
Disyuncin
Disyuncin Excluyente
5 ii
5 ii) Para saber el valor de verdad de
(p v q) (~ p . ~ q) cuando q es V
Otra forma de resolverlo es usando tablas de verdad
Debemos considerar que la operacin principal es una doble implicacin,
donde las expresiones involucradas son (p v q) y (~ p . ~ q)
si q es V cualquier disyuncin donde est q, ser verdad,
luego (p v q) es V
p q ~p ~q
Analizamos solamente
cuando q es verdad
V
V
V
F
y p puede ser V
V
~ p . ~ q
F
F
al ser q V ; ~ q es F cualquier conjuncin donde est ~ q , ser falso,
Las expresiones (p v q) y (~ p . ~ q) tienen diferentes valores de verdad
luego : (p v q) (~ p . ~ q) es falso
p v q (p v q) (~ p . ~ q)
F
F
F
F
luego (~ p . ~ q) es F
verdad falso
V
V
Negacin - Conjuncin
Implicacin
Doble Implicacin
Disyuncin
Disyuncin Excluyente
6 i) p q es Falso solamente cuando p es V y q es F

En (p v q) q ; si p es V (p v q) es V
nos queda una implicacin de antecedente verdadero y consecuente falso
entonces (p v q) q es falso
6 ii) si p q es Verdad puede pasar que: p sea V y q sea V
p sea F y q sea V
p sea F y q sea F
Para hallar p v (p q) confeccionamos tabla de
verdad con las tres las alternativas posibles
p q
V V
F V
F F
(p q)
V
F
V
p v (p q)
V
F
V
Los valores de
verdad no son los
mismos para todas
las situaciones
entonces no es posible determinar el valor de verdad
con los datos proporcionados
Negacin - Conjuncin
Implicacin
Doble Implicacin
Disyuncin
Disyuncin Excluyente
6 iii
6 iii) sabiendo que p es Verdad y ~q es Verdad para hallar
[ (p v q) . ~ q] q hacemos tabla de verdad para esos valores
p q ~ q
V V
sabiendo que ~ q es verdad
F
hallamos p v q
p v q
V
luego hacemos (p v q) . ~ q
(p v q) . ~ q
V
finalmente resolvemos [ (p v q) . ~ q] q
[ (p v q) . ~ q] q
F
Resulta [ (p v q) . ~ q] q Falso
Negacin - Conjuncin
Implicacin
Doble Implicacin
Disyuncin
Disyuncin Excluyente
Para simplificar proposiciones apelaremos frecuentemente a :
las Leyes de De Morgan
La negacin de una disyuncin de proposiciones es equivalente a la
conjuncin de la negacin de cada una de las proposiciones
Simblicamente ~ ( p v q) ~ p . ~ q
p q ~ p ~ q p v q ~ (p v q) ~ p . ~ q ~ ( p v q) ~ p . ~ q
V V F F V F F V
V F F V V F F V
F V V F V F F V
F F V V F V V V
Podemos verificar la equivalencia con una tabla de verdad de la doble implicacin
Si la doble implicacin de las dos expresiones
resulta verdad en cualquier caso, las
expresiones son equivalentes
7 a-b
8 i-ii
7 c
8 iii
8 iv
Simblicamente ~ ( p . q) ~ p v ~ q
La negacin de una conjuncin de proposiciones es equivalente
a la disyuncin de la negacin de cada una de las proposiciones
p q ~ p ~ q p . q ~ (p . q) ~ p v ~ q ~ (p . q) ~ p v ~ q
V V F F V F F V
V F F V F V V V
F V V F F V V V
F F V V F V V V
Podemos verificar la equivalencia con una tabla de verdad de la doble implicacin
Si la doble implicacin de las dos expresiones
resulta verdad en cualquier caso, las
expresiones son equivalentes
7 a-b
8 i-ii
7 c
8 iii 8 iv
Otra equivalencia que nos conviene considerar es:
La implicacin es equivalente a la negacin del
antecedente disyuncin el consecuente
p q ~ p p q ~ p v q (p q) ~p v q
V V F V V V
V F F F F V
F V V V V V
F F V V V V
Simblicamente p q ~ p v q
Podemos verificar la equivalencia con una tabla de verdad de la doble implicacin
Si la doble implicacin de las dos expresiones
resulta verdad en cualquier caso, las
expresiones son equivalentes
7 a-b
8 i-ii
7 c
8 iii
8 iv
p q p q q p (p q) . (q p) p q (p q) [(p q) . (q p)]
V V V V V V V
V F F V F F V
F V V F F F V
F F V V V V V
Otra equivalencia que nos conviene considerar es:
La doble implicacin es equivalente a la conjuncin
de las implicaciones recprocas
Simblicamente p q (p q) . (q p)
Podemos verificar la equivalencia con una tabla de verdad de la doble implicacin
Si la doble implicacin de las dos expresiones
resulta verdad en cualquier caso, las
expresiones son equivalentes
7 a-b
8 i-ii
7 c
8 iii 8 iv
7 a) ~ (~ p v ~ q)
La negacin de una disyuncin
de proposiciones
~
es equivalente a la conjuncin
.
de la negacin de ~ p y de ~ q
(~ p) (~ q)
(en este caso las proposiciones
de la disyuncin son ~ p ; ~ q )
~
Pero la negacin de la negacin de una proposicin es la afirmacin
As el resultado final es
p . q
p . q
7 b) ~(p v q) v (~ p . ~ q)
la negacin afecta solamente al primer parntesis
(~ p . ~ q)
eliminamos una de las expresiones (~ p . ~ q) pues las dos son idnticas
(propiedad de idempotencia)
~ p . ~ q
As el resultado final es
~ p . ~ q
v (~ p . ~ q)
y el resto de la operacin se escribe igual
7 c
7 c) ~ (p q) tenemos la negacin de una doble implicacin
~ [ (p q) . (q p)]
recuerde que la doble implicacin equivale a la
conjuncin de las implicaciones recprocas
~ (p q) v ~ (q p)
~[(~ p) v q] v ~ [(~ q v p)]
[~(~ p) . ~ q] v [~(~ q) . ~ p] ( p . ~ q) v ( q . ~ p)
Ley de De Morgan
la implicacin equivale a la disyuncin de la
negacin del antecedente con el consecuente
por De Morgan
8) Para negar cualquier expresin, escribimos la expresin que
queremos negar
8 i) La encerramos entre parntesis, ~ q v r
y anteponiendo el signo de negacin, negamos todo lo que est
comprendido en el parntesis.
~ ( ~ q v r )
( ) ~
viene ahora la tarea de transformar la expresin obtenida
buscando una expresin equivalente (leyes de De Morgan)

~ ( ~ q ) . ~ r

q . ~ r
(p . q) r
La encerramos entre corchetes,
y anteponiendo el signo de negacin, negamos
todo lo que est comprendido en el corchete
viene ahora la tarea de transformar la expresin obtenida
buscando una expresin equivalente
~ [ (p . q) r ] ~ [ ~ (p . q) v r ] ~ [ ~ ( p . q ) ] . ~ r

( p . q ) . ~ r
p . q . ~ r
[ ]
~ 8 ii) Para negar
8 iv 8 iii
8 iii) escribimos la expresin que queremos negar
p . (q r)
La encerramos entre corchetes,
y anteponiendo el signo de negacin, negamos
todo lo que est comprendido en el corchete
viene ahora la tarea de transformar la expresin obtenida
buscando una expresin equivalente
~ [ p . (q r ) ] ~ p v ~ (q r) ~ p v ~ [ (~ q ) v r ]
~ p v [~ (~ q ) . ~ r ]
[ ]
~

~ p v ( q . ~ r )
aplicamos ley de De Morgan
La implicacin es la disyuncin de la
negacin del antecedente con el
consecuente
8 iv
8 iv) escribimos la expresin que queremos negar
La encerramos entre corchetes,
~ ( p v q ) (~ r . ~ q )
y negamos todo lo que est
comprendido en el corchete
~ [ ~ ( p v q) (~ r . ~ q ) ]
[ ] ~
viene ahora la tarea de transformar la
expresin obtenida buscando una expresin
equivalente
La doble implicacin es la conjuncin de las
implicaciones recprocas
~ { [ ~ ( p v q) (~ r . ~ q ) ] . [ (~ r . ~ q ) ~ ( p v q) ] }
La implicacin es la disyuncin de la
negacin del antecedente con el
consecuente
~ { [ ( p v q) v ( ~ r . ~ q ) ] . [ ~ ( ~ r . ~ q ) v ~ ( p v q ) ] }
~ [ ( p v q) v ( ~ r . ~ q ) ] v ~ [ ~ ( ~ r . ~ q ) v ~ ( p v q ) ]
~ [ ( p v q) v ~ ( r v q ) ] v ~ [ ( r v q ) v ~ ( p v q ) ]
[ ~ ( p v q) . ( r v q ) ] v [ ~ ( r v q) . ( p v q ) ]
p q ~ p v q
Tautologa o Ley Lgica: es una proposicin compuesta, cuyos
valores de verdad son siempre verdad, cualquiera sean los
valores de verdad de las proposiciones que la componen
Si los valores de verdad de la proposicin compuesta son falsos,
independientemente de los valores de verdad de las proposiciones que lo
componen, la proposicin es una Contradiccin.
p q p v q p p v q
V
V
F
F
V
F
V
F
V
V
V
F
V
V
V
V
p p v q
Es tautologa
p q ~ p P q ~ (p q) ~ (p q) . ~ p
V
V
F
F
V
F
V
F
F
F
V
V
V
F
V
V
F
V
F
F
F
F
F
F
9 i 9 ii
9 iii-iv
en este caso ( p . q ) r
p q r p . q ( p . q ) r
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
se realiza la tabla de verdad
correspondiente
9 i) Para determinar si una proposicin es ley lgica tautologa,
si todos los valores de verdad de la
columna de los resultados fueran
verdaderos, la proposicin sera
tautologa
V
V
F
F
F
F
F
F
V
F
V
V
V
V
V
V
en la segunda fila aparece
un valor de verdad falso
esta proposicin que tiene valores de
verdad verdadero y valores de
verdad falso (segn sea p y/ q) es
una contingencia
9 iii-iv 9 ii
p q r p q q r (p q) . (q r) p r [ (p q) . (q r) ] (p r)
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
toda la columna de resultados es verdad
9 ii) se realiza la tabla de verdad correspondiente
V
F
V
V
V
F
V
V
V
V
F
F
V
V
V
V
V
F
F
F
V
F
V
V
V
F
V
F
V
V
V
V
V
V
V
V
V
V
V
V
[ (p q) . (q r) ] (p r) es tautologa
9 iii-iv
9 iii) si p . [ p q ] es tautologa
tambin podemos resolver con tabla de verdad
p q p q p . [ p q ]
V
V
F
F
V
F
V
F
V
F
F
V
V
F
F
F
La doble implicacin es verdad cuando ambas proposiciones
tienen el mismo valor de verdad (las dos falsas las dos verdad)
La conjuncin es falsa si una de las
proposiciones es falsa (o ambas)
esta proposicin que tiene valores de
verdad verdadero y valores de
verdad falso (segn sea p y/ q)
9 iv) (p r) (r p)
p r p r r p (p r) (r p)
V
V
F
F
V
F
V
F
V
F
V
V
V
V
F
V
V
F
F
V
La implicacin es falsa solo cuando
el antecedente es verdadero y el
consecuente es falso
esta proposicin
tiene valores de
verdad verdadero y
valores de verdad
falso (segn sea p
y/ q)
p . [ p q ] es contingencia
(p r) (r p)
es contingencia
10) El viajero se encuentra frente a dos
caminos
desea ir a la Capital, y el
nico que puede indicarle el
camino correcto es el Sr. Z
(que parece no estar muy dispuesto)
Contesta las preguntas
solo con si o con no
y solo una pregunta
y si es mentiroso, miente siempre . . .
o siempre dice la verdad . . . ?
Es un buen comienzo diferenciar los caminos, al de la
izquierda llamo camino A y al de la derecha camino B
A
B
Supongamos que el camino A es el correcto si el viajero seala el camino A y pregunta:
Si yo le preguntara si este camino lleva a la Capital Ud. Qu me respondera ?
Si es de los que dicen la verdad, como
es el camino correcto responder . . .
SI
!
Porque si el viajero hiciera la pregunta este
es el camino que lleva a la Capital ? piensa
decir la verdad . . .
SI !

SI
SI
A
B
frente a la misma pregunta :
Sealando el camino A
Si yo le preguntara si este camino lleva
a la Capital Ud. Qu me respondera ?
Si el Sr. Z es de los que mienten siempre dir . . .
SI !
l sabe que el camino sealado es el correcto, pero el viajero no
pregunta por el camino que lleva a la Capital , sino por una
posible respuesta a la pregunta este es el camino que lleva a la
Capital? , recin entonces el Sr. Z dir no. Pero tampoco
perder esta oportunidad de mentir y decir si sabiendo que
luego, a la pregunta responder no
NO
!
si el viajero preguntara (que no puede hacerlo)
este es el camino que lleva a la Capital? , l
piensa mentir . . .
Aunque los dos pensaron cosas diferentes, dijeron idntica respuesta SI
Independientemente de si el Sr. Z es mentiroso de
los que dicen la verdad, responde SI, cuando se
seala el camino correcto
SI
SI
Sealando ahora el camino B
(camino equivocado)
A
B
frente a la misma pregunta :
Si yo le preguntara si este camino lleva
a la Capital Ud. Qu me respondera ?
Si el Sr. Z
NO
!
NO !
es de los que dicen la
verdad siempre dir . . .
porque si el viajero hiciera la pregunta este
es el camino que lleva a la Capital?, piensa
decir la verdad . . .
Pero si el Sr. Z es mentiroso . . . .
NO
NO
A
B
frente a la misma pregunta :
sealando el camino B
Si yo le preguntara si este camino lleva
a la Capital Ud. Qu me respondera ?
dir . . .
NO !
Z sabe que el camino sealado es el correcto, pero el viajero no
pregunta por el camino que lleva a la Capital , sino por una
posible respuesta a la pregunta este es el camino que lleva a la
Capital? , recin entonces dir si (para mentir). Pero tampoco
perder esta oportunidad de mentir y decir que va a responder (la
verdad),que el camino no leva a la Capital
SI !
si el viajero preguntara (que no puede
hacerlo) este es el camino que lleva a la
Capital? , l piensa mentir . . .
Aunque los dos pensaron cosas diferentes, dijeron idntica respuesta NO
Independientemente de si el Sr. Z es mentiroso o de
los que dicen la verdad, responde NO si el camino
sealado no es el correcto
NO
SI
Como la respuesta a la pregunta
Es la misma, independientemente
o del que miente . . .
Si yo le preguntara si
este camino lleva a la
Capital Ud. Qu me
respondera ?
As nuestro viajero, que pudo formular
una sola pregunta que descifra el
enigma, encontr el camino correcto
Y hacia la Capital se
encamina, eso s, algo
perturbado por el esfuerzo
que se trate del que dice la verdad . . .