Lógica Booleana - Of.

Descargar como xlsx, pdf o txt
Descargar como xlsx, pdf o txt
Está en la página 1de 30

conjunción p q p^q p

v v v v
v f f v
f v f v
f f f v
v
disyunción p q pvq v
v v v v
v f v v
f v v f
f f f f
f
condicional p q p->q f
v v v f
v f f f
f v v f
f f v f

negación p ¬p
v f
f v
q r s INTEGRANTES:
v v v ANDREA CAICEDO.
v v f EDWIN PUPIALES.
v f v JORGE VEGA.
v f f
f v v RAZONAMIENTO LÓGICO.
f v f
f f v LOGICA BOOLEANA.
f f f
v v v DOCENTE:
v v f DANNY CÁRDENAS.
v f v
v f f
f v v
f v f
f f v
f f f
conjunción p q p^q p
v v v v
v f f v
f v f v
f f f v
v
disyunción p q pvq v
v v v v
v f v v
f v v f
f f f f
f
condicional p q p->q f
v v v f
v f f f
f v v f
f f v f

Lenguage booleano
negación p ¬p
v f
f v

1.Si los elefantes volaran ó supieran tocar el acordeón , pensaría que estoy como una regadera
y dejaría que me internaran en un psiquiátrico.

p= los elefantes vuelan


q=los elefantes saben tocar acordeón
r=pensaría queme
s=dejaría que estoy como una
internaran regadera
en un psiquiátrico.
q r s (pvq) (r^s) (pvq) -> (r^s)
v v v v v v
v v f v f f
v f v v f f
v f f v f f
f v v v v v
f v f v f f
f f v v f f
f f f v f f
v v v v v v
v v f v f f
v f v v f f
v f f v f f
f v v f v v
f v f f f v
f f v f f v
f f f f f v

Lenguage booleano (pvq) -> (r^s)

estoy como una regadera


conjunción p q p^q p
v v v v
v f f v
f v f v
f f f v
v
disyunción p q pvq v
v v v v
v f v v
f v v f
f f f f
f
condicional p q p->q f
v v v f
v f f f
f v v f
f f v f

bicondicional p q p<->q
v v v Lenguage booleano
v f f
f v f
f f v p = atiende en clase
q = estudia en casa
negación p ¬p ¬ r= no fracasa en exámenes
v f ¬s = no sea aplaudido
f v

2. Únicamente si Pablo atiende en clase y estudia en casa , no se dará que fracase


en los exámenes y no sea apludido .

p=atiende en clase
q=estudia en casa
¬r=no fracasa en exámenes
¬s=no sea aplaudido
q r s p^q ¬r ¬s ¬r^¬s
v v v v f f f
v v f v f v f
v f v v v f f
v f f v v v v
f v v f f f f
f v f f f v f
f f v f v f f
f f f f v v v
v v v f f f f
v v f f f v f
v f v f v f f
v f f f v v v
f v v f f f f
f v f f f v f
f f v f v f f
f f f f v v v

Lenguage booleano (p^q) <-> (¬r ^ ¬s)

= atiende en clase
= estudia en casa
r= no fracasa en exámenes
s = no sea aplaudido

ue fracase
(p^q) <-> (¬r ^ ¬s)
f
f
f
v
v
v
v
f
v
v
v
f
v
v
v
f
conjunción p q p^q p
v v v v
v f f v
f v f f
f f f f

disyunción p q pvq
v v v Lenguage booleano
v f v
f v v
f f f p = uno tiene imaginación
q = la muerte es poca cosa
condicional p q p->q
v v v
v f f
f v v
f f v

bicondicional p q p<->q
v v v
v f f
f v f
f f v

negación p ¬p
v f
f v

3. Cuando uno no tiene imaginación , la muerte es poca cosa; cuando uno la tiene,
la muerte es demasiado.

p=uno tiene imaginación


q=la muerte es poca cosa
¬p=no imaginación
¬q=muerte no es poca cosa (es demasiado)
q ¬p ¬q ¬p -> q p -> ¬q (¬p->q) ^ (p -> ¬q)
v f f v f f
f f v v v v
v v f v v v
f v v f v f

Lenguage booleano (¬p->q) ^ (p -> ¬q)

= uno tiene imaginación ¬p = no imaginación


= la muerte es poca cosa ¬q = muerte no es demasiado

no la tiene,
conjunción p q p^q p
v v v v
v f f v
f v f v
f f f v
v
disyunción p q pvq v
v v v v
v f v v
f v v f
f f f f
f
condicional p q p->q f
v v v f
v f f f
f v v f
f f v f

bicondicional p q p<->q
v v v Lenguage booleano
v f f
f v f
f f v p = La gorila es atractiva
q = La gorila sonreirá abiertamen
4. Si la gorila es atractiva, el gorila sonreirá abiertamente ó será infeliz.Si no es felíz, r = La gorila será feliz
no procreará en cautividad .Por tanto, si la gorila es atractiva, entonces , si el gorila s = Proceará en cautividad
no sonríe abiertamente , no procreará en cautividad.
q r s ¬q ¬s qvr ((q v r) ^ ¬s) (p -> ((q v r) ^ ¬s))
v v v f f v f f
v v f f f v f f
v f v f v v v v
v f f f v v v v
f v v v f v f f
f v f v f v f f
f f v v v f f f
f f f v v f f f
v v v f f v f v
v v f f f v f v
v f v f v v v v
v f f f v v v v
f v v v f v f v
f v f v f v f v
f f v v v f f v
f f f v v f f v

Lenguage booleano (p -> ((q v r) ^ ¬s)) -> (p -> (¬q -> ¬s))

gorila es atractiva ¬p = La gorila no es atractiva


gorila sonreirá abiertamente ¬q = La gorila no sonríe
gorila será feliz ¬r = La gorila no sera feliz
oceará en cautividad ¬s = No proceará en cautividad
(¬q -> ¬s) (p -> (¬q -> ¬s)) (p -> ((q v r) ^ ¬s)) -> (p -> (¬q -> ¬s))
v v v
v v v
v v v
v v v
f f v
f f v
v v v
v v v
v v v
v v v
v v v
v v v
f v v
f v v
v v v
v v v
conjunción p q p^q p
v v v v
v f f v
f v f v
f f f v
f
disyunción p q pvq f
v v v f
v f v f
f v v
f f f
Lenguage booleano
condicional p q p->q
v v v
v f f p = Juan viaja a Japón
f v v q = María se queda en Venecia
f f v r = Rosa viaja a Luxemburgo

bicondicional p q p<->q
v v v
v f f
f v f
f f v

5. Juan partirá para Japón, si María se queda en Venecia. Rosa viajará a


Luxemburgo o Juan no partirá para Japón. O María no se queda en Venecia o Rosa
no viajará a Luxemburgo. Por consiguiente, María no se queda en Venecia.
q r ¬p ¬q ¬r (q -> p) (r v ¬p) (q -> p) ^ (r v ¬p)
v v f f f v v v
v f f f v v v v
f v f v f v v v
f f f v v v v v
v v v f f f v f
v f v f v f v f
f v v v f v v f
f f v v v v f f

Lenguage booleano (((q -> p) ^ (r v ¬p)) ^ (¬q v ¬r)) -> ¬q

an viaja a Japón ¬p = Juan no viaja a Japón


aría se queda en Venecia ¬q = María no se queda en Venecia
sa viaja a Luxemburgo ¬r = Rosa no viaja a Luxemburgo
(¬q v ¬r) (((q -> p) ^ (r v ¬p)) ^ (¬q v ¬r)) (((q -> p) ^ (r v ¬p)) ^ (¬q v ¬r)) -> ¬q
f f v
v v f
v v v
v v v
f f v
v f v
v f v
v f v
conjunción p q p^q p
v v v v
v f f v
f v f v
f f f v
f
disyunción p q pvq f
v v v f
v f v f
f v v
f f f
Lenguage booleano
condicional p q p->q
v v v
v f f p = Si la luna es mayor que la tierra
f v v q = La tierra es mayor que el sol
f f v s = Juiter es mayor que pluton

bicondicional p q p<->q
v v v
v f f
f v f
f f v

6. Si la Luna es mayor que la Tierra, la Tierra es mayor que el Sol. Júpiter es mayor
que Plutón, si la Tierra es mayor que el Sol. Por tanto, si la Luna es mayor que la
Tierra, Júpiter es mayor que Plutón.
q r (p -> q) (r -> q) ((p -> q)^(r -> q)) (p -> r) ((p -> q) ^ (r -> q)) -> (p -> r)
v v v v v v v
v f v f f f v
f v f v f v v
f f f v f f v
v v v v v v v
v f v f f v v
f v v v v v v
f f v v v v v

Lenguage booleano ((p -> q) ^ (r -> q)) -> (p -> r)

la luna es mayor que la tierra


tierra es mayor que el sol
ter es mayor que pluton
conjunción p q p^q p
v v v v
v f f v
f v f v
f f f v
f
disyunción p q pvq f
v v v f
v f v f
f v v
f f f
Lenguage booleano
condicional p q p->q
v v v
v f f p = Cuando viajo
f v v q = Mareo
f f v s = Me da hambre

bicondicional p q p<->q
v v v
v f f
f v f
f f v

7. Cuando viajo me mareo. Siempre que me mareo, me entra un hambre atroz. Así
pues, siempre que me entra un hambre atroz, viajo.
q r (p -> q) (q -> r) ((p -> q)^(q -> r)) (r -> p) ((p -> q) ^ (r -> q)) -> (p -> r)
v v v v v v v
v f v f f v v
f v f v f v v
f f f v f v v
v v v v v f f
v f v f f v v
f v v v v f f
f f v v v v v

Lenguage booleano ((p -> q) ^ (q -> r)) ->(r -> p)

e da hambre
conjunción p q p^q p
v v v v
v f f v
f v f v
f f f v
f
disyunción p q pvq f
v v v f
v f v f
f v v
f f f
Lenguage booleano
condicional p q p->q
v v v
v f f p = Si estudia
f v v q = Tiene buenas notas
f f v r = Pasa el colegio

bicondicional p q p<->q
v v v
v f f
f v f
f f v

8. Si Guillermo estudia, obtiene buenas notas. Si no estudia, lo pasa bien en el


colegio. Si no saca buenas notas, no lo pasa bien en el colegio. Así pues, Guillermo
obtiene buenas notas.
q r ¬p ¬q ¬r (p-> q) (¬p -> ¬r) (p -> q) ^ (¬p -> ¬r)
v v f f f v v v
v f f f v v v v
f v f v f f v f
f f f v v f v f
v v v f f v f f
v f v f v v v v
f v v v f v v v
f f v v v v v v

Lenguage booleano (((p -> q) ^ (¬ p -> r)) ^ (¬ q -> ¬ r)) -> q

¬p = No estudia
ene buenas notas ¬q = No tiene buenas notas
sa el colegio ¬t = No pasa el colegio
(¬q v ¬r) (((p -> q) ^ (¬p -> ¬r)) ^ (¬q v ¬r)) (((p -> q) ^ (¬ p -> r)) ^ (¬ q -> ¬ r)) -> q
f f v
v v v
v f v
v f v
f f v
v v v
v v f
v v f
conjunción p q p^q p
v v v v
v f f v
f v f v
f f f v
f
disyunción p q pvq f
v v v f
v f v f
f v v
f f f
Lenguage booleano
condicional p q p->q
v v v
v f f p = Juega baloncesto
f v v q = Juega al tenis
f f v r = Juega futbol

bicondicional p q p<->q
v v v
v f f
f v f
f f v

9. Cuando Eduardo no juega al baloncesto, juega al tenis; cuando juega al tenis,


juega al fútbol; no juega al fútbol. Por tanto, Eduardo juega al baloncesto.
q r ¬p ¬q ¬r (¬p -> q) (q -> r) ((¬p -> q) ^ (r -> q))
v v f f f f v f
v f f f v f f f
f v f v f v v v
f f f v v v v v
v v v f f v v v
v f v f v v f f
f v v v f v v v
f f v v v v v v

Lenguage booleano ((¬p -> q) ^ (q -> r)) ^ (¬r -> p)

ega baloncesto ¬p = No juega baloncesto


¬q = No juega tenis
¬r = No juega futbol
(¬r -> p) ((¬p -> q) ^ (q -> r)) ^ (¬r -> p)
f f
v f
f f
v v
v v
v f
v v
v v
conjunción p q p^q p
v v v v
v f f v
f v f v
f f f v
v
disyunción p q pvq v
v v v v
v f v v
f v v v
f f f v
v
condicional p q p->q v
v v v v
v f f v
f v v v
f f v v
f
bicondicional p q p<->q f
v v v f
v f f f
f v f f
f f v f
f
10. Si la tormenta continúa o anochece, nos quedaremos a cenar o a dormir; si nos f
quedamos a cenar o a dormir no iremos mañana al concierto; por consiguiente, f
iremos mañana al concierto.
f
f
f
f
f
f
f
Lenguage booleano

p = La tormenta continua
q = Anochece
r = Quedamos a cenar
s = Quedamos a dormir
t = Iremos al concierto
q r s t ¬t (p v q) (r v s) (p v q) -> (r v s)
v v v v f v v v
v v v f v v v v
v v f v f v v v
v v f f v v v v
v f v v f v v v
v f v f v v v v
v f f v f v f f
v f f f v v f f
f v v v f v v v
f v v f v v v v
f v f v f v v v
f v f f v v v v
f f v v f v v v
f f v f v v v v
f f f v f v v v
f f f f v v v v
v v v v f v v v
v v v f v v v v
v v f v f v v v
v v f f v v v v
v f v v f v v v
v f v f v v v v
v f f v f v f f
v f f f v v f f
f v v v f f v v
f v v f v f v v
f v f v f f v v
f v f f v f v v
f f v v f f v v
f f v f v f v v
f f f v f f f v
f f f f v f f v
Lenguage booleano (((p v q) -> (r v s)) ^ ((r v s) -> ¬t))) -> t

tormenta continua

edamos a cenar
edamos a dormir
mos al concierto ¬t = No iremos al concerto
(r v s) -> ¬t) (((p v q) -> (r v s)) ^ ((r v s) -> ¬t))) (((p v q) -> (r v s)) ^ ((r v s) -> ¬t))) -> t
f f v
v v v
f f v
v v v
f f v
v v v
v f v
v f v
f f v
v v v
f f v
v v v
f f v
v v v
f f v
v v v
f f v
v v v
f f v
v v v
f f v
v v v
v f v
v f v
f f v
v v v
f f v
v v v
f f v
v v v
f f v
v v v

También podría gustarte