SoloCodigo

Buenas Luis Abraham

Ing. En Informática  Juan Carlos R.

Taulogías


   Una proporción molecular es una tautología si es cierta, cualesquiera que sean los valores de certeza de las proporciones atómicas que la componen. En una tautología se pueden sustituir sus proporciones atómicas por otras proporciones atómicas cualesquiera, ciertas o falsas, y la proposición es también cierta. Por ejemplo, para cualquier proposición atómica P

P V ┐P

Es una tautología. Si P es cierta, entonces P V ┐P es cierta. Además, si es falsa, entonces P V ┐P es también cierta. Representado en una tabla de certeza lo que digo puede ser:

     P  P  P V P

     C  F       C
     F  C       C

   Así como un diagrama de certeza, presentar los valores de certeza de una fórmula para una sola combinación de asignaciones de certeza para sus proporciones atómicas, la tabla de certeza muestra los valores de certeza de la fórmula para todas las combinaciones posibles de asignaciones de certeza. Incluso con una tabla certeza se puede hacer simultáneamente para varias fórmulas diferentes.
   Para construir una tabla de certeza que dé todas las combinaciones posibles de asignaciones de certeza a n letras atómicas distintas, son necesarias 2n líneas. Para cada letra atómica distintas se necesita una columna, y también se necesita una columna por cada término de enlace que se presenta.
   Una tautología es una proporción molecular cuya columna en una tabla de certeza no posee ninguna F.
   Hay dos maneras de utilizar una tabla de certeza para determinar si un razonamiento es válido. El primero consiste en construir una tabla de certeza con una columna para cada premisa y la conclusión y analizar línea por línea para ver si la conclusión es cierta para cada línea en la que todas las premisas son ciertas. El otro método consiste en construir la condicional correspondiente y después utilizar una tabla de certeza para determinar si la condicional es una tautología (IMPLICACIÓN TAUTOLÓGICA).
   Hay dos maneras de utilizar una tabla de certeza para determinar si dos proposiciones son lógicamente equivalentes. La primera consiste en construir una tabla de certeza con una columna para cada una de las proposiciones y después examinar la tabla línea por línea para ver si tienen siempre los mismos valores de certeza en cada línea. El otro método consiste en construir la correspondiente bicondicional y después utilizar la tabla de certeza para determinar si la bicondicional es una tautología (EQUIVALENCIA TAUTOLÓGICA).
   En lo que son IMPLICACIÓN TAUTOLÓGICA y EQUIVALENCIA TAUTOLÓGICA de lo que acabo de señalar explica claramente la fórmula tautológica en forma algorítmica.

   Conciencia del Programa

   El programa debe reconocer premisas y a su vez designar o saber de preposiciones moleculares que serán tautología sí y solo sí son ciertas.
   
   Estructura Programativa

  Programa LEETautología1.2
     /* contemplar tautología*/
     ir procedimiento menú();

/* opcional la lectura de datos se debe efectuar dependiendo de las exigencias del usuario y de lo que se te esté pidiendo en el programa. Como no me lo especificastes y nisiquiera me distes el programa asumiré que son tres datos y uno comparativo*/
     

en el procedimiento menú;
  op=’’;
  escribir ‘opciones de lectura’
  escribir ‘1 proporciones negativas’
  escribir ‘2 proporciones normales’
  escribir ‘3 proporciones condicionales’
  escribir ‘4 proporciones bicondicionales’
  leer op
     caso de op
    caso 1: leer dato1 y dato2 y negar en proporción (nopremisa)
    caso 2: leer dato1 y dato2 en proporción natural
    caso 3: leer dato1 y dato2 condicional
    caso 2: leer dato1 y dato2 en proporción natural
  /* dato1 (1) No dato2 donde (1) debe representar el Λ lógico y el (2) el V lógico*//* es opcional a tu decisión */
a parte de eso tendras que contemplar qué notaciones tendrán los biucondicionales y los condicionales

hasta luego