Sie sind auf Seite 1von 25

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 , 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.

l.


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
Se aplican a uno o varios enunciados
para derivar una conclusin de ellos.
Reglas de Equivalencia
Son enunciados equivalentes que
pueden ser sustituidos unos por otros
en una demostracin.
MPP SD
MTT SH
DC
DD
A
C
S
Asociacin Conmutacin Distribucin
Tautologa
Teorema de
Morgan
(MPP)
p q 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, 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).
(MTT)
Tollendo tollens significa , y se refiere a una propiedad inversa de los
condicionales, a los que nos referamos en primer lugar.
p q 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.
p q Si llueve, entonces las calles se mojan
r s Si la tierra tiembla, los edificios se caen
p V r Llueve o la tierra tiembla
q V 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:
p q Si la bola roja golpea a la bola blanca, la bola blanca se mueve
q r Si la bola blanca golpea a la bola negra, la bola negra se mueve
p r Si la bola roja golpea a la bola blanca, la bola negra se mueve
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


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.








El pensar aristotlico de la deduccin, se concentra en razonamientos que contienen
proposiciones de un tipo especial llamadas:
Establecen relaciones entre
clases, afirmando o negando
que una clase este incluida en
otra, total o parcialmente.
Cuantificador
Sujeto
Cpula
Predicado
Estructura
Ejemplos
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:
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.

. Letras maysculas a , que representan a los predicados.


. Letras minsculas a que simbolizan los nombres propios y las frases
descriptivas.


.Letras , , minsculas que se usan para representar los pronombres y las
expresiones variables.


. El universal se representa con una invertida ( ), y el existencial con una E
invertida ( ).


Los conectivos lgicos del calculo de enunciados.
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

Das könnte Ihnen auch gefallen