Nuprl Definition : same-parity

same-parity(n;m) ==  if isEven(n) then isEven(m) else isOdd(m) fi 


Definitions occuring in Statement :  isEven: isEven(n),  isOdd: isOdd(n),  ifthenelse: if b then t else f fi 
Definitions occuring in definition :  ifthenelse: if b then t else f fi ,  isEven: isEven(n),  isOdd: isOdd(n)
FDL editor aliases :  same-parity
Latex:
same-parity(n;m)  ==    if  isEven(n)  then  isEven(m)  else  isOdd(m)  fi 


Date html generated: 2016_05_14-PM-04_24_08
Last ObjectModification: 2015_09_22-PM-06_02_45

Theory : num_thy_1


Home Index