INF1009.

3WC: Lógica para computação

Aula 1: Análise informal de argumentos

Cecília Englander Jefferson Santos Edward Hermann

Lab. TecMF, Dep. Informática, PUC-Rio

2020.1

1/30
INF1009.3WC: Lógica para computação, 2020.1

• Jefferson Santos (jsantos@inf.puc-rio.br)

• Prof.: https://jeffsantos.github.io/aula-pucrio-inf1009/
• Disc.: http://www.tecmf.inf.puc-rio.br/LGRAD
Programa
P1: Lógica proposicional
⇒ Formalização
• Sintaxe
• Semântica (tabela-verdade)
• Tableaux

P2: Lógica de primeira ordem (i)

• Formalização
• Sintaxe
• Tableaux

P3: Lógica de primeira ordem (ii)

• Teoria dos conjuntos (básico)
• Semântica (estruturas)
1. Sentenças, proposições e argumentos

2. Validade de argumentos

3. Logica proposicional
3/30
Lógica

• Estudo da (boa) argumentação / ciência da dedução

• Provê meios sistemáticos para determinar se argumentos são válidos ou
inválidos, i.e., sob quais condições suas conclusões decorrem das premissas

3/30
Sentença

Definição
Uma sentença é uma combinação de palavras que possui significado

Sentenças podem ser. . .

Declarativas João ama Maria / Edson não gosta de futebol / O céu é azul
Interrogativas Por quê? / Que dia é hoje? / Você vai viajar no feriado?
Exclamativas Oba! / Viva! / LOL!
Imperativas Acorde / Arrume o quarto / Vá estudar

4/30
Proposição
Definição
Uma proposição é o significado de uma sentença declarativa.
ou
Uma proposição é uma ideia expressa por uma sentença declarativa, cujo
significado pode ser verdadeiro ou falso.

Exemplo
• O significado da sentença “A terra é redonda” é a proposição verdadeira de
que a terra é de fato redonda
• A sentença “Hidrogênio é mais pesado do que oxigênio” possui como
significado uma proposição falsa

Importante. Estamos interessados apenas em sentenças declarativas

cujo significado é sempre uma proposição verdadeira ou falsa.

5/30
Exemplos

Proposições Não-proposições
• A terra é redonda • Você está entendendo?
• O sol é uma estrela • Cuidado!
• Está chovendo • Aquela cadeira está quebrada (sem
apontar para uma cadeira)
• Olhe para o eclipse
• A casa bonita

6/30
 Exercício
Quais dessas sentenças expressam proposições?
1. {1, 2} ⊆ {1, 2, 3, 5}
2. Nossa!
3. Será que vai chover?
4. A casa é bonita
5. O lírio é amarelo
6. Não fume!
7. Paulo é flamenguista
8. Regina tem olhos verdes
9. 2 + Oceano Pacífico = Beethoven
10. O atual Rei da França é careca
11. Esta proposição é falsa
◦ Indefinido: Se verdadeira então falsa e se falsa então verdadeira

7/30
Argumento
Definição
Um argumento é um conjunto de proposições: zero ou mais premissas e uma
conclusão (justificada pelas premissas)

premissa1 premissa2 ··· premissan

conclusão

Exemplo
Os alunos de computação precisam estudar lógica [premissa]
José é aluno de computação [premissa]
Logo, José precisa estudar lógica {conclusão}

Exemplo
Você me traiu. Disse que ia estudar e meu irmão lhe viu na boate.

8/30
Exercício

Identifique as premissas [] e a conclusão {} dos seguintes argumentos

1. {Ele é Leão}, pois [nasceu na primeira semana de agosto]
2. {A economia não pode ser melhorada} já que [o déficit comercial está
crescendo todo dia]
3. Como [o filme ainda não acabou], {eu não quero ir para cama}

9/30
Argumentos complexos

Definição
Um argumento complexo é um argumento contendo premissas que são
conclusões de outros argumentos

Exemplo
1. [Todo número racional pode ser expresso como quociente de dois inteiros].
Contudo, [π não pode ser expresso como quociente de dois inteiros]. Logo,
{π não é um número racional}.
2. Evidentemente, [π é um número irracional]. Logo, {existe pelo menos um
número não-racional.}
premissa1.1 premissa1.2
conclusão1 premissa2.2
conclusão2

10/30
Análise informal de argumentos

Indicador de conclusão (IC)

Expressão que indica que uma a proposição é uma conclusão
• Portanto, Por isso, Assim, Dessa maneira, Neste caso, Daí, Logo, De modo
que, Então, Assim sendo, Podemos deduzir que, etc.

Indicador de premissa (IP)

Expressão que indica que a proposição é uma premissa
• Pois, Já que, Como, Porque, Assumindo que, Visto que, Admitindo que,
Em vista de, Dado que, Supondo que, etc.

11/30
Indicadores entre proposições

IC entre proposições
Indica que a primeira é premissa e segunda conclusão
• Ele não está em casa, portanto, ele foi pescar.

IP entre proposições
Indica que a primeira é conclusão e a segunda premissa
• Ele não está em casa pois ele foi pescar.

12/30
Indicadores no início da proposições

IC no início
Indica que a proposição é conclusão de proposições anteriores
• É verão e amanhã é feriado. Portanto, vou à praia.

IP no início
Indica que a primeira é premissa e a segunda conclusão
• Já que uma frente fria está a caminho, é provável que chova.

13/30
Exercício

Identifique as premissas e IPs, e a conclusão e ICs dos seguintes argumentos

1. {O composto ouro-argônio, provavelmente, não é produzido no laboratório,
muito menos na natureza} já que [é difícil fazer o argônio reagir com
qualquer outra coisa] e já que [o ouro, também, forma poucos compostos].
2. [A inflação tem caído consideravelmente enquanto as taxas de juros tem
permanecido altas]. Portanto, {em termos reais, o empréstimo tornou-se
mais caro} já que [nessas condições o dinheiro emprestado não pode ser
pago em reais desvalorizados].

14/30
Indicadores dependentes de contexto ou implícitos

Às vezes, a natureza da expressão/indicador depende do contexto

• Ele estava zangado e ficou assim por vários dias

Obs. Nesse caso, “assim” significa “nessa condição” e não “portanto”,

logo não é indicador de inferência.

Indicadores também podem estar implícitos (ausentes)

• Al Capone foi imprudente. Se ele não fosse imprudente, o IRS jamais teria
conseguido condená-lo por sonegar o imposto de renda.

15/30
Argumento válido

Definição
Uma argumento é válido se sua conclusão é verdadeira em todos os casos em
que suas premissas são verdadeiras

Ou seja. A validade é caracterizada pela ausência de contraexemplos,

i.e., casos em que as premissa é verdadeira e a conclusão é falsa.

Exemplo
Todas as macieiras são árvores (1)
Todas as árvores são plantas (2)
Todas as macieiras são plantas (3)

Pergunta. Este argumento é válido? Por quê?

16/30
Forma de argumento válida
Todo A é B • Argumentos dessa forma são sempre válidos,
Todo B é C independente da validade das proposições
Todo A é C • Ou seja, todas as suas instâncias são argumentos
válidos

Novamente. Um argumento é inválido apenas se há algum caso em

que suas premissas são verdadeiras e a conclusão é falsa.

Exemplos
Todos os pássaros são árvores F
Todas as árvores são anjos F
Todos os pássaros são anjos F

Todos os cravos são árvores F

Todas as árvores são flores F
Todos os cravos são flores V
17/30
Lógica proposicional

• Teoria dos argumentos válidos

• Trata da análise das formas de argumento válidas

Argumento (sentido estrito)

Proposições atômicas combinadas via os conectivos proposicionais

¬ “não é o caso que”

∧ “e”
∨ “ou”
→ “se” . . . “então”
↔ “se e somente se”

18/30
Conectivo “Não é o caso que” (¬)

Forma a negação de uma proposição

Exemplo
• Ele é fumante
• Não é o caso que ele é fumante

Variações gramaticais
• Ele não é fumante
• Ele é não fumante
• Ele não fuma

19/30
Conectivo “e” (∧)

Forma a conjunção de duas proposições

Exemplo
• Chove
• Faz calor
• Chove e faz calor

Variações gramaticais
• Chove mas faz calor
• Faz calor porém chove

20/30
Conectivo “ou” (∨)

Forma a disjunção de duas proposições

Exemplo
• Chove
• Faz calor
• Chove ou faz calor

21/30
Conectivo “se” . . . “então” (→)

Forma o condicional de duas proposições: antecedente e consequente

Exemplo
• Sinto frio (antecedente)
• Visto o casaco (consequente)
• Se sinto frio então visto o casaco (condicional)

Variações gramaticais
• Sinto frio, logo visto o casaco
• Sentir frio implica em vestir o casaco
• Visto o casaco se sinto frio

22/30
“Se” . . . “então”: Necessidade e suficiência

S→N
• S é condição suficiente para N
• N é condição necessária para S

Exemplos
• Se é juiz então é advogado
◦ O fato de ser juiz é suficiente para ser advogado
◦ Para ser juiz é necessário ser advogado, mas não é suficiente
• Se x é divisível por 4 então x é par
◦ Ser divisível por 4 é suficiente para ser par
◦ Ser par é necessário para ser divisível por 4

Outro exemplo?

23/30
“Se” . . . “então”: Necessidade e suficiência

Exemplo
• Que condições são necessárias para um aluno ser aprovado em Lógica?
◦ Se aluno foi aprovado, então (suficiente)
assistiu aula, (necessário)
é estudioso,
fez muitos exercícios de lógica e
tem bom método de estudo.

24/30
“Se” . . . “então”: Ordem inversa

Um condicional pode ser expresso em ordem inversa

• Visto o casaco se sentir frio
Mas o significado é o mesmo de
• Se sentir frio, visto o casaco
• Se sentir frio, então visto o casaco

25/30
“Se” . . . “então”: Outras variações

• Se P então Q
• P implica em Q
• P, logo Q
• P só se Q
• P somente se Q
• P apenas se Q
• P só quando Q
• Q se P
• Q segue de P
• P é condição suficiente para Q
• Q é condição necessária para P

26/30
Exercício

Identifique o antecedente e consequente dos seguintes condicionais

1. Se a chuva continuar o rio vai transbordar (Ch→Tr)
2. Maria venderá o carro se comprar a casa (Cmp→Vnd)
3. Maria venderá o carro somente se comprar a casa (Vnd→Cmp)
4. Os abacates só estão maduros quando estão escuros e macios (M→EeM)

27/30
Conectivo “se e somente se” (↔)
Forma o bicondicional de duas proposições
• Conjunção de dois condicionais

Exemplos
• T é um triangulo se e somente se T é um polígono de três lados
• Equivalente a
◦ Se T é um triangulo então T é um polígono de três lados
◦ e
◦ Se T é um polígono de três lados então T é um triangulo

Variações gramaticais
• P se Q e P somente se Q
• Se Q então P e P somente se Q
• Se Q então P e se P então Q
• Se P então Q e se Q então P

28/30
Exercício
Identifique os conectivos utilizados na formação de cada uma das seguintes
proposições e reescreva-as usando apenas os conectivos: “Não é o caso que”,
“e”, “ou”, “se” . . . “então”, “se e somente se”
1. Lógica e álgebra não são disciplinas de matemática
Não é o caso que lógica é disciplina de matemática e não é o caso que álgebra é
disciplina de matemática
2. Aline e Roberto não são namorados
Não é o caso que Aline namora Roberto e não é o caso que Roberto namora Aline
3. Um número natural é par ou ímpar, mas não ambos
4. Nem Igor nem Lucas gostam de brincar
5. Uma condição necessária para que duas retas sejam paralelas é que elas
não se intersectem nem coincidam
Se duas retas são paralelas então não é o caso que elas se intersectem e não é o caso
que coincidam
6. Paulo vai aprender e passar se, e somente se, fizer todos os exercícios
Paulo vai aprender e Paulo vai passar se e somente se Paulo fizer todos os exercícios

29/30
 Exercício (cont.)

7. Seja x um inteiro. Se x2 > 4 então x > 2, dado que x é positivo

8. Uma condição suficiente para o povo ficar feliz é a seleção ganhar
9. Uma condição suficiente para que um numero inteiro n seja par é que n
seja múltiplo de 4
10. Para a inflação subir basta os preços aumentarem
11. O jogo acabará quando o juiz apitar
12. Dada uma função f, uma condição suficiente para que f seja bijetiva é
que f seja injetiva e sobrejetiva
13. Beber água é necessário para viver
14. Se Q é um quadrilátero, então, Q é um paralelogramo se, e somente se,
seus lados opostos são paralelos e tem o mesmo comprimento

30/30
Fim