Tautologa

En lgica, una tautologa es una frmula bien formada de un sistema de lgica

preposicional que resulta verdadera para cualquier interpretacin; es decir, para
cualquier asignacin de valores de verdad que se haga a sus frmulas. La
construccin de una tabla de verdad es un mtodo efectivo para determinar si
una frmula cualquiera es una tautologa o n
Contradiccin
En lgica, una contradiccin es una incompatibilidad entre dos o
ms proposiciones. Por ejemplo, las oraciones llueve y no llueve y ni llueve
ni truena, pero llueve y truena expresan contradicciones.
Contingencia

La contingencia es el modo de ser de lo que no es necesario ni imposible,

sino que puede ser o no ser el caso. 1 En general la contingencia se predica de
los estados de cosas, los hechos, los eventos o las proposiciones.1 Existe un
debate sobre si es aceptable hablar de entidades contingentes (o entidades
necesarias o imposibles),1 conocido como el debate en torno a las
modalidades de dicto (de la palabra) y de res (de la cosa).
1. Leyes o Reglas de Inferencia
Las leyes de inferencia son mecanismos sintcticos que permiten deducir y
razonar lgica y coherentemente una inferencia o conclusin a partir de hechos
que ya conocemos.

Doble implicacin
Doble implicacin, bicondicional o equivalencia.
La doble implicacin de las proposiciones p y q, es la proposicin
Cuya tabla de verdad es:
p

La propiedad conmutativa dice que resultado de una

operacin es el mismo cualquiera que sea el orden de los
elementos con los que se opera.
Propiedad conmutativa de la suma

El orden de los sumandos no vara la suma.

a + b = b + a

2 + 5 = 5 + 2

7 = 7
Propiedad conmutativa de la multiplicacin

El orden de los factores no vara el producto.

a b = b a

2 5 = 5 2

10 = 10

Las oraciones distributivas son un tipo de oraciones

compuestas coordinadas que expresan acciones alternas
utilizando conjunciones como:

Ya - Ya

Uno - Otro

Este - Aquel

Bien - Bien

Tan pronto - Como

Ejemplo de oraciones distributivas:

En noviembre, ya hace fro, ya empieza a nevar en

algunas zonas.

Uno viene y el otro se va.

ste nio es hermano de aquel otro.

Bien te va, bien regresas.

Tan pronto se enojan como se contentan.

Augustus

De

Morgan (Madurai , India ; 27

junio de 1806 - Londres , 18

de

de

marzo de 1871 )1 fue

un matemtico y lgico britnico nacido en la India . Profesor

de matemticas en el University College de Londres entre
1828

1866;

Matemtica

de

primer

Londres .

presidente
Conocido

de
por

la Sociedad
formular

las

llamadas leyes de De Morgan , en su memoria, y establecer

un

concepto

riguroso

del

procedimiento, induccin

matemtica .

las leyes de De Morgan 1 2 3 son un par de reglas de

transformacin que son ambas reglas de inferencia vlidas .

Las

normas

permiten

la

expresin

de

las conjunciones y disyunciones puramente en trminos de

s va negacin.

Implicacin

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.

La implicacin es contrapuesta al trmino explicacin ,

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.

Equivalencia en lgica

En lgica ,

las

declaraciones p y q son lgicamente

equivalentes si tienen el mismo contenido lgico. Este es

un concepto semntico , dos afirmaciones son equivalentes
si

tienen

el

mismo valor

de

verdad en

todos

los modelos (Mendelson 1979:56). La equivalencia lgica

de p y q algunas
p\equiv q}
Sin

veces

se

expresa

como {\displaystyle

, Epq, o {\displaystyle p\Leftrightarrow q}

embargo,

la equivalencia

estos

smbolos

material ;

su

tambin
apropiada

se

usan

.
para

interpretacin

depende del contexto. La equivalencia lgica es diferente a

la equivalencia material, aunque ambos conceptos estn

estrechamente relacionados.

Exportacin

En economa , una exportacin es cualquier bien para

la economa o el servicio enviado fuera del territorio
nacional.

Reduccin al absurdo

Este mtodo es frecuentemente utilizado y aveces, hasta el

favorito de muchos matemticos, por la gran versatilidad que
ofrece. Dependiendo de la proposicin a demostrar puedes usar
uno

otro

proposicin

mtodo,

pero

frecuentemente

cuando

una

, se te resista al mtodo directo, podrs usar

otros mtodos como ste de reduccin al absurdo.

La adicin es una operacin bsica de la aritmtica de los

nmeros naturales, enteros, racionales, reales y complejos; por su
naturalidad, que se representa con el signo "+", el cual se combina
con facilidad matemtica de composicin en la que consiste en
combinar o aadir dos nmeros o ms para obtener una cantidad final
o total. La adicin tambin ilustra el proceso de juntar dos colecciones
de objetos con el fin de obtener una sola coleccin. Por otro lado, la
accin repetitiva de sumar uno es la forma ms bsica de contar.

la simplificacin es una inferencia inmediata vlida, forma de

argumento y regla de inferencia que hace que la inferencia de que, si
la

conjuncin A y B es cierta, entonces A es verdad ( o bien

"B tambin es verdad", otra conclusin). La regla permite acortar

las pruebas ms largas mediante la derivacin de una de las
conjunciones de una conjuncin en una lnea por s misma.

modus ponens

En lgica, el modus Ponendo ponens (MPP o MP) es el

razonamiento en el cual, en la primera premisa se
plantea un condicional, en la segunda se afirma el
antecedente

y,

como

conclusin,

se

afirma

el

consecuentes.

'modus tollens'

Es una forma de argumento vlida que es un silogismo disyuntivo que

tiene una declaracin disyuntiva de una de sus premisas

En lgica

proposicional,

el

'modus

tollens' o modus

tollendo

tollens es una forma de argumento vlida y una regla de inferencia.

Silogismo

El silogismo es una forma de razonamiento deductivo que consta de

dos proposiciones como premisas y otra como conclusin, siendo la
ltima una inferencia necesaria mente deductiva de las otras dos.
Dilema

Un dilema 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.