Filosofia:

1. Identificar os seis operadores proposicionais veros funcionais da lógica

proposicional clássica.
 Negação: “não”
 Conjunção: “e”
 Disjunção inclusiva: “ou”
 Disjunção exclusiva: “Ou....ou”
 Condicional: “Se......então”
 Bicondicional: “se, e só se”

2. Traduzir preposições da linguagem comum para linguagem da logica

proposicional clássica.
1ºpasso: dicionário P e Q
2ºpasso:os símbolos
3ºpasso: maior e menor âmbito (menor: fora de parênteses maior: dentro de
parênteses/negação)
Ex:

3.Representar as funções de verdade dos seis operadores proposicionais

verofuncionais da logica proposicional clássica através de tabelas de verdade.

Negação: Se P é verdadeiro “não P” e falso, se P é falso “não P” e verdadeiro.

Conjunção: Se as proposições forem ambas verdadeiras e verdadeira e falsa
desde q uma das proposições seja falsa

Disjunção inclusiva: Se P e Q forem falsas é falso de resto é sempre verdadeiro

Disjunção exclusiva: Se forem iguais é falso se forem diferentes e verdadeiro

Condicional: E falso se o antecedente for verdadeiro e o consequente falso.

Bicondicional: Se ambas as preposições tiverem o mesmo valor logico e
verdadeiro se não e falso.

4.Classificar proposições como tautológicas, contradições ou contingentes

 Tautológicas: Todas as preposições forem verdadeiras

 Contradições: Se todas as preposições forem falsas.

 Contingência: Se as proposições forem falsas e verdadeiras

5.Avaliar a validade de formas argumentativas recorrendo a inspetores de
circunstancia

6.Reconhecer algumas formas argumentativas comuns validas: Modus ponens

e Modus Tollens

Modus ponens: É sempre afirmativo,

Modus Tollens: É sempre negativo,