Nocoes de Logica Os conceitos sao bem de marcado: 'inferencia', 'verdade', 'validade', 'raciocinio dedutivo' e 'raciocinio indutivo'.O CONCEITO 'INFERENCIA' Inferencia e a operacao mental pela qual se extrai uma conclusao (nova proposicao) de uma ou mais proposicoes ja conhecidas.Verdadeiro e falsoVeremos duas maneiras de se estabelecer o que e verdadeiro ou falso.1. Verdade por correspondencia com os fatos A verdade esta relacionada ao mundo dos fatos e eventos, ou seja, esta relacionado aquilo que chamamos de realidade.1o A proposicao 'Chove la fora!' (com aspas) e verdadeira se chove la fora (sem aspas). 'Chove la fora!' e uma proposicao falsa se la fora nao chove.2o 'A grama e sintetica.' e uma proposicao verdadeira se e fato que a grama e sintetica. 'A grama e sintetica.' e ma proposicao falsa se a grama e natural.Portanto, a verdade da proposicao corresponde ao fato que ela afirma.2. Verdade por referencia a um conjunto dado A verdade de uma proposicao esta relacionada ou referida a um conjunto dado a priori.1o Dado o conjunto N = {1, 2, 3, 4}. '2 pertence ao conjunto N' e uma proposicao verdadeira. '7 pertence ao conjunto N e uma proposicao falsa.2o Dado o conjunto dos estados brasileiros E = {Ceara, Espirito Santo, Acre, Sao Paulo, etc.}. 'Texas e um estado brasileiro.' e uma proposicao falsa.Observacoes:. Estabelecer a verdade por correspondencia e problematico pois, e necessario averiguar de algum modo os fatos da realidade. Normalmente os sentidos sao o caminho para isso; constata-se com a visao, com a audicao e com o tato que chove la fora, por exemplo. Mas, e se a pessoa que faz esta constatacao esta delirando ou sonhando? E se a pessoa que fez a proposicao se baseou na proposicao de outra pessoa e se esta outra pessoa estiver mentindo?. No segundo caso, verdade por referencia a um conjunto dado, e necessario que se aceite a priori o conjunto dado.O CONCEITO 'VALIDADE' Argumento Um argumento nao e uma proposicao. Ele e uma composicao de proposicoes. Por exemplo: 'Faz sol.', 'Hoje choveu pela manha.', 'Fui ao shopping ontem.', 'Estou com dor de cabeca.', 'A grama e sintetica.', 'Tenho muita saudade dele.', sao apenas proposicoes, nao sao argumentos. Mas, a composicao: 'Se fizer sol, irei ao shopping. Faz sol, logo, irei ao shopping.'. Este exemplo e um argumento.Argumento logico (ou silogismo logico) Um argumento e logico se ele conclui uma proposicao particular a partir de uma proposicao geral e se ele concluir o consequente afirmando-se o antecedente.Exemplos do primeiro tipo:Todo homem e mortal. (premissa geral)Socrates e homem.Logo, Socrates e mortal. (conclusao particular)Este argumento e denominado de argumento logico valido.Observacao: Para que ocorra a inferencia neste exemplo, ou seja, para que ocorra o raciocinio mental que leva das premissas a conclusao, foi necessario o termo medio - homem, ele possibilita a mediacao das premissas para a conclusao. Sem o termo medio a inferencia nao e possivel.Uma caracteristica importante do termo medio e que ele nunca aparece na conclusao.Veja o mesmo exemplo sem o termo medio:Todo homem e mortal.Socrates e gordo.Logo, Socrates e mortal.Observacao: Por nao existir o termo medio nao foi