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.

Paradoxo de Russel

Dei uma olhada agora e tem um erro, peço desculpas. Mas esse erro foi pq eu procurei simplificar demais. Mas vou deixar aqui uma idéia do que seja até eu conseguir formalizar direito isso.

Se uma proposição P tem dois elementos 'verdadeiro' e 'falso' então ele é um conjunto. O conjunto das partes seria 2 elevado ao número de elementos. Como nós temos dois elementos então a proposição teria 4 partes: {V},{F},{VF},{VAZIO}.