Lógica Formal

Semana 1
Clase 1
Fecha 21/8/2020

Lenguaje natural
Lenguaje (conjunto de símbolos) utilizados por una sociedad o comunidad para
comunicarse.

Elementos de un lenguaje natural

El lenguaje natural humano, consta de un conjunto finito de símbolos y un numero finito
también de reglas (sintaxis) las cuales determinan como combinar correctamente los
símbolos del vocabulario, es decir establecer como formar correctamente oraciones en
ese lenguaje.

Oración
Es una expresión lingüística sintácticamente correcta y que posee sentido completo.

Proposición
Es una oración o expresión lingüística que tiene sentido completo y que mediante un
entorno bien definido puede ser clasificada inequívocamente como verdadero o falsa.
En ingles o español no pueden ser imperativos o interrogativos, únicamente pueden ser
declarativas.

Insuficiencias del lenguaje natural

Dada la riqueza significativa que lo caracteriza, el lenguaje natural resulta insuficiente
para la exigencia de exactitud de la ciencia o para la formulación precisa de
razonamientos complejos.

Ambigüedades semánticas
Palabras cuyo significado no es preciso (palabras que tienen más de un significado).

Deficiencias sintácticas
Las reglas sintácticas que determinan como combinar correctamente las palabras del
lenguaje natural carecen de criterios rigurosos que permiten evitar oraciones sin sentido.

Lenguaje formal
Tratando de superar las limitaciones mencionadas se ha ido construyendo los lenguajes
formales esto es, lenguajes bien definidos que poseen una estructura operativa mas
eficaz.
Básicamente consta de los mismos elementos del lenguaje natural, pero se les exige
además.
 Que los símbolos estén bien definidos
 Que el conjunto de reglas de formación de expresiones impida la construcción de
expresiones carentes de sentido y permitan determinar en cualquier momento si
una combinación de símbolos es una expresión bien formada.
 Que posea también conjunto de reglas operativas o de transformación de
expresiones.
Proposiciones
La proposición esta directamente asociada a su significado.
Ejemplo:
Está llorando el niño.
El niño está llorando.
Tienen el mismo significado y se consideran proposiciones iguales.
Las proposiciones se denotan con las letras p, q, r…
Letras minúsculas y se hace de la siguiente forma,
p: enunciado u oración
ejemplo:
p: camilo es estudiante de lógica formal
q: 8 > 5
r: 3 es número par

Valor de verdad de una proposición

Se establece el valor de verdad de una proposición matemática, cuando se dice que ella
es verdadera o falsa, dándole una interpretación a la proposición.
v(.)= v o f

Negación de una proposición

La negación de una proposición matemática es la formada al cambiar el valor de verdad
de la proposición inicial. Dada la proposición p, su negación se denota ¬p
Nota: Las proposiciones siempre se declaran en forma afirmativa.

Clasificación de las proposiciones

Las proposiciones se clasifican de dos formas:
Proposición simple o atómica: cuando se trata de una afirmación única, es decir, si no
puede descomponerse en partes que a su vez sean proposiciones.
Proposición compuesta o molecular: cuando se trata de una negación o varias
proposiciones simples enlazadas.

Semana 2
Clase 1
Fecha 24/08/2020

Argumentos en Lógica formal

Por argumentos se entiende un razonamiento utilizado para defender un razonamiento
utilizado para defender una idea (tesis o conclusión) o para convencer a otros de la
verdad del enunciado.

Definición
Es una secuencia finita de enunciados. El ultimo enunciado de la secuencia es la
conclusión (cuando se encuentra en forma estándar), mientras que los demás enunciados
son la premisa del argumento.

P1- La mayoría de los jardineros carecen de estudios universitarios.

P2- Andrés es un jardinero.
C- Andrés carece de estudios universitarios.