01 Lógica Proposicional

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 agradabley 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 q) p
c) (q p) ( p q)
e) (p q) (r)
b) p (p 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 q ) r] s
ii) r (s p)
iii) (p 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 q) ( p q);
q es V
6) Determinar, si es posible,
proposiciones:
a) (p q) q
b) p (p q)
c) [ (p q) q] q
el valor de verdad de las siguientes

si
si
si
p q es Falso
p q es Verdad
p es Verdad y q es Verdad
7) Simplificar las siguientes proposiciones:

a) ( p q)
b) (p q) ( p q)
c) (p q)
8) Negar los siguientes esquemas proposicionales y obtener expresiones

equivalentes.
i) q r
iii) p (q r)
ii) (p q) r
iv) (p 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?.
1 a b
1 c d
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 e
1 f
2 a b
2 c d
NEGACION
1 a b
1 c d
Si queremos negar una proposicin debemos anteponer

expresiones como
No es cierto que . . .; No sucede que . . .;
o insertar convenientemente en la expresin
. . . NO . . . .
1 e
2 a b
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 f
2 c d
CONECTORES LOGICOS
1 a b
1 c d
Para vincular las proposiciones vamos a valernos de los

conectores lgicos;
ellos son:
1 e
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
2 a b
1 f
2 c d
Dadas las proposiciones :

P : El jueves es el examen
q : El viernes viajo
1 a b
1 c d
Podemos escribir las proposiciones compuestas :

El jueves es el examen y el viernes viajo
pq
El jueves es el examen o el viernes viajo, pero no ambas cosas

o
Si el jueves es el examen, entonces el viernes viajo

El jueves es el examen si y solo si el viernes viajo
2 a b
pq
El jueves es el examen o el viernes viajo, o ambas cosas
El jueves es el examen implica que el viernes viajo
1 e
pq
pq
pq
1 f
2 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
Proposicin
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 ( )

La expresin simblica es :
Negacin
Operaciones
pq
Ejemplos
1 b) En la expresin
La comida es buena o el servicio es bueno, pero no ambas cosas
Las proposiciones involucradas son
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 ( )

pq
1 c-d
pq
1e
1f
1 c) En la expresin La comida es buena y el servicio no es bueno

Las proposiciones involucradas son:
pero la proposicin el servicio es bueno

p yq
est negada
Negacin
estn vinculadas con el operador y
el operador que corresponde ahora es CONJUNCION

Proposicin
()
Operaciones
pq
Ejemplos
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:
r : El restaurante es de tres estrellas
No es negacin pero el que tanto es la negacin de toda la expresin

en ella, el como que sugiere una conjuncin
(pr)
(p r)
1e
1f
1 e) En la expresin :
Si tanto la comida como el servicio son buenos, entonces el

restaurante es de tres estrellas.
Proposicin
Las proposiciones involucradas son :

q : El servicio es bueno
Negacin
Operaciones
El Si . . . . . . . entonces . . . . . . nos hace pensar en la implicacin
Ejemplos
donde aparecern involucradas dos proposiciones: la primera

llamada antecedente y la otra llamada consecuente
La forma es : 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)
El consecuente es : entonces (el restaurante es de tres estrellas)

(pq)r
1f
pq
r
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 :
q : El servicio es bueno
Aparecen aqu tres operaciones

la primera es una negacin que afecta a toda la expresin que contina
se distingue tambin una implicacin,
Proposicin
Negacin
Operaciones
Ejemplos
aunque no aparezca aqu el clsico si . . . entonces . . .

sino
si . . . .siempre significa . . . .
detectaremos ahora cual es el antecedente y el consecuente de la implicacin

el antecedente es la proposicin r : el restaurante es de tres estrellas
el consecuente es la conjuncin p q : la comida es buena y el servicio es bueno
[ r ( p q) ]
2 a) Si las proposiciones son :

p : el clima es agradable q : vamos de da de campo
La proposicin compuesta
pq
es la conjuncin de las
proposiciones p con q
Proposicin
que en el lenguaje coloquial se expresa :
Negacin
el clima es agradable y vamos de da de campo

2 b)
Si las proposiciones son :

p : el clima es agradable
pq
Operaciones
Ejemplos
q : vamos de da de campo
es la doble implicacin de las
proposiciones p con q
el clima es agradable si y solo si vamos de da de campo

2 c-d
2 c) Si las proposiciones son :

qp
es la implicacin
q implica p
Proposicin
Si vamos de da de campo entonces el clima es agradable

2 d) Si las proposiciones son :
La proposicin compuesta (p q)
Negacin
Operaciones
Ejemplos
es la negacin de la doble implicacin
de las proposiciones p con q
No es cierto que el clima es agradable si y solo si

vamos de da de campo
3 a-b
Tablas de Verdad
3 c-d
3 e
La primera operacin que vamos a tratar es la negacin
p es falso
Si p es falso , p es verdad
Si p es verdad ,
5 i
6 i-ii
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
34-5
6
pq
V
F
F
V
F
F
5 ii
6 iii
La tabla de verdad de la disyuncin de proposiciones se resuelve

verdadera a si alguna o
ambas proposiciones son
verdaderas
falsa si ambas
proposiciones son falsas
pq
V
F
F
V
V
V
3 a-b
4
verdadera si las proposiciones

tienen valores de verdad
diferentes
34-5
6
5 i
6 i-ii
La tabla de verdad de la disyuncin excluyente

de proposiciones se resuelve
falsa si ambas
proposiciones tienen el
mismo valor de verdad
3 c-d
pq
V
F
F
V
V
V
3 e
5 ii
6 iii
La tabla de verdad de la implicacin de proposiciones se resuelve

verdadera si ambas
proposiciones son verdaderas
falsa nicamente con
antecedente (p) verdadero
y consecuente (q) falso
si el antecedente es falso, no
importa el consecuente, la
implicacin es verdadera
p q
V
F
F
V
F
V
3 a-b
4
falsa las proposiciones
tienen valor de verdad

diferente
34-5
6
5 i
6 i-ii
los trminos antecedente

consecuente se usan
exclusivamente en sta operacin
La tabla de verdad de la doble implicacin se resuelve :

verdadera si ambas
proposiciones tienen el mismo
valor de verdad
3 c-d
pq
V
F
F
V
F
F
3 e
5 ii
6 iii
3 a-b
3 e
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 : 2n donde n es
la cantidad de proposiciones.
Si tengo que operar las

proposiciones p ; q y
r, las combinaciones
posibles sern: 23 = 8
34-5
6
5 i
3 c-d
4
5 ii
6 i-ii
resultado
6 iii
3 a) Para hacer la tabla de

verdad de ( p q ) p
debemos resolver
primero p q
considerando la columna
p q obtenida como
antecedente y la de q
como consecuente,
resolvemos la
implicacin
p q
3 b) Para hacer la tabla de

verdad de p ( p q )
debemos resolver primero
q
y con placolumna
obtenida buscar el
resultado final.
(p q) p
Negacin - Conjuncin
Disyuncin Disyuncin
Excluyente
Implicacin
Doble Implicacin
p q
3 c-d
p (p q)
3 e
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
qp
p q
(q p) (p q)
V
F
F
V
V
F
F
V
F
V
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.
Negacin - Conjuncin
Disyuncin Disyuncin
Excluyente
Implicacin
Doble Implicacin
r r ( r r )
y luego negar ( r r )
3 e
3 e) En ( p q ) ( 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
( p q ) ( r )
F
V
Luego se resuelve ( p q ) y finalmente ( p q ) ( r )
Negacin - Conjuncin
Disyuncin Disyuncin
Excluyente
Implicacin
Doble Implicacin
4) Para resolver este ejercicio podemos confeccionar una tabla de

verdad solamente para los valores asignados a las proposiciones
i) [(p q) r] s
p
V
q
F
p q
se resuelve:
(p q) r [(p q) r] s
ii) r (s p)
Negacin - Conjuncin
Disyuncin Disyuncin
Excluyente
Implicacin
Doble Implicacin
se resuelve:
s p
r (s p)
iii) (p r) (r s)
se resuelve:
p r
r s
F
(p r) (r s)
F
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:
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
Negacin - Conjuncin
Disyuncin Disyuncin
Excluyente
Implicacin
Doble Implicacin
(p q) r es verdad
Otra forma de resolverlo es usando tablas de verdad
Analizamos solamente
cuando r es verdad
ahora resolvemos como
cualquier tabla de verdad
(p q) r
p q
V
V
F
V
V
5 ii
5 ii) Para saber el valor de verdad de

(p q) ( p q)
cuando
q es
Debemos considerar que la operacin principal es una doble implicacin,

donde las expresiones involucradas son (p q) y ( p q)
Negacin - Conjuncin
si q es V cualquier disyuncin donde est q, ser verdad,

luego (p q) es V
al ser q V ; q es F cualquier conjuncin donde est q , ser falso,
luego ( p q)
Disyuncin Disyuncin
Excluyente
es F
Implicacin
Doble Implicacin
Las expresiones (p q) y ( p q) tienen diferentes valores de verdad

luego : (p q) ( p q) es falso
Otra forma de resolverlo es usando tablas de verdad
Analizamos solamente
cuando q es verdad
y p
puede ser
verdad falso
p q p
q F
V
V
(p q) ( p q)
F
F
6 i)
pq
es Falso solamente cuando p es V y q es F
En (p q) q ;
si p es V
(p q) es V
nos queda una implicacin de antecedente verdadero y consecuente falso

entonces (p q) q
6 ii) si p q
es Verdad
es falso
puede pasar que:
Para hallar p (p q) confeccionamos tabla de

verdad con las tres las alternativas posibles
(p q)
p sea V y q sea V
F
F
V
F
Disyuncin Disyuncin
Excluyente
Implicacin
Doble Implicacin
p sea F y q sea V
p sea F y q sea F
p (p q)
Negacin - Conjuncin
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
6 iii
6 iii) sabiendo que p es Verdad y q es Verdad para hallar

[ (p q) q] q hacemos tabla de verdad para esos valores
Negacin - Conjuncin
q
V
p q
(p q) q
sabiendo que q es verdad
[ (p q) q] q
hallamos p q
Implicacin
Doble Implicacin
luego hacemos (p q) q
finalmente resolvemos [ (p q) q] q
Resulta [ (p q) q] q
Disyuncin Disyuncin
Excluyente
Falso
Para simplificar proposicionesapelaremos 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 q)
p q
7 a-b
7 c
8 i-ii
8 iii
8 iv
Podemos verificar la equivalencia con una tabla de verdad de la doble implicacin

p
p q
(p q)
p q
( p q) p q
p
F
Si la doble implicacin de las dos expresiones

resulta verdad en cualquier caso, las
expresiones son equivalentes
La negacin de una conjuncin de proposiciones es equivalente

a la disyuncin de la negacin de cada una de las proposiciones
Simblicamente ( p q)
p q
7 a-b

p
p q
(p q)
p q
(p q) p q
p
F

7 c
8 i-ii
8 iii
8 iv
7 a-b
Otra equivalencia que nos conviene considerar es:

La implicacin es equivalente a la negacin del
antecedente disyuncin el consecuente
Simblicamente
p q
p q
7 c
8 i-ii

p
p q
p q (p q) p q

8 iii
8 iv
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)
8 i-ii
7 a-b
7 c
8 iii
8 iv

p
p q q p (p q) (q p) p q (p q) [(p q) (q p)]

7 a) ( p q)
( p) ( q)
La negacin de una disyuncin

de proposiciones
p q
(en este caso las proposiciones

de la disyuncin son p ; q )
es equivalente a la conjuncin de la negacin de p y de q

Pero la negacin de la negacin de una proposicin es la afirmacin
As el resultado final es
p q
7 b) (p q) ( p q) ( p q) ( p q) p q
la negacin afecta solamente al primer parntesis y el resto de la operacin se escribe igual
eliminamos una de las expresiones ( p q) pues las dos son idnticas
(propiedad de idempotencia)
As el resultado final es
p q
7 c
7 c) (p q) tenemos la negacin de una doble implicacin

recuerde que la doble implicacin equivale a la
conjuncin de las implicaciones recprocas
(p q) (q
p)
la implicacin equivale a la disyuncin de la

negacin del antecedente con el consecuente
por De Morgan
[ (p q) (q p)]
Ley de De Morgan
[( p) q] [( q p)]
[( p) q] [( q) p] ( p q) ( q p)
8) Para negar cualquier expresin, escribimos la expresin que

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

buscando una expresin equivalente
8 iii
8 iv
8 iii) escribimos la expresin que queremos negar

[ p (q r) ]
y anteponiendo el signo de negacin, negamos

todo lo que est comprendido en el corchete
[ p (q r ) ] p (q r) p [ ( q ) r ]
p [ ( q ) r ] p ( q r )
buscando una expresin equivalente
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

[ ( p q ) ( r q ) ]
y negamos todo lo que est

comprendido en el corchete
viene ahora la tarea de transformar la

expresin obtenida buscando una expresin
equivalente
La doble implicacin es la conjuncin de las
La implicacin es la disyuncin de la
implicaciones recprocas
negacin del antecedente con el
consecuente
[ ( p q) ( r q ) ]
p q p q
{ [ ( p q) ( r q ) ] [ ( r q ) ( p q) ] }
{ [ ( p q) ( r q ) ] [ ( r q ) ( p q ) ] }
[ ( p q) ( r q ) ] [ ( r q ) ( p q ) ]
[ ( p q) ( r q ) ] [ ( r q ) ( p q ) ]
[ ( p q) ( r q ) ] [ ( r q) ( p
q ) ]
Tautologa o Ley Lgica:

Lgica es una proposicin compuesta, cuyos
valores de verdad son siempre verdad, cualquiera sean los
valores de verdad de las proposiciones que la componen
p
p q
p p q
p p q
Es tautologa
9 i
9 iii-iv
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
P q
(p q)
(p q)
p
F
9 ii
9 i) Para determinar si una proposicin es ley lgica tautologa,
en este caso ( p q ) r
se realiza la tabla de verdad
correspondiente
pq
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
si todos los valores de verdad de la

columna de los resultados fueran
verdaderos, la proposicin sera
tautologa
9 ii
9 iii-iv
(pq)r
9 ii) se realiza la tabla de verdad correspondiente

p q
pq
qr
(p q) (q r)
pr
[ (p q) (q r) ] (p r)
V V V
V V
V F
V F
F V V
F V
F F
F F
toda la columna de resultados es verdad

[ (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
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)
p [ p q ] es contingencia
9 iv)
(p r) (r p)
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 q
p [ p q ]
p r
r p
(p r) (r p)
(p r) (r p)
es contingencia
10) El viajero se encuentra frente a dos

caminos
SI
!
SI !
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
y si es mentiroso, miente siempre . . .
solo con si o con no
o siempre dice la verdad . . . ?
y solo una pregunta
Es un buen comienzo diferenciar los caminos, al de la
izquierda llamo camino A y al de la derecha camino 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
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 !
NO
!
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
si el viajero preguntara (que no puede hacerlo)
este es el camino que lleva a la Capital? , l
piensa mentir . . .
SI
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
Sealando ahora el camino B

(camino equivocado)

Si el Sr. Z es de los que dicen la

verdad siempre dir . . .
NO
porque si el viajero hiciera la pregunta este

es el camino que lleva a la Capital?, piensa
decir la verdad . . .
NO
Pero si el Sr. Z es mentiroso . . . .
NO
!
NO !

sealando el camino B

dir . . .
NO !
NO
SI !
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 el viajero preguntara (que no puede
hacerlo) este es el camino que lleva a la
Capital? , l piensa mentir . . .
SI
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
Como la respuesta a la pregunta

Es la misma, independientemente
Si yo le preguntara si
este camino lleva a la
Capital Ud. Qu me
respondera ?
que se trate del que dice la verdad . . . o del que miente . . .
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

01 Lógica Proposicional

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

01 Lógica Proposicional

Cargado por

Copyright:

Formatos disponibles

Lgica

2) Denotemos con p el clima es agradabley con q vamos de da de campo.

3) Construir las tablas de verdad de los siguientes esquemas

4) Los valores de verdad de las proposiciones p; q; y r; y s son respectivamente

5) Determinar en cada caso si la informacin que se da es suficiente para conocer

el valor de verdad de las siguientes

7) Simplificar las siguientes proposiciones:

8) Negar los siguientes esquemas proposicionales y obtener expresiones

9) Determinar si las siguientes proposiciones son leyes lgicas:

PROPOSICION es una expresin de la cual

pero de la expresin: Vendrs hoy ? no puede decirse que sea verdadera, ni

Vamos a denotar a las proposiciones con las letras minsculas p, q, r, s, t, u . . .

p : El Gral. San Martn cruz la cordillera de los Andes

Si queremos negar una proposicin debemos anteponer

tambin puede usarse

p : No es cierto que el Gral. San Martn cruz la cordillera de los Andes

Para vincular las proposiciones vamos a valernos de los

Mediante el uso de los conectores y smbolos

Dadas las proposiciones :

Podemos escribir las proposiciones compuestas :

El jueves es el examen o el viernes viajo, pero no ambas cosas

Si el jueves es el examen, entonces el viernes viajo

El jueves es el examen o el viernes viajo, o ambas cosas

El jueves es el examen implica que el viernes viajo

estn vinculadas con el conector o ; debe considerarse que al final se

el conector que corresponde es DISYUNCION INCLUYENTE ( )

estn vinculadas con el conector o ; debe considerarse que al final se

corresponde el conector de DISYUNCION EXCLUYENTE ( )

1 c) En la expresin La comida es buena y el servicio no es bueno

pero la proposicin el servicio es bueno

estn vinculadas con el operador y

el operador que corresponde ahora es CONJUNCION

No es negacin pero el que tanto es la negacin de toda la expresin

Si tanto la comida como el servicio son buenos, entonces el

Las proposiciones involucradas son :

El Si . . . . . . . entonces . . . . . . nos hace pensar en la implicacin

donde aparecern involucradas dos proposiciones: la primera

vamos a detectar ahora cual es el antecedente y cual es el consecuente de la implicacin.

(tanto la comida como el servicio son buenos)

El consecuente es : entonces (el restaurante es de tres estrellas)

Aparecen aqu tres operaciones

aunque no aparezca aqu el clsico si . . . entonces . . .

detectaremos ahora cual es el antecedente y el consecuente de la implicacin

2 a) Si las proposiciones son :

que en el lenguaje coloquial se expresa :

el clima es agradable y vamos de da de campo

Si las proposiciones son :

que en el lenguaje coloquial se expresa :

el clima es agradable si y solo si vamos de da de campo

2 c) Si las proposiciones son :

que en el lenguaje coloquial se expresa :

Si vamos de da de campo entonces el clima es agradable

que en el lenguaje coloquial se expresa :

No es cierto que el clima es agradable si y solo si

La primera operacin que vamos a tratar es la negacin

La tabla de verdad de la conjuncin de proposiciones se resuelve :

La tabla de verdad de la disyuncin de proposiciones se resuelve

verdadera si las proposiciones

La tabla de verdad de la disyuncin excluyente

La tabla de verdad de la implicacin de proposiciones se resuelve

falsa las proposiciones

tienen valor de verdad

los trminos antecedente