UADER, FHAyCS

LÓGICA, 2019
Dr. Manuel Dahlquist

GUIA DE TRABAJO N 1

1. Formalice los siguientes enunciados, especicando el diccionario utilizado. Todos ellos incluyen, como
mucho, una conectiva.
1) Veo un tigre.
2) Veo un tigre feroz delante de mí.
3) La lluvia cae lentamente.
4) La lluvia cae lenta y suavemente.
5) Marcos fue a Buzios pero Luciana fue a Río.
6) Tanto Simba como Mufasa son felinos.
7) Luisana y Michael son novios.
8) Luisana y Michael se quieren mutuamente.
9) El nombre de Dios es impronunciable.
10) Patricia ira a buscar a Martín siempre y cuando el se lo pida.
11) Todos odiaran a Mara, si maltrata al mesero.
12) Que llueva es condición suficiente para que Luis esté triste.
13) Para que Horacio haga gimnasia es necesario que tenga problemas de salud.
14) Peter irá al cine o al teatro.
15) Comeremos knishes, a menos que comamos varenikes.
16) Mara va al cine sólo si una chica la invita.
17) El agua de esta canilla sale o bien fría o bien sucia.
18) Todo sucedió en Londres y en Roma.
19) No creo que el DT haya elegido a Messi como capitán porque lo necesite como líder.
20) 2 mas 2 es 4 si y sólo si el partido lo dice.
21) No es cierto que el calentamiento global se deba a los ataques de los piratas.
22) Es necesario que haya crisis para que haya concientización.
23) Es suciente que Nito Artaza se baje de su candidatura para que la interna radical se
anule.
24) Mi voto no es positivo.
25) Que Juan Pablo exista es condición necesaria y suficiente para que sufra.
26) Mara canta en español siempre y cuando venda discos.
27) La Paz y Sucre son capitales de Bolivia.
28) Los hinchas de Velez se entusiasmaron con el resultado del ultimo partido.
29) Alguien está llamando a la puerta.
30) Córdoba está al norte de Buenos Aires o de La Pampa.
31) O bien Córdoba esta al norte de La Pampa o bien a la inversa.
32) Nadie está llamando a la puerta.
33) La actuación del representante fue desleal.
34) Me dolió su ingratitud.
35) Esto no se termina nunca.

2. Formalice los siguientes enunciados.

1) Dios no existe y todo está permitido sólo si la teología cristiana y la judía no dicen la verdad.
2) Si Mill sostuvo una posición deontológica o teleológica, entonces el profesor de Ética lo puede encasillar
junto a Kant o junto a Aristóteles respectivamente.
3) Si el argumento de Anselmo es bueno, entonces sólo si Dios existe es el ente mas perfecto que se puede
pensar.
4) El primer y el segundo argumento de Santo Tomas para probar la existencia de Dios serán considerados
buenos o malos en la clase.
5) Wittgenstein escribio el Tractatus y las Investigaciones Filosóficas siempre y cuando recopilar anotaciones
sea escribir un libro o un texto filosófico.
6) El lenguaje es modular u holista, pero el reconocimiento de oraciones es modular y no holista, si funciona
con información encapsulada.
7) El argumento cartesiano funciona siempre y cuando que Descartes piense sea condición suciente para que
exista.
8) Ricardo Piglia y Cesar Aira son los dos mejores escritores argentinos siempre y cuando no consideremos a
los muertos ni a los que viven en el extranjero.
9) Orson Welles y Rita Hayworth fueron pareja y ambos actuaron en 'La dama de Shanghai', aunque en
'Gilda' sólo actuó ella.
10) Si mueres, veras todo iluminado o bien por una luz roja o bien por una azul, pero si no mueres, quedaras
ciego y no veras todo iluminado por ninguna de esas dos luces.
11) Sólo si Juan y Mara no fueron al hotel, es falso que sean amantes.

3. Este ejercicio busca dar cuenta de la teoría mínima necesaria para comprender con propiedad la
lógica proposicional. Las preguntas que siguen están orientadas básicamente a obtener definiciones.
Proceda de las siguiente manera: Busque en los captulos 6-9 de Elementos de lógica formal las respuestas a
las preguntas. Anote sus definiciones: ¿las comprende sin dificultades? Anote cuáles son, si los hubiera, los
términos utilizados en la definición que no comprenda o no este seguro de comprender bien.

i ¿Qué es un enunciado? ¿Qué es un argumento?

ii ¿Cómo se caracteriza \intuitiva" o \informalmente"la noción de consecuencia lógica?
iii ¿Cuál es el objeto de la lógica?
iv ¿Qué elementos componen el alfabeto del lenguaje de la logica proposicional?
v ¿Por qué reglas está constituída su gramática?
vi ¿Qué es una fórmula bien formada?
vii ¿Qué es una función?
viii ¿Qué es una asignación de valores de verdad?
ix ¿Qué es un modelo de una fórmula o conjunto de fórmulas?
x ¿Qué es una tautología? ¿Qué es una contradicción? ¿Qué es una contingencia?
xi ¿Qué es una tabla de verdad?
xii ¿Qué significa que una fórmula sea satisfacible?
xiii ¿Cuál es la caracterización formal de consecuencia lógica?
xiv ¿Qué es un argumento lógicamente válido?

4. Determinar si los siguientes argumentos son válidos o no lo son; en caso que no le sean, dar una
interpretación que muestre su invalidez.

i Si el mercado es totalmente libre, un solo proveedor no puede alterar los precios. Si un solo proveedor no
puede alterar los precios es que hay un gran número de proveedores. En consecuencia, el mercado es
totalmente libre o no hay un gran numero de proveedores.

ii Si aumentan los precios, aumentan los salarios. Los precios aumentan si el gobierno los controla. Si el
gobierno los controla, no hay inflación. Pero hay inflación. En consecuencia aumentan los salarios.

iii Si se elevan los precios o los salarios habrá inflación. Si hay inflación entonces el Congreso debe regularla
o el pueblo sufrira. Si el pueblo sufre, los congresistas se harán impopulares. El congreso no regulara la
inflación y los congresistas no se volveran impopulares. En consecuencia, los salarios no subirán.

iv O la lógica no es difícil o no le gusta a muchos alumnos. Si las matemáticas son fáciles entonces lo lógica
no es difícil. En consecuencia, si a muchos alumnos les gusta la lógica es que las matemáticas no son fáciles.

5. Transforme los argumentos anteriores en oraciones (reemplazando el deductor por el condicional) y

vea si se trata de tautologías, contradicciones o contingencias.