Regla de inferencia derivada

De Enciclopedia Symploké, la enciclopedia libre.
Saltar a: navegación, buscar

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.