Disciplinas:
Julgue o item seguinte, relativos 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.
