PRÁCTICA 1: ELEMENTOS DE LÓGICA
1. Escriba una negación informal para cada uno de los siguientes enunciados: (4,5
p.116)
a) Todos los perros son amigables
Algunos perros no son amigables.
b) Todas las personas son felices
Algunas personas son infelices.
c) Algunas sospechas eran fundadas
Ninguna sospecha era fundada.
Todas las sospechas eran infundadas.
d) Algunas estimaciones son exactas
Ninguna estimación es exacta.
e) Cualquier argumento válido tiene una conclusión verdadera
Algunos argumentos válidos tienen conclusiones falsas.
f) Cada número real es positivo, negativo o cero
Existe un número real que no es positivo, negativo o cero.
g) Los conjuntos A y B tienen algún punto en común
Los conjuntos A y B no tienen ningún punto en común.
2. Formalice las siguientes proposiciones:
No es cierto que viese la película y leyese novela.
P: Ver película
Q: Ver novela
Entonces: ¬ (P ∧ Q)
Vi la película aunque no leí la novela.
P: Vi la película
Q: Leí la novela
Entonces: P ∧ ¬ Q
Está lloviendo y nevando o bien está soplando el viento.
P: Está lloviendo
Q: Esta nevando
R: Esta soplando el viento
Entonces: (P ∧ Q) ∨ R
Si no estuvieras loca no habrías venido aquí.
P: Si estuvieras loca
Q: Habrías venido aquí
Entonces: ¬P ⇒ ¬Q
Si los gatos de mi hermana no soltaran tanto pelo me gustaría acariciarlos.
P: Los gatos de mi hermana sueltan pelo.
Q: me gustaría acariciarlos.
Entonces: ¬P ⇒ Q
Estás seguro y lo que dices es cierto o mientes como un bellaco.
P: Estas seguro
Q: Lo que dices es cierto
R: Mientes como un bellaco
Entonces: (P ∧ Q) ∨ R
Solo y solo si viera un marciano creería en los extraterrestres.
P: Si viera un marciano
Q: Creería en los extraterrestres
Entonces: P ⇔ Q
Haré el doctorado si y solo si termino la maestría.
P: Hare el doctorado
Q: Termino la maestría
Entonces: P ⇔ Q
Federico se irá a Hawái si y solo si le toca la lotería y no gasta el dinero en la
ruleta.
P: Federico se ira a Hawái
Q: Le toca la lotería
R: Gasta el dinero en la ruleta
Entonces: P ⇔ (Q ∧ ¬R)
Aumentará la inflación y disminuirá el paro, si se fabrica moneda o hay guerra.
P: Aumentara la inflación
Q: Disminuirá el paro
R: Se fabrica moneda
H: Hay guerra
Entonces: (P ∧ Q) ⇔ (R ∨ H)
Si hay verdadera democracia entonces no hay detenciones arbitrarias ni
violaciones de los derechos civiles.
P: Hay verdadera democracia
Q: Hay detenciones arbitrarias
R: Hay violaciones de los derechos civiles
Entonces: P ⇒ ¬ (Q ∧ R )
Viene en tren o en coche. Si viene en tren llegará antes de las 6. Si viene en coche
llegará antes de las 6. Por tanto llegará antes de las 6.
P: Viene en tren
Q: Viene en coche
L: Llegara antes de las 6
Entonces:
P∨Q
P ⇒L
Q⇒L
:.L
Si los elefantes volaran o tocaran el acordeón pensaría que estoy loco y dejaría
que me internaran en un psiquiátrico.
P: Los elefantes volaran
Q: Los elefantes tocaran el acordeón
R: Pensaría que estoy loco
D: Dejaría que me internaran en un psiquiátrico
Entonces: (P ∨ Q) ⇒ (R ∧ D)
Prefiero ir de vacaciones o estar sin hacer nada solo si tengo tiempo para ello y
no tengo que ir a trabajar.
P: Prefiero ir de vacaciones
Q: Estar sin hacer nada
R: Tengo tiempo para ello
S: Tengo que ir a trabajar
Entonces: (P ∨ Q) ⇔ (R ∧ ¬ S )
Pili no irá a la fiesta a menos que vaya Mili, y si Mili va a la fiesta no irán ni
Marisol ni Joselito.
P: Pili ira a la fiesta
Q: Mili va a la fiesta
R: Irán Marisol y Joselito
Entonces: (¬ P ∨ Q) ∧ (Q ⇒ ¬ R )
Dejaré de beber cuando suba el alcohol, en cambio dejaré de fumar tanto si sube
el tabaco como si no.
P: Dejare de beber.
R: Dejare de fumar
S: Sube el tabaco
T: Sube el alcohol
T⇒P
(S ∨ ¬S) ⇒ R
3. Utilice el modus tollens para completar el siguiente argumento: (5 p.142)
Todos los números irracionales son números reales
1/0 no es un número real
:. 1/0 no es un número irracional.
4. Establezca cuales de los siguientes razonamientos son válidos. Justifique su
respuesta (7-27 p142)
a) Todas las personas sanas comen una manzana al día
Keisha come una manzana al día
Keisha es una persona sana
-No es válido. Por la regla de afirmación o modus ponens
b) Todos los estudiantes deben tomar escritura
Carolina es una estudiante de primer año
Carolina debe tomar escritura
-Es válido. Por la regla de afirmación o modus ponens
c) Todas las personas sanas comen una manzana al día
Herbert no es una persona sana
Herbert no come una manzana al día
-No es válido. Ya que la negación en el modus ponens de P no implica la negación
de Q.
d) Si un número es par, entonces el doble de ese número es par
El número 2n es par, para un número n dado
El número dado n, es par
-No es válido, ya que puede ser que n sea impar.
e) Todas las personas son ratones
Todos los ratones son mortales
Todas las personas son mortales
-Es válido por la regla de transitividad.
f) Todos los maestros, a veces cometen errores
Los dioses nunca cometen errores
Los maestros no son dioses
-El argumento es válido.
5. Razone si los siguientes enunciados son ciertos y por qué:
Todas las brujas tienen un gato negro
Mi vecina tiene un gato negro
Mi vecina es una bruja
No es cierto, ya Que P ⇒ Q, no quiere decir que Q ⇒ P.
Si el precio de las acciones sube te harás rico
El precio de las acciones no subió
Por tanto, no te harás rico
No es cierto, ya que P ⇒ Q no quiere decir que ¬P ⇒ ¬Q
Si sales te mojarás
No te has mojado
Por tanto, no has salido
Es cierto, ya que si P ⇒ Q, entonces ¬Q ⇒ ¬P
6. Reordene las premisas para demostrar que la conclusión se obtiene como un
contexto de secuencia válida de las premisas (31 p.144)
1.
Confío en todos los animales que me pertenecen
2.
Los perros muerden huesos
3.
No admito animales en mi estudio a menos que obedezcan
4.
Todos los animales del patio son míos
5.
Admito a todos los animales en quienes confío
6.
Los animales que realmente obedecen son los perros
∴ Todos los animales del patio muerden huesos
1. Todos los animales del patio son míos
2. Confío en todos los animales que me pertenecen
3. Admito a todos los animales en quienes confío
4. No admito animales en mi estudio a menos que obedezcan
5. Los animales que realmente obedecen son los perros
6. Los perros muerden huesos
:. Solo admito en mi estudio mis animales y perros, que muerden huesos.
7. Establezca la conclusión lógica que se puede sacar:
1. No hay pájaros, excepto avestruces, de menos de 9 pies de altura
2. No hay pájaros en la pajarera que pertenezcan a nadie más que a mi
3. Ningún avestruz vive de pastelillos de fruta
4. No tengo aves de 9 pies de altura
:.No tengo una avestruz
8. Reescriba los siguientes enunciados en forma de dos enunciados si-entonces
a) Los Cachorros van a ganar el campeonato solo si ganan el juego de mañana
Si Los Cachorros ganan el juego de la mañana entonces ganan el campeonato
b) Sam podrá participar en la carrera solo si prueba ser un navegante experto
Si Sam prueba ser un navegante experto entonces podrá participar en la carrera
c) Tomar el autobús a las 8 es una condición suficiente para que llegue a tiempo a
clase
Si tomas el autobús a las 8 entonces llegaras a tiempo a clase
d) Ser divisible entre 3 es una condición necesaria para que un número sea divisible
entre 9
Si un número es divisible entre 9 entonces es divisible entre 3
e) Una condición suficiente para que el equipo gane el campeonato es que gane el
resto de los juegos
Si el equipo gana el resto de los juegos entonces gana el campeonato
9. Elena, Rosa, Blanca, Patty y Carmen viven en un edificio de 6 plantas. Si la cuarta
planta está desocupada, Patty vive al lado de Elena y Blanca, y Carmen no vive en la
última planta. ¿Dónde vive cada una? ¿Hay más de una posibilidad?
Planta 1era. 2da. 3era. 4ta. 5ta. 6ta.
Ocupante Elena Patty Blanca - Carmen Rosa
No existe más de una posibilidad, ya que Patty obligatoriamente debe vivir entre Elena
y blanca, y esta es la única posibilidad que hace verdadera esa afirmación. Entonces si
Carmen no vive en la 6ta. Y la 4ta. está desocupada, la única posibilidad es que viva en
la 5ta.
10. Las aficiones de las personas A, B y C son o el futbol, o el baloncesto, o el vóley y sus
colores favoritos son o el rojo, o el azul o el blanco. Sabiendo que:
a) a B no le gusta el vóley
b) al que le gusta el baloncesto no le gusta el rojo
c) a A no le gusta el baloncesto
d) al que le gusta el vóley le gusta el blanco
e) a B no le gusta el azul
¿Cuál es la afición de A y el color favorito de C?
La afición de A es el vóley y el color favorito de C es el azul.
Persona A B C
Deporte Vóley futbol Baloncesto
Color favorito Blanco Rojo Azul
11. Clasifique las siguientes proposiciones como tautología, contradicción o
contingencia. Justifique su respuesta:
a) ( p ⟶ q ) ⟶∼q
P q p⟶q ∼q ( p ⟶ q ) ⟶∼ q
V V V F F
V F F V V
F V V F F
F F V V V
Es una contingencia, ya que hay valores falsos y verdaderos en la tabla de verdad
resultante.
b) ( ∼ q ∨ p ) ⋀ ¿
p q ∼q ∼q∨ p p ∨q ¿ (∼ q ∨ p ) ⋀ ¿
V V F V V V V
V F V V V V V
F V F F V F F
F F V V F F F
Es una contingencia, ya que hay valores falsos y verdaderos en la tabla de verdad
resultante.
c) ( q ⋀ ∼ p ) ⟷ ( p ⋀ q )
p q ∼ p q ⋀∼ p p⋀q ( q ⋀ ∼ p ) ⟷( p ⋀ q)
V V F F V F
V F F F F V
F V V V F F
F F V F F V
Es una contingencia, ya que hay valores falsos y verdaderos en la tabla de verdad
resultante.
12. Escriba la tabla de la verdad para las formas de enunciado: (12,14 p.37)
a) p ∧q
P q ∼p ∼ p ∧q
V V F F
V F F F
F V V V
F F V F
b) p ∧ ( q ∧ r )
P q r q∧r p ∧(q ∧ r )
V V V V V
V V F F F
V F V F F
V F F F F
F V V V F
F V F F F
F F V F F
F F F F F
13. Son p ∨( p ∧ q) y p lógicamente equivalentes? (16 p.37)
P q p ∧q p ∨( p ∧ q)
V V V V
V F F V
F V F F
F F F F
Si lo son, ya que sus columnas son iguales en la tabla de verdad.
14. Construya tablas de la verdad para las siguientes formas de enunciado (5,7 p.49)
a) p ∨q → q
p q ∼p ∼q p ∨q ( p ∨q ¿ → q
V V F F V F
V F F V F V
F V V F V F
F F V V V V
b) p ∧ q → r
P q r q p∧ q p∧ q→r
V V V F F V
V V F F F V
V F V V V V
V F F V V F
F V V F F V
F V F F F V
F F V V F V
F F F V F V
15. Utilice tablas de la verdad para determinar si los argumentos siguientes son válidos:
(5,7 p.61)
p →q p
q→ p p →q
∴ p∨q q∨r
∴ r
P q p⟶q q→ p p ∨q
V V V V V
V F F V
F V V F
F F V V F
Para este ejercicio el Falso demuestra que se puede tener premisas verdaderas y
conclusiones falsas, por lo que el primer argumento no es válido.
P q r q p →q q∨r r
V V V F V V V
V V F F V F
V F V V F V
V F F V F V
F V V F V V
F V F F V F
F F V V V V
F F F V V V
Donde las tres premisas son verdaderas, la conclusión es verdadera, por lo que el
argumento es válido.
Ciencias Básicas y
Ambientales
Matemática Discreta I
CBM-305
Sección:
01
Tema:
Practica elementos de la lógica
Facilitador:
Javier García
Presentado Por:
Nombre Matrícula/ID
Steven C. Madaschi Alcántara 13-1111/1057712
18 de agosto de 2015
