Un problema con el primer programa es que no utilizas la función "comprueba". En ella utilizas el condicional:
Ya que los operadores relacionales resultan en uno si se cumple la condición y cero en caso contrario esa parte la puedes reducir a (tenias mal el orden de las variables):
El programa con todos los cambios necesarios:
Un saludo
			Código (c) [Seleccionar] 
if (y > x)
   return T; /* T == 1 */
else
   return F; /* F == 0 */Ya que los operadores relacionales resultan en uno si se cumple la condición y cero en caso contrario esa parte la puedes reducir a (tenias mal el orden de las variables):
Código (c) [Seleccionar] 
return x > y;El programa con todos los cambios necesarios:
Código (c) [Seleccionar] 
#include <stdio.h>
#include <stdlib.h>
int mayor(int x, int y);
int main(void)
{
   int a;
   int b;
   int c;
   
   puts("Introduce tres valores:");
   if (scanf("%d %d %d", &a,&b,&c) != 3)
      return EXIT_FAILURE;
 
   if (!mayor(a, b) && !mayor(b, c))
      puts("Ordenados de menor a mayor");
   else
      puts("No estan ordenados de menor a mayor");
 
   return EXIT_SUCCESS;
}
int mayor(int x, int y)
{
   return x > y;
}Un saludo