a) ERRADO. Lógico - um algoritmo pode ser visto como uma dedução lógica controlada. O componente lógico expressa os axiomas usados na computação e o componente de controle determina a maneira como a dedução é aplicada aos axiomas. Tal conceito é base para a programação lógica.
b) ERRADO. Polimorfismo como um princípio a partir do qual as classes derivadas de uma única classe base são capazes de invocar os métodos que, embora apresentem a mesma assinatura, comportam-se de maneira diferente para cada uma das classes derivadas.
c) ERRADO. Híbridas: São linguagens que originalmente não foram projetadas orientadas a objetos, mas que passaram a incorporar os conceitos deste paradigma. Ex: C++ e Object Pascal. "Puras: São linguagens que foram projetadas originalmente orientadas a objetos. Ex: Smalltalk e Java.
e) ERRADO. Classes Smalltalk não podem ser aninhadas em outras classes. Uma subclasse Smalltalk herda todos os membros de sua superclasse. A superclasse também pode ter suas próprias variáveis de instancia, com nomes distintos dos da variáveis nas classes ancestrais. Por fim, a subclasse pode definir novos métodos e redefinir métodos já existentes em uma classe ancestral.