Вы находитесь на странице: 1из 4

Calculo proposicional

El cálculo proposicional o lógica proposicional, es la ciencia que trata de los


principios válidos del razonamiento y la argumentación. El estudio de lógica es el
esfuerzo por determinar las condiciones que justifican a una persona para pasar de
una proposición dada, llamadas premisas, a una conclusión que se deriva de
aquéllas.
El estudio de lógica es el esfuerzo por determinar las condiciones que justifican a
una persona para pasar de una proposición dada, llamadas premisas, a una
conclusión que se deriva de aquellas. Según L. García, 1990, la Lógica proposicional
estudia las operaciones proposicionales y la deducción proposicional.
Es la más antigua y simple de las formas de lógica, permite representar y manipular
aserciones sobre el mundo que nos rodea, a través del razonamiento, primeramente
evaluando sentencias simples y luego sentencias complejas, formadas mediante el
uso de conectivos proposicionales. Es diseñada para analizar ciertos tipos de
argumentos, en ella las fórmulas representan proposiciones y las conectivas lógicas
son operaciones sobre dichas fórmulas, capaces de formar otras fórmulas de mayor
complejidad. Como otros sistemas lógicos la lógica proposicional intenta esclarecer
nuestra comprensión de la noción de consecuencias lógicas para el rango de
argumentos que analiza.
La lógica proposicional es un sistema formal cuyos elementos más simples
representan proposiciones, y cuyas constantes lógicas, llamadas conectivas lógicas,
representan operaciones sobre proposiciones, capaces de formar otras
proposiciones de mayor complejidad.

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.

Pruebas de validez e invalidez


La validez lógica de los argumentos:
Dar razones es una práctica cotidiana en nuestras vidas, la realizamos cuando
solicitamos un permiso para ir a una fiesta, también cuando cometemos
equivocaciones y se molestan con nosotros; acostumbramos ofrecer razones, porque
es parte del ser comunicativo del hombre, lo hacemos así por su relativa efectividad
para expresar nuestras creencias, además porque nuestras sociedades son el
resultado de un contexto comunicativo.
¿Cómo saber cuándo un argumento es válido? De manera simple, cuando su
conclusión se sigue o es una consecuencia lógica de sus premisas, porque la
conclusión está implicada necesariamente por las premisas, de tal modo que si sus
premisas son verdaderas su conclusión necesariamente será verdadera, dicho de
otro modo, es imposible que un argumento sea válido, si sus premisas siendo
verdaderas derivan una conclusión falsa.

Las reglas de inferencia.


Un elemento importante para demostrar o probar argumentos es el uso
indispensable de leyes o reglas de inferencia, con ellas podemos hacer deducciones,
es decir, podemos obtener conclusiones de conjuntos de premisas.
Las reglas de inferencia son necesarias para deducir y demostrar formalmente, pero
no pueden ser cualquier tipo, deben tener cualidades específicas, por ejemplo, son
tautologías, lo cual quiere decir que todos sus valores de verdad son siempre
verdaderos.
Por otra parte, las inferencias que pueden hacerse con ellas garantiza la validez, o
sea, ofrecen una consecuencia lógica de sus premisas; así, cuando las premisas son
verdaderas, la conclusión seguida también será verdadera necesariamente.
La lógica tiene como finalidad distinguir el razonamiento correcto del incorrecto.
Los métodos para la demostración válida y no válida de los argumentos es la
demostración directa, que emplea a su vez las leyes de implicación. Un argumento
es una secuencia o serie de proposiciones en la que una de ellas, llamada conclusión,
se infiere o se obtiene de las premisas. La validez de los argumentos consiste pues,
en que las premisas y la conclusión se encuentran lógicamente estructurada, sin
importar si dicho argumento es verdadero o falso, puesto que lo importante será
destacar la coherencia lógica o formal y la correcta aplicación de las reglas y las
leyes.

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.

La Validez lógica de los argumentos


En un argumento hay que distinguir las premisas y la conclusión. Las premisas son
las proposiciones a partir de las cuales se obtiene un nuevo conocimiento que se
llama conclusión. Lo importante desde el punto de vista de la lógica es el nexo que
une a las premisas con la conclusión. Se trata de un nexo necesario. Cuando se
capta un nexo necesario entre las premisas y la conclusión decimos entonces que el
raciocinio es correcto lo cual se expresa también con el término validez. La lógica ha
analizado diferentes tipos de argumentos y ha encontrado ciertos nexos necesarios
entre premisas y conclusión. Estos nexos descritos por la lógica se refieren a la pura
forma independiente del contenido.
La validez lógica de un argumento consiste, pues, en la necesidad que se da entre
las premisas y la conclusión sin tener que recurrir al análisis de los contenidos.

Las Demostraciones Formales


El camino para demostrar la validez de un argumento consiste en confrontar su
forma general con las leyes de implicación y de equivalencia. Para eso se siguen
varios pasos:
a) Se recomienda escribir cada proposición es una línea diferente y enumerarlas en
orden progresivo.
b) Traducir cada línea de acuerdo a los símbolos.
c) Analizar y colocar las abreviaturas de las leyes que ahí se encuentren.

Modus Ponendo Ponens


Nos indica que un silogismo condicional, al afirmar el antecedente es válido afirmar
el consecuente.

Modus Tollendo Tollens


Nos indica que cuando tenemos una proposición condicional y se niega en
consecuente, entonces es válido negar el antecedente.

Вам также может понравиться