Analista De Sistema

LOGICA PROPOSICIONAL

1. defina enunciados, sentencias y proposición
2. ¿Qué son las variables proposicionales?
3. ¿Qué son las constantes lógicas conectivas o funtores?
4. explique ¿Qué es la negación y su ley?
5. explique la conjunción o producto lógico y sus leyes
6. explique la disyunción o suma lógica y sus leyes
7. explique el condicional o implicación materialy sus leyes
8. explique el bicondicional o equivalencia material y sus leyes
9. explique como se realiza una tabla de verdad y muéstrelo con la negación, el producto lógico, la suma lógica, el condicional y el bicondicional
10. explique ¿Qué es una función de verdad?
11. ¿Qué se usa para determinar el alcance de los enunciados o proposiciones?
12. ¿Qué son las tablas de verdad,para que sirven?. Explique la verdad lógica que se desprende de ellas.

Desarrollo

1. La función por lo cual el lenguaje describe los hechos ha sido denominada, entre otras formas, enunciativa; esta afirmación o información acerca de los hechos es adecuada, esto es, describe los hechos tal cual son, es verdadera; si no lo hace así, es falsa. 
El enunciado puede parangonarse a loque gramática hemos conocido como oración, dado que toda oración es una unidad significativa. Mientras que un enunciado es una descripción de la realidad y puede, por eso, ser verdadero o falso, los otros tipos de oraciones (el enunciado es una oración entre otras oraciones) no pretenden describir nada; ni afirman ni niegan, ni pueden, en consecuencia, ser verdadera o falsa, en definitiva un enunciado es unasecuencia finita de símbolos lingüísticos que tienen un sentido unitario y acabado, que pretende describir un hecho y que puede ser verdadero o falso. 
Sentencia es un anglicismo (derivado de “sentence”) incorporado a la literatura lógica y que denota el aspecto físico, real del enunciado, es decir, los elementos materiales captable por medio de los sentidos, los trazos gráficos (si el lenguaje esescrito) si el lenguaje es oral, las ondas sonoras de las palabras. 
La proposición es el sentido de la sentencia, el contenido ideal significativo de la sentencia. Esta es el ropaje físico, material se la proposición. 
El significado de una proposición por si mismo no es relevante para la lógica, ciencia formal. Podrá serlo para otra tipo de ciencias, para las que en general pretenden darcuenta del mundo. 
2. Los enunciados son suplantados por símbolos arbitrarios, denominados variables proposicionoles, variables sentenciales o variables de enunciados, que representan únicamente lo que si nos interesa de ellos: sus valores de verdad. Estos símbolos operan en los enunciados una formalización, lo despojan de un contenido semánticas, su materia significativa, y representan solo lareferencia de todo enunciado a esos dos valores, sin hacer otras indicaciones acerca del significado o referencia objetiva de los enunciados mismos. 
Las variables son usadas en el algebra cuando se quiere hablar de las propiedades de numero cualesquiera sin indicar cuales son esos números. Así, por ejemplo, se dice: “sea i un numero cualquiera, entonces, (i-1).(i+1)= i -1. 
En definitiva unavariable proposicional es un símbolo convencional (p,q,r,s...) que representa esquemáticamente un enunciado atómico cualquiera. 
 
3. Las constantes lógicas, functores, conectivas o conectivos son símbolos que no tienen dimensión semántica, no se refieren a objetos extralinguisticos y solo representan operaciones sintácticas. Son, en el lenguaje corriente, palabras como “no”, “y”, “o”, “pero”,“aunque”, “si... entonces. 
4. En castellano hay múltiples recursos idiomáticos para expresar la negación. Generalmente para negar un enunciado basta con anteponer el adverbio de negación “no” al verbo: pero, además, se utilizan otros giros o perifrasis tales como “no es el caso que...”, “no es verdad que...”, “es falso que...”. 
La notación grafica, en lógica simbólica, de los diversos...