Lgica

La lgica es la ciencia formal que estudia los principios de

la demostracin y la inferencia vlida.1 La palabra deriva del griego
antiguo logik, que significa dotado de razn, intelectual,
dialctico, argumentativo, que a su vez viene de (lgos),
palabra, pensamiento, idea, argumento, razn o principio.
As como el objeto de estudio tradicional de la qumica es la materia, y el
de la biologa la vida, el de la lgica es la inferencia. La inferencia es el
proceso por el cual se derivan conclusiones a partir de premisas.2 La lgica
investiga los fundamentos por los cuales algunas inferencias son
aceptables, y otras no. Cuando una inferencia es aceptable, lo es por
su estructura lgica, y no por el contenido especfico del argumento o el
lenguaje utilizado. Por esta razn la lgica se considera una ciencia formal,
como la matemtica, en vez de una ciencia emprica.
Tradicionalmente se distinguen tres clases de inferencias: las deducciones,
las inducciones y las abducciones, aunque a veces se cuenta a la abduccin
como un caso especial de induccin.3 La validez o no de las inducciones es
asunto de la lgica inductiva y del problema de la induccin. Las
deducciones, en cambio, son estudiadas por la mayor parte de la lgica
contempornea. En un argumento deductivamente vlido, la conclusin es
una consecuencia lgica de las premisas.4 El concepto de consecuencia
lgica es, por lo tanto, un concepto central a la lgica. 4 Para estudiarlo, la
lgica construye sistemas formales que capturan los factores relevantes de
las deducciones como aparecen en el lenguaje natural.5 Para entender esto,
considrese la siguiente deduccin:

1. Est lloviendo y es de da.

2. Por lo tanto, est lloviendo.
Historia de la lgica
La historia de la lgica documenta el desarrollo de la lgica en varias
culturas y tradiciones a lo largo de la historia. Aunque muchas culturas han
empleado intrincados sistemas de razonamiento, e, incluso, el pensamiento
lgico estaba ya implcito en Babilonia en algn sentido, la lgica como
anlisis explcito de los mtodos de razonamiento ha recibido un
tratamiento sustancial solo originalmente en tres tradiciones: la Antigua
China, la Antigua India y la Antigua Grecia.
Aunque las dataciones exactas son inciertas, particularmente en el caso de
la India, es probable que la lgica emergiese en las tres sociedades hacia
el siglo IV a. C. El tratamiento formalmente sofisticado de la lgica
proviene de la tradicin griega, especialmente del Organon aristotlico,
cuyos logros seran desarrollados por los lgicos islmicos y, luego, por los
lgicos de la Edad Media europea. El descubrimiento de la lgica india
entre los especialistas britnicos en el siglo XVIII influy tambin en la
lgica moderna.
El padre fundador de la lgica. Aristteles (384 a. C.- 322 a. C.) fue un
filsofo, lgico y cientfico de la Antigua Grecia nacido en la ciudad de
Estagira, razn por la cual se le apod el Estagirita

Edad Antigua[editar]
La lgica, como un anlisis explcito de los mtodos de razonamiento, se
desarroll originalmente en tres civilizaciones de la historia
antigua: China, India y Grecia, entre el siglo V y el siglo I a. C.
Mesopotamia[editar]
En Mesopotamia, el Manual de diagnstico mdico de Esagil-kin-apli,
escrito en el siglo XI a. C., se bas en un conjunto lgico de axiomas y
asunciones, entre las que se incluyen la visin moderna de que, a travs del
examen e inspeccin de los sntomas de un paciente, es posible determinar
el problema del mismo, su etiologa y su desarrollo futuro, y las
posibilidades de recuperacin.1
Durante los siglos VII y VIII, los astrnomos babilonios empezaron a
utilizar una lgica interna en sus sistemas de prediccin planetaria que fue
una importante contribucin a la lgica y la filosofa de la ciencia.2 El
pensamiento babilnico tuvo una considerable influencia en el pensamiento
de la Grecia arcaica.3
Antigua Grecia[editar]
En la Antigua Grecia, emergieron dos tradiciones lgicas opuestas. La
lgica estoica estaba enraizada en Euclides de Megara, pupilo de Scrates,
y con su concentracin en la lgica proposicional es la que quizs est ms
prxima a la lgica moderna. Sin embargo, la tradicin que sobrevivi a las
influencias de culturas posteriores fue la peripattica, que tuvo su origen en
el conjunto de obras de Aristteles conocido como Organon (instrumento),
la primera obra griega sistemtica sobre lgica. El examen de Aristteles
del silogismo permite interesantes comparaciones con el esquema indio de
la inferencia y la menos rgida discusin chin
LGICA: QU ES Y PARA QU SIRVE?
Qu es la lgica?

La lgica es la ciencia que estudia la coherencia interna de los

razonamientos, es decir su forma y no su contenido.
Su objeto de estudio es la inferencia, el proceso por el cual las conclusiones
se derivan de las premisas.

La lgica determina cundo un razonamiento es contradictorio o

incoherente (falso) y cuando es correcto (posible),y de ese modo permite
construir un conocimiento seguro y sin errores.
Mediante esta ciencia podemos advertir qu razonamientos pueden ser
ciertos y cules no, cuando son errneos y cuando pueden ser correctos.

Para qu me sirve la lgica en la vida diaria?

Gracias a que advierte cuando un argumento es plausible (muy posible) y

cuando es un error (improbable), en la vida cotidiana la lgica te ayuda a:
1) Darte cuenta de los errores de tus razonamientos, llevndote a tomas
mejores decisiones.
2) Detectar malos argumentos de otras personas, facilitndote evitar que
seas engaado.
3) Anticiparte a conflictos que tendrs que enfrentar tarde o
temprano, hacindote tener mayor tiempo para analizarlas tus opciones.
Por eso es til para la vida diaria conocer algunas nociones bsicas de
lgica, y tambin es recomendable para desenvolverse mejor en cualquier
discusin, ya sea una discusin laboral, poltica, religiosa, e incluso sobre
ftbol.
La lgica es primordial, porque el hombre es un ser naturalmente social que
vive comunicndose diariamente con otros, y tomando decisiones
individuales y en grupo

Importancia de la Lgica
La Lgica cumple una gran funcin frente a los problemas humanos. Para
solucionar todos los problemas que se nos presenta necesitamos del
pensamiento correcto (lgico) como nico instrumento para llegar a la
verdad.
La lgica est presente en las investigaciones de todas las ciencias,
permite el lenguaje coherente de sus teoras y el progreso del conocimiento
cientfico.
La Lgica es la base de la informtica gracias a ella se inventaron las
computadoras y siguen perfeccionndolas.
La Lgica interviene en nuestra vida de relacin para hacernos
comprender, de ah que la lgica prctica adquiere relieve frente a estos
problemas.
.1.1 Concepto de Proposicin.

Una proposicin es una oracin con valor referencial o informativo, de

la cual se puede predicar su veracidad o falsedad, es decir, que puede ser
falsa o verdadera pero no ambas a la vez.

La proposicin es la expresin lingstica del razonamiento, que se

caracteriza por ser verdadera o falsa empricamente, sin ambigedades.

"Componentes de una proposicin"

TIPOS DE PROPOSICIONES

Proposiciones Simples:

Son aquellas que no tienen oraciones componentes afectadas por

negaciones (no) o trminos de enlace como conjunciones (y),
disyunciones (o) o implicaciones (si . . . entonces). Pueden aparecer
trminos de enlace en el sujeto o en el predicado, pero no entre
oraciones.

Proposiciones Compuesta Una proposicin ser compuesta si no es

simple. Es decir, si est afectada por negaciones o trminos de enlace
entre oraciones componentes.
EJEMPLOS:

Simples:

La ballena es roja.
La raz cuadrada de 16 es 4.
Gustavo es alto.
Teresa va a la escuela.

Compuestas:

La ballena no es roja.
Gustavo no es alto.
Teresa va a la escuela o Mara es inteligente.
4 es menor que 8 o 6 es mayor que 10.
El 1 es el primer nmero primo y es mayor que cero.
El 7 es mayor que 5 y 7 es menor que 10.
Si Yolanda es estudiosa entonces pasar el examen.
Si corro rpido entonces llegar temprano.
Terminar rpido si y slo si me doy prisa.
Aprender Matemticas si y slo si estudio mucho

Valor de verdad
En lgica, un valor de verdad es un valor que indica en qu medida una
declaracin es verdad. En lgica clsica bivalente los valores de verdad
slo son dos, usualmente designamos verdadero y falso (y a veces
representados por pares como (1,0) o (V,F), etc.). Sin embargo la lgica
polivalente el conjunto de valores de verdad incluye otras posibilidades, e
incluso en lgica modal la descripcin del valor de verdad requiere la
nocin ms compleja de mundos posibles. En lgica difusa el valor de
verdad es cualquier nmero real en el intervalo cerrado [0,1].
El conjunto de valores de verdad de un determinado tipo de lgica es
el rango de una interpretacin lgica sobre el conjunto de todas las
proposiciones posibles.
El valor de verdad de la proposicin llueve y no llueve es
una contradiccin y siempre ser falsa, con independencia del valor que
consideremos V o F de llueve (p) y de no llueve (p). La funcin de
verdad no se define mediante una tabla de verdad. Algebraicamente, el
conjunto {verdadero, falso}, o funcin lgica, forma un lgebra
booleana simple (subdirectamente irreducible). Otras lgebras booleanas se
pueden utilizar como conjuntos de valores de verdad en lgicas multi-
valuadas, mientras que la lgica intuicionista generaliza las lgebras
booleanas a lgebras de Heyting.
En la teora de los topos, el clasificador de subobjetos de los topos toma el
lugar del conjunto de valores de verdad.
Esta nomenclatura est quizs ms de acuerdo con los usos que prevalecen
en matemticas que con los de la filosofa.
Ejemplos de Proposiciones Simples

Las proposiciones simples son aquellas que expresan un estado de

situacin en su estado ms sencillo, es decir uniendo a un sujeto con un
objeto a partir del verbo es. Existe tanto en el mbito de la matemtica
como en el de otras disciplinas, e incluso para cuestiones que no son
relativas a ninguna de ellas. Se caracteriza por no tener ningn trmino que
condicione la proposicin de ninguna manera.

A continuacin una lista de proposiciones simples, verdaderas o falsas.

1. El 9 y el 27 son factores del 81.

2. Esa caja es de madera.
3. Nada es para siempre.
4. La msica clsica es la ms antigua del mundo.
5. Los nmeros pares son divisibles por dos.
6. La capital de Rusia es Mosc.
7. Esa chica es mi amiga.
8. Son las tres de la tarde con veintisis minutos.
9. Los animales carnvoros se alimentan de plantas. (Proposicin falsa)
10.Mi nombre es Fabin.
11.Est lloviendo.
12.El nmero 1 es un nmero natural.
13.En este pas, el verano es muy caluroso.
14.Maana ser mircoles.
15.El nmero 6 es menor al nmero 17.
16.Hoy es 7 de octubre.
17.Su gato es marrn.
18.Mi hermano vende pastas.
19.La tierra es plana.
20.Mario Vargas Llosa es un importante escritor.
Ejemplos de Proposiciones Compuestas

Las proposiciones compuestas, a diferencia de las simples, aparecen

mediadas por la presencia de alguna clase de conector, que puede ser
de oposicin (habitualmente o) de adicin (habitualmente y) o
de condicin (habitualmente si).

Esto explica que en la proposicin compuesta la relacin entre el sujeto y

el objeto no se produzca en forma general, sino sometida a la presencia del
conector: podr cumplirse solo cuando otra cosa suceda, podr cumplirse
tanto para ese como para otros, o podr cumplirse solo para uno de todos.

Adems, se consideran compuestas a las proposiciones negativas, que

incluyen la palabra no. A continuacin, algunos ejemplos de estas
proposiciones compuestas:

1. Puedo manejar un auto si tiene direccin hidrulica.

2. Gabriel Garca Mrquez fue un gran escritor y bailarn.
3. Las clulas son procariotas o eucariotas.
4. La raz cuadrada de 25 es 5, o -5.
5. No todos los nmeros primos son impares.
6. Mi cuado es arquitecto e ingeniero.
7. Los aparatos tecnolgicos son negros, blancos o grises.
8. Si tengo hambre pues cocino.
9. Turqua es un pas que se encuentra en Asia y Europa.
10.La suma de los cuadrados de ambos catetos es igual al cuadrado de la
hipotenusa, si se trata de un tringulo rectngulo.
11.Una ballena no es roja.
12.El nmero ms grande no es 1000000.
13.Si el ovino come pasto, es herbvoro.
14.Si la informacin no es completa para oferentes y demandantes, hay
una falla de mercado.
15.Est lloviendo y hace calor.
16.Nuestra bandera es blanca y celeste.
17.El 9 es divisor del 45, y el 3 es divisor del 9 y del 45.
18.Marcos se dedica a la natacin o al alpinismo.
19.El nmero 6 es mayor que el 3 y menor que el 7.
20.He pasado todas mis vacaciones en Grecia y Marrueco

Tabla de verdad
Una tabla de verdad, o tabla de valores de verdad, es una tabla que
muestra el valor de verdad de una proposicin compuesta, para cada
combinacin de verdad que se pueda asignar.1
Fue desarrollada por Charles Sanders Peirce por los aos 1880, pero el
formato ms popular es el que introdujo Ludwig Wittgenstein en
su Tractatus logico-philosophicus, publicado en 1921.
Definiciones en el clculo lgico[editar]
Artculo principal: Clculo lgico
Para establecer un Sistema formal se establecen las definiciones de
los operadores. Las definiciones se harn en funcin del fin que se pretenda
al construir el sistema que haga posible la formalizacin de argumentos:

Como razonamientos deductivos lgico-lingsticos

Como construccin de un sistema matemtico puro
Como una aplicacin lgica en un Circuito de conmutacin.
Verdadero[editar]
El valor verdadero se representa con la letra V; si se emplea
notacin numrica se expresa con un uno: 1; en un circuito
elctrico, el circuito est cerrado.
Falso[editar]
El valor falso se representa con la letra F; si se emplea notacin
numrica se expresa con un cero: 0; en un circuito elctrico, el
circuito est abierto.
CONECTIVOS LGICOS,NEGACIN Y TABLAS DE VERDAD
Las conectivas son funciones de verdad. Quiere decir que son funciones
que toman uno o dos valores de verdad, y devuelven un nico valor de
verdad. En consecuencia, cada conectiva lgica puede ser definida
mediante una tabla de valores de verdad que indique qu valor devuelve la
conectiva para cada combinacin de valores de verdad. A continuacin hay
una tabla con las conectivas ms usuales y su definicin mediante tablas de
verdad:

Expresin Smbolo
en el en Smbolos
Conectiva Ejemplo
lenguaje este alternativos
natural artculo
Negacin no No est lloviendo.

Est lloviendo y est

Conjuncin y
nublado.

Est lloviendo o est

Disyuncin o
soleado.

Si est
Condicional si...
soleado, entonces es
material entonces
de da.

Est nublado si y
Bicondicional si y slo si slo si hay nubes
visibles.

Ni est
Disyuncin
ni... ni soleado ni est
opuesta
nublado.

O bien est
Disyuncin o bien... o
soleado, o bien est
exclusiva bien
nublado.

En todas las reas de las matemticas necesitamos mecanismos para saber

cuando dos entidades son iguales o esencialmente las mismas. En la lgica
proposicional este concepto se llama equivalencia y se da entre dos
proposiciones cuando ambas siempre tienen el mismo valor de verdad para
una misma asignacin de valores de verdad de las proposiciones que las
componen.[1]
Equivalencia lgica[editar]
Una proposicin es lgicamente equivalente a otra cuando cada una de las
asignaciones de valores de verdad a las proposiciones simples que las
componen genera el mismo valor de verdad en ambas proposiciones.[2] En
otras palabras, dos expresiones son lgicamente equivalentes si sus tablas
de verdad son iguales.[1]
[3]
La equivalencia lgica se representa con el smbolo y significa que
podemos reemplazar una expresin con su equivalente ya que ambas
generan la misma tabla de verdad. La expresin nos indica que
podemos reemplazar cualquier ocurrencia de con sin alterar los
valores de las expresiones donde hacemos el cambio o la validez de los
procesos de razonamiento donde las utilizamos.
Equivalencia material[editar]
La equivalencia material es una conectiva lgica representada con el
smbolo cuyo valor de verdad es si las proposiciones a las que se
aplica tienen el mismo valor de verdad y tiene un valor de verdad si
los valores de verdad de las proposiciones son diferentes.

En la lgica proposicional una tautologa es aquella frmula bien formada

que resulta siempre verdadera, independientemente del valor de verdad que
sus proposiciones atmicas tengan Esto significa que independientemente
de los valores de verdad que tengan las premisas, la conclusin siempre va
a ser verdadera. La tautologa es utilizada en los procesos de deduccin de
la lgica sentencial. Ejemplos de tautologa: Sean las siguientes
proposiciones: a: Voy al cine b: Voy a cenar c: Me quedo en casa
Inicio > General
Enviar

15 Ejemplos de Contradicciones

Contradicciones

La palabra contradiccin es una palabra compuesta por dos palabras:

contra (oposicin) y dicere (decir).

Una contradiccin es una oposicin entre dos o ms conceptos que

resultan ser opuestos. Asimismo una contradiccin puede ser una
afirmacin de algo que se considera como verdadero seguido de una
completa negacin.

Sin embargo y a pesar de que el trmino en s mismo es opuesto, la

contradiccin es una caracterstica de todo ser humano. Por tanto se
convive da a da con ella.

Desde la filosofa Aristotlica hasta la actualidad, innumerables

pensadores han remarcado la oposicin intrnseca que socava dicho
trmino, puesto que su misma definicin radica en la oposicin de uno
de los 2 preceptos que se presentan. Por tal razn si uno de los
trminos es verdadero, por ende el otro es falso o viceversa.

Esta contradiccin implica un antagonismo o contraste que genera

una anttesis, es decir, un pensamiento opuesto a una tesis (primer
pensamiento). Ambos (Tesis y anttesis) producen lo que se llama una
sntesis. A este mecanismo se le dio en llamar dialctica y ha sido la
base de grandes pensadores socilogos en la historia mundial.

Ejemplos de contradicciones

1. No es caro, cuesta mucho dinero.

2. La comida est salada, no tiene sal.

3. La torta es dulce, no es dulce.

4. La amo y la odio al mismo tiempo.

5. El auto es blanco, pero negro.

6. Juan es mi padre, pero no es mi padre.

7. No es azul y rojo, es rojo y azul.

8. Hay mucha neblina y excelente visibilidad.

9. La tarea es fcil, y muy difcil.

10.Los leones no son anaranjados, son anaranjados.

11.El auto es verde, y el auto no es verde.

12.Quejarse por no poseer un determinado objeto y no valorarlo

cuando se lo tiene.
 13.Estar con una persona hasta en las peores consecuencias y luego
desaparecer cuando las condiciones no son las mejores.

14.Ser y no ser.

contigencia
Definicin:
Una proposicin es una contingencia si no es ni verdadera ni falsa
independientemente de los valores de verdad de las proposiciones simples
que la componen.

Reglas de inferencia
rencia, o regla de transformacin es una forma lgica que consiste en una
funcin que toma premisas, analiza su sintaxis, y devuelve una conclusin
(o conclusiones). Por ejemplo, la regla de inferencia llamada Modus
ponendo ponens toma dos premisas, uno en la forma "Si p entonces q" y
otra en la forma "p", y vuelve la conclusin "q". La regla es vlida con
respecto a la semntica de la lgica clsica (as como la semntica de
muchas otras lgicas no clsicas), en el sentido de que si las premisas son
verdaderas (bajo una interpretacin), entonces tambin lo ser la
conclusin.
Por lo general, una regla de inferencia conserva la verdad, una propiedad
semntica. En muchos valores lgicos, esta conserva una designacin
general. Pero la accin de la regla de inferencia es puramente sintctica, y
no es necesario preservar ninguna propiedad semntica: cualquier funcin
de conjuntos de frmulas para frmulas cuenta como una regla de
inferencia. Por lo general, solo son importantes las reglas que sean
recursivas; es decir, reglas de modo que no haya un procedimiento
efectivo para determinar si cualquier frmula dada es la conclusin de un
determinado conjunto de frmulas de acuerdo a la regla. Un ejemplo de una
regla que no es efectiva en este sentido es la infinitista

Doble implicacion
En matemticas y lgica, un bicondicional, (tambin
llamado equivalencia o doble implicacin, en ocasiones abreviado en
espaol como ssi), es una proposicin de la forma P si y solo si Q y es
verdadero en el caso de que ambos componentes tengan el mismo valor de
verdad. En otras palabras, que si P ocurre entonces tambin ocurre Q; y
viceversa: si Q ocurre entonces tambin ocurre P.
Otra forma de expresar el bicondicional es decir que Q es una condicin
necesaria y suficiente para P. Tambin se conoce con el nombre
de coimplicacin.1

En Lgica es usual la notacin , mientras que en matemticas es ms

comn la notacin para denotar la equivalencia entre dos enunciados.
Ejemplos:

y son bicondicionales verdaderos.

, donde denota a los mltiplos enteros de n.

Definicin
El valor de verdad de un bicondicional p si y solo si q es verdadero
cuando ambas proposiciones (p y q) tienen el mismo valor de verdad, es
decir, ambas son verdaderas o falsas simultneamente; de lo contrario, es
falso.
Se tiene as que la afirmacin p si y solo si q es lgicamente
equivalente al par de afirmaciones Si p, entonces q, y si q, entonces p.
Escrito utilizando conectivas lgicas :

.
De manera ms precisa, el operador bicondicional tiene la siguiente tabla
de verdad:2 3
DEFINICIN DE PROPIEDAD CONMUTATIVA
En las matemticas, las operaciones tienen diferentes propiedades.
La propiedad distributiva, por ejemplo, se aplica en la multiplicacin e
indica que el nmero multiplicado por la suma de dos sumandos es igual a
la suma de los productos de cada uno de estos sumandos por el nmero en
cuestin. Es decir: A x (B + C) = A x B + A x C.
La propiedad asociativa, aplicable en la multiplicacin y la suma, indica
por su parte que el resultado de las operaciones no est vinculado a la
forma en la que se agrupan los nmeros. Dicho en una expresin
algebraica: (A + B) + C = A + (B + C)
Ahora es el turno de analizar otra de estas propiedades: la propiedad
conmutativa, que indica que el orden de los nmeros que se emplean en la
operacin no altera el resultado de la misma.
Propiedad distributiva: La multiplicacin de un nmero por una
suma es igual a la suma de las multiplicaciones de dicho nmero por
cada uno de los sumandos.
Pongamos un ejemplo: 2 x (3 + 5)

Segn la propiedad distributiva 2 x (3 + 5) ser igual a 2 x 3 + 2 x 5

Comprobemos si esto es cierto.
2 x (3 + 5) = 2 x 8 = 16
2 x 3 + 2 x 5 = 6 + 10 = 16
Ambas nos dan como resultado 16, por lo que queda demostrada la
propiedad distributiva de la multiplicacin.
Puedes acceder a travs del enlace a los ejercicios online para practicar
la propiedad distributiva.
Sacar factor comn: Es el proceso inverso a la propiedad distributiva.
Si varios sumandos tienen un factor comn, podemos transformar la
suma en producto extrayendo dicho factor.
Pongamos un ejemplo de sacar factor comn. Si tenemos la operacin (2 x
7) + (3 x 7), que tiene como factor comn el 7, podramos transformar esta
operacin en 7 x (2 + 3)

Comprobemos que da el mismo resultado:

(2 x 7) + (3 x 7) = 14 + 21 = 35
7 x (2 + 3) = 7 x 5 = 35
Por lo tanto queda demostrada esta propiedad de la multiplicacin.
Pulsando en el enlace podrs practicar el sacar factor comn con nuestros
ejercicios online.
Si quieres puedes ver el vdeo tutorial de las propiedades de la
multiplicacin.

En lgica proposicional y lgebra de Boole, las leyes de De

Morgan1 2 3 son un par de reglas de transformacin que son ambas reglas
de inferenciavlidas. Las normas permiten la expresin de
las conjunciones y disyunciones puramente en trminos de va negacin.
Las reglas se pueden expresar en espaol como:
La negacin de la conjuncin es la disyuncin de las negaciones.
La negacin de la disyuncin es la conjuncin de las negaciones.
o informalmente como:
"no (A y B)" es lo mismo que "(no A) o (no B)"

y tambin,

"no (A o B)" es lo mismo que "(no A) y (no B)"

Las reglas pueden ser expresadas en un lenguaje formal con dos
proposiciones P y Q, de esta forma:

donde:

es el operador de negacin (NO)

es el operador de conjuncin (Y)
es el operador de disyuncin (O)
es un smbolo metalgico que significa "puede ser
reemplazado en una prueba lgica"
Entre la aplicaciones de las normas se incluyen la simplificacin
de expresiones lgicas en programas de computacin y diseo de
circuitos digitales. Las leyes de De Morgan son un ejemplo de
concepto ms general de dualidad matemtica
 Implicacin (del latn in - plicare) se refiere al hecho de que hay
algo plegado o doblado en el interior de algo que oculta lo que hay en su
interior, de forma que lo interior no es visible o perceptible aunque est ah.
En su uso comn, una implicacin es una afirmacin que conlleva otra, sin
que la segunda deba ser comunicada explcitamente.
La implicacin relaciona una causa con un efecto, y en la lgica
proposicional se puede escribir formalmente como:

que indica que siendo una causa, es el efecto esperado de esa

causa. Es decir, es una conclusin lgica de .
La implicacin es contrapuesta al trmino explicacin (del latn ex -
plicare), que es el hecho de desplegar lo que est plegado; sacar al exterior,
hacer visible, o comprensible, aquello que est implicado en el interior de
algo que lo haca oculto o no comprensible.
Es importante no confundir el concepto de implicacin lgica con el
de condicional material. La confusin es exacerbada porque los
smbolos y son imprecisamente usados como equivalentes por
muchos, cuando realmente no lo son. Aunque en conversaciones del da a
da la diferencia no tiene mayor impacto, la diferencia sutil entre ambos
conceptos es significativa en el entendimiento correcto de la lgica
proposicional.
Modus ponendo ponens
El modus ponendo ponens (latn: "el modo que, al afirmar, afirma"1,
tambin llamado modus ponens,1 2 3 4 eliminacin de la
implicacin o regla de separacin, y generalmente abreviado MP) es
una forma de argumentovlido y una regla de inferencia en lgica
proposicional.5 Se puede resumir como "si P implica Q; y P es verdad;
entonces Q tambin es verdad."6 La historia del modus ponendo ponens se
remonta a la antigedad.7
El modus ponendo ponens pueden establecerse formalmente como:

donde la regla es cuando "P Q" y "P" aparezcan por s mismos en

una misma lnea de una prueba lgica, Q puede ser escrito vlidamente
en una lnea subsiguiente. Ntese que la premisa de P y la implicacin
 se "disuelven", siendo su nico rastro el smbolo Q que se mantiene
para su uso posterior, por ejemplo, en una deduccin ms compleja.
Un ejemplo de modus ponendo ponens es:
Si est lloviendo, te espero dentro del teatro.
Est lloviendo.
Por lo tanto, te espero dentro del teatro.
Si bien el modus ponendo ponens es uno de los conceptos
ms utilizados en la lgica, no debe confundirse con una ley
lgica. Ms bien, es uno de los mecanismos aceptados para la
construccin de pruebas deductivas que incluye la "regla de
definicin" y la "regla de sustitucin".8 Modus ponendo
ponens permite eliminar una sentencia condicional de
una prueba lgica o argumento (los antecedentes) y por lo
tanto no llevar estos antecedentes adelante en una cadena
alargada y constante de smbolos. Por esta razn, el modus
ponendo ponens a veces se denomina regla de la
separacin.9 Enderton, por ejemplo, observ que "el modus
ponendo ponens puede producir frmulas ms cortas de las
ms largas",10 y Russell seal que "el proceso de la
inferencia no puede reducirse a los smbolos. Su nico
registro es la ocurrencia de Q [el consecuente]...una
inferencia modus ponendo ponens no es tanto el lanzamiento
de una premisa verdadera, sino que es la disolucin de una
implicacin".11
El modus ponendo ponens est estrechamente relacionado
con el modus tollendo tollens. Estos comparten dos formas
similares, pero no vlidas, de argumento: afirmacin del
consecuente y negacin del antecedente. El dilema
constructivo es la versin disyuntiva del modus ponendo
ponens. El silogismo hipottico est estrechamente
relacionado con el modus ponendo ponens y a veces se lo
considera como el "ponens modus doble."

Explicacin
La forma de argumento tiene dos premisas (hiptesis). La primera premisa
es la "si-entonces" o reclamacin de condicional, a saber: que P implica Q.
La segunda premisa es que P, el antecedente de la alegacin condicional, es
cierto. A partir de estas dos premisas se puede concluir lgicamente que Q,
el consecuente o apdosis de la reclamacin de condicional, tambin debe
ser verdad. En inteligencia artificial, el modus ponens usualmente se lo
denomina encadenamiento hacia adelante.
Un ejemplo de un argumento que se ajuste a la forma modus ponens:
Si hoy es martes, entonces Juan se ir a trabajar.
Hoy es martes.
Por lo tanto, Juan ir a trabajar.
Este argumento es vlido, pero esto no tiene nada que ver con si
alguna de las declaraciones en el argumento es verdadera; para
que modus ponens sea un argumento slido, las premisas debern
ser verdaderas para cualquier instancia verdadera de la
conclusin. Un argumento puede ser vlido, pero, no obstante,
poco slido si una o ms premisas son falsas; si un argumento es
vlido y todas las premisas son verdaderas, entonces el
argumento es slido. El argumento solo es slido los martes
(cuando Juan va a trabajar), pero es vlido en todos los das de la
semana. Un argumento proposicional usando modus ponens dice
que es deductivo.
En clculo secuencial de conclusin nica, el modus ponens es la
regla de corte. El teorema de eliminacin del corte para un
clculo dice que cada prueba que implica Corte puede ser
transformada (por lo general, por un mtodo constructivo) en una
prueba sin corte, y de ah que el corte sea admisible.
La correspondencia de Curry-Howard entre pruebas y programas
relaciona el modus ponens a la funcin aplicacin: si f es una
funcin del tipo P Q y x es de tipo P, entonces f x es de
tipo Q.

Modus tollendo tollens

El modus tollendo tollens (latn: "el modo que, al negar, niega",1 conocido
como modus tollens,2 3 4 5 negacin del consecuente o ley de
6
contraposicin) es una forma de argumento vlida y una regla de
inferencia en lgica proposicional. Es una aplicacin de la verdad general
de que, si una declaracin es vlida, tambin lo es su contraposicin. La
historia de la regla modus tollendo tollens se remonta a la antigedad.7 Los
primeros en declarar explcitamente la forma de argumento modus tollendo
tollens fueron los estoicos.8
La regla de inferencia modus tollendo tollens establece que si una primera
afirmacin implica una segunda afirmacin; y la segunda afirmacin no es
verdadera; se puede inferir que la primera no puede ser verdadera. Es decir,
si implica ; y no es verdadera; entonces tampoco es
verdadera.
Esta regla se puede afirmar formalmente como:

donde significa "P implica Q", significa "no es el caso de que

Q" (o en resumen "no Q"). Entonces, cada vez que " " y " "
aparecen por s mismas como lneas de una prueba, " " se puede
colocar vlidamente en una lnea posterior.
Un ejemplo de modus tollendo tollens es:
Si est lloviendo, te espero dentro del teatro.
No te espero dentro del teatro.
Por lo tanto, no est lloviendo.
El modus tollendo tollens est estrechamente relacionado con
el modus ponens o silogismo disyuntivo. Estos comparten dos
formas similares, pero no vlidas, de argumento: afirmacin
del consecuente y negacin del antecedente.

Explicacin
El argumento tiene dos premisas. La primera premisa es un condicional o
sentencia "si-entonces", por ejemplo que si p entonces q. La segunda
premisa es que no es el caso de q ("no q"). A partir de estas dos premisas,
se puede concluir lgicamente que no es el caso de p ("no p").
Por ejemplo:
p1: Si el perro guardin detecta un intruso, el perro guardin ladra.
p2: El perro guardin no ladr.
C: Por lo tanto, el perro guardin no detect ningn intruso.
Suponiendo que las premisas son verdaderas (el perro ladra si detecta un
intruso, y de hecho no ladra), se deduce que ningn intruso ha sido
detectado. Este es un argumento vlido, ya que no es posible que la
conclusin sea falsa si las premisas son verdaderas. (Es concebible que
haya habido un intruso que el perro no detect, pero eso no invalida el
argumento; la primera premisa es "Si el perro detecta un intruso"). El
hecho importante es que el perro detecta o no detecta un intruso, no si este
existe o no.
Otro ejemplo:
p1: Si yo soy el asesino del hacha, entonces puedo usar un hacha.
p2: No puedo usar un hacha.
C: Por lo tanto, yo no soy el asesino del hacha.
El silogismo es una forma de razonamiento deductivo que consta de
dos proposiciones como premisas y otra como conclusin, siendo la ltima
una inferencia necesariamente deductiva de las otras dos. Fue formulado
por primera vez por Aristteles, ampliamente reconocido como padre
fundador de la lgica. El silogismo es la nocin central de la lgica
aristotlica, pilar fundamental del pensamiento cientfico y filosfico desde
su invencin hace ms de dos milenios.
Aristteles public los silogismos en su obra lgica recopilada rganon, de
sus libros conocidos como Primeros Analticos (en griego Proto Analytika,
en latn Analytica Priora - idioma con el que se conoci la obra en Europa
Occidental)

Tipos de Silogismos
pucpr .edu
El Silogismo Compuesto
En el silogismo compuesto, la premisa mayor es una proposicin
compuesta, mientras que la premisa menor es una proposicin categrica
(el tipo ms sencillo de proposicin).
La premisa menor o afirma (pone) o niega (destruye) una de las partes de la
premisa mayor.
Ejemplo:
Si hoy es mircoles, entonces tenemos clase.
Hoy es mircoles.
Entonces, tenemos clase.
El Silogismo Condicional
Tiene una proposicin condicional como premisa mayor, y una proposicin
categrica como premisa menor. Adems, su premisa menor es una
proposicin categrica. Tiene, como toda argumentacin, un antecedente y
un consecuente.
Ejemplos:
1. Si veinte es divisible por dos, entonces veinte es un nmero par.
2. Si un hombre camina, entonces se mueve.
Un hombre camina.
Entonces, se mueve.
El Silogismo Disyuntivo
En el silogismo disyuntivo, la premisa mayor es una proposicin
disyuntiva. La premisa menor o afirma o niega una de las dos alternativas
expuestas en la proposicin disyuntiva.
Ejemplo:
O veinte es un nmero par, o es un nmero impar.
Veinte es un nmero par.
Entonces, veinte no es un nmero impar

Premisa Universal: Los planetas son redondos.

Premisa Particular: la tierra es un planeta.
Conclusin: La tierra es redonda.
Reglas del silogismo: Para hacer un silogismo correcto es necesario seguir
ciertas reglas para evitar errores.

Esto se puede Ilustrar con el siguiente ejemplo:

Premisa Mayor: El hombre por naturaleza es inteligente.

Premisa menor: Las mujeres no son hombres.
Conclusin: Las mujeres por naturaleza no son inteligentes

Relacin transitiva
Ejemplo: Si a es mayor que b, y b es mayor que c, entonces, a es mayor
que c.

Una relacin binaria sobre un conjunto es transitiva cuando se

cumple: siempre que un elemento se relaciona con otro y este ltimo con
un tercero, entonces el primero se relaciona con el tercero.
Esto es:

Dado el conjunto A y una relacin R, esta relacin es transitiva si: a R

b y b R c se cumple a R c.
La propiedad anterior se conoce como transitividad.

Ejemplos[editar]
As por ejemplo dado el conjunto N de los nmeros naturales y
la relacin de orden "menor o igual que" vemos que es transitiva:

As, puesto que:

En general las relaciones de orden (ser menor, mayor, igual,

menor o igual, mayor o igual) son transitivas.
Tomando de nuevo el conjunto de los nmeros naturales, y la
relacin divide a:

Para todo valor a, b, c numero natural: si a divide

a b y b divide a c entonces a divide a c
Dado que 3|12 (3 divide a 12) y 12|48 (12 divide a 48), la
transitividad establece que 3|48 (3 divide a 48).
 Sin embargo, no todas las relaciones binarias son transitivas.
La relacin "no es subconjunto" no es transitiva. Por ejemplo,
si X = {1,2,3}, Y={2,3,4,5}, Z={1,2,3,4}. Entonces

Se cumple y pero no se cumple puesto que

es subconjunto de .
Otro ejemplo de relacin binaria que no es transitiva es "ser la
mitad de": 5 es la mitad de 10 y 10 es la mitad de 20, pero
5 no es la mitad de 20.
Representacin[editar]
Una relacin binaria se puede representar como pares
ordenados, mediante una matriz de adyacencia o mediante
un grafo. Para el caso de una relacin transitiva, cada una de
estas representaciones tiene caractersticas especiales:

Como pares ordenados,

Como matriz de adyacencia , la matriz es tal que

Como grafo, cada vez que desde un nodo se pueda

llegar a otro , pasando primero por un nodo
intermedio , entonces tambin existir la arista .
Dilema
Un dilema (del latn dilemma y ste del griego dos premisas) es
un argumento que est formado por dos proposiciones contrarias y
disyuntivas: al conceder o negar cualquiera de estas dos proposiciones,
queda demostrado aquello que se quera probar.
En el lenguaje cotidiano, se entiende al dilema como un problema que
puede resolverse a travs de dos soluciones pero que ninguna de las dos
resulta completamente aceptable o, por el contrario, que las dos son
igualmente aceptables. En otras palabras, al elegir una de las opciones,
la persona no queda del todo conforme. Lo que hace un dilema es poner a
un individuo en una situacin de duda, debatindose entre dos alternativas.
El dilema puede generarse por diversas cuestiones: profesionales, morales,
etc. Es frecuente que la persona se debata entre una
opcin correcta (aquello que supone que debe hacer) y una
opcin sentimental (aquello que siente que quiere hacer). El dilema se
utiliza en ocasiones como recurso retrico, en la forma "debes optar por A
o B"; en este caso, A y B seran proposiciones que conducen a conclusiones
adicionales. Usado de este modo, el dilema puede, en algunas ocasiones,
llegar a proponer tres soluciones, con lo que no se habla de dilema sino
de trilema, dilema de tres soluciones, ninguna de las cuales es
completamente aceptable, (A, B o C). La aparicin de un dilema a lo largo
de una argumentacin puede invalidar su eficacia, siendo as considerada
una falacia