contabilidad

LOGICA PROPOSICIONAL LENGUAJE NATURAL, LENGUAJE ARTIFICIAL Y LENGUAJE FORMALLos lenguajes naturales, es decir las distintas lenguas que habitualmente utilizan los miembros de distintas comunidades humanas para comunicarse.Para el uso científico por ejemplo, los lenguajes naturales presentan ciertas diferencias: desde el punto de vista léxico, falta de univocidad; desde el punto de vista operacional,dificultad para realizar cualquier cálculo.
Por este motivo las distintas ciencias construyen lenguajes artificiales, asignando a sus símbolos significados precisos y unívocos, y estableciendo conprecisión reglas operativas eficaces que permiten construir razonamientos fiables.
Decimos entonces que estamos ante un lenguaje formal, porque solo interesa la forma, no el contenido o significadoempírico de sus símbolos.
Lo único que cuenta es que la utilización de los símbolos, las formulas y las operaciones se ajuste a las reglas establecidas.
LAS PROPOSICIONES Y LA LOGICA PROPOCISIONAL
Todoslos lenguajes están construidos a partir de combinaciones de signos que reciben el nombre de expresiones. Pero no cualquier combinación es válida. Cuando una expresión de lenguaje natural esgramaticalmente correcta y tiene sentido completo recibe el nombre de oración..
Aquí nos interesan las oraciones enunciativas, también llamados enunciados o proposiciones, que son aquellas oraciones queafirman o niegan algo, por lo tanto son verdaderas o falsas.
Las oraciones pueden ser analizadas, por ejemplo: (las moscas son insectos) gramaticalmente podemos analizar esta oración por distinguir unsujeto y un predicado, en esta se establece una relación entre clases y conjuntos.
Una proposición simple es aquella que no puede descomponerse en partes,
Una proposición compleja también...