Raciocínio Lógico — poder constituinte

Considere a seguinte afirmação a respeito de dois jovens X e Y; Se X vai à festa, então Y não vai. Esta afirmação é equivalente a: