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

AB