propositional calculus 0 cálculo proposicional Representación del conocimiento basado en la lógica de proposiciones. Es un sistema elemental de la lógica formal que se utiliza para determinar la veracidad de una proposición. 2001-03-26 predicate calculuscálculo de predicados tautologytautología truth tabletabla de verdad, tabla lógica
