siguiente anterior arriba atrasadelante (solo si previamente se ha ido atras)

3.6. Inferencias deductivas

La noción de implicación lógica permite expresar de manera formal la definición de «razonamiento deductivo» que dimos en el Apartado 2.4.1. Decíamos allí que se trata de un razonamiento en el que si las premisas son verdaderas podemos asegurar que la conclusión también lo es. Al fijarnos en la forma y no en el contenido, al razonamiento le llamamos «inferencia» (Apartado 2.4.1). Una inferencia deductiva está formada por un conjunto de sentencias, las premisas, a las que llamaremos P1,P2,...Pn, y una conclusión, C, tales que las premisas implican lógicamente la conclusión:

<{P1,P2,...Pn},C||=(P1  /\ P2  /\ ...  /\ Pn ==> C)>


  3.6.1 Reglas de inferencia
  3.6.2 Demostraciones

siguiente
anterior arriba atrasadelante (sólo si previamente se ha ido atras)

algunos derechos reservados DIT-ETSIT-UPM
Portada