Pelo menos um seguidor de P no Twitter também é seguidor de J, e em...

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

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

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

A negação da proposição “todo homem é igual ao seu pai” é a proposição “todo homem é diferente do seu pai”.

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

É 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 im...