Está en la página 1de 4

Elementos de la lógica matemática

 Lógica matemática
 Tipos de proposiciones
 Conectivos lógicos
 Tablas de verdad

Elementos de la lógica matemática


Lógica matemática
Lógica matemática. Es la disciplina que trata de métodos de razonamiento. En un nivel
elemental, la lógica proporciona reglas y técnicas para determinar si es o no valido un
argumento dado. El razonamiento lógico se emplea en matemáticas para demostrar
teoremas; en ciencias de la computación para verificar si son o no correctos los programas;
en las ciencias física y naturales, para sacar conclusiones de experimentos; y en las ciencias
sociales y en la vida cotidiana, para resolver una multitud de problemas. Ciertamente se usa
en forma constante el razonamiento lógico para realizar cualquier actividad.
El objetivo de la lógica matemática es cuestionar los conceptos y las reglas de deducción
que son utilizadas en las matemáticas y esto constituye a la lógica una verdadera
matemática.
Es la disciplina que estudia métodos de análisis y razonamiento; utilizando el lenguaje de
las matemáticas como un lenguaje analítico.
La lógica matemática nos ayuda a establecer criterios de verdad, equivalencias lógicas tales
como el silogismo, hacer demostraciones de teoremas que participan en el análisis de
argumentos planteados.
Suele dividirse en cuatro subcampos: teoría de modelos, teoría de la demostración, teoría de
conjuntos y teoría de los sistemas formales en relación con el modo en el que codifican
conceptos intuitivos de objetos matemáticos como conjuntos, números, demostraciones y
computación.

Tipos de proposiciones
En adelante cuando hablemos de proposiciones, éstas serán lógicas. Si son abiertas,
significará que el conjunto de sustituciones está bien definido y la harán verdadera o falsa.
Para operar con las proposiciones, éstas se clasifican en dos tipos: Simples y Compuestas,
dependiendo de cómo están conformadas.
 Proposiciones Simples: Son aquellas que no tienen oraciones componentes
afectadas por negaciones ("no") o términos de enlace como conjunciones ("y"),
disyunciones ("o") o implicaciones ("si . . . entonces"). Pueden aparecer términos de
enlace en el sujeto o en el predicado, pero no entre oraciones.
 Proposiciones Compuestas: Una proposición será compuesta si no es simple. Es
decir, si está afectada por negaciones o términos de enlace entre oraciones
componentes.

Conectivos lógicos
Conjunción:  
En razonamiento formal, una conjunción lógica (   ) entre dos proposiciones es
un conector lógico cuyo valor de la verdad resulta en cierto sólo si ambas proposiciones son
ciertas, y en falso de cualquier otra forma. Existen diferentes contextos dónde se utiliza la
conjunción lógica.
En lenguajes formales, la palabra "y" se utiliza en español para simbolizar una conjunción
lógica. La noción equivalente en la teoría de conjuntos es la intersección (   ).

Disyunción: 
En razonamiento formal, una disyunción lógica (   ) (en específico, una disyunción
inclusiva) entre dos proposiciones es un conector lógico cuyo valor de la verdad resulta en
falso sólo si ambas proposiciones son falsas, y en cierto de cualquier otra forma. Existen
diferentes contextos dónde se utiliza la disyunción lógica.
En lenguajes formales, la palabra "o" se utiliza en español para simbolizar una disyunción
lógica. Se debe distinguir entre el "o" inclusivo y el "o" exclusivo. La noción equivalente en
la teoría de conjuntos es la unión (   ).
Implicación:
También conocido como implicación material, condicional funcional de verdad o
simplemente condicional, es una constante lógica que conecta dos proposiciones. El
condicional material intenta ser la versión formal del condicional en el lenguaje natural, el
cual se expresa por medio de palabras como las siguientes:

o Si llueve, entonces voy al cine.
o Voy al cine si llueve.
o Cuando llueve, voy al cine.
Simbólicamente, el condicional material se suele denotar de las siguientes maneras:

, y en ocasiones:

Donde A y B son proposiciones cualesquiera. Las variables A y B se conocen


respectivamente como el antecedente y el consecuente del condicional.

Doble implicación:
En matemáticas y lógica, un bicondicional, (también
llamado equivalencia o doble implicación, es una proposición de la forma «P si
y solo si Q y afirma que la proposición P será verdadera exclusivamente
cuando Q también lo sea, así como también P será falsa cuando Q lo sea. Otra
forma de expresar el bicondicional es decir que Q es una condición necesaria y
suficiente para P

Negación:
En lógica y matemática, la negación, también llamada complemento lógico, es
una operación sobre proposiciones, valores de verdad, o en general, valores
semánticos. Intuitivamente, la negación de una proposición es verdadera
cuando dicha proposición es falsa, y viceversa.

Tablas de verdad
Las tablas de verdad son, por una parte, uno de los métodos más sencillos y conocidos de la
lógica formal, pero al mismo tiempo también uno de los más poderosos y claros. Entender
bien las tablas de verdad es, en gran medida, entender bien a la lógica formal misma. En
esta sesión haremos algunas reflexiones alrededor de las tablas de verdad cómo pretexto.
una tabla de verdad es un dispositivo para demostrar ciertas propiedades lógicas y
semánticas de enunciados del lenguaje natural o de fórmulas del lenguaje del cálculo
proposicional: - Sin son tautológicas, contradictorias o contingentes - Cuáles son sus
condiciones de verdad - Cuál es su rol inferencial, es decir, cuáles son sus conclusiones
lógicas y de qué otras proposiciones se siguen lógicamente El procedimiento para construir
una tabla de verdad es sencillo y relativamente mecánico; en esta plática, asumiré que todos
saben ya cómo hacer una tabla de verdad para cualquier fórmula del cálculo proposicional
clásico. Para aplicar el método de tablas de verdad a un enunciado o proposición, por lo
tanto, es necesario primero simbolizarlo, es decir, determinar qué fórmula del lenguaje
proposicional muestra su forma lógica y, luego, elaborar la tabla de verdad de dicha
fórmula.

También podría gustarte