Escolar Documentos
Profissional Documentos
Cultura Documentos
º ano
Grupo I
1. B
2. C
3. D
4. C
5. B
6. A
7. A
8. C
9. B
10. D
Grupo II
1.
Expressão canónica Dicionário Formalização
Não é verdadeiro que, se P: Há decência moral. (P → Q) Ù (P → Q)
houver decência moral, então Q: Há políticos corruptos.
não há políticos corruptos; e,
se não houver decência moral,
então há políticos corruptos.
2. Deus existe e o espírito de Platão não é limitado se, e só se, não é verdadeiro que, se há vida
após a morte, então o Paraíso não é real.
3.
P Q R [P → (Q Ù R)] ↔ (R Ú P)
V V V F V V V V F
V V F V V F F V V
V F V V V F F F F
V F F V V F F V V
F V V F F V V F V
F V F F F V F V F
F F V F F V F F V
F F F F F V F V F
4.
4.1. Silogismo disjuntivo – forma válida.
4.2. A Ú B
B
\A
Grupo III
1.
1.1.
Expressão canónica Dicionário Formalização
Se o Barcelona ganha a P: O Barcelona ganha a P→Q
Liga dos Campeões, então Liga dos Campeões Q → R
João fica feliz. Se João fica Q: João fica feliz. \P → R
feliz, então não reclama R: João reclama contra o
contra o governo. Logo, se o governo.
Barcelona ganha a Liga dos
Campeões, então João não
reclama contra o governo.
1.2.
Inspetor de circunstâncias
P Q R P → Q, Q → R \ P → R
V V V V V F F V F F
V V F V V V V V V V
V F V F F V F V F F
V F F F F V V V V V
F V V V V F F F V F
F V F V V V V F V V
F F V V F V F F V F
F F F V F V V F V V
O argumento é válido, uma vez que não há nenhuma circunstância em que as premissas
sejam verdadeiras e a conclusão falsa.
1.3. Silogismo hipotético.