Informatica

Semiótica: estudio de los signos en una comunidad y de la que forma parte la lingüística. Las disciplinas semiótica.

6. Objetivos de la lógica

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, sin embargo, se usa en forma constante para realizar cualquier actividad en la vida.

La lógica matemática es una parte de la lógica y las matemáticas, que consiste en el estudio matemático de la lógica y en la aplicación de este estudio a otras áreas de las matemáticas. La lógica matemática tiene estrechas conexiones con la ciencia de la computación y la lógica filosófica.

La lógica matemática estudia los sistemasformales en relación con el modo en el que codifican nociones intuitivas de objetos matemáticos como conjuntos, números, demostraciones y computación.

7. Proposiciones

Definición y clases de proposiciones

Una proposición o enunciado es una oración que puede ser falso o verdadero pero no ambas a la vez.

Toda proposición consta de tres partes: un sujeto, un verbo y un complemento referido al verbo. La proposición es un elemento fundamental de la Lógica Matemática.

Algunos ejemplos de proposiciones válidas y no válidas, y se explica por qué algunos enunciados no son proposiciones. Las proposiciones se indican por medio de una letra minúscula, dos puntos y la proposición propiamente dicha.

Ejemplos.

p: México se encuentra en Europa.

q: 15−6 = 9

r: 2x −3 > 7

s: Los precios de los teléfonos celulares bajarán a fin de año.

t: Hola ¿cómo estás?

w: ¡Cómete esa fruta!

Los enunciados p y q pueden tomar un valor de falso o verdadero, por lo tanto, son proposiciones validas. El inciso r también es una proposición valida, aunque el valor de falso o verdadero depende del valor asignado a la variable x en determinado momento. La proposición del inciso s también esta perfectamente expresada aunque para decir si es falsa o verdadera se tendría que esperar a que terminara el año. Sin embargo, los enunciados t y w no son válidos, ya que no pueden tomar un valor de falso o verdadero, uno de ellos es un saludo y elotro es una orden.

En general, las proposiciones pueden ser:

* Simples si sólo tienen un sujeto, un verbo y un complemento. En caso contrario, son proposiciones compuestas.

* Cerradas si tienen

...