Disciplina de Filosofia – 10º Ano Ano Letivo 2023-24

Ficha de Trabalho – Formas de Inferência Válida – LÓGICA

PROPOSICIONAL – CONECTIVAS, VARIÁVEIS PROPOSICIONAIS, TABELAS
DE VERDADE E FALÁCIAS FORMAIS

Com base no Manual Adotado (páginas 53, 54, 55, 56, 57, 59, 61, 64, 69 (modus
ponens e modus tollens) 70 e 71) resolve as seguintes atividades:

1- Define Lógica Proposicional (cáculo proposicional) e conectivas (dá

exemplos).

O cálculo proposicional é um ramo fundamental da lógica moderna que se

ocupa das formas argumentativas, a validade destas dependem das
conectivas ou operadores que formam as proposições compostas a partir de
preposições simples.

2- Define variáveis proposicionais e refere exemplos.

As variáveis proposicionais são letras que representam proposições simples.

Estas letras maiúsculas são do meio do alfabeto latino que substitui as
proposições. Temos como exemplos; “P:Há atos livres.” E “Q:Somos
responsáveis.”

3- Distingue proposição simples de proposição complexa e apresenta

exemplos.

As preposições complexas são decompostas até se atingir uma ou mais

proposições simples. Temos como exemplos; “Há atos livres e somos
responsáveis.”, “Há atos livres ou somos responsáveis.”, “Se há atos livres,
então somos responsáveis.”, “Não há atos livres.” Conseguimos identificar-se
assim que, no primeiro caso, as dua proposiçoes simples ligam-se a partir da
conectiva “e”, no entanto no segundo caso é o operador ou que liga as duas
proposições simples.

4- Passa para o caderno o quadro da pág 54.

5- Define as regras específicas para cada as conectivas ( negação,

conjunção, disjunção inclusiva, condicional e bicondicional) funções
lógicas que permitem e respetivas tabelas de verdade.
Na negação, a funçao logica é alterar o valor de verdadeiro sendo a regra; “É
verdadeira se a proposiçao original for falsa. É falsa se a proposição original
for verdadeira.”

Na conjugação, a sua funçao logica é articular, ligar proposições (defender

afirmações) sendo a regra;”Só é verdadeira se as proposições que compõem
forem ambas verdadeiras.”
 Na disjunção inclusiva, sua funçao é defenir possibilidades de pensar em
alternativa, sendo a regra;”Só é falsa se as proposições que compõem forem
ambas falsas.”

Na condicional ou implicação, a sua funçao logica é permitir compreender as

condições de uma implicação, sendo a regra; “Só é falsa se antecedente for
verdadeira e a consequente falsa.”

Finalmente na bicondicional ou equivalência, a sua função logica é

compreender a relaçao entre ideias compatíveis, sendo a regra;”É verdadeira
quando as proposições que compõem assumem em simultâneo o mesmo
valor de verdade.”

6- Apresenta as formas lógicas válidas das inferências modus ponens e

modus tollens.
Modus ponens
-forma logica:
A->B
A
:. B

Modus tollens
-forma logica:
A->B

- |B

:. -A |
 7- Define as falácias formais relativas às inferências modus
ponens e modus tollens.
Falácia consiste num erro de raciocinio.
Falácia da afirmação consequente consiste na utilização incorreta dos modua
ponens, pelo motivo de se afirmar o consequente e não o antecedente.
A falácia de negaçao do antecedente consiste na utilização incorreta do
modus tollens, pelo motivo de se negar a antecedente e não a consequente.

FIM

Bom Trabalho
A Professora Teresa Vasconcelos Soares