De Todo Un Poco

Lógica proposicional
 Una proposición es una oración con valor referencial o informativo, de la cual se puede predicar su veracidad o falsedad, es decir, que puede ser falsa o verdadera pero no ambas a la vez. La proposición es la expresión lingüística del razonamiento, que se caracteriza por ser verdadera o falsa empíricamente, sin ambigüedades. Son proposiciones las oraciones aseverativas, lasleyes 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. El valor de verdad de una proposición depende no solamente de las relaciones entre las palabras del lenguaje y los objetos en el mundo, sino también del estado del mundo y del conocimiento acerca de ese estado. El valor de verdad de la oración
 Juan canta depende no solamente de la persona denotada en
 Juan y el significado del verbo
Cantar, sino también del momento cuando esta oración esexpresada. Juan probablemente canta ahora, pero ciertamente que no siempre está cantando. De la misma manera, debemos 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
. Así los siguientes enunciados representan en realidad a la misma proposición:
• En Maracaibo hace mucho calor
•Maracaibo es una ciudad muy calurosa
• La temperatura media de Maracaibo es bastante alta
• El clima de Maracaibo es cálido
• Maracaibo es a hoto citillas 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

Leyes notables en lógica
Entre las reglas de la lógica proposicionalclásica algunas de la más notables son las latadas a continuación:
1. ley de doble negación
2. leyes de idempotencia
3. leyes asociativas
4. leyes conmutativas
5. leyes distributivas
6. leyes de de Morgan
Otras leyes como el principio del tercero excluido son admisibles en lógica clásica, pero en lógica intuicionista y con fines a sus aplicaciones matemáticas no existe unequivalente del tercero excluido.
Límites de la lógica proposicional
La maquinaria de la lógica proposicional permite formalizar y teorizar sobre la validez de una gran cantidad de argumentos. Sin embargo, también existen argumentos que son intuitivamente válidos, pero cuya validez no puede ser probada por la lógica proposicional. Por ejemplo, considérese el siguiente argumento:
1. todos loshombres son mortales.
2. Sócrates es un hombre.
3. por lo tanto, Sócrates es mortal.
Como este argumento no contiene ninguna de las conectivas «no», «y», «o», etc., según la lógica proposicional, su formalización será la siguiente:
1. p
2. q
3. por lo tanto, r
Pero esta es una forma de argumento inválida, y eso contradice nuestra intuición de que el argumento es válido. Parateorizar sobre la validez de este tipo de argumentos, se necesita investigar la estructura interna de las variables proposicionales. De esto se ocupa la lógica de primer orden. Otros sistemas formales permiten teorizar sobre otros tipos de argumentos. por ejemplo la lógica, la lógica modal y la lógica temporal.

Fundamentos de lógica
Es la que determina si un razonamiento es válido o no.
algunosprecursores de la lógica pudieron verificar que esta ciencia casi expresada en su totalidad en palabras no hacía posible una fácil aplicación de temas matemáticos cuyo procedimiento y desarrollo se quería comprobar, por lo que se introdujo símbolos que representan las definiciones y reglas dadas por la lógica, creándose por consiguiente la lógica simbólica, llamada lógica matemática.
La lógica...