Unidad VII (Calculo Proposicional)

Es una rama de la lógica simbologica que se encarga de sustiruir el lenguaje natural por signos, simbolos y letras para comprovar la validez de argumntos y proposiciones, consta de tres elementos.

Proposiciones Atómicas:


Son aquellas que carecen de de colectivas lógicas y generalmente estan compuestas del sujeto y predicado. Ej.

Aristóteles era folisofo

Hoy es jueves.

Proposiciones Moleculares:


Son aquellas que tienen mas de una colectiva lógica y agrupan mas de una idea. Ej.

Aristóteles era filósofo y Platón era su maestro.

"y" en la oración es la "conectiva Lógica"

Proposiciones Moleculares Monadicas:

Son aquellas que son negativas. Ej.

Aristóteles no era filosofo y Platón no era su maestro.

Propocisiones Moleculares Binarias:

Son aquellas que son Negativas y Afirmativas. Ej.

Aristóteles era filosofo y Platón no era su maestro.

Conectivas Lógicas:

Son preposiciones o nexos que relacionan ideas entre sí.

Signos de Agrupación:

Son símbolos que nos ayudan a distinguir una idea de otra.