Economia

INDICE


Introducción ... 3
Capítulo I
Antecedentes Históricos 4
Capítulo II
2. Conceptos y Definiciones
2.1 Lógica Matemática 5
2.1.1 Proposición 5
2.1.2 Variables Proposicionales 6
2.1.3 Lógica Proposicional 6
Capítulo III
3. Constantes o conectivas Lógicas y Tablas de verdad
3.1 Negador 7
3.1.1 Conjunción 7
3.1.2 Disyunción 9
3.1.3 Condicional o implicación. 10
3.1.4Bicondicional o equivalencia 12
3.1.5 Tautología y Contradicción 14









INTRODUCCION

La lógica matemática o lógica simbólica es de gran importancia en el análisis de las expresiones literales y numéricas que se pueden dar en determinados casos siguiendo un orden lógico en las nomenclaturas de la lógica, que se pueden desarrollar mediante las proposiciones que servirán paradeterminar si un enunciado puede ser verdadero o falso, los términos las proposiciones y los argumentos o los silogismos, respectivamente, para determinar la validez del raciocinio en base a las relaciones formales de sus elementos. Siguiendo varias formas de proposiciones que pueden ser simples o compuestas, contando con los elementos de la lógica como los conectivos, símbolos, y los valores de verdadque son la negación, conjunción, disyunción, condicional o implicación, y bicondicional, estos valores de verdad serán ejemplificados en cada caso con el fin de comprender cada uno de sus funciones.









CAPITULO I

ANTECEDENTES HISTÓRICOS

En el siglo XIX anteriormente se realizaron algunos intentos de tratar las operaciones lógicas formales de una manera simbólica por partede algunos filósofos matemáticos como Leibniz y Lambert

Se inició profundamente en la segunda mitad del siglo XIX “En los trabajos de Margan (1806-1876), Boole (1815-1864), Frege (1848-1925) y Peana (1858-1932)" 1

Sin embargo, la verdadera revolución de la lógica vino de la mano de Gottlob Frege, quien frecuentemente es considerado como el lógico más importante de la historia, junto conAristóteles. En su trabajo de 1879, la Conceptografía, Frege ofrece por primera vez un sistema completo de lógica de predicados y cálculo proposicional. También desarrolla la idea de un lenguaje formal y define la noción de prueba. Estas ideas constituyeron una base teórica fundamental para el desarrollo de las computadoras y las ciencias de la computación.









CAPÍTULO II
CONCEPTOSY DEFINICIONES
2.1 LOGICA MATEMATICA.
Es una ciencia formal que estudia los conceptos, los juicios y los razonamientos, los cuales son representados con el uso del lenguaje simbólico de la matemática a partir del análisis de las formas como se expresan dichos elementos del pensamiento

Los términos y las preposiciones y los argumentos o los silogismos, respectivamente, servirán paradeterminar la validez del raciocinio en base a las relaciones formales de su elemento.

2.1.1 Proposición.
“Es la expresión de un juicio entre dos términos que solo puede ser verdadera o falsa, pero no puede ser verdadera y falsa simultáneamente”.2
La preposición tiene que ser una expresión que se pueda determinar si es verdadero o si es falso, de lo contrario no sería una preposición.
Ejemplo:1. El Tejar es un municipio de Chimaltenango ( V )
2. El municipio de sumpango pertenece a Chimaltenango ( F )




2.1.2 Variables Proposicionales.

“Son los signos que representan proposiciones declarativas y se simbolizan con las letras "p", "q", "r", "s", "t" y siguientes letras del alfabeto. En caso de que en un argumento existan muchas proposiciones, queexcedan en número a las variables indicadas, se suele aplicar subíndices a las mismas para tener una serie más extensa, pero en cualquier caso, una proposición determinada será representada por sólo una variable proposicional”3
Son aquellas expresiones literales del orden alfabético que representaran a las preposiciones, y luego determinar si son verdaderas o falsas.

2.1.3 Lógica Proposicional....