Determinada empresa decidiu conceder três bônus mensais consecutivos a um funcionário como forma de incentivo ao desempenho. Os valores desses bônus formam uma progressão aritmética de números positivos. Sabe-se que a soma dos três bônus é igual a R$ 9.000,00. Nesse sentido, é correto afirmar que o valor do segundo bônus é:

Em determinada escola foi realizada uma pesquisa sobre a participação dos alunos em duas oficinas culturais: 
• Oficina de teatro (conjunto A); e • Oficina de música (conjunto B).
Sabe-se que:
• 25 alunos participam da oficina de teatro; • 15 alunos participam das duas oficinas (teatro e música); e • 40 alunos participam de pelo menos uma das oficinas.
Quantos alunos participam da oficina de música?

Um edital apresentou a afirmação: "Se o relatório foi validado, então os dados foram auditados". Em seguida, informou-se que os dados não foram auditados. A equipe jurídica precisou concluir, com base apenas nessa estrutura argumentativa, o que necessariamente decorre dessas premissas. Analise as assertivas e classifique como verdadeira (V) ou falsa (F):

(   ) A conclusão "o relatório não foi validado" decorre validamente das premissas.
(   ) A forma de raciocínio usada é o modus tollens.
(   ) A conclusão "o relatório foi validado" também decorre validamente das premissas.
(   ) A forma "Se p, então q; não q; logo, não p" é válida. 

A sequência CORRETA, de cima para baixo, é:

Em um regulamento acadêmico, foram definidas as proposições simples p: "o estudante entregou o artigo" e q: "o estudante apresentou o seminário". A banca precisou reescrever a frase "o estudante não entregou o artigo e apresentou o seminário" usando linguagem simbólica correta. Analise as assertivas e identifique quais estão corretas.

I.A forma simbólica da frase é ¬p ^ q.
II.A negação de p é "o estudante não entregou o artigo".
III.A frase também pode ser representada por p v q.
IV.O conectivo principal da frase dada é a conjunção.

Está CORRETO o que se afirma em:

A avaliação de expressões lógicas em linguagens de programação utiliza operadores que permitem combinar proposições para a tomada de decisões no código. No contexto da álgebra booleana aplicada ao desenvolvimento de software, assinale a alternativa correta.

Em um setor administrativo, 40 servidores participaram de um levantamento. Verificou-se que 22 dominam planilhas, 18 dominam apresentações e 7 dominam ambas as habilidades. Com base nessas informações, quatro afirmações foram elaboradas sobre o diagrama lógico dessa situação. Quais afirmações estão corretas?

I.O número de servidores que dominam apenas planilhas é 15.
II.O número de servidores que dominam apenas apresentações é 11.
III.O total de servidores que dominam pelo menos uma das duas habilidades é 33.
IV.O número de servidores que não dominam nenhuma das duas habilidades é 7.

Está CORRETO o que se afirma em:

Em um parecer técnico, foi registrada a seguinte estrutura argumentativa: "Se o relatório contém inconsistência, então a auditoria será refeita. A auditoria não será refeita. Logo, o relatório não contém inconsistência." Analise as assertivas e classifique como verdadeira (V) ou falsa (F):

(   ) A forma lógica usada no argumento é válida.
(   ) O raciocínio empregado corresponde ao modus ponens.
(   ) Se, mantidas as mesmas premissas e a conclusão fosse "o relatório contém inconsistência", a inferência deixaria de ser válida.
(   ) A negação da proposição "a auditoria será refeita" é "a auditoria não será refeita".

A sequência CORRETA, de cima para baixo, é:

Considere o argumento:
"Todo município que amplia a permanência dos estudantes na escola investe em políticas educacionais. O município Alfa ampliou a permanência dos estudantes na escola."
Com base apenas nessas premissas, conclui-se logicamente que

Considere a seguinte afirmação feita por um auditor durante uma fiscalização municipal: “O relatório de gestão fiscal foi aprovado ou o balanço orçamentário não apresentou inconsistências”.
Uma afirmação que é logicamente equivalente à negação da declaração do auditor é:

Um analista administrativo precisa validar os critérios de um relatório financeiro. Ele estabelece as seguintes condições lógicas elementares:
Proposição p: “O orçamento foi aprovado.” Proposição q: “O projeto gerou lucro.”
Em uma análise técnica da tabela-verdade associada a essas condições, o analista constrói a proposição composta determinada por (p ∧ ¬q) ➞ p.
Assinale a alternativa que indica corretamente o número de linhas da tabela-verdade dessa proposição composta que apresentam valor lógico final verdadeiro.