Tesis

Índice


Introducción……..……………………………………………………………….3
Lógica Proposicional…………………………………………………………….4
Clasificación……………………………………………………………………...6
Simbología……………………………………………………………………….7
Tablas de Verdad………………………………………………………………10
Conectores Lógicos……………………………………………………………10
La Lógica Proposicional y La Computación…………………………………15
Conclusión………………………………………………………………………16Bibliografía……………………………………………………………………...17





















Introducción

A continuación encontraremos una breve explicación de lo que es la lógica proposicional, la cual se encarga de analizar ciertos tipos de argumentos. Permitiendo conocer si algo es verdadero o falso, su clasificación simple y compuesta, además la simbología utilizada para representar la misma y los conectores lógicos siendo el lenguaje quese expresa en términos como y, que entre otros.

También podemos decir que es un sistema formal diseñado para analizar ciertos tipos de argumentos. En lógica proposicional, las fórmulas representan proposiciones y las conectivas lógicas son operaciones sobre dichas fórmulas, capaces de formar otras fórmulas de mayor complejidad

Entre estos conectores tenemos los siguientes: conjunción ∧,disyunción ∨, incluyente ∨, excluyente ⊕.

















LOGICA PROPOSICIONAL

DEFINICIÓN

Para alcanzar el entendimiento de la lógica proposicional es necesario entender el significado de una proposición, por lo que a continuación presentamos su definición:

Una proposición es una oración informativa que puede ser verdadera o falsa. Son proposiciones las oracionesaseverativas, las leyes científicas, las fórmulas matemáticas, las fórmulas y/o esquemas lógicos, los enunciados cerrados o claramente definidos. No son proposiciones las opiniones y suposiciones; los proverbios, modismos y refranes; los enunciados abiertos no definidos; las oraciones interrogativas, exclamativas, imperativas, desiderativas y dubitativas; las interjecciones en general; ni las operacionesaritméticas.

Es importante hacer una distinción entre la oración gramatical propiamente dicha, a la que llamaremos enunciado, y el contenido o significado del enunciado, que es la proposición. A continuación presentamos enunciados que representan en realidad a la misma proposición:

 En Maracaibo hace mucho calor
 Maracaibo es una ciudad muy calurosa
 La temperatura media de Maracaibo esbastante alta
 El clima de Maracaibo es cálido
 Maracaibo is a hot city
Las siguientes expresiones son ejemplos de proposiciones:

 Bolívar libertó a Venezuela
 El hierro es un mineral
 Einstein fue un físico teórico
 36 + 63 = 99
 La palabra "esdrújula" es esdrújula

Los siguientes son ejemplos de expresiones las cuales no son proposiciones:

 El hombre más fuerte del mundo El director del periódico
 ¡Quién se ganara el Kino!
 13 + 7
 ¡Tú te callas!
 X obtuvo el Premio Nobel en 1970
 ¿Cuánto cuesta ese reloj?

Las proposiciones se representan por letras minúsculas: p, q, r, s, t, u, etc. Por ejemplo, sea la proposición q igual a 34 + 56 = 90.

En síntesis, podemos definir una proposición de la siguiente manera:

“Enunciado o frase a la cual puedeasignársele uno de los dos valores de verdad 1, si es verdadera T, o 0 si es falsa F”.

A continuación presentamos la definición de Lógica Proposicional:
La Lógica Proposicional es un sistema formal que se encarga de analizar ciertos tipos de argumentos. En éste sistema, las fórmulas representan proposiciones y las conectivas lógicas son operaciones sobre dichas fórmulas, capaces de formar otrasfórmulas de mayor complejidad.

A la lógica proposicional se le denomina lógica bivalente o lógica binaria, porque sólo tiene dos categorías de clasificación: las proposiciones verdaderas T y las falsas F. También pueden usarse 1 y 0, respectivamente.

A continuación se presentan algunos ejemplos de argumentos lógicos proposicionales:
(a) 15 es divisible por 7....