TRABAJO PRACTICO N 3

UNIVERSIDAD NACIONAL
DE JUJUY
FACULTAD DE INGENIERIA

Ingeniera
Informtica
Licenciatura en
Sistemas
Lgica
Computacional

1.- Comprubese si los siguientes razonamientos son correctos o no:

a.-" Si Antonio gan la carrera, entonces Baltasar o Carlos fueron los segundos. Si Baltasar
fue segundo, entonces no gan Antonio. Si Demetrio fue segundo, no lo fue Carlos.
Antonio gan la carrera. Por tanto, Demetrio no fue segundo".
b.-" No llora, re. Si no llora, re slo si tiene un juguete. Nunca tiene un juguete cuando se
est riendo si no come un caramelo. Luego come un caramelo."
c.-" Juan quiere a Mara si y slo si Mara quiere a Juan y promete casarse con l. Mara no
quiere a Juan si Juan no quiere a Mara. Mara promete casarse con Juan si y slo si
Juan promete casarse con Mara. Por tanto, Juan quiere a Mara y Mara no quiere a
Juan".
d.-" Si ha nevado ser difcil conducir. Si no es fcil conducir llegar tarde si no salgo
temprano. Ha nevado. Luego saldr temprano. "
e.-" Si no llueve salgo al campo. Si salgo al campo respiro. Por tanto, respiro si y slo si no
llueve."
f.-" Si un monte se quema algo tuyo se quema. Algo tuyo se quema si y slo si eres
descuidado. Si eres descuidado no mereces que te feliciten. Por tanto si no mereces que
te feliciten entonces es que un monte se quema."
g.-" El Ministro de Economa y Hacienda ha hecho las siguientes declaraciones:
A la prensa: " Si los impuestos suben, la inflaccin bajar si y slo si no se devala la
peseta."
A la radio: " Si la inflaccin baja o si la peseta no se devala, los impuestos no subirn."
A la tele: " O bien baja la inflaccin y se devala la peseta, o bien los impuestos deben
subir."
Como consecuencia, publica un informe en el que asegura: "Los impuestos deben subir,
pero la inflacin bajar y la peseta no se devaluar."
Fue consecuente con sus declaraciones a los medios de comunicacin?."
h.-" Es suficiente whisky para que chocolate. Chocolate si y solo si jamn. No ginebra a
menos que chocolate. Whisky. Es posible afirmar: (1) que bebi ginebra? (2) que no
tom chocolate?"
i.-" Si no especifico las condiciones iniciales mi programa no comenzar. habr programado
un ciclo infinito solo si mi programa no termina. Basta que el programa no comience o no
finalice para que falle. De ah que sea necesario no solamente especificar las condiciones
iniciales sino tambin no programar un ciclo infinito para que el programa no falle."
j.-"Si 25 divisiones son suficientes, el general ganar la batalla; por otra parte, o se
suministran 3 alas de apoyo areo tctico, o el general no ganar la batalla. Adems, no
Pg. 1

TRABAJO PRACTICO N 3
UNIVERSIDAD NACIONAL
DE JUJUY
FACULTAD DE INGENIERIA

Ingeniera
Informtica
Licenciatura en
Sistemas
Lgica
Computacional

es cierto que sean suficientes 25 divisiones y que se vayan a suministrar 3 alas de apoyo
areo tctico. Conclusin: no son suficientes 25 divisiones."

Pg. 2