O que é a validade lógica?
A validade lógica é uma propriedade de um argumento lógico que determina se a conclusão é implicada pelas premissas. Por outras palavras, a validade lógica é a propriedade de um argumento lógico que torna impossível que as premissas sejam verdadeiras e a conclusão falsa. Um argumento logicamente válido é aquele que é impossível para que as premissas sejam verdadeiras e a conclusão falsa. Um argumento logicamente válido é aquele que é simultaneamente válido e sólido. Os argumentos válidos têm uma forma lógica, como o modus ponens ou modus tollens, o que torna impossível que as premissas sejam verdadeiras e a conclusão falsa. Argumentos sólidos são argumentos válidos com todas as premissas verdadeiras.
Exemplos de Validade Lógica
Abaixo estão alguns exemplos de validade lógica.
- <
- Se está a chover, então o solo está molhado. O chão está molhado. Portanto, está a chover.
- Se um triângulo tem três lados iguais, então é um triângulo equilátero. Este triângulo tem três lados iguais. Portanto, é um triângulo equilátero.
- Se uma pessoa tiver mais de 18 anos, então ela está legalmente autorizada a votar. Esta pessoa não está legalmente autorizada a votar. Portanto, não tem mais de 18.
Conclusão
A validade lógica é propriedade de um argumento lógico que torna impossível que as premissas sejam verdadeiras e a conclusão falsa. Os argumentos válidos têm uma forma lógica, como o modus ponens ou modus tollens, o que torna impossível que as premissas sejam verdadeiras e a conclusão falsa. Argumentos sólidos são argumentos válidos com todas as premissas verdadeiras. Leitura adicional: