What kind of compound statements are involved in mathematical logic?