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, é:

A negação da proposição “Carlinhos dança samba ou tango” é:

Assinale a alternativa que apresenta uma proposição lógica.

A negação da proposição lógica: “Neste jardim as flores são cor-de-rosa” é: