Ayudanta 01: Lgica

PREGUNTA 1
Si la proposicin (~p . q) [(p . r) v t] es falsa, determine el valor de verdad de:
i) ~[(~p v ~q) (r v ~t)]
ii) (~p t) (~q r)
Si (~p . q) [(p . r) v t] es F, entonces (~p . q) es V y [(p . r) v t] es F.
Y, si (~p . q) es V, entonces ~p es V, y q es V. Luego, p es F y q es V.
Por otro lado, si (p . r) v t es F, entonces (p . r) es F y t es F. Luego, como para p Falso (p . r) es F, entonces el v. de v.
de r es libre.
Ahora, al evaluar los esquemas para p: F y, q: V:
i) ~[(~p v ~q) (r v ~t)] ~[(~F v ~V) (r v ~F)] ~[(V v F) (r v V)] ~[V V] ~V F
ii) (~p t) (~q r) (~F F) (~V r) (V F) (F r) (F V) V
Luego, cuando el esquema dado es Falso, los dos esquemas investigados son F y V, respectivamente
PREGUNTA 2
Sean p, q y r, proposiciones lgicas, demostrar usando Algebra Proposicional que la siguiente proposicin es tautologa.
Justifique cada paso. ( ) ( ) | | p q r . v . r q p
( ) ( )
( ) ( ) ( )
( ) ( ) ( )
( ) ( ) ( ) { }
( ) ( ) { } ( )
( ) ( ) ( )
( ) ( ) ( ) ( )
r q p
r q p / Def
r q p / Def
r p / Distr
p /Abs p p C
p /Abs C p
p / Distr

p q r
p q r
p q r
p q r q r Der
p q C q r
p q q r p
p q r q q r Der
( . v .

( . v . v

( v . v . v

(
v . . v . v . v

(
v . v . v .

( v . . v v

(
. . v . . v . v

( ) ( ) ( ) ( )
( ) ( ) ( ) ( )
( ) ( ) ( )
( ) ( ) ( )
( ) ( )
( ) ( )
( ) ( )
p /Asociatividad
p /Abs p p C
p /Abs C p
p /Abs C p
p / De Morgan
p / . / .
/ p T
/ p
p q r q q r
p q r C r
p q r C C
p q r p
p q r
p q r Canmut Asociat
T q r Abs p
T Abs T
(
. . v . . v

(
. . v . v .

(
. . v v .

(
. . v v

(
v . v

( v v .

( v . v

v ( ) T


PREGUNTA 4
Dado el enunciado siguiente, determine por lgebra proposicional su valor de verdad, justificando cada paso)

Si no soy feliz, entonces no puedo sonrer. Ser feliz y ser un desgraciado a la vez, es imposible. Sin embargo, ahora estoy
sonriendo, por lo tanto no soy un desgraciado
Sean:
p: Soy feliz
q: Sonro
r: Soy un desgraciado

El planteamiento queda como sigue:
{ } { }
( ) ( ) { } ( ) ( ) ( ) { }
( ) { } ( ) ( ) { }
( ) { } { } ( ) ( ) { }
( ) ( ) { } { } ( ) ( ) { }
( ) { } ( ) ( )
( ) ( ) ( )
( ) { } ( ) { }
( ) ( ) { } ( ) { }
~ ~ ~ ~ ~
~ ~ ~ ~
~ ~ ~ ~
~ ~ ~ ~
~ ~ ~
~ ~ ~
~ ~ ~
~ ~ ~
p q p r q r
p q p r p r q r
p q p r p r q r
p q q p r p r r
p q q q p r p r r
p q C p r p r r
p q p r p r r
p p r q p r r
p p p r q p r r
C p
. v . (

(
v . v . . .

( v . v . v .

(
v . . v . v

(
. v . . v . v

( . v . v . v

. . v . v (

( . v . . v

( . v . . . v

v
: : :
( ) { } ( ) { }
{ } ( ) { }
{ } ( ) { }
{ } ( ) ( ) { }
{ } ( ) { }
{ } { }
{ } { }
{ }
{ }
{ }
{ }
( ) ( )
( )
~ ~
~ ~
~ ~
~ ~ ~
~ ~
~ ~
~ ~
~ ~
~ ~ ~
~ ~ ~ ~
~ ~ ~
~ ~ ~
~ ~
r q p r r
p r q p r r
p q r p r r
p q r p r r r
p q r p C r
p q r p r
p p r q r
p r q r
p r q r
p r q r
p r q r
p q r r
p q T
T
( . . . v

( . . . v

( . . . v

( . . . v .

( . . . v

. . . (

. . . (

. . (

. . v (

v . v
v v v
v v v
v v

PREGUNTA 5
Si aumenta el poder de negociacin de los proveedores, entonces aumenta el costo de produccin para una firma. Si las
barreras de entrada al mercado son bajas, entonces entran nuevos competidores. Al entrar nuevos competidores, el
cliente tiene la opcin de elegir y los precios tienden a la baja. Adems, si el precio tiende al alza y disminuye el costo de
produccin, la industria es rentable. Si el aument el poder de negociacin de los proveedores y las barreras de entrada
son bajas, se puede concluir de todo lo anterior que la industria no es rentable.

P: Aumenta el poder de negociacin de los proveedores
Q: Aumenta el costo de produccin de la firma
R: Las barreras de entrada al mercado son bajas
S: Entran nuevos competidores
T: El Cliente puede elegir
U: Los precios tienden a la baja
V: La industria es rentable

( ) ( ) ( ) ( ) p q r s s t u u q v p r v . . . . . . . : : :

( ) ( ) ( ) ( ) ( )
( ) ( ) ( ) ( )
( ) ( ) ( ) ( ) ( )
( ) ( ) ( ) ( ) ( )
( )
( ) ( ) ( ) ( )
( ) ( ) ( ) ( ) ( )
( )
( ) ( ) ( )
( ) ( ) ( ) ( )
( )
( ) ( ) ( ) ( )
( )
p q r s s t u u q v p r v
p q r t u u q v p r v
p q r t u u q v p r v
p p q r r t u u q v v
p p p q r r r t u u q v v
C p q C r t u u q v v
p q r t u u q v v
p q r t u u q v v
p q r t u
. . . . . . .
. . . . . .
v . v . . v v . .
. v . . v . . v v
. v . . . v . . . v v
v . . v . . . v v
. . . . . v v
. . . . . v v
v v v v
: : :
: : :
: : :
: : :
: : :
:
:
:
: : : : : ( ) u q v v v . . v : : : :