Questões de Concurso

Dadas as premissas,

 

• Se Tiago gosta de História, James gosta de Matemática.

• Hérica gosta de Literatura e Sarah gosta de Sociologia somente se Tiago gostar de História.

• Lucimara gosta de Ciências e Artur gosta de Biologia.

• Artur não gosta de Biologia ou James não gosta de Matemática.

 

pode-se concluir que:

Considerando que os símbolos ¬, ∧, ∨, ∀ e ∃ representam negação, conjunção, disjunção, quantificador universal e quantificador existencial, respectivamente, as equivalências lógicas das fórmulas ¬∃xP(x) ∧ ∃yQ(y) e ∀x(¬P(x) → ¬Q(x)) são, respectivamente,

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)