Lógica Formal
Lógica Formal
Lógica Formal
Distinção validade –
verdade
A Professora: Vanessa Silva
Sumário
Portanto, em síntese, uma proposição é o pensamento expresso por uma frase declarativa
que pode ser verdadeira ou falsa.
Conceitos Nucleares
Argumento 1 Argumento 2
Premissas
verdadeiras + Argumento
válido = Conclusão
verdadeira
Animais marsupiais.
Quais as diferenças entre argumentos dedutivos e
argumentos indutivos?
ou
Forma lógica – diz respeito à estrutura de uma frase ou argumento partilháveis com outras
frases e argumentos. Por exemplo, os argumentos «Todos os cavalos são animais; o
Rocinante é um cavalo; logo, o Rocinante é um animal» e « Todos os filósofos são críticos;
Sócrates é filósofo; logo, Sócrates é crítico» partilham a mesma forma lógica: «Todo o A é
B; C é A; logo C é B». Uma vez que se trata de uma forma válida, qualquer argumento que
partilhe exatamente esta mesma estrutura ou forma lógica será válido,
independentemente do conteúdo atribuído às variáveis. A, B e C. A lógica é a ciência que
procura isolar formas lógicas de inferência, sistematizando as que são válidas e as que não
são.
Conceitos Nucleares
4. Um ano bissexto é maior do que um ano não bissexto, porque um ano bissexto
tem 366 dias, enquanto um ano não bissexto tem apenas 365.
Proposta de trabalho!
4. Premissas: um ano bissexto tem 366 dias; um ano não bissexto tem apenas 365; conclusão: um ano
bissexto é maior do que um ano não bissexto.
II.
III.
1;3;5;7;8.
1;2;3;5.
Sugestões de enriquecimento: