Qu significa lgica?

La lgica es una ciencia formal destinada a estudiar los principios capaces de demostrar un punto
determinado desde una perspectiva vlida, cimentada en la razn, el intelectualismo, la dialctica y la
capacidad de argumentacin.
Lgica viene de logos, que en griego remite a la palabra, al pensamiento, a la idea y
principalmente al racionalismo. Para efectuar una estructura lgica se considera excluyente
remitirse al empirismo, aunque esto no quiere decir que la lgica sea una ciencia emprica, sino
una ciencia formal, como la matemtica.

Formas de lgica:
-Lgica natural: Es aquella que toda persona asimila por la experiencia sensible. Es el
empirismo ms primitivo, nace de la razn innata del ser humano y se ejecuta a modo de
prevencin. De all el dicho el hombre es el nico animal que tropieza dos veces con la misma
piedra. Se presume que si bien las personas son permeables de reincidir en sus errores, se
considera que aprenden de sus actos y de las consecuencias de los mismos. Luego por lgica
natural efectan las prevenciones necesarias.
-Lgica cientfica: Es la que se sirve de la experiencia emanada de la lgica natural, pero adems
le adhiere la razn, generando planteos de todo lo existente. Siguiendo el famoso dicho annimo
de la piedra, el hombre por lgica natural evitara pasar por el camino en el que est la piedra
para no tropezarse, pero a su vez establecer por medio de la lgica cientfica porqu esa
piedra le genera el traspi.
-Lgica formal: Es el contrapunto de la lgica material. Aborda el estudio de la capacidad de
razonamiento desde el aspecto ms adecuado y desde las asociaciones, sin importar si es
vlido o no. Es una lgica pasiva, en cierto punto, ya que es reacia a los cuestionamientos.
-Lgica material: Su estudio es abordado desde la epistemologa, una de las ramas modernas
de la filosofa. El objeto de la lgica material es basarse en la validez de un pensamiento
determinado siguiendo la realidad. Es una lgica activa, ya que se cuestiona y va ms all, dejando
lugar a la incertidumbre al no concluir sin dudar. En un ejemplo de lgica material, si el cielo
est nublado puede ser que llueva, como puede que no. Por lo que el pensamiento de que tal
vez llovizne es correcto, pero no tiene validez (si tendra para la lgica formal), ya que no es
seguro que suceda.

Fuente: http://www.tipos.co/tipos-de-logica/#ixzz4oT5U1VmU

Conjuncin

En razonamiento formal, una conjuncin lgica ( ) entre dos proposiciones es

un conector lgico cuyo valor de la verdad resulta en cierto slo si ambas proposiciones son
ciertas, y en falso de cualquier otra forma.1 Existen diferentes contextos donde se utiliza la
conjuncin lgica.
En lenguajes formales, la palabra "y" se utiliza en espaol para simbolizar una conjuncin

lgica. La nocin equivalente en la teora de conjuntos es la interseccin ( ). En lgebra

Booleana, la conjuncin como operador binario entre dos variables se representa con el
smbolo de punto medio ( ).
En electrnica, una puerta AND es una puerta lgica que implementa la conjuncin lgica.
Lgica proposicional/La conjuncin

< Lgica proposicional

Cada proposicin tiene un valor de verdad independiente de las otras proposiciones con las
que trabajamos. Por eso, al relacionarlas podemos tener diversos resultados. [1] Por ejemplo, si
tenemos las proposiciones est lloviendo y es martes con diferentes valores de verdad,
podemos tener las siguientes variaciones:

Es cierto que est lloviendo ( ), es cierto que es martes ( ).

Es cierto que est lloviendo ( ), no es cierto que es martes ( ).

No es cierto que est lloviendo ( ), es cierto que es martes ( ).

No es cierto que est lloviendo ( ), no es cierto que es martes ( ).

La conjuncin es una conectiva lgica representada con el smbolo . Cuando la usamos,

el valor de verdad de la proposicin compuesta es verdadera, nicamente, si las dos
proposiciones a las que aplicamos son verdaderas y es falsa si por lo menos una de ellas es

falsa. [2] En el ejemplo anterior, si representamos el enunciado est lloviendo con y el

enunciado es martes con , la proposicin compuesta , creada con la conectiva de

conjuncin, ser verdadera solamente si es cierto que est lloviendo ( ) y es cierto que es

martes ( ) y ser falsa en todos los otros casos.

Esta relacin de se puede representar de forma tabular con la siguiente tabla de verdad:

Negacin
En lgica y matemtica, la negacin, tambin llamada complemento lgico, es
una operacin sobre proposiciones, valores de verdad, o en general, valores semnticos.
Intuitivamente, la negacin de una proposicin es verdadera cuando dicha proposicin es falsa,
y viceversa. En lgica clsica la negacin est normalmente identificada con la funcin de
verdad que cambia su valor de verdadero a falso y viceversa. En Lgica intuicionista, de
acuerdo a la interpretacin de BrouwerHeytingKolmogorov, la negacin de una
proposicin p es la proposicin cuyas pruebas son las refutaciones de p.

No existe acuerdo en cuanto a la posibilidad de definir la negacin, ni en cuanto a su estatus

lgico, funcin y significado, ni tampoco a su mbito de aplicacin ..., y en cuanto a la
interpretacin de la sentencia negativa, (FH Heinemann 1944).1
La negacin clsica es una operacin sobre un valor de verdad, tpicamente, el valor de
una proposicin, que produce un valor de verdadero cuando su operando es falso, y un valor
de falso cuando su operando es verdadero. Por tanto, si el enunciado A es verdadero,
entonces A (pronunciado "no A") sera consecuentemente falso; y lo contrario, si A es
verdadero, entonces A sera falso.
La tabla de verdad de p es la siguiente:

Tabla de verdad de p

p p
Verdadero Falso

Falso Verdadero

La negacin clsica se puede definir en trminos de otras operaciones lgicas. Por ejemplo,
p se puede definir como p F, donde "" es una implicacin lgica y F es una falsedad
absoluta. Por el contrario, se puede definir F como p & p para cualquier proposicin p, donde
"&" es una conjuncin lgica. La idea aqu es que cualquier contradiccin es falsa. Mientras
estas ideas funcionan tanto en la lgica clsica como en la instuicionista, no funcionan en
la lgica paraconsistente, donde las contradicciones no son necesariamente falsas.
En lgica clsica tenemos una identidad adicional: p q se puede definir como p q, donde
"" es la disyuncin lgica: "no p, o q".
Algebraicamente, la negacin clsica corresponde con el complemento en un lgebra
booleana, y la negacin intuicionista a la seudocomplementacin en un lgebra de Heyting.
Estas lgebras proveen una semntica para las lgicas clsica e intuicionista respectivamente.

Disyuncin

En razonamiento formal, una disyuncin lgica ( ) (en especfico, una disyuncin

inclusiva) entre dos proposiciones es un conector lgico cuyo valor de la verdad resulta
en falso slo si ambas proposiciones son falsas, y en cierto de cualquier otra forma.1 Existen
diferentes contextos dnde se utiliza la disyuncin lgica.
En lenguajes formales, la palabra "" se utiliza en espaol para simbolizar una disyuncin
lgica. Se debe distinguir entre el "" inclusivo y el "" exclusivo, este artculo se refiere al ""

inclusivo. La nocin equivalente en la teora de conjuntos es la unin ( ). En lgebra

Booleana, la disyuncin como operador binario entre dos variables se representa con el
smbolo de ms (+).
En electrnica, una puerta OR es una puerta lgica que implementa la disyuncin lgica.

En razonamiento formal, una disyuncin lgica ( ) (en especfico, una disyuncin

inclusiva) entre dos proposiciones es un conector lgico cuyo valor de la verdad resulta
en falso slo si ambas proposiciones son falsas, y en cierto de cualquier otra forma.1 Existen
diferentes contextos dnde se utiliza la disyuncin lgica.
En lenguajes formales, la palabra "" se utiliza en espaol para simbolizar una disyuncin
lgica. Se debe distinguir entre el "" inclusivo y el "" exclusivo, este artculo se refiere al ""

inclusivo. La nocin equivalente en la teora de conjuntos es la unin ( ). En lgebra

Booleana, la disyuncin como operador binario entre dos variables se representa con el
smbolo de ms (+).
En electrnica, una puerta OR es una puerta lgica que implementa la disyuncin lgica.

Equivalencia

Equivalencia 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 veces se expresa como , Epq, o . Sin embargo, estos smbolos

tambin se usan para la equivalencia material; su apropiada interpretacin depende del
contexto. La equivalencia lgica es diferente a la equivalencia material, aunque ambos
conceptos estn estrechamente relacionados.

Equivalencia
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
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]

La equivalencia lgica se representa con el smbolo [3] 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.[2] Podemos representar el comportamiento de la conectiva con la siguiente tabla de
verdad: