| fjnet: | Um espaço de compartilhamento de ideias e conteúdos com o intuito de engrandecimento do indivíduo, |
Para iniciarmos qualquer estudo de lógica proposicional, primeiro devemos compreender qual seu propósito e função, para assim ficar clara a importância de tal estudo. Por trabalhar com a forma do pensamento, a lógica se dedica a validade ou invalidade de argumentos considerando todas as suas possibilidades.
Conceitos importantes:
Verdade/falsidade:
Dentro da lógica formal as ideias de verdade ou falsidade são apenas juízos de atribuição, não tendo qualquer vinculação necessária com a realidade, isto é, por trabalhar apenas com a estrutura do argumento, buscando analisar suas possibilidades de validade e invalidade, a análise da verdade em si fica em segundo plano. Por isso devemos ter em mente que ao formalizarmos e operarmos argumentos em lógica os conceitos de “verdade” ou “falsidade”, e tudo o que possam significar, não entram em questão.
Validade:
Um argumento é válido se, e somente se, é impossível que sua conclusão seja falsa se todas suas premissas forem verdadeiras.
Cogência:
Um argumento é cogente (ou contingente) se, e somente se, todas suas premissas forem válidas e verdadeiras.
Verdade lógica/tautologia:
Um argumento é tautológico se, e somente se, é impossível que seja falso.
Falsidade lógica/contradição:
Um argumento é uma falsidade lógica se, e somente se, é impossível que seja verdadeiro.
Contingência:
Uma sentença é contingente se, e somente se, não é uma verdade lógica nem uma falsidade lógica.
Equivalência lógica:
Dois argumentos possuem equivalência lógica se, e somente se, é impossível que um seja verdadeiro enquanto o outro é falso.
Continua...