2021-08-312021-08-31http://hdl.handle.net/11396/6818Toda relación de orden está contenida en algún orden lineal sobre el mismoconjunto. Dos pruebas de este hecho conducen a tópicos fundamentales de lalógica clásica.application/pdfDerechos de autor 2016 SophiaRelación de ordenorden linealcálculo proposicional clásicoteorema de compacidadaxioma de elección.info:eu-repo/semantics/article