Dadas as premissas p₁, p₂,..., p_n e uma conclusão q, uma regra de inferência a partir da qual q se deduz logicamente de p₁, p₂,..., p_n é denotada por p₁, p₂,..., p_n ⊦ q. Uma das regras de inferência clássica é chamada Modus Ponens, que, em latim, significa “modo de afirmar”.

Qual a notação que designa a regra de inferência Modus Ponens?

Seja a tabela verdade a seguir.

Quantas vezes, sem considerar os valores já preenchidos, o valor F aparece ao se completar essa tabela?

A negação da proposição “Todo professor de matemática usa óculos” é:

Afirmar que duas fórmulas bem formadas p e q, que são compostas pelas mesmas proposições simples t₁, t₂, ... , t_n, são equivalentes é o mesmo que afirmar que é uma tautologia

a proposição

Na sua definição teórica, as relações do modelo relacional precisam satisfazer algumas propriedades, entre elas a de que

Considere p e q fórmulas atômicas de uma linguagem L e v uma função de valoração na qual v (p) ≠ v (q).

Para tal, é necessário e suficiente que

Existem dois vetores, chamados A e B, que estão ordenados e contêm N elementos cada, respeitando a propriedade A[N-1]<B[0], onde os índices de ambos os vetores vão de 0 a N-1. Retiram-se primeiro todos os elementos de A na ordem em que se apresentam e inserem-se esses elementos em uma árvore binária de busca, fazendo o mesmo depois com os elementos de B, que são inseridos na mesma árvore de busca que os de A. Depois, retiram-se os elementos da árvore em um percurso pós ordem, inserindo-os em uma pilha. Em seguida retiram-se os elementos da pilha, que são inseridos de volta nos vetores, começando pelo elemento 0 do vetor A e aumentando o índice em 1 a cada inserção, até preencher todas as N posições, inserindo, então, os N elementos restantes no vetor B da mesma maneira.

Ao final do processo, tem-se que os vetores

Todos os N nomes de uma lista de assinantes de uma companhia telefônica foram inseridos, em ordem alfabética, em três estruturas de dados: uma árvore binária de busca, uma árvore AVL e uma árvore B.

As alturas resultantes das três árvores são, respectivamente,

Considere a relação chamada Cidade a seguir:

nome	estado
Água Branca	Alagoas
Água Branca	Minas Gerais
Água Branca	Piauí
Bom Jesus	Piauí
Bom Jesus	Rio Grande do Sul
Bom Jesus	Rio Grande do Norte
Cruzeiro do Sul	Acre
Cruzeiro do Sul	Rio Grande do Sul
Feira Nova	Sergipe

Seja a seguinte operação da álgebra relacional. π_nome (σ_estado>’R’ (Cidade))

Quantas tuplas e atributos terá a relação resultante após a execução dessa operação?

Entre os tipos de Bancos de Dados Distribuídos, encontram-se as Federações de Bancos de Dados, as quais possuem