Please enable JavaScript.

Coggle requires JavaScript to display documents.

Regla de indiferecia, Fernando Quiroga. CI:28068474 - Coggle Diagram

- - - - Pero la acción de la regla de inferencia es puramente sintáctica, y no es necesario preservar ninguna propiedad semántica:
        
        Cualquier función de conjuntos de fórmulas para fórmulas cuenta como una regla de inferencia
        
        Por lo general, solo son importantes las reglas que sean recursivas; es decir, reglas de modo que no haya un procedimiento efectivo para determinar si cualquier fórmula dada es la conclusión de un determinado conjunto de fórmulas de acuerdo a la regla.
    - - Para que el requisito de preservación de la validez tenga sentido
        
        Es necesaria una cierta forma semántica para las aserciones de las reglas de inferencia y las reglas de inferencia en sí mismas.
- - - - Analiza su sintaxis
      - Premisas
      - Devuelve una conclusión
    - - Memorizar, entender y ser capaz darse cuenta cuando dichas estructuras están presentes en la vida diaria
    - - Si las premisas son verdaderas entonces la conclusión también lo será.