Considere as afirmações e seus respectivos valores lógicos.
I. Se Paulo é a favor do projeto, então Roberto não é. VERDADEIRA.
II. Se Sócrates é a favor do projeto, então Tadeu é. VERDADEIRA.
III. Paulo não é a favor do projeto e Uriel é. FALSA.
IV. Virgílio é a favor do projeto e Tadeu é. FALSA.
V. Sócrates é a favor do projeto e Roberto é. VERDADEIRA.
A partir dessas informações é verdadeira a proposição:
Se Virgílio não é a favor do projeto, então Paulo é.
Se Uriel é a favor do projeto, então Virgílio é.
Tadeu é a favor do projeto e Paulo é.
Se Roberto é a favor do projeto, então Uriel é.
Se Uriel não é a favor do projeto, então Tadeu não é.