Lógica formal

 Baseia-se em teses e argumentos

 Tese: Resposta ao problema, posição defendida ou sustentada e corresponde à conclusão de um
argumento
 Argumento: Complexo formado por proposições (premissas), a partir das quais se interfere uma
única proposição (conclusão). Estes podem ser:
o Dedutivos: validade depende exclusivamente da sua forma lógica, isto é, se as premissas
forem verdadeiras, a conclusão é necessariamente verdadeira
o Não dedutivos: fornecem um suporte probabilístico à conclusão, isto é, caso as premissas
sejam verdadeiras é provável, mas não necessário, que a conclusão seja verdadeira.
 As premissas são o ponto de partida de um argumento, estas devem apoiar a conclusão e fornecer
os fundamentos para que a tese seja aceite
 Chamamos proposição ao conteúdo verdadeiro ou falso expresso numa frase, deste modo as frases
utilizadas para exprimir desejos, ordens, pedidos,… não constituem proposições
Validade, verdade e solidez

 A lógica formal depende da validade dos argumentos dedutivos, isto é, dizemos que um argumento
é válido quando é logicamente impossível as premissas serem verdadeiras e a conclusão falsa
 Desta forma concluimos que:
o As proposições são V/F
o Os argumentos são válidos/inválidos
o A validade refere-se à estrutura dos argumentos
o A verdade diz respeito ao conteúdo das proposições
 Um argumento diz-se sólido quando este é válido e as suas premissas verdadeiras.
Proposições categóricas

 Proposições a partir das quais se afirma ou nega algo, sem admitir alternativas ou estabelecer
conclusões
 Tem implícita a forma de S ou P (S – sujeito/P – predicado)
 Um termo pode ser singular (nome próprio) ou geral (um nome comum)
 Estas classificam-se quanto:
o Quantidade
 Universais – totalidade dos elementos
 Particulares – parte dos elementos
o Qualidade
 Afirmativas – S é P
 Negativas – S não é P
 Exemplos:
o Todo o S é P
 Proposição categórica universal afirmativa
 Tipo A
o Todo o S não é P
 Proposição categórica universal negativa
 Tipo E
o Algum S é P
 Proposição categórica particular afirmativa
 Tipo I
 o Algum S não é P
 Proposição categórica particular negativa
 Tipo O
Quadrado da oposição e negação de proposições categóricas

 A negação inverte o valor de verdade de uma proposição, assim se formos capazes de mostrar que
a negação de uma proposição é verdadeira, concluimos que a proposição inicial é falsa
 Quadrado da oposição:
o Contrárias – podem ser ambas falsas
o Contraditórias – não podem ser ambas falsas nem verdadeiras
o Subcontrárias – podem ser ambas verdadeiras
o Subalternas – verdade da proposição universal, verdade da proposição particular / falsidade
da proposição particular, falsidade da proposição universal
Conectivas

 Uma proposição diz-se simples ou elementar quando não pode ser decomposta noutras
proposições
 As proposições complexas ou compostas são aquelas que se podem decompor em proposições
simples
 Exemplos:
o Não P – negação - ¬P
o P e Q – Conjunção – P ʌ Q
o P ou Q – Disjunção inclusiva – P v Q
o Ou P ou Q – Disjunção exclusiva – P v_ Q
o Se P, então Q – Condicional – PQ
o P se e só se Q – Bicondicional - P  Q

Negação

 É verdadeira se a proposição original for falsa e vice-versa

 A negação da negação de uma proposição (negação dupla) - ¬¬P, quando a proposição original é
verdadeira então a negação dupla vai ser verdadeira, quando a proposição original é falsa então a
negação dupla vai ser falsa
 A negação é uma função unária, uma vez que se aplica a uma só proposição
Conjunção

 So é verdadeira se ambas as proposições que a compõem forem verdadeiras

Disjunção inclusiva

 Para ser verdadeira basta que uma das proposições que a compõem seja verdadeira
Disjunção exclusiva

 São verdadeiras quando as proposições possuem diferentes valores de verdade

Condicional

 Só é falsa se a antecedente for verdadeira e a consequente falsa

 Tudo que é P é Q, mas nem tudo que é Q é P
Bicondicional

 É verdadeira quando ambas as proposições possuem o mesmo valor de verdade

 Tudo que é P é Q e vice-versa