Tugurium/GTI

Glosario Terminología Informática

first-order predicate calculus

0 cálculo de predicados de primer orden
Cualquier sistema de la lógica matemática que extiende la lógica proposicional empleando variables, predicados y cuantificadores de variables. La lógica con predicados de primer orden, tiene la capacidad para definir prácticamente a todas las matemáticas.
2007-12-10