→ consistencia de los sistemas LD5 a LD10
Keywords:
paradoja de Russell, →consistentes, contracción, simplificación, Modus Ponens (es)Russell paradox, →consistent, contraction, simplification, modus ponens (en)
Downloads
Los sistemas proposicionales LD5, ..., LD10 soportan una forma general de la paradoja de Russell y son →consistentes.
The propositional systems LD5, ..., LD10 support a general form of Russell paradox and are→consistent.
How to Cite
APA
ACM
ACS
ABNT
Chicago
Harvard
IEEE
MLA
Turabian
Vancouver
Download Citation
Article abstract page views
Downloads
License
Copyright (c) 1998 Boletín de Matemáticas
![Creative Commons License](http://i.creativecommons.org/l/by/4.0/88x31.png)
This work is licensed under a Creative Commons Attribution 4.0 International License.