En logique des propositions, une contradiction ou antilogie est une formule qui est toujours fausse, quelle que soit la valeur des variables propositionnelles. On dit aussi que la formule est insatisfaisable, antilogique ou encore contradictoire.
L’antilogie, de symbole
⊥
{\displaystyle \bot }
, s’oppose à la tautologie
⊤
{\displaystyle \top }
qui est toujours vraie.
Synopsis Contradictions
Un travesti est alité dans une chambre aux couleurs bariolées. Un client trop lisse arrive, puis un jeu de cache-cache, de faux-semblants et de confusion des sentiments s'installe....