Está en la página 1de 7

1clasificaxion De la lógica

Tipos de lógica matemática


Hay diversos tipos de lógica, sobre todo si se toma en cuenta la lógica
pragmática o informal que apunta a la filosofía, entre otras áreas.

En lo que a matemática respecta, los tipos de lógica se podrían resumir en:

 Lógica formal o aristotélica (lógica antigua).


 Lógica proposicional: se encarga del estudio de todo lo referente a
la validez de argumentos y proposiciones usando un lenguaje
formal y también simbólico.
 Lógica simbólica: enfocada en el estudio de los conjuntos y sus
propiedades, también con un lenguaje formal y simbólico, y está
profundamente vinculada con la lógica proposicional.
 Lógica combinatoria: una de las desarrolladas más recientemente,
envuelve resultados que pueden ser desarrollados mediante
algoritmos.
 Programación lógica: usada en los diversos paquetes y lenguajes
de programación.

2 objetivo de la lógica

Lógica matemática. Es la disciplina que trata de métodos de razonamiento. En un


nivel elemental, la lógica proporciona reglas y técnicas para determinar si es o no
valido un argumento dado. El razonamiento lógico se emplea en matemáticas para
demostrar teoremas; en ciencias de la computación para verificar si son o no
correctos los programas; en las ciencias física y naturales, para sacar conclusiones de
experimentos; y en las ciencias sociales y en la vida cotidiana, para resolver una
multitud de problemas. Ciertamente se usa en forma constante el razonamiento lógico
para realizar cualquier actividad.

3 lenguaje
2.1. Lenguaje natural:
2.1.1. Los idiomas o lenguas existentes (castellano, chino, francés, ruso, las distintas
lenguas de sordos, etc.).

2.1.2. Por otra parte, el lenguaje del «cuerpo prelingüístico», como puede ser la
mímica de las emociones y sentimientos (Darwin publicó ya en 1873 una obra
titulada La expresión de las emociones en el hombre y en los animales), los sutiles
intercambios de información corpórea entre un recién nacido y su madre o, en
general, los sensaciones estéticas que percibimos o que transmitimos. Este es el lugar
donde el lenguaje animal y el humano encuentran su punto de confluencia más
potente.

2.2. Lenguaje artificial:

2.2.1. El lenguaje de las máquinas, que está hecho como es notorio por los humanos.
2.2.2. Los distintos códigos de señales, de iconos o de normas de funcionamiento
como el código de circulación, de morse, de banderas o, de juegos, como el ajedrez

4Elementos del lenguaje

1) Elementos del lenguaje

* Símbolos matemáticos * Frase matemática* Objetos matemáticos* N meros ! "etras

5tipos de lenguaje(artificial y natural

6mención y uso de los signos


7 función y uso del lenguaje

El len#uaje cumple ) funciones distintas$Función E,presiva$ se usa para dar o manifestar


sentimientos- emociones o actitudes afectivas.Función irectiva$ se usa con el propósito de
ori#inar- impedir o modi'car una conducta o una actitud en el o!ente o receptorFunción /nformativa$
Es cuando el &ablante utiliza el len#uaje para transmitir información ! comunicar conocimiento

8 proposiciones del lebguaje

5) Proposiciones y tipos de proposiciones

Son e,presiones lin#0ísticas del razonamiento- %ue se caracterizan por ser verdaderas o falsas
empíricamente- sin ambi#0edades.12acer una tabla de las simbolo#ías ! su función

9 lenguaje objeto

10 metalenguaje

El metalenguaje en informática es usado para describir las cadenas de programas


de forma precisa. En el año 1950, en el ámbito de la computación, se presentan
dos tipos de problemas para la composición de programas computacionales:

1. La falta del diseño de un lenguaje matemático para expresar un algoritmo.


2. La incapacidad de traducir los programas al código computacional.
El primer problema fue resuelto gracias a la creación de la disciplina de diseño de
programas computacionales, y la segunda cuestión quedó solucionada gracias a
la generación de compiladores que se definen como un metalenguaje, siendo un
programa que lee un programa.

Los compiladores informáticos se basan en lenguajes de programación. Uno de


los más usados es el BNF (Backus-Naur Form) creado por John Backus y Peter
Naur, siendo desarrollado de forma independiente por Noam Chomsky, conocido
también como la jerarquía modelo TYPE2 de Chomsky.

11 designado y denotado de los signos

Tablas de verdad

Otro concepto importante en lógica es el de tablas de verdad. Los valores


de verdad de una proposición son las dos posibilidades que se tiene para
una proposición: verdadera (que se denotará por V y se dirá que su valor
de verdad es V) o falsa (que se denotará por F y se dirá que su valor de
verdad es F).

El valor de verdad de una proposición compuesta depende exclusivamente


de los valores de verdad de las proposiciones simples que aparecen en ella.

Para trabajar de manera más general, no se considerarán proposiciones


específicas, sino variables proposicionales p, q, r, s, etc., que representarán
proposiciones cualesquiera.

Con estas variables y los conectivos lógicos se forman las conocidas


fórmulas proposicionales al igual que se construyen las proposiciones
compuestas.

Si cada una de las variables que aparecen en una fórmula proposicional se


sustituye por una proposición, se obtiene una proposición compuesta.

A continuación se presentan las tablas de verdad para los conectivos


lógicos:


Hay fórmulas proposicionales que reciben solo el valor V en su tabla de
verdad, es decir, la última columna de su tabla de verdad solo posee el
valor V. A este tipo de fórmulas se le conoce como tautologías. Por
ejemplo:

La siguiente es la tabla de verdad de la fórmula

Se dice que una fórmula α implica lógicamente a otra fórmula β, si α es


verdadera cada vez que β lo sea. Es decir, en la tabla de verdad de α y de
β, las filas donde α tiene una V, β también tiene una V. Solo interesa las
filas en las que α tenga el valor V. La notación para la implicación lógica es
la siguiente:

La siguiente tabla resume las propiedades de la implicación lógica:

Se dice que dos fórmulas proposicionales son lógicamente equivalente si


sus tablas de verdad son idénticas. Se usa la siguiente notación para
expresar la equivalencia lógica:

Las siguientes tablas resumen las propiedades de la equivalencia lógica: