You are on page 1of 25

Pruebas de validez e

invalidez lgica

Carlos Mauricio Barrera

Contenido:

Validez lgica de los argumentos


Reglas de Inferencia
Demostraciones Formales
Lgica Cuantificacional
Bibliografa
Consultada
Referencias
Glosario

Validez Lgica de los


Argumentos
Dar razones es una practica cotidiana en nuestras vidas, es
parte del ser comunicativo del hombre.
Las realizamos cuando solicitamos un permiso para ir a una
fiesta, cuando cometemos errores y se molestan con nosotros y
acostumbramos a ofrecer razones.
La clave es el razonamiento, a partir de un argumento
expresamos ideas de forma clara y precisa , que sean
entendibles, llevando a cabo reglas que nos permitan formular
argumentos validos.

Los actos humanos tienen consecuencias y esto se expresa


mediante enunciados y argumentos.

De un enunciado se pueden sacar varias consecuencias.


Ejemplo; del enunciado.
Todas las mujeres merecen respeto
Se obtiene lo siguiente:
Adriana merece respeto.
Guillermina merece respeto.
Hilda merece respeto.

Las consecuencias se derivan del enunciado


anterior o premisa.

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.

Todos los hombres son


mortales
Frank Sinatra es un hombre
Por lo tanto, Frank Sinatra es
mortal.

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.

Si Rocky es constante obtendr


la victoria,
Como no fue constante,
Por lo tanto no obtuvo la
victoria.

Tipos
Reglas de
Implicacin

MPP

SD

DC

Se aplican a uno o varios


enunciados
para
MT
S
DDderivar
C
Tuna conclusin
H
de ellos.

Reglas de
Equivalencia

Son enunciados equivalentes


que puedenConmutaci
ser sustituidos
Distribuci
Asociacin
unos por otrosnen una n
demostracin.
Tautologa

Teorema
de Morgan

MODUS PONENDO PONENS (MPP)


pq
Si llueve, entonces las calles se mojan
(premisa)
p
Llueve
(premisa)
q
Luego, las calles se mojan
(conclusin)
El condicional es aquella operacin que establece entre dos enunciados una
relacin de causa-efecto. Ponendo ponens significa, afirmando afirmo y
en un condicional establece, que si el antecedente (primer trmino, en este
caso p) se afirma, necesariamente se afirma el consecuente (segundo
trmino, en este caso q).

MODUS TOLLENDO TOLLENS (MTT)


Tollendo tollens significa negando, niego, y se refiere a una propiedad
inversa de los condicionales, a los que nos referamos en primer lugar.
pq
Si llueve, entonces las calles se mojan
q
Las calles no se mojan
p
Luego, no llueve

SILOGISMO DISYUNTIVO (DS)


Dadas tres premisas, dos de ellas implicaciones, y la tercera una
disyuncin cuyos miembros sean los antecedentes de los
condicionales, concluimos en una nueva premisa en forma de
disyuncin, cuyos miembros seran los consecuentes de las dos
implicaciones. Lgicamente, si planteamos una eleccin entre dos
causas, podemos plantear una eleccin igualmente entre sus dos
posibles efectos, sentido de esta regla.
pq
Si llueve, entonces las calles se mojan
r s
Si la tierra tiembla, los edificios se caen
pV r
Llueve o la tierra tiembla
qV s
Las calles se mojan o los edificios se caen
SILOGISMO HIPOTTICO (SH)
Si en una causa se sigue una consecuencia, y sta consecuencia es a su
vez causa de una segunda consecuencia, decimos que la primera causa
es causa de esa segunda consecuencia, del mismo modo que, si una bola
de billar roja golpea a otra bola blanca que a su vez golpea a una bola
negra, la bola roja es causa del movimiento de la bola negra. En forma de
inferencia lgica:
pq
Si la bola roja golpea a la bola blanca, la bola blanca se
mueve
qr
Si la bola blanca golpea a la bola negra, la bola negra se
mueve
pr
Si la bola roja golpea a la bola blanca, la bola negra se

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:

Los Enunciados interesantes para la lgica son los que conocimos


como categricos.
Recordemos que estos son de cuatro:
A: Universal afirmativo.
E: Universal Negativo.
I: Particular Afirmativo.
O: Particular Negativo

Todo S es P
Ningn S es P
Algn S es P EJEMPLO
Algn S no es P

El enunciado A Todo hombre es inteligente se puede


interpretar como:

Cualquier cosa que sea hombre tambin es


inteligente.
La condicin de ser hombre implica el hecho de
ser inteligente.

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.

Otra forma de demostrar formalmente la validez de un argumento


Para poder demostrar formalmente la validez de argumentos en los
que intervienen cuantificadores, necesitamos de otro tipo de reglas o
leyes que permitan precisamente introducir o quitar esos
cuantificadores.

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.

Proposicin; es una oracin con valor referencial o informativo, que


puede ser falsa o verdadera pero no ambas a la vez. Es la expresin
lingstica del razonamiento, se caracteriza por ser verdadera o falsa
empricamente, sin ambigedades. Son proposiciones las oraciones
aseverativas, las leyes cientficas, las frmulas matemticas, las frmulas y/o
esquemas lgicos.

Argumento; Se trata del razonamiento que se utiliza para demostrar o


probar una proposicin o para convencer a otra persona de aquello que se
afirma o se niega. Es un conjunto de premisas al que sigue una conclusin.
Cuando esta conclusin se sigue necesariamente de las premisas, se habla
de un argumento deductivamente vlido.

Cuantificador: A las palabras todos , ningn, y algunos indican


la cantidad de una proposicin, a estas palabras se les conoce como
cuantificadores.
Sujeto: Es el objeto del cual se afirma o niega una caracterstica
determinada. En este caso polticos, ciberntico, estudiantes y
diputados; son los sujetos respectivos de algunas proposiciones
formadas.
Cpula: Expresa la relacin afirmativa o negativa, que se da entre el
sujeto y predicado. Ej; las palabras : son ,ser y es, sirven de cpula
en las proposiciones.
Predicado: es la propiedad o caracterstica que se afirma o niega del
sujeto; entonces mentiroso, atleta, dedicados y corruptos, son los
predicados respectivos de las proposiciones.

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