Cálculo Proposicional

Cálculo Proposicional
Se define como la ciencia que trata de los principios válidos del razonamiento y la argumentación. El
estudio de lógica es el esfuerzo por determinar las condiciones que justifican a una persona para pasar
de una proposición dada, llamadas premisas, a una conclusión que se deriva de aquellas.
Es la más antigua y simple de las formas de lógica, permite representar y manipular aserciones sobre
el mundo que nos rodea, a través del razonamiento, primeramente evaluando sentencias simples y
luego sentencias complejas, formadas mediante el uso de conectivos proposicionales. Es dise ñada para
analizar ciertos tipos de argumentos, en ella las fórmulas representan proposiciones y las conectivas
lógicas son operaciones sobre dichas fórmulas, capaces de formar otras fórmulas de mayor complejidad.
Como otros sistemas lógicos la lógica proposicional intenta esclarecer nuestra comprensión de la noción
de consecuencias lógicas para el rango de argumentos que analiza. El cálculo proposicional es también
llamado, lógica proposicional, calculo sentencial, álgebra Booleana. El cálculo proposicional, junta dos
cálculos de predicados con la constitución de símbolos lógicos.
Conectiva lógica
En la lógica proposicional, las conectivas lógicas se tratan como funciones de verdad. Es decir, como
funciones que toman conjuntos de valores de verdad y devuelven valores de verdad. Es un s ímbolo o
palabra que se utiliza para conectar dos fórmulas bien formadas o sentencias, de modo que el valor de
verdad de la fórmula compuesta depende del valor de verdad de las fórmulas componentes.Los
conectivos lógicos más comunes son los conectivos binarios que unen dos frases, que pueden ser
consideradas los operandos de la función.
También es común considerar a la negación como un conectivo monádico.Las conectivas lógicas son,
junto con los cuantificadores, las principales constantes lógicas de muchos sistemas lógicos,
principalmente la lógica proposicional y la lógica de predicados. Estas conectivas son funciones
veritativas, es decir, funcionan como operaciones que nos permiten determinar el valor de verdad de
una fórmula compleja con base en el valor de verdad de las oraciones simples que la forman. En la
lógica proposicional, son usualmente la conjunción, la disyunción, la negación, la implicación y la doble
implicación.
Proposiciones matemáticas
Una proposición matemática es una expresión algebraica que puede acarrear dos valores: ser
verdadera o ser falsa, aunque nunca ambas a la vez. Denominadas a través de letras minúsculas, las
proposiciones matemáticas tienen un valor de verdad que será la veracidad o la falsedad de su
enunciado. De acuerdo a sus características, es posible distinguir entre proposiciones simples que
carecen de conectores lógicos y proposiciones compuestas.
Las proposiciones matemáticas pueden ser vistas como expresiones de juicio que no pueden resultar
verdaderas y falsas de manera simultánea. Por ejemplo:
a: 9 es múltiplo de 3
Dicha expresión es una proposición matemática que resulta verdadera, ya que 3 x 3 es igual a 9 y, por lo
tanto, 9 es uno de los infinitos múltiplos de 3. Como decíamos líneas arriba, la proposición matemática
también puede ser falsa:
b: 7 es múltiplo de 3
En este caso, la proposición es falsa ya que 7 no está entre los múltiplos de 3 (3 x 2 = 6, 3 x 3 = 9).
Tipos de proposiciones
La lógica clasifica las proposiciones en dos tipos: simples y compuestas, dependiendo de su

conformación.
Proposiciones simples
Son aquellas que están compuestas por un sujeto y un predicado directamente relacionados, sin que
aparezcan factores de negación (no), conjunción (y), disyunción (o) o implicación. En términos
oracionales, se corresponden con oraciones simples sin subordinadas.
Proposiciones compuestas
Son aquellas de tipo complejo, que incorporan elementos adicionales a través de factores de negación,
conjunción, disyunción o implicación, y que en términos oracionales consisten en oraciones con
subordinadas y otros componentes.
Equivalencias Logicas
En todas las áreas de las matemáticas necesitamos mecanismos para saber cuando dos entidades son
iguales o esencialmente las mismas. En la lógica proposicional este concepto se llama equivalencia y se
da entre dos proposiciones cuando ambas siempre tienen el mismo valor de verdad para una misma
asignación de valores de verdad de las proposiciones que las componen.
Una proposición es lógicamente 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. En otras palabras, dos expresiones son l ógicamente equivalentes si sus tablas de verdad
son iguales. En la lógica clásica , dos proposiciones P y Q se llaman lógicamente equivalente o
simplemente equivalente cuando es posible deducir Q de P y deducir P de Q . Al calcular proposiciones ,
esto equivale a decir que P y Q tienen el mismo valor de verdad: P y Q son ambos verdaderos o ambos
falsos. La equivalencia lógica a menudo se expresa en la forma si y solo si , en marcos como la ense ñanza
o la metamatemática para hablar de las propiedades de la lógica en sí, y no del conector lógico que
vincula dos proposiciones.
Tabla de verdad
Una tabla de verdad, o tabla de valores de verdades, es una tabla que muestra el valor de verdad de
una proposición compuesta, para cada combinación de verdad que se pueda asignar. Las tablas de
verdad es una estrategia de la lógica simple que permite establecer la validez de varias propuestas en
cuanto a cualquier situación, es decir, determina las condiciones necesarias para que sea verdadero un
enunciado propuesto, permitiendo clasificarlos en tautológicos, contradictorias o contingentes.
Toda proposición puede ser verdadera (V) o falsa (F). Las tablas de verdad son un método para saber si
una fórmula molecular (es decir, formada por varias proposiciones) es siempre V, a veces V o nunca V
(es decir, siempre F).
Lógica Proposicional
La lógica proposicional es una parte de la lógica clásica que estudia las variables proposicionales, sus
posibles implicaciones, los valores de verdad de las proposiciones o de conjuntos de ellas formadas a
partir de los conectores lógicos. Permite validar o no las afirmaciones que se hacen en matemáticas o en
otras ramas del conocimiento.
Es por esto que el estudio y comprensión de las estructuras que componen la lógica y la forma como
validan o no las proposiciones es fundamental en todas las ramas de las ciencias. De otro lado, la teoría
de conjuntos permite estudiar relaciones y propiedades entre diferentes colecciones de objetos al
compararlas entre sí de diversas maneras. La matemática moderna estudia una gran variedad de clases
conjuntos a partir de las propiedades que los componen o define operaciones con los elementos de los
mismos que resultan de interés para las ciencias en general.
El estudio de la lógica y la teoría de conjuntos le permite al estudiante comprender la forma como se

construyen las propiedades, relaciones, resultados de las diversas ramas del conocimiento en las que se
aplica la matemática.

Cálculo Proposicional

Cargado por

Copyright:

Formatos disponibles

Cálculo Proposicional

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Cálculo Proposicional

Cargado por

Copyright:

Formatos disponibles

Cálculo Proposicional

La lógica clasifica las proposiciones en dos tipos: simples y compuestas, dependiendo de su

El estudio de la lógica y la teoría de conjuntos le permite al estudiante comprender la forma como se

También podría gustarte