2.

º ANO ∙ ENSINO MÉDIO

MATEMÁTICA COMPUTACIONAL
 NESTA AULA...
Capítulo 1

UM POUCO VERDADEIRO E UM POUCO FALSO

Livro didático: pág. 2 até 9
Lógica

A palavra lógica pode denotar tanto um conjunto de regras racionais para a obtenção de um
conhecimento quanto a área da filosofia que estuda a validade formal das proposições linguísticas e
matemáticas.

A lógica, enquanto propriedade linguística, não se preocupa com a veracidade dos enunciados, mas
com a validade formal lógica, ou seja, com a possibilidade de sentido da frase dada por sua estrutura.
Se a estrutura de uma frase é correta, isto é, se ela segue um padrão formal correto, podemos dizer
que a frase é logicamente válida. Na matemática, é a lógica que garante a estrutura formal racional
das equações e demais elementos matemáticos que, de algum modo, relacionam-se.

Não podemos dizer que a lógica em si foi criada, mas sim descoberta. Desde que existe
racionalidade, a lógica existe. Quem a descobriu foi Aristóteles. As suas criações dizem respeito
apenas à nomenclatura que ele deu e ao estudo sistemático daquilo que era a lógica. A lógica
aristotélica, também chamada de lógica clássica, sustenta-se com base em princípios racionais e nos
silogismos.
Regras para formação

Há algumas regras que possibilitam a composição de um silogismo categórico, ou seja, a construção

do raciocínio por meio da lógica. Abaixo, confira quais são:

✓ O silogismo sempre deve apresentar três termos (maior, menor e médio) que precisam ter o
mesmo sentido.

Premissa maior: Todos os seres humanos são mamíferos.

Premissa menor: O Pedro é um ser humano.
Conclusão: Logo, o Pedro é um mamífero.

Neste caso, "mamífero" é o termo maior, "seres humanos" é o termo médio e "Pedro" é o termo
menor.
Regras para formação

Há algumas regras que possibilitam a composição de um silogismo categórico, ou seja, a construção

do raciocínio por meio da lógica. Abaixo, confira quais são:

✓ O silogismo sempre deve apresentar três termos (maior, menor e médio) que precisam ter o
mesmo sentido.

Todo engenheiro conhece a disciplina de cálculo.

Pedro é engenheiro.
Logo, Pedro conhece a disciplina de cálculo.
Regras para formação

✓ O termo médio pode integrar as premissas, mas não a conclusão. Além disso, em toda extensão
do silogismo, ele deve aparecer ao menos uma vez.

Todos os homens são corajosos.

Todos os brasileiros são homens.
Logo, todos os brasileiros são corajosos.
Regras para formação

✓ Os termos não podem ser maiores na conclusão do que nas premissas, pois assim a dedução
resultará um raciocínio distorcido.

Todo ato de amor louvável.

Muitos seres humanos realizam atos de amor.
Logo, todos os seres humanos são louváveis.

*Neste exemplo, a conclusão correta deveria ser: Muitos seres humanos são louváveis.
Regras para formação

✓ Se as duas premissas são afirmativas, a conclusão também precisa ser.

Toda fruta é saudável.

A Manga é uma fruta.
Logo, a manga é saudável.
Regras para formação

✓ Caso o silogismo seja construído por duas premissas negativas, nada poderá ser concluído.

Nenhuma mãe é insensível.

Algumas mulheres não são mães.
Logo, algumas mulheres são insensíveis.

*No caso acima, chega-se a um raciocínio inconclusivo.

Regras para formação

✓ Caso o silogismo seja construído por duas premissas específicas ou particulares, nada poderá
ser concluído.

Alguns políticos são mentirosos.

Alguns brasileiros são políticos.
Logo, alguns brasileiros são mentirosos.

*No caso acima, chega-se a um raciocínio inconclusivo.

Regras para formação

✓ A conclusão sempre é de acordo com a “parte fraca”. Isto é, funciona conforme a premissa
negativa e/ou particular.

Nenhuma serpente é confiável

A jiboia é uma serpente.
Logo, a jiboia não é confiável.
Quer saber mais?

https://www.youtube.com/watch?v=PltqUuwR9ec
Sua vez...
Sua vez...
Sua vez...
Sua vez...
Sua vez...
Sua vez...