Questões de Concurso Comentadas sobre raciocínio lógico para ufal

A figura apresenta um estacionamento reservado para veículos oficiais de um campus universitário. Nele existem 5 vagas, que são usadas por 6 veículos: 2 carros, 2 vans e 2 micro-ônibus.


De quantas formas os veículos podem ser estacionados, de maneira que sejam organizados em sequência de tamanho?

Admitindo os conectivos proposicionais → (implica), ∧ (e), ∨ (ou) e ~ (não), qual alternativa completa corretamente o espaço vazio ☐ na fórmula (A → ~(C ∧ B)) → ☐ de forma que ela seja uma tautologia?

Considerando que os símbolos ¬, ∧, ∨ e → representam negação, conjunção, disjunção e implicação, respectivamente, indique em qual conjunto de fórmulas não é possível inferir contradição.

Texto 1 Teclado virtual
    O teclado virtual é um software que permite entrada de texto em programas de computador de maneira alternativa ao teclado convencional. Sua operação se baseia em receber entradas de um dispositivo apontador como mouse, um ecrã tátil ou uma stylus sobre uma imagem de teclado que é convertida para um caractere de texto, que é escrito na tela do editor. Teclados virtuais podem ser encontrados em dispositivos como computadores pessoais, laptops, telefones celulares, tablets, consoles portáteis e caixas eletrônicos.
[...]
    Segurança
    Um importante uso do teclado virtual é de dificultar a fraude em operações bancárias pela Internet. Uma das formas mais comuns de fraude é a instalação de um spyware ou cavalo de Troia (programa-espião) no computador da vítima. O programa-espião "copia" todas as teclas digitadas e envia a listagem, por e-mail, para o computador do fraudador, que em seguida localiza os dados bancários, incluindo a senha, e usa estas informações para movimentar ilegalmente a conta bancária da vítima. Se a senha for digitada clicando-se com o mouse em um teclado virtual, o programa-espião não terá meios de obtê-la.
Disponível em: <https://pt.wikipedia.org/wiki/Teclado_virtual>. Acesso em: 02 fev. 2018.
    Texto 2
    A figura apresenta o teclado virtual de um internet banking de um banco, cujas teclas referem-se a um par de dígitos aleatórios a cada confirmação de transação com cada dígito indicado numa única tecla.


Disponível em: <https://www.creditboudebito.com.br/[...]>. Acesso em: 24 fev. 2018.
O número de configurações distintas do teclado virtual da figura é

Qual dos argumentos é válido?