logica simbolica

Lógica

Es el estudio de los métodos y principios usados para distinguir entre argumentos
correctos e incorrectos. La lógica se aborda como arte y como ciencia e incrementara, con
su estudio, la capacidad de razonamiento. Esto tiene valor, porque cuando los errores son
de fácil detección es menos probable que se cometan.

El razonamiento es una clase especial de pensamiento llamado deinferencia, en el
que se obtienen conclusiones partiendo de premisas.

Afirmar que las premisas son verdaderas garantiza la verdad de la conclusión, y
por ende es un razonamiento correcto.

Argumento puede definirse como un grupo cualquiera de preposiciones o
enunciados en los cuales se afirma que hay uno que se sigue de los demás considerando
estos como fundamento de la verdad de aquél.

En laestructura del argumento —usualmente en su análisis— se emplean los
términos premisa y conclusión.

La conclusión de un argumento es la proposición afirmada basandose en las otras
proposiciones del argumento y estas, que se afirman como fundamento o razones para la
aceptación de la conclusión son las premisas de el argumento. Una misma proposición
puede ser premisa o conclusión dependiendo desu contexto.

Existen argumentos deductivos e inductivos. En todos los argumentos se pretende
que las premisas proporcionen algún fundamento para la verdad de sus conclusiones,
pero solo en un argumento deductivo se pretende que sus premisas proporcionen un
fundamento absolutamente concluyente, los términos correcto e incorrecto pasan a se
sustituidos por los términos válido e inválido.En los argumentos inductivos se pretende que sus premisas proporcionen algún
fundamento para sus conclusiones (no son determinantes).

Válidos
Argumentos
Inválidos

Verdad
Premisas y
conclusiones
Falsedad

1


Por lo tanto aunque algunos argumentos cálidos tienen proposiciones verdaderas,
no todos las tienen. Pueden existir argumentos validos con proposiciones falsas. La
validesde un argumento no garantiza la verdad de su conclusión.

La falsedad de la conclusión no garantiza la invalidez de un argumento. Pero la
falsedad de la conclusión si garantiza que o el argumento es inválido o por lo menos una
de sus premisas es falsa.

Hay dos condiciones que debe satisfacer un argumento para satisfacer la verdad
de su conclusión:
1. Debe ser válidos.
2. Todas suspremisas deben ser verdaderas.

Al lógico solo atañe determinar la validez o invalidez de los argumentos, pues
determinar la verdad o falsedad de las premisas es labor de la ciencia en general.

El símbolo representa de forma sintetizada una oración/ecuación de compleja
lectura para permitir una mayor inteligibilidad. Los símbolos especiales de la lógica
moderna nos permiten exhibir con mayorclaridad las estructuras lógicas de argumentos
cuya formulación puede quedar oscura en el lenguaje ordinario.

Todos los enunciados pueden dividirse en dos clases, enunciados simples y
enunciados compuestos.
1. Un enunciado simple es aquel que no contiene otros enunciados simples como parte
componente.
2. Un enunciado compuesto contiene otros enunciados como parte componente.
Cualquierenunciado compuesto cuyo valor de vedad esta determinado
completamente por los valores de verdad de sus enunciados componentes se
denomina: enunciado compuesto función de verdad.
Conjunción:
nunciado compuesto que se forma insertando la palabra “y” entre dos
E
enunciados simples; sin embargo la palabra “y” tiene otros uso, para expresar
Punto (.) una relación: “Jorge y José eran gemelos.” Aestos enunciados simples que
conforman una conjunción se les denomina enunciados conyuntos.
Las rosas son rojas y las violetas son azules




Quedaría de la siguiente forma:
Las rosas son rojas. Las violetas son azules.





Se expresaría simbólicamente de la siguiente manera:
p.q


Cada enunciado es o verdadero o falso de modo que se puede hablar de valor de
verdad, siendo el...