Reglas de la deducción natural de conectores tipo GENTZEN
En este trabajo se hará una exposición de un sistema de reglas de cálculo de deducción natural de conectores tipo GENTZEN. Son las ocho reglas básicas que fueron elegidas[…]
Artículos sobre filosofía del lenguaje, retórica y lógica
En este trabajo se hará una exposición de un sistema de reglas de cálculo de deducción natural de conectores tipo GENTZEN. Son las ocho reglas básicas que fueron elegidas[…]
Según el Diccionario de la Real Academia de la Lengua Española manipular significa (en su tercera acepción): “Intervenir con medios hábiles y, a veces, arteros, en la política, en el[…]