Questões da Prova UFBA - 2014 - UFOB - Analista de Tecnologia da Informação

“O usuário clica o botão A ou o botão B.” “Se o usuário clica o botão A e a opção X está habilitada, os dados são salvos.” “Se o usuário clica o botão A e a opção X está desabilitada, a execução é interrompida.” “Se o usuário clica o botão B, os dados são salvos, e a execução é interrompida.”
Apartir dessas premissas, é válido concluir que, se a opção X está habilitada e a execução foi interrompida, então o usuário clicou o botão B.

A negação da proposição (∃f) (∀x) (f(x) > 0) é (∀f) (∃x) (f(x) ≤ 0).

As proposições “Todos os computadores são Macs ou PCs” e “Todos os computadores são Macs ou todos os computadores são PCs” são logicamente equivalentes.

Sendo N o conjunto dos números naturais, é verdadeira a proposição (∀n ∈ N) (∃m ∈ N) (n = m + 1).

Se for verdadeira a afirmação “alguns softwares gratuitos são livres, mas nem todos, e existem softwares livres que não são gratuitos, porém todo software que não é livre é proprietário”, então também será verdade que “existe um software proprietário que é gratuito”.