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 é

As funções hiperbólicas
As funções hiperbólicas, seno hiperbólico e cosseno hiperbólico, designadas pelos símbolos senh e cosh, respectivamente, são assim definidas:


onde e = 2,7182818..., é um número irracional.
Disponível em: <http://tede.biblioteca.ufpb.br/bitstream/tede/7640/2/arquivototal.pdf>. Acesso em: 25 fev.2018 (adaptado)
Dadas as afirmativas sobre as funções hiperbólicas definidas no texto e considerando a linguagem da lógica de primeira ordem,
I. ∀x (cosh x > 0). II. ∃x (senh x > 0). III. ¬∃x (cosh x - senh x > 1 000).
verifica-se que está(ão) correta(s)

Dadas as afirmativas sobre conjuntos,
I. Se A ⊆ C e B ⊆ C, então A = B. II. Se A ⊆ B e B ⊆ C, então A ⊆ C. III. Se A ⊆ B e B ⊆ A, então A = B. IV. Se A ⊆ B, A e B não são disjuntos.
verifica-se que estão corretas apenas

Um projeto de uma praça retangular (60 m de largura,100 m de comprimento) prevê a instalação de uma fonte no centro de um tanque circular (diâmetro 8 m) equidistante de três das quatro calçadas da praça, duas delas as de maior comprimento. Qual será, aproximadamente, o comprimento de um passeio de menor dimensão que ligará um ponto da borda do tanque a um canto da praça mais afastado da fonte?