Atopeis algúns manuais (en castelan) nos que indican como sinónmas as expresións "predicado", "aserto" e "aserción". http://www.recursos-as400.com/como152.shtml http://web.jet.es/jqc/progii6.html http://html.rincondelvago.com/programacion-metodica.html
Despois de pensar en expresións que un usuario básico entenda ocorrenseme como posibles termos: Condición Valor a cumplir Determinar con/por Proposta