Algunas propiedades (hay más en la pág.

18 del Apuntes)

~a~:b × : Doble negación

a: • ; b × a; • : b
a: ” ; b × a; ” : b Conmutatividad
a: Ç ; b × a; Ç : b
Òa: • ; b • <Ó × Ò: • a; • <bÓ
Òa: ” ; b ” <Ó × Ò: ” a; ” <bÓ Asociatividad
Ò a: Ç ; b Ç < Ó × Ò : Ç a; Ç < bÓ
Ò: • a; ” <bÓ × Òa: • ; b ” a: • <bÓ
Distributividad
Ò: ” a; • <bÓ × Òa: ” ; b • a: ” <bÓ
~a: • ; b × a~: ” ~ ; b
Leyes de De Morgan
~a: ” ; b × a~: • ~ ; b
a: • : b × :
› Idempotencia
a: ” : b × :
~a: Ä ; b × a: • ~ ; b

Comentarios sobre Problema 2, Guía 1:

Escribe simbólicamente los enunciados:
(a) Los trigales hablan o los cipreses lloran.
: À 6os trigales hablan
; À los cipreses lloran
: ” ; : Los trigales hablan o los cipreses lloran

(e) Si luce el sol, iremos a la playa.

: À luce el sol
; À iremos a la playa
: Ä ; À Si luce el sol, iremos a la playa
: Ç ; À Iremos a la playa sí y sólo si luce el sol
~ ; : No iremos a la playa ( Notación: ~ ; œ ; œ ; w Ñ
: • ; : Luce el sol e iremos a la playa

(h) Si suben los precios, entonces aumenta el IPC y disminuye el poder adquisitivo del peso.
: À suben los precios,
; À aumenta el IPC
< : disminuye el poder adquisitivo del peso
: Ä Ð; • <Ñ: si suben los precios, entonces aumenta el IPC y disminuye el poder adquisitivo del peso.

(i) El profesor esta ausente y los alumnos no resuelven la guía.

: À el profesor esta ausente
; À los alumnos NO resuelven la guía
: • ; : el profesor esta ausente y los alumnos no resuelven la guía.

Obs: Si, en cambio, definimos ; À los alumnos resuelven la guía, entonces

: • ; : el profesor esta ausente y los alumnos no resuelven la guía.

(j) Un número es divisible por seis, si y sólo si, es divisible por dos y por tres a la vez.
: À un número es divisible por seis
; À un número es divisible por dos
< : un número es divisible por tres
: Ç a; • <b: un número es divisible por seis, si y solo si es divisible por dos y por tres a la vez.
Comentarios sobre Problema 3, Guía 1
Si la proposición "No es cierto que, estudiamos y no aprobamos" es verdadera, entonces
podemos afirmar:
(a) Aprobamos y no estudiamos. (b) Estudiamos o aprobamos.
(c) Estudiamos o no aprobamos. (d) Aprobamos o no estudiamos.
(e) Estudiamos y aprobamos.

Sean : À estudiamos
+ À aprobemos
Entonces ~ a: • ~ + b À "No es cierto que, estudiamos y no aprobamos"
~ a: • ~ + b × Ð~ : ” ~ Ð~ +ÑÑ DeMorgan
× Ð~ : ” + Ñ doble negación
× Ð+ ” ~: Ñ conmutatividad
y Ð + ” ~ : Ñ es "aprobamos o no estudiamos"
Luego, respuesta es ítem (d)

Comentarios sobre Problema 7, Guía 1

: ; < : ; < :Ä; < ”; Ð: Ä ;Ñ • Ð< ” ;Ñ • < Ò Ð: Ä ;Ñ • Ð< ” ;Ñ • < Ó Ä :

Z Z Z J J J J Z J Z
Z Z J J J Z J Z J Z
Z J Z J Z J Z J J Z
Z J J J Z Z Z Z J Z
J Z Z Z J J Z Z Z Z
J Z J Z J Z Z Z J Z
J J Z Z Z J Z J J Z
J J J Z Z Z Z Z J Z
Tautología!!

Recuerden que:
Se dice que una proposición + implica lógicamente una proposición , si el condicional + Ä , es una
tautología y se denota por "+ Ö , " y se lee "+ implica , ".

Entonces, en nuestro caso: Ò Ð: Ä ;Ñ • Ð< ” ;Ñ • < Ó Ä : se denota Ò Ð: Ä ;Ñ • Ð< ” ;Ñ • < Ó Ö :

Observación:
Si conocemos el valor de verdad de las proposiciones, como por ejemplo,
Si : es Z ß ; es J y < es Z , entonces Ò Ð: Ä ;Ñ • Ð< ” ;Ñ • < Ó Ä :
se reduce a analizar sólo un caso:
ÒÐZ Ä Z Ñ • ÐJ ” J Ñ • Z Ó Ä J

Ò ÐZ Ñ • ÐJ Ñ • Z Ó Ä J

Ò J ÓÄJ

Z
Problema 2, Guía 2
La proposición ~ a: Ä ; b • a; Ä ~ <b es equivalente a cuál de las siguientes proposiciones?
ÐaÑ : • Ð: ” ~ <Ñ • Ð~ ;Ñ
ÐbÑ Ð : • ~ ;Ñ • Ð~ Ð; • <ÑÑ
ÐcÑ Ð : • ~ ;Ñ ”  a: • ~ <b • a~ ; b‘

~ a: Ä ; b • a; Ä ~ <b × ~ Ð~ : ” ;Ñ • Ð~ ; ” ~ <Ñ
× Ð : • ~ ;Ñ • Ð~ Ð; • <ÑÑ

Luego, la proposición ~ a: Ä ; b • a; Ä ~ <b es equivalente a la proposición (b)

Problema 4, Guía 2
Verifique que las siguientes condicionales son equivalencias lógicas:
(b) a: Ç ; b × a: Ä ; b • a; Ä :b
: ; : Ç ; a: Ä ; b a; Ä : b a: Ä ; b • a; Ä : b a: Ç ; b Ç  a: Ä ; b • a; Ä : b‘
Z Z Z Z Z Z Z
Z J J J Z J Z
J Z J Z J J Z
J J Z Z Z Z Z
Tautología
Recuerden que:
Las proposiciones + y , se dicen lógicamente equivalentes si sus tablas de verdad son idénticas, o bien, si su
bicondicional es una tautología. Se denota por "+ × , " y comúnmente se lee "+ si y sólo si , ".

Luego, en nuestro ejercicio: a: Ç ; b × a: Ä ; b • a; Ä :b

(d) Ð : ” ;Ñ • : × :

: ; :”; Ð : ” ;Ñ • : Ò Ð : ” ;Ñ • : Ó Ç :
Z Z Z Z Z
Z J Z Z Z
J Z Z J Z
J J J J Z
Tautología
Luego, Ð : ” ;Ñ • : × :

Problema 9, Guía 2
Si la proposición Ð< ” =Ñ Ä  a: • ~ =b Ä a : • ~ ; b‘ es falsa, determinar el valor de verdad de:
(a) a: • ~ ; b Ç <
(b) ; •  Ð~ : Ñ ” Ð~ =Ñ‘
(c)  Ð~ : Ñ Ä <‘ ” Ð~ =Ñ

La proposición dada es falsa ssi Ð< ” =Ñ es verdadera y  a: • ~ =b Ä a : • ~ ; b‘ es falsa.

 a: • ~ =b Ä a : • ~ ; b‘ es falsa ssi a: • ~ =b es verdadera y a : • ~ ; b es falsa.

a: • ~ =b es verdadera ssi : y Ð~ =Ñ son verdaderas. Esto es, si : es verdadera y = es falsa
a : • ~ ; b es falsa, entonces a ~ ; b debe ser falsa, porque : es verdadera . Luego ; es verdadera.
Como Ð < ” =Ñ es verdadera y = es falsa, entonces < es verdadera
En resumen, :, ; ,< verdaderas y = falsa,
Así,
(a) a: • ~ ; b Ç <
aZ • J b Ç Z
J ÇZ
J

(b) ; •  Ð~ : Ñ ” Ð~ =Ñ‘
Z •  ÐJ Ñ ” ÐZ Ñ‘
Z • Z ‘
Z

(c)  Ð~ : Ñ Ä <‘ ” Ð~ =Ñ
 ÐJ Ñ Ä Z ‘ ” ÐZ Ñ
 Z ‘ ” ÐZ Ñ
Z