Professional Documents
Culture Documents
invalidez lgica
Contenido:
Validez
Argumento: Conjunto de formulas para el
razonamiento lgico.
Un argumento es valido si se cumple:
Que sus premisas y su conclusin sean
verdaderas.
Pero tambin puede ser vlido con premisas
falsas y conclusin verdadera, o incluso con
premisas y conclusin falsas.
Lo que NUNCA ser vlido, con premisas
verdaderas y conclusin falsa.
Ejemplos
Todos los planetas giran alrededor
del Sol.
La Tierra es un planeta.
Por lo tanto, la Tierra gira alrededor
del Sol.
Si est soleado, entonces es de
da.
Est soleado.
Por lo tanto, es de da.
Reglas de Inferencia
Son formas de argumentos validos elementales; aprueban la
validez de argumentos mas complejos.
Sirven para deducir y demostrar formalmente argumentos. Con ellas
podemos hacer deducciones; podemos obtener conclusiones de conjuntos
de premisas.
Son tautologas; todos sus valores de verdad son siempre verdaderos.
Ofrecen una consecuencia lgica de sus premisas, como son verdaderas,
la conclusin seguida tambin ser verdadera. Una premisa verdadera
conducir a una conclusin verdadera.
Ejemplos
Si corres bien, te inscribo en la
competencia,
Como no corriste bien,
Por lo tanto, no estas en la
competencia.
Si bailan bien, ganaran el
concurso,
Como bailaron bien,
Por lo tanto ganaron el concurso.
Ejemplos
Si Rocky entrena ganara la pelea,
Como entreno,
Entonces gano la pelea.
Tipos
Reglas de
Implicacin
MPP
SD
DC
Reglas de
Equivalencia
Teorema
de Morgan
Reglas De Equivalencia
La Equivalencia se define a partir de los valores de verdad de los
enunciados.
De un enunciado cualquiera se puede derivar como conclusin otro que
sea equivalente al anterior.
No es cierto que El Che muri en Argentina y por enfermedad
Es equivalente a este otro:
El Che no muri en Argentina o no muri por enfermedad.
Demostraciones Formales
El origen de la demostracin formal se debe al trabajo del gemetra
griego Euclides.
Con todas las reglas de inferencia se podr comprobar la validez de
cualquier argumento.
La demostracin es el proceso que consiste en obtener diversas
consecuencias validas de las premisas, por reglas de inferencias, hasta
encontrar la conclusin del argumento.
Por lo cual se empieza enumerando las premisas.
Todas las lneas de una demostracin deben estar perfectamente
justificadas ; esto consiste en indicar si cada paso es una premisa o de
que lnea se obtuvo y que regla se aplico.
Lgica Cuantificacional
Es llamada tambin lgica de predicados o lgica de primer orden.
Estudia la composicin ntima de las proposiciones, utiliza nuevos
smbolos, leyes y mtodos para establecer la validez de los
razonamientos.
Esta lgica estudia de manera ms detallada los predicados a
travs del uso de cuantificadores que expresan cantidad (todos o
algunos ).
Cuantificar comprende clculos matemticos, que vinculan una
serie de variables. De este modo, se habla de un Cuantificador
para determinar un valor como verdadero y falso, vlido o invlido.
Estructur
a
Ejemplos
Proposiciones Categricas
Hay 4 formas tpicas de proposiciones categricas, ilustradas por
las 4 proposiciones siguientes:
1.Todos los polticos son mentirosos.
2.Ningun ciberntico ser atleta.
3.Algunos estudiantes son dedicados.
4.Algunos diputados no son corruptos.
Se acostumbra usar las letras A, E, I y O, como
nombres de las cuatro formas tpicas de proposiciones
categricas:
Todo S es P
Ningn S es P
Algn S es P EJEMPLO
Algn S no es P
SIMBOLIZACION
El lenguaje simblico de la lgica cuantificacional esta constituido por los
siguientes elementos:
Variables predicativas. Letras maysculas P a W, que representan a los
predicados.
Constantes individuales. Letras minsculas a a p que simbolizan los
nombres propios y las frases descriptivas.
Variables individuales .Letras x, y ,z minsculas que se usan para
representar los pronombres y las expresiones variables.
Cuantificadores. El universal se representa con una A invertida (), y el
existencial con una E invertida ().
Los conectivos lgicos del calculo de enunciados.
Glosario
Tautologa; del griego decir lo mismo. Es la repeticin de un mismo
pensamiento a travs de distintas expresiones. Ej. yo soy yo, y nadie mas.
Bibliografa
Deao,Alfredo. Introduccin a la lgica formal. Madrid, Alianza,
1981.
Mateos Nava, Misael. Lgica para inexpertos.Mexico,Edere,1999.
Barker, Stephen. Elementos de lgica. Mxico, McGraw Hill,1990.
Referencias
http://noseq.com/imagenes/9543128/los-mejores-fondos-de-pantalla-hd/
http://gifsoup.com/view/1017969/el-guapo-dancing.html
http://gifsoup.com/tag-search-gifs/rambo
http://gifsoup.com/tag-search-gifs/rocky%20balboa/page1
http://gifsoup.com/tag-search-gifs/ran/page2
http://www.mitecnologico.com/Main/ArgumentosValidosYNoValidos
http://es.wikipedia.org/wiki/Validez_(l%C3%B3gica)
http://www.buenastareas.com/ensayos/Reglas-DeInferencia/2154078.html
http://www.100pies.net/Gifs/Astronomia/Planetas.asp
http://definicion.de/argumento/
http://www.slideshare.net/nerdito/demostraciones-formales
http://jhozelyn.blogspot.mx/2010/12/logica-cuantificacional.html