Buscar
Mostrando ítems 1-1 de 1
Artículo
Sobre la lógica de las descripciones
(Universidad de Sevilla, 1993)
En un manual de lógica formal de no escasa difusión en nuestro país se propone al lector como ejercicio la prueba de la independencia semántica de la sentencia a 5 respecto del conjunto de sentencias { a1, a2 , •• • ,a4}, ...