In the present master's thesis we study logical contextuality and inequality-free proofs of quantum contextuality and nonlocality. The former concept can be understood as the possibilistic version of contextuality, while the latter refers to proofs of quantum probabilistic non-classicalities that are not based on violation of any noncontextuality (or Bell) inequality. The present work aims to build a bridge between these two concepts through what we call possibilistic paradoxes, which are sets of possibilistic conditions whose occurrence implies contextuality. As our main result, we demonstrate the existence of possibilistic paradoxes whose occurrence is a necessary and sufficient condition for logical contextuality in a very important class of scenarios. We discuss some consequences arising from the completeness of such possibilistic paradoxes. Finally, we review some inequality-free proofs under the light of the developed formalism.

Na presente dissertação de mestrado estudamos contextualidade lógica e provas livres de desigualdades. O primeiro conceito pode ser entendido como uma versão possibilistica da noção de contextualidade, enquanto o segundo refere-se a provas de não-classicalidades probabilisticas em mecânica quântica que não envolvem a violação de alguma desigualdade de não-contextualidade (ou desigualdade de Bell). O presente trabalho conecta estes dois conceitos através do que chamamos de paradoxos possibilísticos, que são conjuntos de condições possibilísticas cuja ocorrência implica contextualidade. Como principal resultado, demonstramos a existência de paradoxos possibilísticos cuja ocorrência é uma condição necessária e suficiente para contextualidade lógica em uma classe importante de cenários. Discutimos algumas consequências advindas da completude de tais paradoxos. Por fim, revisamos algumas provas livres de desigualdades sob o ponto de vista do formalismo desenvolvido.