Bem, não creio que seja a melhor resposta mas essa fómula resolve deve resolver a questão:

P = "A é elemento de A"
¬P = "A não é elemento de A"
(P v ¬P) --> (VERDADE)

Nesse caso só pode ser usado o V e o F. Tenho outras respostas mas, as vezes, vou com muita sede ao pote por isso não vou colocar nada ainda. Vejam se vcs conseguem derrubar essa resposta, ok?

O símbolo entre (P v ¬P) e (VERDADE) é o conectivo "se, então"

Abraço,
Thiago Leite.