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”.

As proposições

• “Se o cliente não aprova o website, então o pagamento não é liberado.”
• “Se o pagamento é liberado, então o cliente aprova o website.”
• “O cliente aprova o website ou o pagamento não é liberado.”

não são todas logicamente equivalentes.

Se a afirmação “P e R usam Windows ou Linux” é falsa, isso significa que P e R não usam Windows nem Linux.

A proposição ∼[(p ∨ ∼q) ∨ ∼(p ∧ q)] é uma contradição, quaisquer que sejam as proposições p e q.

Sabendo-se que tanto o primeiro quanto o último dia de certo mês, em um dado ano, caíram em domingos, é correto afirmar que tal ano começou em uma quinta-feira.

Quatro amigos, que estavam organizando uma festa, discutiram sobre quantas pessoas achavam que haveria nela, dizendo o seguinte:

J: “Haverá, no máximo, 19 pessoas.”
F: “Haverá, pelo menos, 25 pessoas.”
L: “F está errado, pois haverá mais do que 16 pessoas.”
H: “J está errado, a menos que só haja casais.”

Após a festa, perceberam que apenas um deles tinha dado a opinião errada. Logo é correto deduzir que o número de pessoas na festa foi um múltiplo de 3.

Um fiscal da prefeitura trabalha por amostragem: de um grupo de 20 empresas, serão sorteadas 5 para uma fiscalização no local. Se, nesse grupo, há duas empresas em situação irregular, é correto afirmar que a probabilidade de ambas serem sorteadas é quatro vezes menor do que a probabilidade de apenas uma delas ser sorteada.