home *** CD-ROM | disk | FTP | other *** search
/ Enciclopedia de la Ciencia 2.0 / ZETACIE2.bin / MungeTxt / PROC1G.TXT < prev    next >
Text File  |  1998-10-07  |  396b  |  1 lines
  1. TEXT2>#Text1Articlea+Text1Heading<P>Lenguaje simbólico utilizado para analizar las relaciones lógicas entre afirmaciones completas o proposiciones, sin considerar la sintaxis interna (significado) ni la estructura de dichas afirmaciones. Se ocupa de las implicaciones, negaciones, conjunciones y similares.</P><TITLE>Cálculo proposicional</TITLE>