Formalización - Aprende con estilo

Formalización

Proposicional

¿QUÉ ES?

Procedimiento para formalizar proposiciones lógicas:

Consiste en simbolizar proposiciones. Es decir, cuando empezamos a utilizar símbolos alternantes (constantes y variables) para simbolizar nuestros juicios (proposiciones).

ARCHIVO ULTRA CONFIDENCIAL

SÍMBOLOS FORMALES

La coma

Jerarquía

V. del Metalenguaje

V. Proposicionales

Cuando es en minúscula: p, q ...z

Puede ser un ˄ o formar parte de una conjución

Cuando es en mayúscula: A, B, C...

En los conectores lógicos: -, ˄, v, ->, v, <->

EJM DE FORMALIZACIONES

según el conector lógico

Negador

Implicador

Replicador

Conjuntor

Biimplicador

Disyuntor incluyente

Inalterador e incompatibilizador

Disyuntor excluyente

Daga Briceño E. (2019). Lógica práctica y teórica de Daga (tercera edición) Guitierrez Abanto F. (2021). Módulo de Razonamiento Lógico: Lógica proposicional (pág 44 - 45). C.E.E."Rafael Narváez Cadenillas"