Escolar Documentos
Profissional Documentos
Cultura Documentos
Introdução
(slides modificados de Joseluce Cunha)
Origem da Lógica
Na Grécia Antiga, 342 a.C, em meio a
embates filosóficos, Aristóteles sistematizou a
Lógica com o intuito de verificar que
argumentos eram válidos, elevando-a assim à
categoria de ciência.
É Válido
(a conclusão é uma decorrência
lógica das duas premissas.)
Validade de um Argumento
Exemplo 2: O argumento que segue é válido?
Não é Válido
(a conclusão não é uma decorrência
lógica das duas premissas.)
Validade de um Argumento
A lógica se preocupa com o relacionamento
entre as premissas e a conclusão, com a
estrutura e a forma do raciocínio. A verdade do
conteúdo de cada premissa e da conclusão é
estudo das demais ciências.
Outro exemplo:
Todo homem é mortal.
Sócrates é um homem.
Logo, Sócrates é mortal.
(Argumento Válido)
Argumentos Indutivos
Não pretendem que suas premissas forneçam provas
cabais da veracidade da conclusão, mas apenas que
forneçam indicações dessa veracidade.
(possibilidade, probabilidade)
Joguei outra
ment
1)
. Não há registros de seres humanos com mais
de 5 metros de altura.
◊ Nunca tivemos um ser humano com mais de 5
metros de altura.
2)
. Alguns porcos tem asas
. Todas as coisas aladas gorjeiam
◊ Alguns porcos gorjeiam
Validade e Probabilidade Indutiva.
Argumentos Dedutivo e Argumentos Indutivos.
Exercícios
3)
. Se houver uma guerra nuclear, a civilização será destruída.
. Haverá uma guerra nuclear
◊ A civilização será destruída por uma guerra nuclear.
4)
. O cloreto de potássio é, quimicamente, muito similar ao sal
de cozinha (cloreto de sódio).
◊ O Cloreto de potássio tem sabor igual ao do sal de cozinha.
Argumento Dedutivo e
Argumento Indutivo: Exercícios
Avalie os seguinte argumentos com relação
aos critérios 1 e 2:
1)
. Todos tem um e um só pai biológico.
. Os irmãos tem o mesmo pai biológico.
. Ninguém é pai biológico de si mesmo.
Não há pai biológico que seja também seu
irmão.
Argumento Dedutivo e
Argumento Indutivo: Exercícios
2)
. Os visitantes da china quase nunca
contraem malária no país.
. José está visitando a China.
José não contrairá malária na China.
3)
Forma do condicional:
Se antecedente então conseqüente
Ex: Se sinto frio então visto o casaco
Formas de Argumento
Conectivo Se ... então
Uma implicação também pode ser
expressa na ordem inversa.
mantém a semântica de
Exemplo:
T é um triângulo se e somente se T é um
polígono de três lados
Formas de Argumento
Conectivo Se e somente se
Um bicondicional pode ser considerado uma
conjunção de dois condicionais:
1. P se e somente se Q
2. P se Q e P somente se Q
3. Se Q então P e P somente se Q
4. Se Q então P e Se P então Q
que equivale a:
5. Se P então Q e Se Q então P
Formas de Argumento
Formalização
Para facilitar o reconhecimento e
comparação de formas de argumento,
cada operador lógico é representado
por um símbolo:
Não é o caso que: ~ ou ┐
E: ^ ou &
Ou: v
Se ... então:
Se e somente se:
Formalização: Linguagem da
Lógica Proposicional
Alfabeto
Símbolos de pontuação: (,)
Símbolos de verdade: true, false
Símbolos proposicionais: P, Q, R, S, P1,
Q1, P2, Q2...
Conectivos proposicionais: ,v,^, ,
Linguagem da Lógica
Proposicional (cont.)
Fórmula
Todo símbolo de verdade ou proposicional
é uma fórmula da Lógica Proposicional
Se H é fórmula então (H) também é
Se H e G são fórmulas, então (HvG),
(H^G), (HG) e (HG) também são
Exercícios:
1) Quais das expressões seguintes são
fórmulas e quais não são:
a) R
b) ( R)
c) PQ
d) (PQ)
e) (P ^ Q)
Linguagem da Lógica
Proposicional (cont.)
Ordem de precedência
,
^,v
Subfórmula: Se H é fórmula
H é uma subfórmula
Se H=(G), então G é subfórmula de H
Se H é do tipo (EvG), (E^G), (EG) ou (EG),
então E e G são subfórmulas de H
Se G é subfórmula de H, então toda subfórmula
de G também é subfórmula de H
Formas de Argumento
Formalização
Exemplo de formalização: Simbolize o
argumento que segue e o represente na
Forma Padrão.
. C
. SA
. CS {C, SA, CS} |-- A
□ A
Formas de Argumento
Composição de conectivos
Nem ... Nem ...
┐(J v M)
Formas de Argumento
Composição de conectivos (cont.)
A menos que...
J M
Formas de Argumento
Formalização
A linguagem consistindo das letras
sentenciais e dos operadores lógicos
juntamente com as regras a serem
empregadas, chama-se a Lógica Proposicional
ou Cálculo Proposicional.
A palavra Cálculo é empregada no sentido de
avaliação ou raciocínio e não no sentido de
diferenciação ou integração
O objetivo fundamental do Cálculo/Lógica é
provar a validade de certas formas de
argumento.