Julgue o item seguinte, relativo a lógica proposicional e a lógica de primeira ordem.

Situação hipotética: Os documentos A, B e C pertencem a João, Paulo e Artur, não necessariamente nessa ordem. Sabe-se que: se o documento A for arquivado, então o documento C será arquivado; o documento B não será arquivado; o documento pertencente a João será arquivado se, e somente se, o documento pertencente a Artur for arquivado; exatamente dois desses documentos não serão arquivados. Assertiva: Com base nessas informações, conclui-se que o documento C pertence a Paulo e será arquivado.