Functions with More than One Parameter

The function f above has one parameter. Now consider the following function:
implies:bool # bool  -> bool;
implies(a,b) <= not(a) or b;
implies has two parameters both boolean and it returns a boolean.

Sebastian Danicic BSc MSc PhD (Reader in Computer Science)
Dept of Computing, Goldsmiths, University of London, London SE14 6NW
Last updated 2010-12-29