MATEMATICA I (Algebra)
Trabajo Práctico Nº 1 – Fundamentos de Lógica Simbólica y Teoría de Conjuntos.
TRABAJO PRACTICO Nº 1
FUNDAMENTOS DE LOGICA SIMBOLICA Y TEORIA DE CONJUNTOS
FUNDAMENTOS DE LOGICA SIMBOLICA
1) Para describir los diversos restaurantes de la ciudad, denotemos con p “la comida es
buena”+; con q “el servicio es bueno” y con r “es de tres estrellas”. Escribir
simbólicamente las siguientes proposiciones +:
a) La comida es buena o el servicio es bueno, o ambas cosas
b) La comida es buena o el servicio es bueno, pero no ambas cosas.
c) La comida es buena y el servicio no.
d) No sucede que tanto la comida sea buena como que el restaurante sea de tres
estrellas
e) Si tanto la comida como el servicio son buenos, entonces el restaurante es de
tres estrellas
f) No es cierto que ser de tres estrellas siempre signifique buena comida y buen
servicio.
2) Denotemos con p “el clima es agradable”+y con q “vamos de día de campo”. Traducir las
siguientes proposiciones al lenguaje coloquial y, si es posible, simplificar+:
a) p q b) p q c) q p
3) Construir las tablas de verdad de los siguientes esquemas proposicionales+:
a) (p q) p b) (p q) p c) p (p q)
d) (q p) (p q) e) (p q) ( r) f) (r r)
4) Los valores de verdad de las proposiciones p+; q+; r y s son respectivamente V+; F+; F y
V. Obtener los valores de verdad de+:
i) [(p q) r] s ii) r (s p) iii) (p r) (r s)
5) 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.
i) (p q) r+; r es V ii) (p q) ( p q)+; q es V
6) Determinar, si es posible, el valor de verdad de las siguientes proposiciones+:
Licenciatura en Sistemas de Información – Año 2009
Facultad de Ciencias Exactas y Naturales y Agrimensura - UNNE
1
