UNIDAD VII

CALCULO PROPOSICIONAL

UNA RAMA DE LA LOGICA SIMBOLICA QUE SE ENCARGA DE SUSTITUIR EL LENGUAJE NATURAL POR SIMBOLOS, SIGNOS Y LETRAS, PARA ANALIZAR LA VALIDES DE ARGUMENTOS Y PROPOSICIONES, CONSTA DE TRES ELEMENTOS:
1.- PROPOSICIONES
2.- CONECTIVAS LOGICAS
3.- SIGNOS DE AGRUPACION

ATOMICAS O SIMPLES: SON AQUELLAS QUE CARESEN DE CONECTIVAS LOGICAS Y GENERALMENTE ESTAN COMPUESTAS DE SUJETO Y PREDICADO.

MOLECULARES O COMPUESTAS: SON AQUELLAS QUE TIENEN CONECTIVAS LOGICAS Y GENERALMENTE AGRUPAN MAS DE UNA IDEA.

MONADICAS: SON AQUELLAS QUE SON NEGATIVAS.

BINARIOS: PUEDEN SER AFIRMATIVAS Y NEGATIVAS.

CONECTIVAS LOGICAS: SON PROPOSICIONES O NEXOS QUE RELACIONAN IDEAS ENTRE SI.

SIGNOS DE AGRUPACION: NOS AYUDAN A DISTINGUIR UNA IDEA DE OTRA.


TABLAS DE VERDAD.

SON UN SISTEMA DE ANALISIS DE LAS CONECTIVAS LOGICAS QUE NOS VAN A PERMITIR SABER LA VERDAD O FALSEDAD DE UNA PROPOSICION O ARGUMENTO.

NOMBRE LENGUAJE NATURAL SIMBOLOGIA

CONJUNCION Y ^

DISYUNCION O v

CONDICIONAL ENTONCES →

BICONDICIONAL SI Y SOLO SI ↔

SE LLAMA TOUTOLOGIA SI TODOS LOS RESULTADOS SON VERDADEROS.

SE LLAMA CONTRADICTORIA SI TODOS LOS RESULTADOS SON FALSOS.

SE LLAMA CONTINGENTE SI LOS RESULTADOS SON VERDADEROS Y FALSOS.

RAGLAS SINTACTICAS: SON UN ANALISIS DE COMPORTAMIENTO DE LAS TABLAS DE VERDAD.