FORMALIZACIÓN DE PROPOSICIONES

La formalización de proposiciones es un proceso mediante el cual se traducen las proposiciones del lenguaje natural a un lenguaje formal utilizando símbolos y reglas precisas. Este proceso facilita el análisis y la evaluación lógica de las proposiciones

La formalización de proposiciones involucra el uso de símbolos para representar los conectivos lógicos y las proposiciones Algunos de los símbolos comunes utilizados en la formalización son:

Para ilustrar el proceso de formalización, consideremos la siguiente proposición en lenguaje natural: "Si llueve, entonces llevaré mi paraguas o me mojaré".

Paso 1: Identificar las proposiciones involucradas:

P: Llueve

Q: Llevaré mi paraguas

R: Me mojaré

Paso 2: Representar los conectivos lógicos: La conjunción se representa con el símbolo ∧, la disyunción con el símbolo ∨, la negación con el símbolo ¬, la implicación con el símbolo → , y la bicondicional con el símbolo ↔

Paso 3: Formalizar la proposición: La proposición se puede formalizar de la siguiente manera: P → (Q∨R)

Paso 4: Construir la tabla de verdad: Para evaluar la validez de la proposición formalizada, se construye una tabla de verdad que muestra todas las posibles combinaciones de valores de verdad de las proposiciones involucradas, así como el valor de verdad de la proposición completa ∧ para representar la conjunción (y lógico).

∨ para representar la disyunción (o lógico).

¬ para representar la negación (no).

→ para representar la implicación (si...entonces).

↔ para representar la bicondicional (si y solo si).