Do enunciado: "Todo Professor do IFPA usa o Sistema Integrado de Gestão de Atividades Acadêmicas. Alguns Professores do IFPA usam o Sistema Integrado de Gestão de Patrimônio, Administração e Contratos. Portanto alguns Professores do IFPA usam o Sistema Integrado de Gestão de Atividades Acadêmicas e o Sistema Integrado de Gestão de Patrimônio, Administração e Contratos"
Adotando como:
paa: Professor do IFPA usa o Sistema Integrado de Gestão de Atividades Acadêmicas.
pp: Professor do IFPA usa o Sistema Integrado de Gestão de Patrimônio, Administração e Contratos.
¬paa: Professor do IFPA não usa o Sistema Integrado de Gestão de Atividades Acadêmicas.
¬pp: Professor do IFPA não usa o Sistema Integrado de Gestão de Patrimônio, Administração e Contratos.
Transcrevendo a proposição inteira para notação lógica: ( (∀p) (paa) ∧ (∃p) (pp) ) → ( (∃p) (paa) ∧ (∃p) (pp) )
A questão quer a negação da proposição composta acima:
¬ ( ( (∀p) (paa) ∧ (∃p) (pp) ) → ( (∃p) (paa) ∧ (∃p) (pp) ) ) ⇔
¬ ( ¬ ( (∀p) (paa) ∧ (∃p) (pp) ) ∨ ( (∃p) (paa) ∧ (∃p) (pp) ) ) ⇔
( (∀p) (paa) ∧ (∃p) (pp) ) ∧ ¬ ( (∃p) (paa) ∧ (∃p) (pp) ) ) ⇔
( (∀p) (paa) ∧ (∃p) (pp) ) ∧ ( ¬(∃p) (paa) ∨ ¬(∃p) (pp) ) ) ⇔
( (∀p) (paa) ∧ (∃p) (pp) ) ∧ ( (∀p) (¬paa) ∨ (∀p) (¬pp) ) )
Reescrevendo-a, temos o seguinte: Todo Professor do IFPA usa o Sistema Integrado de Gestão de Atividades Acadêmicas. Alguns Professores do IFPA usam o Sistema Integrado de Gestão de Patrimônio, Administração e Contratos. E mais, todo Professor do IFPA não usa o Sistema Integrado de Gestão de Atividades Acadêmicas ou todo Professor do IFPA não usa o Sistema Integrado de Gestão de Patrimônio, Administração e Contratos.
ALTERNATIVA B
Observação importante sobre a alternativa B: Apesar de não estar toda certa, pois a negação de "alguns Professores do IFPA usam o Sistema Integrado de Gestão de Atividades Acadêmicas" é igual a "Todos Professores do IFPA não usam o Sistema Integrado de Gestão de Atividades Acadêmicas" e não ao que foi exposto na mesma, é a alternativa menos errada (mais próxima do que deveria ser). Idem à última proposição simples.
Essa questão se estiver certa é extremamente complexa. Levando em consideração que a resposta correta seja a letra B, segue:
A questão pede: O Argumento equivalente da negação da Afirmação acima é:
Negação das Proposições Categóricas
Negação do todo = PEA + não - Todo é representado pelo operador lógico se..., então
Negação do algum = NETO + não - Algum é representado pelo operador lógico e
Negação do nenhum = PEA (sem a negação) - Nenhum é representado pelo operador lógico e
Negação do operador lógico e = ou (e vice-versa)
Negação da (conclusão da) AFIRMAÇÃO: pois as premissas foram apenas transcritas, ou seja, sem alterações.
Afirmação
"Portanto alguns Professores do IFPA usam o Sistema Integrado de Gestão de Atividades Acadêmicas e o Sistema Integrado de Gestão de Patrimônio, Administração e Contratos".
Negação
"E mais, todo não Professor do IFPA não usa o Sistema Integrado de Gestão de Atividades Acadêmicas ou NEM o Sistema Integrado de Gestão de Patrimônio, Administração e Contratos”.
obs.1: acredito que o uso do advérbio "não" antes do substantivo "professor" esteja incorreto, pois nega-se o verbo - "usar".
obs.2: "todo professor NÃO usa o Sistema... NEM o Sistema...", negam-se todas as afirmações.
obs.3: "portanto" = conclusão x "e mais" = adição.
Resposta: letra B
Obs.: Cheguei a essa conclusão levando em consideração a resposta dada como certa pela questão, mas tenho dúvidas. Não acho que seja certo apenas uma parte da questão ser negada, porém, não sei se existe essa possibilidade. Se alguém puder / souber esclarecer, agradeço.
Nunca tive retorno do Qconcursos quanto as minhas solicitações pedindo comentário do professor.