Angel

En el ámbito de la filosofía y la lógica, contingencia es el estado de aquellos hechos que desde un punto de vista lógico no son ni verdaderos ni falsos. La contingencia es loopuesto a necesidad: un acto o hecho contingente es lo que podría no haber ocurrido o tenido lugar, un acto o hecho que no es necesario
Una proposición o enunciado es una oraciónque puede ser falsa o verdadera pero no ambas a la vez. La proposición es un elemento fundamental de la lógica matemática
Una proposición es una expresión donde se afirma o seniega algo. Tal proposición puede ser calificada sin ambigüedades como V o F, también recibe el nombre de Valor de Verdad
Las proposiciones son definidas, apenas "como unpensamiento completo". Para nuestro propósito las proposiciones pueden ser tentativamente igual a una sentencia.
Las proposiciones son una sentencia declarativa, o reglas las cuales tienenvalores de verdad, una proposición puede tener dos valores, verdadero o falso. Pero no ambos (verdadero y falso) y tampoco pueden no tomar ningún valor. Una proposición es unhecho. Los argumentos de las proposiciones son: premisas y conclusiones de una proposición. Las proposiciones son portadoras de veracidad y falsedad.
Reglas del cálculocuantificacional. Cálculo de predicados [editar]
Cuando el argumento no se fundamenta en las relaciones conectivas entre las proposiciones como un todo, sino en el análisis de lasproposiciones, se hace necesario la ampliación del cálculo lógico como son, ahora, las reglas de cuantificación, para el cálculo cuantificacional.
La cuantificación permite explicitar elámbito de aplicación de un predicado a un sujeto o conjunto de sujetos. Por lo que el cálculo según este modo de análisis de la proposición se conoce como “cálculo de predicados”.