A Lógica

Fazer download em pptx, pdf ou txt
Fazer download em pptx, pdf ou txt
Você está na página 1de 17

A Lógica

Afonso Fornelos
Afonso Martins
Tiago Figueiredo
A lógica Aristotélica
A lógica aristotélica é o estudo formal da lógica, que foi desenvolvida pelo filósofo
grego Aristóteles, sendo que foi ele quem melhor compreendeu o maior
desenvolvimento de teoria lógica até o século XIX.
O trabalho da lógica de Aristóteles é concentrado em seis textos que são conhecidos,
de forma coletiva, como o Organon.
Primeiras Analíticas e a Interpretação, contêm o pensamento mais importante de
Aristóteles sobre o tratamento das proposições.
Dá-se o nome de Lógica aristotélica ao sistema lógico desenvolvido por Aristóteles a
quem se deve o primeiro estudo formal do raciocínio.
Princípios Fundamentais da Lógica
Aristotélica

Dois dos princípios fundamentais da lógica aristotélica:


• a lei da não contradição, que afirma que duas afirmações contraditórias
não podem ser verdadeiras ao mesmo tempo;
• a lei do terceiro excluído, que afirma que, para qualquer proposição, ou
esta proposição é verdadeira, ou sua negação é verdadeira.
Lógica Formal
A Lógica Formal preocupa-se com a estrutura do raciocínio.
A Lógica Formal lida com a relação entre conceitos e fornece um meio de
compor provas de declarações. Na Lógica Formal os conceitos são
rigorosamente definidos, e as orações são transformadas em notações
simbólicas precisas, compactas e não ambíguas.
Lógica Matemática

Nos últimos dois séculos a reputação da lógica aristotélica


teve uma grande reviravolta, pois apareceu a chamada
lógica moderna ou lógica matemática, através do trabalho
• A Teoria dos Conjuntos
de Gottlob Frege, e de Bertrand Russell. • A Teoria de Modelos
A Lógica Matemática é uma sub-área da matemática que
explora as aplicações da lógica formal para a matemática,
que se divide nas seguintes áreas:
• A Teoria da Computação
• A Teoria da Prova
Raciocínio Lógico:

Em lógica, pode-se distinguir três tipos de raciocínio lógico:

• Dedução: corresponde a determinar a conclusão. Utiliza-se a regra e a sua premissa


para chegar a uma conclusão.

• Indução: é determinar a regra. É aprender a regra a partir de diversos exemplos de


como a conclusão segue da premissa.

• Abdução: significa determinar a premissa. Usa-se a conclusão e a regra para


defender que a premissa poderia explicar a conclusão.
Raciocínio lógico-matemático

O raciocínio lógico-matemático auxilia na resolução de problemas lógicos


envolvendo a atenção, habilidades visuoconstrutivas, habilidades visuoespaciais,
organização e memória.
Para aprender ou treinar essa habilidade pode-se fazer uso de quebra-cabeças,
sequências de figuras, sequência de palavras ou números, e conjuntos.
Importância da validação

Para explicar a importância da validação, é preciso primeiro explicar a importância


dos argumentos. Os argumentos têm um elevado valor porque é a partir da ideia
fundamental do argumento que se desenvolve uma tese, ou seja, um certo raciocínio
que se quer defender.
Ora, se o próprio argumento for inválido, o resto da tese também o será. Como todos
temos opiniões e pontos de vista diferentes, é necessário distinguir e filtrar os válidos
dos inválidos, não em termos de conteúdo, mas sim de estrutura.
Símbolos matemáticos

Um símbolo matemático é uma figura usada para representar um objeto matemático , a ação num objeto
matemático, a relação entre objetos matemáticos ou para a estruturação de outros símbolos numa
fórmula.
Os símbolos mais básicos são os dígitos decimais e as letras do alfabeto latino.
Como o número de letras tem vindo a aumentar de forma dramática na matemática moderna, algumas
letras do alfabeto grego e até o hebreu são utilizadas.
No entanto também foram criados símbolos específicos para a matemática, como +; - e =, mas
frequentemente provêm da deformação de letras, como por exemplo ∀ e ∈.
Operadores Aritméticos ∅ Teoria de grupos ∅
Símbolo Significado Exemplos Símbolo Significado Exemplos
+ Adição 5+2 ∈ Conjunto nulo A∩ ∈ B=
– Subtração 3–2 #∉ Número de elementos #S∉= 20
× ; · ; * Multiplicação 4*3 ⊂ Pertence a A ⊂B
÷;/ Divisão 3÷2 Não pertence a A B
 Raíz quadrada 2 ⊃ Está contido em A⊃ B
^ Exponencial 2^3 = 8 
∪ Não está contido em A ∪B
! Fatorial 4! = 1*2*3*4 = 24 Contém B A
± Mais ou menos ±10 ou 10±2 União A B
|| Módulo |-2| = 2 ∩ Interseção A∩B
Igualdades e comparações Lógica Básica
Símbolo Significado Exemplos Símbolo
∧ Significado Exemplos

= Igual a 2+3=5 
∨ Negação ¬P∨
 Diferente de 2 - 3 3 - 2 ⊻ Conjunção P ⊻Q
≈ Aproximadamente igual ap ≈ 3,1416 ⇒ Disjunção inclusiva P ⇒Q
≡ Idêntico; Coincidente f(x) ≡ g(x) ; s ≡ r ⇔ Disjunção exclusiva P ⇔Q
 Equivalente (x+2)^2 x^2+2x+4 ∀ Implica P
∀ Q
> Maior do que 5>3 ∃ Se e só se P
∃ Q
< Menor do que 4<7 ∃ Quantificador universal ∃xP
 Maior ou igual 71 ∴ Quantificador existencial xP ∴
 Menor ou igual 2  ∵ ! Quantificador único !xP ∵
» Muito maior que 1*10^99 » 2 Portanto Estudei muito tive boas notas
« Muito menor que -1*10^99 « 2 Porque Tive boas notas estudei muito
Exercícios
1.1) Provem que a distância entre os pontos A e B é igual a 5
1.2.1) Escrevam a equação reduzida da mediatriz do segmento de reta [AB]
1.2.2) Admitam que [AB] é a altura de um triângulo equilátero.
Determinem o valor exato da área desse triângulo. Apresentem o valor
pedido com denominador natural
2.1) Provem que o centro da circunferência tem coordenadas (1, -1)
2.2) Determina a área do triângulo [ABC]
3)

Você também pode gostar