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.



Subsections

s.danicic@gold.ac.uk
Sebastian Danicic BSc MSc PhD (Reader in Computer Science)
Dept of Computing, Goldsmiths, University of London, London SE14 6NW
Last updated 2010-12-29