What kind of compound statements is involved in mathematical logic?