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)>
DIT-ETSIT-UPM