home *** CD-ROM | disk | FTP | other *** search
/ Enciclopedia de la Ciencia 2.0 / ZETACIE2.bin / MungeTxt / CONS5G.TXT < prev    next >
Text File  |  1998-10-07  |  310b  |  1 lines
  1. TEXT2>▌Text1ArticleText1Heading<P>Un sistema lógico es consistente si ninguna de las proposiciones que se pueden derivar de los axiomas en los que se basa, usando las reglas formales de inferencia del sistema, se contradicen entre sí.</P><TITLE>Consistencia</TITLE>