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

Sendo p, q e r proposições quaisquer, na tabela-verdade da proposição composta (p ∧ q) ∨ (∼p ∧ r) ∨ (∼q ∧ ∼r) existem exatamente três linhas nas quais p é falsa, e essa proposição composta é verdadeira.

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.

Dadas quaisquer proposições p e q, a proposição composta (p ∧ q) ∨ (∼p ∧ ∼q) é uma tautologia.

O semestre letivo de um curso tem a duração de 100 dias, contando de segunda-feira a sábado, inclusive feriados que caiam nesses dias, mas não os domingos. Logo, para que esse semestre letivo termine em um sábado, é preciso que ele se inicie em uma terça-feira.

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

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

Para analisar certa quantidade de dados, um algoritmo X gasta dois minutos para inicialização e, depois, mais cinco segundos para cada MB extra de dados. Outro algoritmo Y gasta quarenta e cinco segundos para inicializar, e, depois, o tempo gasto aumenta em 10% para cada MB extra de dados. Portanto, qualquer que seja a quantidade de dados a serem analisados, o algoritmo Y sempre será mais rápido do que o algoritmo X.

É válido o argumento “Se o computador A estiver na mesma rede que o computador B, e o computador B estiver conectado à impressora, então é possível imprimir a partir do computador A. O computador B não está conectado à impressora, logo, não é possível imprimir a partir do computador A.”

Se (A ∪ T) ∩ F = T ∩ F , em que A, F e T são os conjuntos de usuários com acesso, respectivamente, às redes Administrativa, Financeira e Técnica de uma empresa, então é correto concluir que nenhum usuário tem acesso tanto à rede Administrativa quanto à Financeira.