1. INTRODUCCIÓN A LA PROGRAMACIÓN
TRABAJO PRACTICO N° 1
LOGICA PROPOSICIONAL
1) Formalizar las siguientes expresiones:
a) q si p
b) p o q
c) como mínimo p
d) p no obstante q
e) q necesario para p
f) q suficiente para p
g) p a pesar de q
h) no p a menos que q
i) p sólo si q
j) p sin embargo q
k) p suficiente para q.
2) Determinar la validez de las siguientes fórmulas:
3) Simbolice las siguientes proposiciones:
a) con un sistema PC, podras utilizar acceso directo en disco, en pen y en cd rom.
b) el virus de las computadoras se destruye con un soft especial o destruye la información en
disco.
c) no es cierto que Ana y otro usuario a la vez a la misma impresora de red.
d) si querés leer mi mensaje, tendrás que conectarte a internet y leer tu correo.
e) si me copio en una evaluación soy un irresponsable o un inmaduro.
f) si me copio en una evaluación soy un irresponsable o un inmaduro, y si soy un inmaduro
debo preocuparme más.
g) para tener internet buena en casa debo tener un buen modem y una buena conexión a
internet.
4) Construya las tablas de asignación de los ejercicios anteriores.