Practica de Lógica Matemática

Descargar como pdf o txt
Descargar como pdf o txt
Está en la página 1de 5

Instituto Superior de Formación Docente Salome Ureña

ISFODOSU
Practica No 1
Nombre de la asignatura: Matemática I

Nombre _______________________
Leonelvin Jiménez Vargas Matrícula _________________
20203-0226

I. En la raya delante de cada enunciado escribe V (verdadero) o F (falso) según


corresponda.
1 ____
F el enunciado ¿cómo te llama? es una `proposición.
V la conjunción p  q es verdadera únicamente si p es verdadera y q es
2 ____
verdadera.
F la condicional “si estudio, entonces progreso” es verdadera cuando “estudio” es
3 ____
verdadera y “progreso” es F.

II. Escriba las negaciones de cada una de las proposiciones siguientes:

1. el nombre de su tía es lucia. El nombre de su tía no es Lucia

2. Hoy no llovió en el sur de california. Hoy si llovió en el sur de california

3. algunos los libros son más extensos que este libro. Ningún libro es más
extensos que este libro

4. ningún técnico en computación puede jugar black Jack. Al menos un técnico de


computación no puede jugar black Jack
III. Sea que p representa la proposición “Ella tiene ojos verdes” y q representa “Él
tiene 48 años de edad” transcriba cada proposición simbólica en palabras.

1. ~p: Ella no tiene ojos verdes

2. p ^ q: Ella tiene ojos verdes y él tiene 48 años de edad.

3. ~(~p^q): No es cierto que ella no tiene ojos verdes y él tiene 48 años de edad.

IV. Determina si cada una de las proposiciones, las cuales incluyen


cuantificadores, es verdad o falsa.

1. todo entero no negativo es un entero. ____V____

2. Existe un número racional que no es un entero. V

3. algunos números racionales no son enteros. ____V______

V. Utilice los conceptos presentes en esta sección para responder los ejercicios

1. Si q es falsa ¿Cuál debe ser el valor de verdad de (p^~q) ^q?: f

P= v q= f ~q= v
p^~q= v ^q= f

2. sí p^q es verdadera y p es verdadera, entonces q debe de ser: v

P= v q= v
p^q= v

VI. Sea que p represente una proposición falsa y q una proposición verdadera.
Encuentre el valor de verdad de las proposiciones mostradas a continuación:

1. p v ~q: falsa

2. ~ (p^ ~q): verdadera

3. (p^ q) v ~q: falsa


VII. Proporcione el número de renglones en las tablas de verdad para cada una de
las proposiciones compuestas siguientes:

1. p v ~q: 2n = 22 = 4

2. (~p ^ q) v (~r v ~s) ^ r: 2n = 24 = 16

3. (p ^ r) v ~q: 2n = 23 = 8

VIII. Escriba en forma simbólica los siguientes enunciados.

a) Si las exportaciones disminuyen entonces bajarán las utilidades. p ⇒ q

b) Los precios son altos si y sólo sí los costos aumentan. p ⇔ q

c) Si la producción aumenta entonces bajarán los precios. p ⇒ q

d) Si aumenta la demanda esto implica que aumenta la oferta y viceversa (p ⇒ q)


∧ (q ⇒ p)

IX. Si p y r son proposiciones verdaderas y q es falsa, determine el valor de


verdad de:

a) [(p ∧ ∼ q) v ∼ r] ⇒ q falsa

b) [(∼ r v q) ∧ (r v ∼ p)] ⇔ ∼ r verdadera

c) [(∼ p ⇒ q) ⇒ ∼ r] v [∼ q ⇒r] verdadera

X. ¿Qué condiciones debe satisfacer p y q para que la siguiente proposición sea:

a) [(q ⇔ p) ∧ ∼ q] ⇒ (p ∧ ∼ q) Falsa P= f q= f

b) [(∼ p ⇒ q) ⇒∼ r] v [∼ q ⇒ r] Falsa No está bien formulada

c) {~p ∧ (p v q)} ∧ [p ⇔ q] Verdadera No está bien formulada


XI. Sean las proposiciones:
p: la computación es fácil
q: los ingenieros deben saber computación

Entonces, traduzca a lenguaje verbal las proposiciones siguientes y


¿Cuál(es) a su juicio representa(n) una expresión aceptable en el sentido
cotidiano?
a) p ∧ q La computación es fácil y los ingenieros deben saber computación
b) ∼ (p v q) No debe ser, la computación fácil o los ingenieros deben saber
computación
c) ∼ (q v ∼p) No debe ser que, los ingenieros deben saber computación o la
computación no es fácil

d) ∼ (p v ∼q) No es cierto que, la computación es fácil o los ingenieros no deben saber


de computación

XII.- Tautología, Contingencia o Contradicción


Demuestre por medio de tablas de verdad si las siguientes proposiciones son
Tautología (T) Contingencia (k) o Contradicción (C)

1. [(p ⇒ q) ∧ ~p] ⇒~q


p q ~p ~q p⇒q [(p ⇒ q) ∧ ~p] [(p ⇒ q) ∧ ~p] ⇒~q
v v f f v f v
v f f v f f v
= (K)
f v v f v v f
f f v v v v v

2. [(p v q) ⇒ r] ⇔ [(p ⇔ q) v r]
p q r pvq p⇔q (p v q) ⇒ r (p ⇔ q) v r [(p v q) ⇒ r] ⇔ [(p ⇔ q) v r]
v v v v v v v v
v v f v v f v f
v f v v f v v v
v f f v f f f v
= (K)
f v v v f v v v
f v f v f f f v
f f v f f v v v
f f f f v v v v
3. ∼ {[∼p ∧ (∼q v p)] ⇒ q}
p q ∼p ∼q ∼q v p ∼p ∧ (∼q v p) [∼p ∧ (∼q v p)] ⇒ q ∼ {[∼p ∧ (∼q v p)] ⇒ q}
v v f f v f v f
v f f v v f v f
f v v f f f v f = (K)
f f v v v v f v

4. [(p ∧ ∼q) ⇒ q] ⇔ (p ⇒ q)
p q ∼q p ∧ ∼q p ⇒ q (p ∧ ∼q) ⇒ q [(p ∧ ∼q) ⇒ q] ⇔ (p ⇒ q)
v v f f v v v
v f v v f f v = (T)
f v f f v v v
f f v f v v v

También podría gustarte