Академический Документы
Профессиональный Документы
Культура Документы
PROPSITO DE LA CLASE
Identifica las caractersticas de cada regla de
inferencia a travs de ejemplos no
formalizados y formalizados.
DEDUCCIN NATURAL
La
deduccin
natural
permite
representar
ciertos
razonamientos
tpicos que desarrollan los
seres humanos, para poder
luego
convertirlas
en
constantes lgicas.
Del
anlisis
de
la
deduccin natural, surgen
las llamadas reglas de
inferencia.
Reglas de inferencia
Una regla de inferencia se trata de una
implicacin notable, en donde las premisas
implican a la conclusin.
Se dice que una implicacin es notable
cuando se obtiene una tautologa, de modo
que la frmula es:
AB T
P1 : p (q q )
p