4.6 Inferencias deductivas

4.6. Inferencias deductivas

En el Apartado 3.6 habíamos definido la inferencia deductiva: un conjunto de premisas P₁,P₂,...P_n, y una conclusión, C, tales que las premisas lógicamente la conclusión:

<{P₁,P₂,...P_n},C|(P1 $/\$ P2 $/\$ ... $/\$ Pn C)>

Y habíamos visto cómo haciendo uso de un conjunto de inferencias básicas, las reglas de inferencia, se podían demostrar conclusiones que se infieren a partir de unas premisas. Para la lógica de predicados hay que añadir algunas reglas de inferencia.

  4.6.1 Reglas de inferencia
  4.6.2 Una regla de inferencia muy singular
  4.6.3 Demostraciones

DIT-ETSIT-UPM

Portada