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.