Robert Jones\’s Interactive Maths

I was trying to explain to my advanced higher class why F=>T and F=>F both come out true.  I came across this Web site, that explains it quite nicely in terms of a promise.