Sejam as definições de categorias Ax: x é aluno, Bx: x é bom em Lógica, Sx: x tem sucesso no concurso. Uma simbolização para “Todo aluno que é bom em Lógica, tem sucesso no concurso.” é