( x 'or' y = FALSE or x 'or' y = TRUE ) by XBOOLEAN:def 3;
hence x 'or' y is Element of BOOLEAN ; :: thesis: verum