Predicate (mathematical logic) (source code)

= Predicate (mathematical logic)
{wiki=Predicate_(mathematical_logic)}