I.

INTRODUCCIN
La presente investigacin tiene por finalidad que aprendamos a darle un
adecuado uso al tema que hemos abordado, siendo este las implicaciones
notables. La herramienta utilizada para ello es el descubrimiento por
investigacin.
La caracterstica principal del trabajo esta conceptualizada en la labor grupal
con el objetivo de respondernos a las diferentes dudas que se tienen del tema.
Su finalidad es servir como gua para las personas que se identifiquen con el
tema y quieran aprender o en otras ocasiones reforzar las partes en las que les
fue difcil de entender.
Esperamos que este material sea til y constantemente actualizado con sus
aportes.

II. OBJETIVOS
Aprender a reconocer y dejar de utilizar los constantes errores de implicacin.
Llegar a utilizar los conocimientos adquiridos durante la elaboracin del presente tema.

III. FUNDAMENTO TERICO

III.1. LGICA
La lgica es
una ciencia
formal que
estudia
los
principios
de
la demostracin e inferencia vlida.
La
palabra
deriva
del griego
antiguo (logike), que significa dotado de razn, intelectual, dialctico,
argumentativo,
que
a
su
vez
viene
de (logos),
palabra, pensamiento, idea, argumento, razn o principio.
III.2. IMPLICACIONES NOTABLES
Llamadas tambin leyes de implicacin o leyes implicativas. Son esquemas
condicionales tautolgicos, por lo que representan inferencias vlidas. En
consecuencia, teniendo la(s) premisa(s) podemos derivar inmediatamente sus
respectivas conclusiones.
La implicacin lgica se puede representar de dos formas: horizontal y vertical

III.2.1. Leyes de Implicacin

Son aquellas proposiciones compuestas donde un antecedente implica
tautolgicamente a un consecuente. Leyes de las implicaciones lgicas ms
comunes son:
III. 2. 1. Ley modus Ponendo Ponens.- Se presenta de las formas
siguientes:

p q

O tambin:

[ ( p q ) p ] q

q
Si se afirma el antecedente de una premisa condicional se concluye en la
afirmacin
del
consecuente.
Ejemplo:
Si en verano hay concurrencia a las playas, entonces hay equipo de salvavidas.
En verano hay concurrencia a las playas. Luego: Hay equipo de salvavidas.
3

III.2.2 Ley Modus Tollendo Tollens.- Se representa por:

p q

O tambin:

[( p q ) q] p

q
p
Si se niega el consecuente de una premisa condicional, se concluye en la
negacin del antecedente.
Ejemplo:
T eres un excelente administrador si trabajas como
gerente en el Banco Continental. T no eres un excelente administrador. Por lo
tanto: No es cierto que trabajes como gerente en el Banco Continental.
III.2.3. Ley del Silogismo Disyuntivo.- Se representa por:

pq

O tambin:

[ ( p q)

p] q

p
q
Si se niega a uno de los miembros de una premisa disyuntiva, se concluye en la
afirmacin de la otra premisa.
Ejemplo:
La UNC se encuentra ubicada en el norte del Per o en
todo caso al sur de Chile.
La UNC no se encuentra ubicada al
sur de Chile. Por lo tanto: La UNC se encuentra ubicada al norte del Per

III.2.4. Ley del Silogismo Hipottico.- Se representa por:

p q

O tambin:

[ ( p q )( q r ) ] (p r )

qr
pr
Si

p q

es verdadero y

qr

es verdadera, entonces

p r

es

verdadero. Esta ley indica que el condicional es transitivo.

Ejemplo:
La crisis financiera mundial est
afectando las economas de los pases industrializados es suficiente para que
4

haya despidos de personal en las grandes empresas productoras de artefactos

elctricos. Estados Unidos tendr una economa estable si hay despidos de
personal en las grandes empresas productoras de artefactos elctricos. Por
consiguiente: Estados Unidos tendr una economa estable en vista que la
crisis financiera mundial est afectando las economas de los pases
industrializados.
III.2.5. Ley del Dilema Constructivo.- Se representa por:

p q

O tambin:

[ ( p q )( r s )( p r ) ] q s

r s

pr
qs
Si en la conjuncin de dos condicionales afirmamos los dos antecedentes
disyuntivamente, se puede concluir en la afirmacin disyuntiva de los
consecuentes.
Ejemplo:
Si Paola estudia entonces
ingresar a la UNC. Si Paola trabaja entonces ganar dinero suficiente para ser
feliz. Pero, Paola estudia o trabaja. Luego: Paola ingresar a la UNC o ganar
dinero suficiente para ser feliz.
III.2.6. Ley del Dilema Destructivo.- Se representa por:

p q

O tambin:

[ ( p q )( r s )(

q s) ] p r

r s
q s

p r
Si en la conjuncin de dos condicionales negamos los dos consecuentes
disyuntivamente, se puede concluir en la negacin disyuntiva de los
antecedentes.
Ejemplo:
Si Paola estudia entonces ingresar a la UNC. Si Paola trabaja entonces ganar
dinero suficiente para ser feliz. Pero, Paola no ingresar a la UNC o no ganar
dinero suficiente para ser feliz. Luego: Paola no estudia o no trabaja.
III.2.7. Ley de la Conjuncin.- Se representa por:

O tambin:
5

p: q p q

pq
Ejemplo:
La UNPRG est en la regin de Lambayeque.
La UNC est en la regin de Cajamarca.
Por lo tanto: La UNPRG est en la regin de Lambayeque sin
embargo La UNC est en la regin de Cajamarca.
III.2.8. Ley de la Adicin.- Se representa por:

O tambin:

p( p q)

pq
Ejemplo:
Hago mucho deporte.
Por consiguiente: Hago mucho deporte o estoy cansado.
III.2.9. Ley de la Simplificacin.- Se representa por:

pq

O tambin:

( p q) p

p
De una premisa
componentes.

conjuntiva se puede concluir en cualquiera

Ejemplo:
La Tierra es plana, pero la Luna no es verde.
Por lo tanto: La Tierra es plana.

de

sus

III.2.10. Ley del Absurdo.- Se representa por:

p(q q)

O tambin:

[ p (q

q )] p

p
p ( q q)

O tambin:

p (q q )] p

p
Ejemplo:
Si Carlos de Espaa es el rey, entonces es el que gobierna pero sin embargo no
gobierna. Luego: Carlos de Espaa no es el rey.

III.2.11. Ley de la Inferencia Equivalente.- Se representa por:

p q

O tambin:

[ ( p q ) p ] q

q
Si uno de los miembros de la premisa bicondicional es verdadero, entonces es
verdadero el otro miembro.
Ejemplo:
Juan es amigo de Pedro, si y solo s
Juan es decente.
Juan es amigo de
Pedro. Por lo tanto: Juan es decente.
III.2.12. Ley de la Transitividad Simtrica.- Se representa por:

p q

O tambin:

[ ( p q )( q r ) ] (p r )

qr

pr
p q

Si

es verdadero

qr

es verdadero, entonces

p r

es

verdadero. Esta ley indica la transitividad de la bicondicional.

Ejemplo:
Aprobar lgica si y solo s estudio. Estudio si
y solo s tengo tranquilidad en mi casa. Por lo tanto: Aprobar lgica si y solo s
tengo tranquilidad en mi casa.

IV. CONCLUSIONES
7

Teniendo claro el tema debemos tratar de ayudar a los que no lo vieron

de esa manera, es decir no entendieron y necesitan ayuda.
Las falsas conclusiones pueden ser explicadas por falacias.

V. BIBLIOGRAFA

Lgica

http://es.wikipedia.org/wiki/L%C3%B3gica

Matemtica http://goncaiwo.files.wordpress.com/2011/04/mtemc3a1tica.pdf