discussion:en:predicate_logic