Want to create interactive content? It’s easy in Genially!

Get started free

Formalización - Aprende con estilo

Palacios Asto Maite

Created on November 29, 2021

Start designing with a free template

Discover more than 1500 professional designs like these:

Halloween Infographic

Halloween List 3D

Magic and Sorcery List

Journey Map

Versus Character

Akihabara Connectors Infographic Mobile

Mobile mockup infographic

Explore all templates

Transcript

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"