Dadas duas variáveis reais x e y tais que y = x² + 3x + 1, considere a proposição seguinte.

[y = 5]       (I)       [(x = 1)       (II)       (x = −4)]

Os espaços representados por (I) e (II) serão completados com conectivos lógicos. Para que a afirmação seja necessariamente verdadeira, estes conectivos poderão ser