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

Creio que não seja esse o erro. Ela parece simples mas está embutida a outra proposição; vejamos:

Todos os computadores são MACS V(OU) Todos os computadores são PCS

A equivalência lógica certa dela seria:

(SE) Todos os comuptadores NÃO são MACS ----> (ENTÃO) Todos os computadores são PCS

É a regra do NEYMAR só que invertida, passando do (V) para o ------>

A primeira proposição uma disjunção simples: P ou Q ou ambos (só lembrar que na tabela verdade a disjunção simples P \/ Q só será falso se P for falso e Q também for falso FF=F, ficando as outras linhas da tabela como verdadeiras VV=V; VF=V; FV=V).

A segunda proposição é uma disjunção exclusiva: sendo apenas P ou apenas Q (exige a exclusividade).

Podemos concluir as proposições não são equivalentes pois existe diferença entre elas.

Gab. ERRADO

Eu li da seguinte forma "Nem Todos os computadores são Macs ou nem todos os computadores são PCs". Como a migração para o conectivo OU pede para negar os dois lados, usei desta forma.

Uma diz "OU" (disjunção inclusiva), a outra coloca "OU...OU" (disjunção exclusiva).

ERRADO

“Todos os computadores são Macs ou PCs”

Em se tratando de quantificador a equivalência seria: Nenhum computador não é Mac ou PC