LGICA COMN

Es la ms formal de las ciencias porque estudia la estructura formal del pensamiento.

No se preocupa de estriar qu es el pensamiento (esto es ms propio e la Gnoseologa,

Epistemologa, Criteriologa y Teora del conocimiento)

La Lgica se preocupa por saber Cmo es, que formas o estructuras tiene el conocimiento y
no por el contenido.

Segn el Profesor Moiss Chong, la Lgica no se interesa por la existencia real del
mundo, sino por la existencia formal de los modos como ste se manifiesta en la mente del
hombre.

La lgica matemtica es parte de la lgica y de la matemtica, y consiste en el estudio

matemtico de la lgica, y en la aplicacin de dicho estudio a otras reas de la matemtica y
de las ciencias. La lgica matemtica tiene estrechas conexiones con las ciencias de la
computacin y con la lgica filosfica.

La lgica matemtica estudia los sistemas formales en relacin con el modo en el que
codifican o definen nociones intuitivas de objetos matemticos como conjuntos, nmeros,
demostraciones, y algoritmos, utilizando un lenguaje formal.

La lgica matemtica suele dividirse en cuatro subcampos: teora de modelos, teora de la

demostracin, teora de conjuntos y teora de la recursin. La investigacin en lgica
matemtica ha jugado un papel fundamental en el estudio de los fundamentos de las
matemticas. Actualmente se usan indiferentemente como sinnimos las expresiones:
lgica simblica (o logstica), lgica matemtica, lgica teortica y lgica formal.1

La lgica matemtica no es la lgica de las matemticas sino la matemtica de la

lgica. Incluye aquellas partes de la lgica que pueden ser modeladas y estudiadas
matemticamente.

Conectiva lgica
En lgica, una conectiva lgica, o simplemente conectiva, (tambin llamado operador
lgico o conectores lgicos) es un smbolo o palabra que se utiliza para conectar dos
frmulas bien formadas o sentencias (atmicas o moleculares), de modo que el valor de
verdad de la frmula compuesta depende del valor de verdad de las frmulas componentes.

Los conectivos lgicos ms comunes son los conectivos binarios (tambin llamados
conectivos didicos) que unen dos frases, que pueden ser consideradas los operandos de la
funcin. Tambin es comn considerar a la negacin como un conectivo mondico.
Tabla de verdad
Este artculo posee referencias, pero necesita ms para complementar su
verificabilidad.
Puedes colaborar agregando referencias a fuentes fiables como se indica aqu. El material sin fuentes
fiables podra ser cuestionado y eliminado.
Este aviso fue puesto el 31 de octubre de 2015.

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.

OPERACIONES LGICAS
Combinando proposiciones simples obtenemos proposiciones compuestas mediante
operaciones lgicas.

Las principales operaciones lgicas son: conjuncin, disyuncin, negacin, condicional y

Bicondicional.

A cada una de estas operaciones lgicas le corresponde una tabla de verdad.

1.

pq pq
VV V

VF F

FV F

FF F
 PROPOSICIONES Y OPERACIONES LGICAS.

Una proposicin o enunciado es una oracin que puede ser falso o

verdadero pero no ambas a la vez. La proposicin es un elemento fundamental de
la lgica matemtica.

A continuacin se tienen algunos ejemplos de proposiciones vlidas y no

vlidas, y se explica el porqu algunos enunciados no son proposiciones. Las
proposiciones se indican por medio de una letra minscula, dos puntos y la
proposicin propiamente dicha. Ejemplo.

p: La tierra es plana.

q: -17 + 38 = 21

r: x > y-9

s: El Morelia ser campen en la presente temporada de Fut-Bol.

t: Hola como estas?

w: Lava el coche por favor

Los incisos p y q sabemos que pueden tomar un valor de falso o verdadero;

por lo tanto son proposiciones validas. El inciso r tambin es una proposicin
valida, aunque el valor de falso o verdadero depende del valor asignado a las
variables x y y en determinado momento. La proposicin del inciso s tambin esta
perfectamente expresada aunque para decir si es falsa o verdadera se tendra que
esperar a que terminara la temporada de fut-bol. Sin embargo los enunciados t y w
no son vlidos, ya que no pueden tomar un valor de falso o verdadero, uno de
ellos es un saludo y el otro es una orden.
Obtener valores auxiliares
Vamos a ver el ejercicio a travs de un ejemplo muy sencillo pero muy ilustrativo a la vez.
En la siguiente tabla tenemos los datos de consumo de ciertos productos por pas. El
objetivo ser ver qu pas y qu producto es el que tiene un mayor valor de consumo.

Datos y resultado final:

Como puede verse en la tabla necesitamos obtener los valores de Francia y Pescado porque
son los mayores.
Proposiciones compuestas

Una proposicin compuesta es una frase que consta de uno o varios sujetos y de un
predicado que afirma algo en torno a dichos sujetos.Los sujetos de una proposicon
simple deben ser todos terminos singulares. El predicado debe contener un verbo que
exprese la accion sobre los sujetos.En matematicas se usan ciertos simbolos para
representar predicados de uso frecuente como: el simbolo _, como representante del
predicado es igual a , y el simbolo < como sustituto de es menor que.
 Clasificacin de las Tablas de Verdad
El resultado de las tablas de verdad se pueden clasificar en:

Tautologa: Es aquella proposicin compuesta que es cierta para todos los

valores de verdad que se asignen a cada una de las proposiciones (1,1,1,1,1,1)

Esto quiere decir que todo el resultado ser 1.

Contradiccin: Una proposicin compuesta corresponde a una contraccin

cuando los valores de verdad que se asignen a cada una de las proposiciones
son falsas. (0,0,0,0,0,0)

Osea que todo el resultado ser 0.

Contingencia: Una proposicin compuesta cuyos valores en sus diferentes

lneas de la tabla dan como resultado 1 y 0 se conoce como contingencia,
inconsistencia o falacia.

Contingencia
Para otros usos de este trmino, vase Contingencia profesional.

En lgica y filosofa, 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).

La contingencia es algo que se encuentra en un constante cambio pero sin embargo no

pierde la esencia de lo que es. El caso puede cambiar (de color, gnero, nombre) pero sigue
siendo lo que es fsicamente, por as decirlo.

La relacin entre necesidad, posibilidad y contingencia es fcil de malentender.1 Todo lo

que es contingente es posible, pero no todo lo que es posible es contingente, pues aquello
que es necesario tambin es posible, pero no es contingente. Por otra parte, no todo lo que
no es necesario es contingente, pues lo que es imposible no es ni necesario ni contingente.

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.

En lgica proposicional, una contradiccin se define como una frmula que resulta falsa
para cualquier interpretacin, es decir para cualquier asignacin de valores de verdad que se
haga a sus frmulas atmicas. Por ejemplo, la siguiente tabla demuestra una contradiccin:

Dada esta definicin, toda contradiccin es la negacin de una tautologa, y toda tautologa
es la negacin de una contradiccin. Siguiendo el ejemplo anterior, al negar la
contradiccin obtenemos una tautologa: