Qual a proposição contrária a ∀x((Gx v Cx) → Ax)?

Se os símbolos lógicos ~, ^, v, → e ↔ representam negação, conjunção, disjunção, implicação e bi-implicação, respectivamente, e os valores lógicos das...

Considere a seguinte afirmação: “Uma melancia pesa 3 kg mais meia melancia.” Podemos, então, concluir que uma melancia e meia pesa

Qual a negação da afirmação “todos os funcionários da ALGÁS são brasileiros”?

Sabe-se que, numa sala de aula, 20 alunos gostam de Matemática, dos quais 4 também gostam de Português e não gostam de Química. Sabe-se também que tod...

Considerando que os símbolos ¬, ∧, ∨, ∀ e ∃ representam negação, conjunção, disjunção, quantificador universal e quantificador existencial, respectiva...

“Se é verdade que “alguns meninos são loiros” e que “nenhum músico é loiro”, então, também é necessariamente verdade que