Modus Ponens e Modus Tollenssão dois principais tipos de inferência lógica válida dentro da lógica proposicional. Ambos se baseiam em preposições condicionais. O Modus Ponens afirma o antecedente, enquanto o Modus Tollens nega o consequente. Com base nesse conhecimento, considere os seguintes argumentos:

I- Se o candidato fizer a prova, então ele assumirá o cargo público.

O candidato fez a prova.

Logo, ele assumirá o cargo público.

II- Se a CPCON aplicar a prova, então todos os candidatos receberão o cartão de confirmação.

Um candidato não recebeu o cartão de confirmação.

Logo, a CPCON não aplicará a prova.

Com base na lógica proposicional, assinale a alternativa CORRETA.

As Leis de Morgan permitem transformar negações de conjunções e disjunções. Com base nesse conhecimento e nas seguintes proposições simples:

· p: João é pontual.

· q: Maria é responsável.

· r: Anna não falta às reuniões.

Considere a proposição composta:

Qual das alternativas apresenta uma proposição logicamente equivalente à expressão acima?

A sequência

1, 1, 2, 3, 5, 8, 13, ...

é chamada de sequência de Fibonacci. Essa sequência tem a particularidade de que cada termo, a partir do terceiro é a soma dos dois anteriores.

Com base nos primeiros sete termos da sequência, é CORRETO afirmar:

Um conjunto de candidatos participará de um concurso público cujas provas serão realizadas em três dias distintos:

· sexta-feira: prova para o ensino básico;

· sábado: prova para o ensino médio;

· domingo: prova para o ensino superior.

Três candidatos, Pedro, Paulo e Maria, farão provas em diferentes combinações de dias. Sabe-se que:

· Pedro fará prova na sexta-feira e no domingo;

· Paulo fará apenas uma prova, no mesmo dia que Pedro não fará;

· Maria fará prova em todos os dias.

Com base nessas informações, o diagrama cuja parte sombreada indica CORRETAMENTE o conjunto ao qual Pedro, Paulo e Maria pertencem é:

Considere a fórmula proposicional composta abaixo por:

\([(p \rightarrow q) \land \sim r] \lor (s \leftrightarrow t) \)

Sobre a tabela verdade completa desta fórmula, qual das alternativas indica CORRETAMENTE 1/4 do número de linhas que ela possui?

Considere a matriz de ordem 3 X 3, composta por números inteiros:

\(\begin{pmatrix} -2 & 6 & 6 \\ 7 & x & 7 \\ 5 & 8 & -3 \end{pmatrix} \)

Sabendo que a lógica de construção da matriz é mantida nas linhas e colunas, determine o valor de x que satisfaz essa lógica.

Considere as seguintes proposições:

P: Todo candidato é bom em raciocínio lógico;

Q: Algum candidato é matemático.

Com base em P e Q, é CORRETO afirmar que:

Considere o argumento a seguir.

P1: Toda capivara é verde.
P2: Ártemis é uma capivara.
Conclusão: Ártemis é verde.

Segundo a lógica formal, é correto afirmar que este argumento é:

Considere a imagem a seguir, em que cada conjunto é representado por um círculo e designado por uma letra.

Em seguida, assinale (V) para afirmativa verdadeira e (F) para falsa.



( ) Todo B é D e todo C é D, mas nenhum B é C.
( ) Há pelo menos um A que também é D.
( ) Nem todo D é também B, C ou A.

As afirmativas são, respectivamente,

Analise os argumentos a seguir.

I. Se o responsável aprovou a ordem de pagamento, então a transferência é enviada. A transferência não foi enviada; logo, o responsável não aprovou a ordem.
II. Se o analista concluir o balanço, o Tribunal recebe o demonstrativo. Se ele finalizar o relatório, a secretaria libera recursos. Como ele fará pelo menos uma dessas tarefas, ocorrerá pelo menos um dos resultados.
III. Ou o agente entregou o plano ou ele revisou a matriz. Ele não entregou o plano; logo, conclui-se que ele não revisou a matriz.

Os argumentos válidos são: