Nesta seção, serão enfocadas as operações utilizadas na Lógica Proposicional . No entanto, para cumprir este objetivo , é necessário que se entenda o que é Lógica. Investigando a literatura sobre o assunto é possível inferir que existem muitas definições para a palavra Lógica. Em todas as definições, faz – se referência ao Estudo das leis do pensamento ou termos semelhantes. Para representar as mais variadas definições, observe – se que define COPI (1977, p 15): “ Lógica é uma ciência do raciocínio”. Em outras palavras, como o raciocínio se estrutura e se fundamenta enquanto formação de uma rede semântica própria. Esta formação de redes semânticas, e suas mais variadas formas de apresentação, requerem um conjunto de símbolos que convertem a expressão falada em símbolos anteriormente sistematizados. Para que esta conversão ocorra, são necessárias algumas convenções simbólicas que vêm expressar raciocínio que seriam expressos na linguagem falada. Uma parte destas convenções
Esse é o blog do Professor de Matemática Carlos Barroso. Trabalho no Colégio Estadual Dinah Gonçalves . Valéria-Salvador-Bahia .Inscreva-se Já no meu canal www.youtube.com/accbarroso1 e receba as videoaulas de Matemática.