-
É uma proposição simples e não composta
-
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