home *** CD-ROM | disk | FTP | other *** search
/ Enciclopedia de la Ciencia 2.0 / ZETACIE2.bin / MungeTxt / CONC3G.TXT < prev    next >
Text File  |  1998-10-07  |  436b  |  1 lines
  1. TEXT2>VText1Articleö Text1Heading<P>Afirmación deducida utilizando reglas formales de inferencia a partir de otras afirmaciones. Por ejemplo, en geometría euclídea, si la línea A es paralela a la línea B y la línea B es paralela a la C, podemos llegar a la conclusión que la línea A es paralela a la línea C.</P><TITLE>Conclusión</TITLE>