Anda di halaman 1dari 6

Facultad de Ciencias Exactas y Naturales y Agrimensura – UNNE

Carrera: Licenciatura en Sistemas de Información - Asignatura: Lógica y Matemática Computacional.


Profesora Responsable: Mg. Mónica Esquivel
Trabajo Práctico Nº 1: Lógica Proposicional

1) Escribir simbólicamente las siguientes proposiciones compuestas

i. Darío es inteligente o estudia todos los días. p  q


ii. Lógica Proposicional es la asignatura preferida de los alumnos y Mozart fue un gran compositor”
pq
iii. Si Borges fue un poeta, entonces Gauss fue un matemático” p  q
iv. Tecleando F1 se ejecuta la ayuda o escape para salir de una aplicación. p  q
v. abc es rectángulo si y solo si sus lados cumplen a 2  b 2  c 2 p  q
vi. No vi la película pero vi la novela p  q
vii. Se puede ser un programador si y solo si se estudia algoritmos o seudocódigos. p  q  r
2) Dadas las siguientes proposiciones simples:
 p: un código binario costa de la utilización de dos números
 q: el 20 puede escribirse con los dígitos 111
 r: el 9 puede escribirse con los dígitos 1001

Escriba en lenguaje coloquial las siguientes proposiciones


a) p  q : Un código binario no consta de la utilización de dos números o el 20 no puede escribirse con
los dígitos 111.

b) q  r  : q  r El 20 puede escribirse con los dígitos 111 y el 9 puede escribirse con los dígitos
1001

c) p  r   q : Si Un código binario no consta de la utilización de dos números o el 9 puede escribirse


con los dígitos 1001, entonces el 20 puede escribirse con los dígitos 111

d)  p  r   r  q : un código binario costa de la utilización de dos números o el 9 puede escribirse
con los dígitos 1001 si y solo si el 9 puede no escribirse con los dígitos 1001 y el 20 puede escribirse
con los dígitos 111

3) Construir las tablas de verdad de los siguientes esquemas proposicionales:

a)  p  q   p b) q  q  r 

(p  q)  p q  (q  r )
1 1 1 1 1 1 1 1 1 1
1 1 0 1 1 1 0 1 0 0
0 1 1 1 0 0 1 0 0 1
0 0 0 0 0 0 1 0 0 0

c) d)

1
Facultad de Ciencias Exactas y Naturales y Agrimensura – UNNE
Carrera: Licenciatura en Sistemas de Información - Asignatura: Lógica y Matemática Computacional.
Profesora Responsable: Mg. Mónica Esquivel
 (r  s)  p
(p  q)  (r  q)
0 1 1 1 0 1
1 1 1 1 1 1 1
1 1 0 0 1 1
1 1 1 1 0 1 1
1 0 0 1 1 1
1 1 0 0 1 0 0
1 0 0 0 1 1
1 1 0 1 0 1 0
0 1 1 1 1 0
0 1 1 1 1 1 1
1 1 0 0 0 0
0 1 1 1 0 1 1
1 0 0 1 0 0
0 0 0 1 1 0 0
1 0 0 0 0 0
0 0 0 1 0 1 0

e)
( p   q)   (r  s)
0 1 0 0 1 1 0 1 1 1
0 1 0 0 1 0 1 1 0 0
0 1 0 0 1 0 1 0 0 1
0 1 0 0 1 0 1 0 0 0
0 1 1 1 0 0 0 1 1 1
0 1 1 1 0 1 1 1 0 0
0 1 1 1 0 1 1 0 0 1
0 1 1 1 0 1 1 0 0 0
1 0 1 0 1 0 0 1 1 1
1 0 1 0 1 1 1 1 0 0
1 0 1 0 1 1 1 0 0 1
1 0 1 0 1 1 1 0 0 0
1 0 1 1 0 0 0 1 1 1
1 0 1 1 0 1 1 1 0 0
1 0 1 1 0 1 1 0 0 1
1 0 1 1 0 1 1 0 0 0

4) Negar los siguientes esquemas proposicionales

i. q  p  q  q  p  q  q  p  q

ii.  p  q   p   p  q  p  p  q  p


 

iii.  p  q  r   s  q  p   p  q  r   s  q  p

iv. p  q   r  s    p  q r  s 


__

2
Facultad de Ciencias Exactas y Naturales y Agrimensura – UNNE
Carrera: Licenciatura en Sistemas de Información - Asignatura: Lógica y Matemática Computacional.
Profesora Responsable: Mg. Mónica Esquivel
5) Relaciona cada de una de las siguientes tautologías, con los argumentos que le corresponde:
a) p  p Cambiar a –p en el TP v)
b) p  q  p viii)
c) p  q  q i) iv)
d) p   p  q  vii)
e) q   p  q ii)
f)  p  q  q  p iii) vi) En el TP escribir “si y solo si” en donde dice “por lo tanto”

6) Determinar en cada caso si la información que se da es suficiente para conocer el valor de verdad de
las siguientes proposiciones compuestas. En caso afirmativo, justificarlo.
a)  p  q   r Es suficiente: 1 Siendo V ( r )  1

b)  p  q   q Es suficiente: 1 Siendo V ( p  q)  0

c)  p  q  q  p Para el caso de V (p)  0 y V (q )  0 . Es suficiente: 1 Para el caso de


V (p )  1 y V (q)  1 . Es suficiente: 1 Siendo V (p  q )  1

d)  p  r   s  r   q  p No es suficiente. Siendo V ( s  p)  0

3
Facultad de Ciencias Exactas y Naturales y Agrimensura – UNNE
Carrera: Licenciatura en Sistemas de Información - Asignatura: Lógica y Matemática Computacional.
Profesora Responsable: Mg. Mónica Esquivel

7) Dado las siguientes proposiciones compuestas, asignar valores de verdad a las proposiciones simples
para que resulten verdadera o falsa:
a) q  s  p   r    p  p La proposición “p=1” para que resulte verdadera

 
b) q  s  q  p  q  s  p Debe ser: p=1, q=0, s=0 para que resulte falsa

c)  p  q  r  q  s   p  r   s r=1 para que resulte verdadera

d) r  p  r  s   t   t  q  u  q  u   p De ser: r=1, p=0, s=1, t=0, q=0,
u=0 para que resulte falsa

4
Facultad de Ciencias Exactas y Naturales y Agrimensura – UNNE
Carrera: Licenciatura en Sistemas de Información - Asignatura: Lógica y Matemática Computacional.
Profesora Responsable: Mg. Mónica Esquivel

8) a) En cada ítem, establezca las condiciones posibles  p  q  q  p y determine sus valores de


verdad:
b) En los casos posibles, determine condición necesaria, condición suficiente o condición necesaria y
suficiente.

i. p: la calle esta mojada q: hoy llovió


V  p  q  0  V q  p  1
Es suficiente decir que hoy haya llovido, para decir que la calle esta mojada y es necesario (pero no
suficiente) que haya llovido para decir que la calle esta mojada.

ii. p: 5 es un número entero q: 5 es un número negativo


V  p  q  0  V q  p  1
No se puede analizar condiciones, porque V ( q )  0
Es necesario que 5 sea entero para que pueda ser negativo, pero no es suficiente.

iii. p: x es un numero par q: el doble de x es un numero par


V  p  q  1  V q  p  0
Es suficiente decir que hoy haya llovido, para decir que la calle esta mojada y es necesario (pero no
suficiente) que haya llovido para decir que la calle esta mojada.

iv. p: Unos ladrones entraron a una casa q: el sistema de seguridad se activo.


V  p  q  1  V q  p  0
Es suficiente que unos ladrones entraran a la casa, para decir que el sistema de seguridad se activo y es
necesario (pero no suficiente) que se haya activado el sistema para decir que unos ladrones entraron a la
casa.

v. p: La tierra es redonda q: Se puede calcular el radio de la tierra


V  p  q  1  V q  p  1  p  q
Cada uno es condición suficiente y necesaria.

vi. p: David estudio para el examen q: David no fue al cine


V  p  q  1  V q  p  0
Es suficiente que David haya estudiado el examen, para decir que no fue al cine y es necesario (pero no
suficiente) que no haya ido al cine para decir que David estudio para el examen.

9) Dadas las siguientes proposiciones:


Determine, para cada una de ellas, su negación y sus implicaciones asociadas.
a) Si en un calendario figura el año 2015, entonces el año pasado fue 2014.
Negación:  p  q   p  q En un calendario figura el año 2015 y el año pasado no fue 2014.

Reciproca: q  p Si el año pasado fue 2014, entonces en un calendario figura 2015

Contra reciproca: q  p Si el año pasado no fue 2014, entonces en un calendario no figura 2015

5
Facultad de Ciencias Exactas y Naturales y Agrimensura – UNNE
Carrera: Licenciatura en Sistemas de Información - Asignatura: Lógica y Matemática Computacional.
Profesora Responsable: Mg. Mónica Esquivel
Contrario: p  q Si en un calendario no figura el año 2015, entonces el año pasado no fue 2014.

b) No es condición necesaria que hoy llueva, para decir que el árbol de la vereda esta mojado.
Directo: Si hoy llovió, entonces el árbol de la vereda esta mojado
Negación:  p  q   p  q Hoy llovió y el árbol de la vereda no está mojado

Reciproca: q  p Si el árbol de la vereda esta mojado, entonces hoy llovió

Contra reciproca: q  p Si el árbol de la vereda no está mojado, entonces hoy no llovió.

Contrario: p  q Si hoy no llovió, entonces el árbol de la vereda no está mojado.

10) Dada la siguiente situación problemática, extraer la conclusión más simple.


Antonio dice la verdad o Marta estaba en el parque con maría. Si Marta estaba en el parque con María,
entonces llego tarde a la cita. Si Marta llego tarde a la cita, entonces ella no vio al ladrón. Por lo tanto, si
Antonio dice la verdad, entonces Marta no vio al ladrón.
Traducción:
p : Antonio dice la verdad
q : Marta estaba en el parque con María
r : Marta llego tarde a la cita
s : Marta vio al ladrón
El argumento queda:
pq
qr
r  s
Por lo tanto q  s (por transitividad)

11) En cada uno de los siguientes casos, enuncie la correspondiente conclusión de modo que el
razonamiento resulte formalmente válido, justificando la respuesta.

a) Si hay luz solar, entonces es de día.


No es de día.
Conclusión: no hay luz solar.
p q
Modus tollens: q
____________
p
b) Si está lloviendo, te esperará en el teatro.
Está lloviendo.
Conclusión: voy a cumplir en el teatro

p q
Modus tollens: p
____________
q
c) Si las rosas son rojas y las violetas azules, entonces el azúcar es dulce y María también
Las rosas son rojas y las violetas azules
Conclusión: el azúcar es dulce y María también
 p  q  r  s 
Modus tollens:  p  q
___________________________
r  s 
6

Anda mungkin juga menyukai