Reglas de inferencia wikipedia , lookup
Sistema formal wikipedia , lookup
Lógica proposicional wikipedia , lookup
Lógica modal wikipedia , lookup
Gramática formal wikipedia , lookup
