Logica de predicados

[carlosbayona]

Como traduzco a logica de predicados las siguientes oraciones.?
1. Para los datos de entrada solo se admiten 2 valores 1 para obrero, 2 para empleados.
2. Para la cantidad de horas trabajadas se deben introducir valores de tipo entero.
3. Para el sueldo pagado por hora el resultado pertenece al conjunto de los números reales.