Está en la página 1de 32

Clase Apunte La notación lógica I

Lógica- FCE UBA

1cuatrimestre de 2021

Clase 23/03

Prof. Valeria Sol Valiño


0. Consideraciones preliminares y generales

Hoy comenzaremos con la UNIDAD TEMÁTICA 3 del programa.


Para ello, utilizaremos fundamentalmente:
¤  (i) El apunte “La notación lógica”, que es un apunte nodal a la
unidad, es teórico, un tanto extenso (en especial, contiene muchos
ejemplos ilustrativos) y que ya está subido en el campus. Es muy
importante que ustedes acompañen estas clases a distancia con las
lecturas de los apuntes correpondientes.
¤  (ii) Asimismo, y dado que esta unidad incluye una parte práctica,
utilizaremos diversos ejercicios que están agrupados en un apunte
específico: el TP1, y que les indicaremos que realicen. Es también
muy importante que realicen tales ejercicios, en paralelo al
desarrollo teórico de los temas. Conforme avencemos con la
práctica, les facilitaremos los resoluciones a los ejercicios indicados
para que ustedes los puedan autocorregir.
Recordemos la UNIDAD TEMÁTICA 3 :

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.

¤  La clase se divide en dos partes. En la primera, se realiza una presentación


general y teórica del tema, y se desarrollan y profundizan ciertos conceptos
básicos. En la segunda parte, se presentan ejercicios destinados a poner en
práctica lo visto en la primera parte de la clase. En virtud de la modalidad
virtual/a distancia de la clase, se consignan las soluciones de tales ejercicios,
con la finalidad de que las alumnas y los alumnos puedan realizar la
autocorrección de los mismos.

¤  El material que usaremos es el apunte La notación lógica.

¤  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

SEMIOTICA: disciplina que elabora una Teoría general del signo.


SIGNO: un signo es cualquier cosa que indica o refiere a otra para
quien interpreta el signo.

PROCESO SEMIOTICO: involucra tres elementos à


-el signo vehículo [o signo objeto] (S): el objeto mismo que es signo.

-la designación (D): aquello a lo que el signo refiere.

-el Interpretante (I): aquello o quien interpreta el signo como


signo del objeto designado.
Ejemplo:

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.

Niveles de análisis -o dimensiones- del lenguaje:

-SINTAXIS: el estudio de las relaciones sintácticas de los signos entre sí con


abstracción de las relaciones de los signos con los objetos o con los
intérpretes.

-SEMANTICA: se ocupa de la relación de los signos con sus designata y, por


ello, con los objetos que pueden denotar o que, de hecho, denotan.

-PRAGMATICA: se ocupa de los problemas que se presentan en el


funcionamiento de los signos dadas las diferentes interpretaciones.

Bibliografía de ampliación: - Morris, W. 1938; Fundamentos de la teoría de los


signos, Barcelona, Paidós, 1985. Cap. 1, 2, 3, 4 y 5.
2. La notación lógica

La lógica simbólica construye sistema de signos especial, la


notación lógica, con el fin de representar la estructura de la
relación de inferencia.
Los signos más simples se combinan para formar signos más
complejos (sintáxis), se establece, según la interpretación, una
designación para los signos simples, que a su vez determina la
designación de los signos complejos (semántica), y se evalúan
problemas relativos a diferentes interpretaciones (pragmática).

Uno de los problemas de la lógica es: cómo obtener y exhibir la


forma lógica de cualquier razonamiento deductivo. Como
veremos, ello será posible si contamos con algún tipo de
SIMBOLISMO o NOTACION especial para desarrollar un sistema de
signos lógico.
2.1 Razonamientos deductivos y forma lógica

Consideremos, a modo de ej., el razonamiento presente en la sección 2


del apunte “La notación lógica”:

(*)
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

En la sección 4, se presenta su forma lógica como:

(A → (B ∧ (¬ C))
(D → (¬ C))
C
________________
(¬ (A ∨ D))
¿Cómo se obtuvo la forma lógica del razonamiento (*)?

¡La presente clase estará dedicada a responder esta pregunta!

En un sentido general, se puede responder que su forma lógica


se obtuvo a partir de FORMALIZAR el razonamiento.

Veamos en qué consiste ello.


2.2 Formalización y notación lógica

u  En la formalización del razonamiento considerado en el


ejemplo (*) aparecen algunos signos especiales, algunas
letras del alfabeto latino y paréntesis.

u  Específicamente, la formalización es el resultado de


“traducir” los enunciados que componen los razonamientos y
que están expresados en el lenguaje ordinario a la notación
lógica: es en tal notación o simbolismo lógico que se expresa
la forma lógica.

u  La traducción del lenguaje ordinario al lenguaje lógico se


lleva a cabo, como veremos en breve, a través de un código
de simbolización.
2.3 Los signos de la notación lógica

u  La NOTACION LÓGICAà dado que es un simbolismo para


desarrollar un lenguaje -un lenguaje lógico-, está compuesto
por distintos tipos de signos que, en virtud de su naturaleza
sígnica, representan o “están en lugar de algo”:

u  SIGNOS LÓGICOS signos especiales


u  SIGNOS NO LÓGICOS O DESCRIPTIVOS
u  SIGNOS AUXILIARES
Cuadro con todos los signos de la notación -que
iremos viendo a lo largo del desarrollo de esta Unidad Temática II-
¿Qué representan los signos de la notación?

(i) SIGNOS LOGICOS (ii) SIGNOS NO LOGICOS:

Representan EXPRESIONES LOGICAS, las Representan EXPRESIONES NO


cuales son de dos tipos: LOGICAS, las cuales son:
1.  Conectivas
2.  Cuantificadores (y variables de ¤  expresiones descriptivas
individuo)

¤  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

¤  En los ejemplos que hemos estado considerando, aparecen


expresiones como "si ... entonces”, "no”, “y”, “todos”,
“algún”, etc.

¤  Tales expresiones son palabras (escritas, en castellano y


mediante el alfabeto latino) que poseen significado.

¤  Sin embargo, no significan aisladamente sino en el contexto


de enunciados.

¤  Dado que significan conceptos lógicos (denominados –


como veremos en breve- “condicional”, "negación”,
“conjunción”, “cuantificador universal” y “cuantificador
existencial” respectivamente) se las considera expresiones
lógicas.
Consideremos nuevamente el razonamiento (*):

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 está sobre el Río de la Plata.
_________________________________________________________
No se da que Buenos Aires esté en Colombia o esté en Brasil.

¤  Tanto en las premisas como en la conclusión de este


razonamiento aparecen expresiones lógicas que pertenecen
al tipo de las CONECTIVAS (marcadas en verde).
En lo que sigue de la clase de hoy, nos
centraremos en:
4. Las conectivas

¤  Características generales: se las llama “conectivas” porque


conectan enunciados. Estas son palabras del castellano que
cumplen una función lógica; se refieren a operaciones
lógicas
4.1 Presentación de las conectivas
Ejemplos:

1.  Negación : se expresa en castellano


1.  No es cierto que Mar del Plata esté a orillas
mediante “no”, “no se da que”, etc.
del Mediterráneo.

2.  Conjunción: se expresa mediante “y”,


2.  Estados Unidos es un país industrial y Estados
“tanto... como”, “pero”, “aunque”, “no
Unidos exporta trigo.
obstante”, etc.

3.  Bolivia le vende gas a Brasil o Paraguay le


3.  Disyunción: se expresa mediante “o”, “o
vende electricidad a Brasil.
bien... o bien”, “ya... ya”, etc.

4.  Si Argentina exporta software, entonces


4.  Condicional: se expresa mediante “si ...,
exporta tecnología informática.
entonces…”, “sólo si”, “en caso de que”, “…
es condición suficiente para …”, “… es
condición necesaria para …”, etc. * (ver 5.  Laura vive en Buenos Aires si y sólo si vive en
próx. slide) la ciudad capital de la República
Argentina. [este enunciado puede inferirse de dos
enunciados tomados conjuntamente: (a) Si Laura vive
5.  Bicondicional: se expresa mediante “si y sólo en Buenos Aires, entonces vive en la ciudad capital de
si” etc. Cabe aclarar que el bicondicional es la República Argentina y (b) Si Laura vive en la ciudad
una conectiva que se define por medio del capital de la República Argentina, entonces Laura vive
en Buenos Aires]
condicional y la conjunción.
* Nota sobre el CONDICIONAL 1
Volvamos al siguiente ej. 4.: Si Argentina exporta software, entonces exporta
tecnología informática.

La expresión “si ..., entonces” expresa de manera estándar el condicional. En un


ENUNCIADO CONDICIONAL se afirma que la ocurrencia de un hecho (que Argentina
exporte tecnología informática, en este ej.) está condicionada o depende de que
suceda otro acontecimiento, la condición (que Argentina exporte software). Por eso,
el condicional transmite información hipotética, es decir, indica qué condiciones
deben cumplirse para que ocurra el evento condicionado. La condición se indica en
el ANTECEDENTE del condicional (“Argentina exporta software”). Lo condicionado se
describe en el CONSECUENTE del condicional (“Argentina exporta tecnología
informática”).

¤  Otras formas de expresar información condicional, además de la estándar, son:


¤  Suponiendo que Argentina exporte software, Argentina exporta tecnología informática.
¤  Argentina exporta software, sólo si Argentina exporta tecnología informática.
¤  Argentina exporta tecnología informática, si exporta software. (Inversión de antecedente y consecuente)
¤  Argentina exporta tecnología informática, a condición de que exporte software.
¤  Argentina exporta tecnología informática, en caso de que exporte software.
¤  El hecho de que Argentina exporta software implica que exporta tecnología informática.
* Nota sobre el CONDICIONAL 2

¤  CONDICION NECESARIA y CONDICION SUFICIENTE

¤  El antecedente del condicional expresa las CONDICIONES SUFICIENTES


para que suceda lo afirmado en el consecuente: basta que ocurra el
hecho indicado en el antecedente para que tenga lugar lo descripto
en el consecuente (en el ej., que Argentina exporte software es
condición suficiente para afirmar que exporta tecnología informática).

¤  El consecuente del condicional expresa las CONDICIONES NECESARIAS


del antecedente. Toda vez que ocurra lo indicado en el antecedente,
entonces necesariamente sucederá lo descripto en el consecuente.
En el ejemplo anterior, el hecho de que Argentina exporte tecnología
informática es condición necesaria para que exporte software.
4.2 Signos especiales para las conectivas

¤  Negación: se simboliza mediante el signo ¬ 

¤  Conjunción: se simboliza mediante el signo ∧

¤  Disyunción: se simboliza mediante el signo ∨

¤  Condicional: se simboliza mediante el signo → A la izquierda del signo se


representa el antecedente, y a la derecha el consecuente. Así, en un condicional
A → B, diremos que A es el antecedente y B el consecuente del condicional.

¤  Bicondicional: se simboliza mediante el signo ↔


Tabla de resumen de las conectivas

Conectiva signo expresiones en castellano

Negación ¬ no, no es cierto que, no se da que, etc.

Conjunción ∧ y, tanto ... como, pero, aunque, si bien, etc.

Disyunción ∨ o, o bien ... o bien, ya ... ya, etc..

Condicional → si ..., entonces, sólo si, en caso de que, a


condición de que, implica,suponiendo que.., etc.

Bicondicional ↔ si y sólo si, etc.


5. Signos para enunciados y composición de
enunciados:

¤  A los fines de concentrar la atención en las CONECTIVAS y destacar la ESTRUCTURA


LÓGICA DE LOS ENUNCIADOS, podemos introducir letras del alfabeto latino (“letras
esquemáticas” o “variables de enunciado”) que funcionarán como signo para
enunciado.

¤  Relación conectivas/ENUNCIADOS:


¤  Negación: afecta a un único enunciado èconectiva
unaria
¤  Conjunción, disyunción, condicional y bicondicional:
vinculan dos enunciados èconectivas binarias

¤  Enunciados à pueden ser de dos tipos:


¤  enunciados atómicos: son los enunciados simples, es decir, enunciados que no
contienen conectivas como “La tierra es un planeta
¤  enunciados moleculares: son enunciados complejos que contienen al menos una
conectiva, como en la expresión “La tierra es un planeta y es de papel”.
Consideremos el siguiente enunciado a modo de
ejemplo:

(1) Si Buenos Aires está en Colombia, entonces está


próxima al Ecuador y no está sobre el Río de la
Plata.

Obtenemos la estructura lógica del mismo, reemplazando las


expresiones lógicas (en este caso, conectivas exclusivamente)
por el correspondiente signo lógico especial:

(1*) Buenos Aires está en Colombia → (Buenos Aires está


próximo al Ecuador ∧ (¬ Buenos Aires está sobre el
Río de la Plata)))

A su vez, si representamos “Buenos Aires está en Colombia”


con “A”, “Buenos Aires está próximo al Ecuador” con “B” y
“Buenos Aires está sobre el Río de la Plata” con “C”,
obtenemos la expresión:

(1**) (A →( B ∧ (¬ C) ) )
Código de simbolización:

¤  Si seguimos con nuestro ej. (1) podemos estipular una


correspondencia entre los enunciados atómicos que integraban
(1), y las letras mayúscula utilizadas para representar los
enunciadosà CODIGO DE SIMBOLIZACION

¤  Así, tenemos para (1):

¤  Código:

A: “Buenos Aires está en Colombia”

B: “Buenos Aires está próximo al Ecuador”

C: “Buenos Aires está sobre el Río de la Plata”


Así, si consideramos los siguientes
razonamientos, obtenemos:

La Tierra es un planeta o gira en órbitas Si la Tierra es un planeta entonces


elípticas alrededor del sol. La tierra no gira en órbitas elípticas alrededor
es un planeta. Luego, la tierra gira en del sol. La tierra es un planeta.
órbitas elípticas alrededor del sol. Luego, la tierra gira en órbitas
elípticas alrededor del sol.
Código:
Código:
A: la Tierra es un planeta
A: la Tierra es un planeta
B: la Tierra gira en órbitas elípticas
alrededor del sol B: la Tierra gira en órbitas elípticas
alrededor del sol
AvB
(¬A) A→ B
________ A
B ________
B
6. Ejercitación *

*Ejercicios tomados de: Falguera López, J. L. y Martínez Vidal, C. (1999) , Lógica


clásica de primer orden- Estrategias de Deducción, Formalización y Evaluación
Semántica, Trotta, Madrid.

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:

También podría gustarte