Um argumento válido pode ser informalmente definido como aquele cuja conclusão é consequência lógica de suas premissas, ou seja, se todas as circunstâncias que tornam as premissas verdadeiras tornam igualmente a conclusão verdadeira.
as sentenças que nos interessam na lógica são as sentenças declarativas, aquelas que podemos afirmar ou negar,
Basicamente, raciocinar, ou fazer inferências, consiste em “manipular” a informação disponível – aquilo que sabemos, ou supomos, ser verdadeiro; aquilo em que acreditamos – e extrair consequências disso, obtendo informação nova.
um argumento pode ser definido como um conjunto (não vazio e finito) de sentenças, das quais uma é chamada de conclusão, as outras de premissas, e pretende-se que as premissas justifiquem, garantam ou deem evidência para a conclusão.
De mais a mais, é muito comum que raciocinemos a partir de hipóteses: proposições de cuja verdade não temos certeza alguma e, muitas vezes, até sabemos serem falsas (em situações do tipo “suponhamos que eu fizesse isto ou aquilo: quais seriam as consequências?”).
LóGICA é a ciência que estuda princípios e métodos de inferência, tendo o objetivo principal de determinar em que condições certas coisas se seguem (são consequência), ou não, de outras.
