b) q r : q r El 20 puede escribirse con los dígitos 111 y el 9 puede escribirse con los dígitos
1001
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
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
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
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
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
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
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.
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