Documentos de Académico
Documentos de Profesional
Documentos de Cultura
1cuatrimestre de 2021
Clase 23/03
Objetivos:
(a) Que el alumno sepa identificar los conceptos lógicos de la lógica
de primer orden y se familiarice con su notación usual. (b) Que el
alumno los distinga en los razonamientos deductivos formulados en el
lenguaje ordinario y represente su estructura mediante aquella
notación
Contenidos:
(a) Semiótica: signo y proceso semiótico; sintaxis, semántica y
pragmática. Lenguaje y metalenguaje. Constantes y variables. (b)
Notación lógica: Signos lógicos: conectivas, cuantificadores y
variables de individuo. Signos no lógicos: predicados y constantes de
individuo. Signos auxiliares. El significado de los signos lógicos
y su función en la determinación de la validez de razonamientos
deductivos. (c) Simbolización (formalización) e interpretación en la
notación lógica dada. La idea de la lógica clásica: sus reglas y leyes.
Aclaraciones de la presente clase
¤ La presente clase versará sobre la notación lógica, entendida como un sistema
de signos especial. Nos centraremos en ver cómo extraer y exhibir la forma
lógica de un razonamiento. A su vez, nos detendremos en uno de los
componentes de la notación lógica: las expresiones lógicas y, en particular, en
las CONECTIVAS.
¤ Les reiteramos que pueden contactarse con nosotros a través de mensajes en el
campus, ante dudas, consultas, comentarios y/o inquietudes que puedan tener
sobre lo que vamos viendo en las clases! Mi correo del campus
71vv26096039@campus.economicas.uba.ar
1. La semiótica
Al ver el humo negro (S) los guardaparques del Parque Nacional Lago Puelo (I)
prepararon las motobombas y las mangueras (D).
Todo LENGUAJE es un sistema de signos.
(*)
Si Buenos Aires está en Colombia, entonces está próxima al Ecuador y no está sobre el Río de
la Plata.
Si Buenos Aires está en Brasil, entonces no está sobre el Río de la Plata.
Buenos Aires estaá sobre el Río de la Plata.
____________________________________________________________
No se da que Buenos Aires esté en Colombia o está en Brasil
(A → (B ∧ (¬ C))
(D → (¬ C))
C
________________
(¬ (A ∨ D))
¿Cómo se obtuvo la forma lógica del razonamiento (*)?
¤ Ej.: “Juan es alto y delgado”, “Buenos ¤ Elementos intra enunciado
(predicados, individuos,
Aires es la capital de Italia o de
Argentina”, “Alguien es alto”, “Todos relaciones, etc.)
los hombres aman a algún mortal”,
etc.
3. La expresiones lógicas representadas por los
signos lógicos
(1**) (A →( B ∧ (¬ C) ) )
Código de simbolización:
¤ Código:
Aclaración: en estos ejercicios los autores representan los enunciados utilizando letras
del albafeto latino en minúscula, a partir de la “p”, a diferencia de las empleadas en
el apunte “La notación lógica” (letras del alfabeto latino en mayúscula, a partir de la
“A”); empero ambos tipos de letras se utilizan con la misma finalidad: como
abreviaturas de los enunciados que representan.
6.1 Simbolice los siguientes enunciados utilizando
exclusivamente CONECTIVAS:
6.2 Simbolice los siguientes razonamientos utilizando
exclusivamente CONECTIVAS:
Soluciones a 6.1 y 6.2: