Regla de inferencia derivada
De Enciclopedia Symploké, la enciclopedia libre.
Regla de inferencia que se deduce de las reglas de inferencia primitivas. Es el caso, por ejemplo, del modus tollens, que se demuestra recurriendo a la regla de introducción de la negación (o regla de reducción al absurdo), la regla de eliminación del condicional (o modus ponens) y la regla de introducción de la conjunción.
Ver también regla de inferencia primitiva.