predikaten-calculus predicate calculus

Predikatenlogica, gebruikt in het relationele model.