Академический Документы
Профессиональный Документы
Культура Документы
Proposición
Una proposición es un ordenamiento resultado de nuestra actividad pensante donde
expresamos, bien la posibilidad de la ocurrencia de un hecho, o la necesidad de una
acción, o una orden, un deber, una interrogante, etc.
Puede decirse que una proposición es una frase declarativa o juicio al que, podemos
asignarle un valor verdadero ya sea cierto o falso. Por ejemplo la frase “El programa
es de Soft”, es una proposición, a priori no puede decirse si esta proposición tiene
un valor cierto o falso, pero si se parte de un contexto en que se establece
unívocamente de qué programa se está hablando y además se conoce que
efectivamente este es de Soft, puede afirmarse que la proposición es cierta.
En la lógica proposicional se estudian las proposiciones, los operadores que permiten
construir proposiciones compuestas a partir de proposiciones simples, la manera de
obtener el valor verdadero de un juicio compuesto a partir de los valores de las
proposiciones que lo forman y de los operadores que vinculan a estos, así como el
modo de representar las proposiciones a través de fórmulas matemáticas.
Es importante tener en cuenta que no toda expresión lingüística es una proposición,
por ejemplo, las preguntas o las órdenes no pueden considerarse como tal pues no
se le puede asignar un valor veritativo en ningún contexto.
Método semántico
En el método semántico, se dice que un esquema de argumento es válido cuando
es imposible que las premisas sean verdaderas y la conclusión falsa. Para determinar
si esto es el caso, se supone la verdad de las premisas, y aplicando las definiciones
de verdad, se intenta deducir la verdad de la conclusión. O también, se supone que
las premisas son verdaderas y la conclusión falsa, y aplicando las definiciones de
verdad, se intenta deducir una contradicción (reducción al absurdo).
En la lógica proposicional, un método alternativo es transformar un argumento en
su correspondiente fórmula, y construir una tabla de verdad. Si la fórmula resulta
ser una verdad lógica, entonces el argumento es válido. Esto se debe a que vale el
teorema de la deducción y su converso, pero también a que la lógica proposicional
es decidible, y por lo tanto siempre admite de un procedimiento algorítmico para
determinar si una fórmula cualquiera es una verdad lógica o no.
Método sintáctico
En el método sintáctico, se dice que un esquema de argumento es válido cuando
existe una deducción de la conclusión a partir de las premisas del argumento y los
axiomas del sistema, utilizando sólo las reglas de inferencia permitidas.
En un sistema de deducción natural, es como el conjunto de axiomas es vacío, un
esquema de argumento será válido cuando exista una deducción de la conclusión a
partir de las premisas, utilizando sólo las reglas de inferencia permitidas.