5 - 四种命题