Em Lógica, existem três princípios formais primordiais: Princípio da Identidade, Princípio da Não Contradição e Princípio do Terceiro Excluído. Quanto às estruturas que se seguem, assinale a alternativa referente ao PRINCÍPIO DA NÃO CONTRADIÇÃO.

Usando os diagramas de Charles Lutwidge Dodgson, mais conhecido como Lewis Carroll, autor de As Aventuras de Alice no País das Maravilhas, analise o silogismo a seguir.

I. Nenhum mamífero é quadrúpede.
II. Todas as baleias são mamíferos.

III. Nenhuma baleia é mamífero.




Represente as proposições deste silogismo, usando os diagramas de Lewis Carroll, e assinale a alternativa INCORRETA.

Na lógica proposicional clássica, só poderão ser consideradas verdadeiras proposições para as quais podemos atribuir um valor de verdade, isto é, podemos dizer que são verdadeiras ou falsas. Dessa forma, das frases a seguir, quantas podem ser consideradas como proposições lógicas?

I. Que Ferrari maravilhosa!
II.   A água, em condições de atmosfera padrão, entra em ebulição a 100 graus Celsius.

III.  Quantas horas são?

IV. O livro está sobre a mesa.
V.  Feche a porta.


Assinale a alternativa CORRETA.

A lógica dedutiva formal está interessada nas relações estruturais que articulam antecedentes e consequentes. Nessa lógica, pode-se dizer que a DEDUÇÃO se caracteriza por:

I.   Ter um consequente que é inferência necessária do antecedente.
II.  Ser um argumento organizado por enumeração.

III. Ter um consequente cujo conteúdo não excede, não é mais informativo, que o do antecedente.
IV. Ser um argumento que parte sempre do particular para o geral.

V. Ter um consequente que não leva a um conhecimento novo, mas organiza o conhecimento já adquirido.


Assinale a alternativa CORRETA.

Considere a seguinte sequência numérica (4, 9, 19, 39, …). Assinale a alternativa que corresponde ao sexto termo desta sequência.

Considere as proposições P e Q. Assinale a alternativa que indica corretamente a negação da implicação "P → Q" (P implica Q).

Considere a seguinte sequência numérica (4, 9, 19, 39, …). Assinale a alternativa que corresponde ao sexto termo desta sequência.

Considere as proposições P e Q. Assinale a alternativa que indica corretamente a negação da implicação "P → Q" (P implica Q).

Sejam p e q proposições simples quaisquer, V, verdadeira, e F, falsa. Para a tabela-verdade abaixo estar correta, os valores de A, B e C são, respectivamente:

Considerando que A e B sejam conjuntos quaisquer, analise as assertivas abaixo,assinalando V, se verdadeiras, ou F, se falsas.


( ) A ∈ (A ∪ B).
( ) A ∪ (A ∩ B) = B.
( ) (A – B) ⊂ A.
( ) (A – B) ∪ (A ∩ B) = A.


A ordem correta de preenchimento dos parênteses, de cima para baixo, é: