Calculo proposicional

Calculo proposicional

Es una rama de la lógica que se centra en el estudio de las proposiciones o declaraciones, así como las relaciones lógicas que se establecen entre ellas. En el calculo proposicional, las proposiciones se consideran unidades básicas de significado y se analizan sus combinaciones y operaciones lógicas.

Una proposición es una afirmación que puede ser verdadera o falsa, pero no ambas al mismo tiempo. Por ejemplo, "El sol es una estrella" y "2+2=5" .

En el cálculo proposicional, se utilizan símbolos para representar proposiciones y operadores lógicos para combinar o modificar proposiciones. Algunos de los elementos básicos utilizados en el cálculo proposicional son:

1. Variables proposicionales: Son símbolos que se utilizan para representar proposiciones específicas. Se suelen representar con letras minúsculas, como p, q, r, etc.

2. Conectivos lógicos: Son símbolos que se utilizan para combinar o modificar proposiciones y establecer relaciones lógicas entre ellas. Algunos de los conectivos lógicos comunes son la negación (~ o ¬), la conjunción (^ o ),∧ la disyunción (v o ),∨ la implicación (→) y la doble implicación (↔), como se mencionó anteriormente.

3. Reglas de inferencia: Son reglas formales que permiten realizar inferencias válidas en el cálculo proposicional. Estas reglas establecen cómo se pueden combinar y manipular proposiciones para obtener conclusiones lógicamente válidas.