LOGICA MATEMATICA

LOGICA MATEMATICA

1. PREPOSICIONES expreciones de lenguaje con valor de verdad, se puede calificar

   • EJEMPLO 1 Bogota es la capital de colombia WT: verdadera
     • PREPOSICION SIMPLE SE FORMA SIN UTILIZAR TERMINOS DE ENLACE PUEDE SER FALSO O VERDADERO
       • EJM: P EL OSO ES MAMIFERO P EL OSO ES MOLUSCO P>9 EL OSO ES MAMIFERO Y MOLUSCO
         • P. LOS INSECTOS SON ANTROPODOS 9. LOS PAJAROS SON AVES PU9 LOS INSECTOS SON ANTROPODOS O LOS PAJAROS SON AVES
           • P. LA MOSCA ES UN INSECTO 9.LA MOSCA NADA EN AGUA P-9 SI LA MOSCA, ES UN INSECTO ENTONCES, NADA EN AGUA
             • P. SAN ANDRES ES UNA ISLA 9.SAN ANDRES ESTA RODEADA DE AGUA P-9 SAN ANDRES ES UNA ISLA, SI Y SOLO SI ESTA RODEADA DE AGUA
               • P:TODO NUMERO ENTERO ES RACIONAL -P: ALGUN NUMERO ENTERO NO ES RACIONAL
   • EJEMPLO 2 LA LUNA ES UNA PLANETA V/E FALSO
   • EJEMPLO 3 PREPOSICION ES LA CAPITAL DEL CAUCA. ALGUNOS CARROS SON AZULES
   • PREPOSICIONES CON CUANTIFICADA Y UN CUANTIFICADOR DETERMINA LA CANTIDAD EN UNA PREPOSICION
     • CUANTO UNIVERSAL PARA TODO SIMBOLO
     • CUANTO EXISTENCIAL EXISTE ALGUN SIMBOLO
     • PARA NEGAR UNA PREPOSICION CUANTIFICADO SE CAMBIA EL CUANTIFICADOR Y SE NIEGA EL PRODUCTO
   • PREPOSICIONES CATEGORICAS SON DE UN TIPO ESPECIAL UNIVERSAL O PARTICULARES
     • UNIVERSAL AFIRMATIVA CUANDO LA PRIMERA CLASE ESTA CONTENIDA EN LA SEGUNDA
       • SIMBOLOGICAMENTE TODO S ES P DONDE S ES EL SUJETO Y P EL PREDICADO
     • UNIVERSAL NEGATIVA CUANDO LA PRIMERA CLASE EXCLUYE A LA SEGUNDA TOTALMENTE
       • SIMBOLOGICAMENTE NINGUN S ES P DONDE S ES EL SUJETO Y P EL PREDICADO
     • AFIRMATIVA PARTICULAR CUANDO LA PROPOSICION AFIRMATIVA SE CUMPLE EN RELACION INCLUSION ENTRE CLASES
       • SIMBOLO: ALGUN S NO ES P OSEA POR LO MENOS UN MIEMBRO DE CLASE S. ES EXCLUSIVO DESDE P
     • NEGATIVA PARTICULAR EJEMPLO ALGUNOS NUMEROS REALES SON POSITIVOS
       • SIMBOLO: ALGUN S ES P SIGNIFICA QUE POR LO MENOS ES MIEMBRO DE P. S SUJETO ES MIEMBRO DE P PREDICADO
     • CUALIDAD Y CANTIDAD DE LAS PREPOSICIONES CATEGORICAS
       • CUALIDAD AFIRMATIVA O NEGATIVA SEGUN EL SUJETO, COMPLETA O PARTICULARMENTE, INCLUSION DE LA CLASE
       • CANTIDAD UNIVERSAL PARTICULAR SEGUN SE REFIERE A TODOS LOS MIEMBROS O SOLAMENTE ALGUNOS S
         • CLAVE ALGUNOS-UNA PARTICULAR TODOS-NINGUNO UNIVERSAL
       • PREPOSICIONES CONTEDUCTORIAS CUANDO UNA DE ELLAS ES LA NEGACION DE LAS OTRAS OSEA NO PUEDE SER LA SEGUNDA A LA VEZ VERDADERA Y FALSA
         • PREPOSICIONES CONTRARIAS Y SUBCONTRARIAS
           • CONTRARIAS: CUANDO AMBAS NO PUEDEN SER FALSAS
             • EJEMPLO: P ES MAYOR QUE ANGEL 9 ANGEL ES MAYOR QUE PAOLA
           • SUBCONTRARIAS: SI NO PUEDEN SER AMBAS FALSAS PERO SI PUEDEN SER VERDADERAS
             • P: ALGUNOS ENTEROS SON POSITIVOS 9: ALGUNOS ENTEROS SON NEGATIVOS AMBOS SON VERDADEROS
           • PREPOSICIONES CONTINGENTES
             • CUANDO NO ES NECESARIAMENTE VERDADERO O NECESARIAMENTE FALSA UNA PREPOSICION
               • EJEMPLO: P TODOS LOS MATEMATICOS SON FILOSOFOS
         • EJEMPLO P: TODOS LOS JUEVES SON ABOGADOS ALGUNOS JUEVES NO SON ABOGADOS
   • PREPOSICION COMPUESTA ESTAN CONSTITUIDOS POR ZONAS PREPOSICIONES SIMPLES, UNIDOS POR CONECTOR SIMPLE
     • CONEGTIVOS LOGICOS SON TERMINOS DE ENLACE ENTRE DOS O MAS PREPOSICIONES SIMPLES Y SE REPRESENTAN MEDIANTE SIMBOLOS
       • CONJUCION CONECTIVO LOGICO Y SIMBOLO
         • DISYUNCION CONECTIVO LOGICO O SIMBOLO V
           • IMPLICACION O CONDICIONAL CONECTOR. SI ENTONCES SIMBOLO
             • DOBLE APLICACION CONDICIONAL O EQUIVALENCIA
               • NEGACION, CAMBIA EL VALOR DE VERDAD, CONECTIVO NO SIMBOLO
                 • NEGACION, CAMBIA EL VALOR DE VERDAD, CONECTIVO