Simulação2
(Simulação 2)
I - As Regras da Lógica Formal
Decida acerca da verdade ou falsidade das afirmações seguintes a respeito das regras de inferência e de substituição, Justificando a sua decisão.
1 – «Se uma expressão condicional é tautológica então pode ser uma lei lógica.»
2 – «Podemos admitir como correcto um raciocínio do tipo Modus Ponens, negando o antecedente de um condicional.»
3 – «A regra da transitividade permite resolver uma conjunção em que os conjuntos são Condicionais e em que o Consequente de um é também o Antecedente do outro.»
4 – «No Dilema Construtivo conclui-se a conjunção dos Consequentes de dois Condicionais tomados em conjunto.»
5 – «Dada a verdade de uma qualquer fórmula A e de outra qualquer fórmula B, não nos é permitido, por nenhuma lei lógica, afirmar a verdade da conjunção de A e B.»
6 – «As Regras de Substituição resultam de Implicações Materiais que revelam ser verdadeiras em qualquer circunstância de verdade.»
7 – «Negar a disjunção de duas variáveis P; Q é equivalente a negar P e negar Q.»
8 – «~~~P é substituível por P»
9 – «É-me permitido transformar (P->Q) na expressão (~P v Q).»
10 – «A Regra da Contraposição aplica-se às disjunções.»
II – Falácias
1 - Enuncie as razões pelas quais não é aceitável um raciocínio com a seguinte forma:
«Há estrelas no céu porque o Universo é perfeito. O Céu está maravilhosamente estrelado. Evidencia-se assim a perfeição universal.»
2 – A expressão que se segue será uma falácia formal? Justifique.
{{~[(P v Q) & Q] -> (R & S)} & ~(R & S)} -> [(P v Q) & Q]
III – Derivações no Cálculo Proposicional
1 – Tomemos a seguinte derivação:
1.. ~(P v Q) & (~R -> P) ....................P1
2.. _____________......................1, SIMP
3.. (~R->P) ........................................_________
4.._____________ ...................... 3, IMPL (->)
5.. R v P ............................................. _________
6.._____________ ...................... 2 , DeM II
7.. ~P .................................................._________
8.._____________ ...................... 5,7,SD
Preencha os espaços utilizando correctamente as regras lógicas.
2 . Com as seguintes premissas como fórmulas de saída e as expressões dadas a cada passo, preencha os espaços da coluna das justificações:
1 . ~P .....................................P1
2. Q -> ~R .............................. P2
3. Q v P.................................... P3
4. Q ........................................ ___________
5. ~R ...................................... ___________
6. ~R v ~P ........................... ___________
7. ~(R & P) .......................... ___________
IV – Argumentação e Retórica
1. Comente a seguinte afirmação:
«De modo diferente da Lógica Formal, a Lógica Informal procura razões fortes para impor uma conclusão.»
2. Explicite as dificuldades levantadas a um raciocínio indutivo que se deixe ferir por uma falsa analogia.
3. Elabore um comentário bem estruturado a partir do excerto que se segue:
«Os valores universais desempenham um papel importante na argumentação pois permitirão representar os valores particulares, aqueles sobre os quais se estabelece o acordo dos grupos particulares, como um aspecto mais determinado dos valores universais. Esta inserção de valores particulares num quadro que os ultrapassa testemunha o desejo de transcender os acordos particulares, o reconhecimento da importância da universalização dos valores e o apreço que se atribui ao acordo do auditório universal.»
Chaïm Perelman; O Império Retórico, ASA, pp. 46-47
posted by AB;CR;ZCV at 22:36
