A Lógica é o ramo da filosofia que estuda princípios e métodos de inferência.
De acordo com Mortari, em sua obra Introdução à Lógica (2017), define-se um argumento válido como aquele em que
- A todas as premissas são verdadeiras.
- B se as premissas são verdadeiras, a verdade da conclusão é altamente provável.
- C se as premissas são verdadeiras, é impossível que a conclusão seja falsa.
- D a verdade da conclusão garante a verdade das premissas.