Em um banco de dados distribuído, seus usuários não necessitam saber como as tabelas são divididas e armazenadas entre os diversos sites componentes desse banco de dados. Esse conceito é chamado de transparência de
De um argumento válido com duas premissas, conclui-se corretamente que João não é pai de Ana. Uma das premissas desse argumento afirma como verdadeiro que João é pai de Ana se, e somente se, Maria é tia de Ana. Sendo assim, uma segunda premissa verdadeira para esse argumento é