Provar isso

[Beatz]

Bom estou com sérios problemas para conseguir provar estes exercícios

1) “O conjunto vazio´ e´ unico”

2) ??,?A, A??,??A

3) ?A,?B,?C,(A?B)?(B?C)?A?C.

O problema não e simplesmente provar , meu professor exige que se monte as premissas e que se demonstre os dois lados da equivalencia.

[Beatz]

Se alguem tiver sugestão de algum material ficarei grato.