A figura abaixo representa uma árvore B em que as letras correspondem às chaves atualmente armazenadas em cada nó.



Considere que a cada nó está associado um identificador, um número no conjunto {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}. O identificador de cada nó foi definido, durante a varredura da árvore, para imprimir suas chaves em ordem lexicográfica crescente. Durante essa varredura, quando um nó era acessado pela primeira vez para imprimir uma de suas chaves, ele era associado ao seu identificador. Como resultado, o nó que contém a primeira chave impressa, durante a varredura, possui identificador igual a 1, e assim por diante, de tal forma que o nó que contém as últimas chaves impressas possui identificador igual a 10.
Após a varredura para essa impressão, houve uma busca na árvore pela letra R.

Considerando-se a numeração de nós definida por aquela varredura, qual a sequência de nós examinada na busca por R?

Considere as sentenças da lógica de primeira ordem a seguir.

I - ∃x ∃y A(x,y) Λ ¬ ∃x A(x,x)

II - ∀ x ∀y A (x,y) Λ ¬ ∀ x A (x,x)

III - ∀ x ∀ A ( x, y) → ¬ ∀ xA (x, x)

São insatisfatíveis APENAS as sentenças apresentadas em

Após a inserção de um nó, é necessário verificar cada um dos nós ancestrais desse nó inserido, relativamente à consistência com as regras estruturais de uma árvore AVL.

PORQUE

O fator de balanceamento de cada nó, em uma árvore AVL, deve pertencer ao conjunto formado por {-2, -1, 0, +1, +2}.

Analisando-se as afirmações acima, conclui-se que

Considere as proposições a seguir.

I - ¬ ( A Λ B ) ↔ ( A → ¬ B)

II - ¬ (A→ ¬ B) → ((A V ¬ B ) Λ (¬ A V B))

III - ((A→ B) → A) → A

IV - ((A V B) Λ (¬ A V C )) → (B V C )

São tautologias as proposições apresentadas em

Considere as cláusulas C1 e C2, representadas, respectivamente, pelos conjuntos { ¬ A(x),B(x)} e { A(g(y)),B(y)}.
Um resolvente dessas cláusulas é