Lógica para Computação

INF05508 turma C – 2023/2Aula I

Rosa Vicari
 Por que Estudar Lógica

• Lógica é a base de todo pensamento

matemático, e portanto da teoria da
computação
• As regras da lógica permitem a construção de
argumentos corretos
• Usa-se argumentos para provar sentenças
matemáticas (então chamados teoremas)
 Por que Estudar Lógica

• Teoria da Computação, mas também...

• Competências Transferíveis Gerais
(comunicação, resolução de problemas)
• Uso prático em ciência da computação, e.g.:
• Projeto de circuitos para computadores
• Programação, linguagens de programação
• Especificação e verificação de sistemas
• Inteligência Artificial (e.g., raciocínio automático)
 Introdução
• A lógica proposicional é um formalismo
matemático através do qual podemos abstrair
a estrutura de um argumento, eliminando a
ambiguidade existente na linguagem natural.
Esse formalismo é composto por uma
linguagem formal e por um conjunto de
regras de inferência que nos permitem
analisar um argumento de forma precisa e
decidir a sua validade.
 introdução
• Informalmente, um argumento é uma sequência de
premissas seguida de uma conclusão.
• Dizemos que um argumento é válido quando sua
conclusão é uma consequência necessária de suas
premissas. Por exemplo, o argumento:
– Sempre que chove, o trânsito fica congestionado.
– Esta ́ chovendo muito.
– Logo, o trânsito deve estar congestionado.
é válido; pois sua conclusão é uma consequência
necessária de suas premissas.
 Proposição
• Uma proposição é uma declaração afirmativa à
qual se pode associar um valor verdadeiro ou
falso, mas não ambos. Por exemplo,
– “O Brasil fica na América” ́e uma proposição
verdadeira (V), enquanto
– “A lua ́e de queijo” é uma proposição falsa (F).
• A proposição é o elemento básico a partir do qual
os argumentos são construídos, sendo também o
principal objeto de estudo na lógica
proposicional.
 História da Lógica

• Silogismo de Aristóteles
• Exemplo:

Todos os homens são mortais (P)

Sócrates é homem (P) Logo,
Sócrates é mortal (C)
 Paradoxos
• "Esta sentença é falsa".
 Lógica Proposicional
• Proposições
• Sentenças declarativas ou são verdadeiras ou falsas
• Exemplos de sentenças declarativas:
• “Brasília é a capital do Brasil.”
• “Está chovendo agora.”
• “2 + 2 = 5”
=>“Você está feliz?” e
=>“Façam os exercícios por favor.”
não são proposições
 Sintaxe da lógica proposicional
• Os símbolos usados na lógica proposicional são as constantes ⊥ ou
F (falso) e T ou V (verdade), os símbolos proposicionais (i.e., letras
minúsculas do alfabeto latino ou grego) e os conectivos lógicos

¬ (não), ∧ (e), ∨ (ou) e → (então). São fórmulas bem-formadas

na ló́gica proposicional:

as constantes ⊥ e T (valores-verdade) ou F e V;
– os símbolos proposicionais;
e, se α e β forem fórmulas bem-formadas (1),
¬α, α∧β, α∨β e α→β.
(1) Usamos letras minúsculas do alfabeto grego para denotar fórmulas
genéricas.
Alfabeto Grego
 Linguagem
Uma notação usada é: letras (p, q, r, ...) para
denotar variáveis proposicionais; também
chamados símbolos proposicionais
• O valor verdade de uma proposição é denotado
por:
• T (para verdadeiro)
• F (para falso)
• Produz-se proposições compostas usando
operadores lógicos (conectivos)
Resumindo: Representação e inferência
• O que não pode faltar quando se fala de
Representação e inferência em lógica?
– Delimitação de contexto
– Premissas de Representação
– Sintaxe e Semântica
– Raciocínio
– Verificação de Validade
 Resumindo: Delimitação de Contexto
• Aristóteles foi quem estabeleceu a Lógica como uma Disciplina Formal
• Preocupada com a utilização e estudo de raciocínio válido. Devido a isto, sua
popularidade em disciplinas como matemática e ciência da Computação

• Lógica Formal: Lida com o estudo da inferência com conteúdo puramente

formal
• Lógica Simbólica, estudo das abstrações simbólicas que capturam
características formais da inferência lógica
• Lógica Matemática, Subconjunto da matemática que explora a aplicação
da lógica formal na matemática
• Lógica Informal: Lida com aspectos que não são contemplados pela lógica
formal, como por exemplo a utilização de linguagem natural. Basicamente
lidando com as falácias, ex: deduções incorretas
 Resumindo: Premissas de representação

Conceito de Forma:

A validade de um argumento é
determinada pela sua forma lógica e não
pelo seu conteúdo.
Resumindo: Sintaxe e Semântica

Argumento:
Conjunto de uma ou mais sentenças declarativas,
também conhecidas como proposições ou
premissas, acompanhada de uma sentença
declarativa chamada de conclusão.
 Resumindo: Sintaxe e Semântica
Lógica Proposicional Mais Expressiva que Proposicional

Utiliza-se dos conectivos lógicos

Lógica Predicados ( Lógica de Primeira
˄ Conjunção
Ordem)
˅ Disjunção
¬ Negação Utiliza-se dos Quantificadores
→ Condicional Existenciais

Sentença: Se amamenta então é ᴲ Quantificador Existencial

Mamífero ∀ Quantificador
Sentença: Universal
Alguns homens são
Sintaxe.......: a → b cultos
Semântica..: a condiciona em b Sintaxe: ∃X[h(X) ∧ c(X)]
Semântica: existe X tal que X∈h
e X∈c
 BASE

Tabela Verdade
 Negação
• Seja p uma proposição. A negação de p é a proposição:
“Não é o caso que p.”
• A negação é denotada pelo operador ¬ ou ~
P ¬P
T F
F T
Tabela Verdade da Negação

• A fórmula ¬p é lida “não p”; seu valor verdade é o oposto

de p
• Exemplo: A negação de “Hoje é sexta.” é “Não é o caso
que hoje é sexta.” ou “Hoje não é sexta.”
 Conjunção
•Sejam p e q proposições. Tabela Verdade da
A conjunção de p e q é a Conjunção
proposição “p e q.”
p q p∧q
• A conjunção é denotada pelo operador∧ T T T
•A fórmulap ∧ q T F F
é verdadeira quando p e q F T F
são verdadeiros, e falsa c.c. F F F
• Seja p “Hoje é sexta.” e
q “Está chovendo hoje.”;
a conjunção é “Hoje é sexta
e está chovendo hoje.”
 Disjunção
• Sejam p e q proposições. A disjunção de p e q
é a proposição “p ou q.”
• A disjunção é denotada pelo operador V
• Exemplo: “Hoje é sexta ou está chovendo
hoje” (também verdade em sextas chuvosas)
• p∨q é falsa quando p e q são falsas
 Tabela Verdade da Disjunção
P q pVq
T T T
T F T
F T T
F F F
 Tipos de OU
• A disjunção corresponde ao significado
“inclusivo” do “ou” em Português como em:
“Alunos que fizeram Cálculo ou Computação
podem fazer esta disciplina.”
• Poderíamos usar outro operador com o
significado de ou em: “Alunos que fizeram
Cálculo ou Computação, mas não ambas,
podem fazer essa disciplina.”
• O símbolo ∨ será empregado para representar
um dos significados usuais do conetivo “ou”
em frases da linguagem natural. O significado
assumido por este símbolo é o do “ou
inclusivo” que somente será falso se ambas as
sentenças sendo conectadas por ele forem
falsas, isto é, A ∨ B será falsa somente se
ambas A e B forem falsas. Diz-se que o
símbolo ∨ representa a disjunção lógica das
proposições A e B.
 Tipos de OU
• Dica: uma disjunção somente é falsa, quando
todas as proposições que a compõem são
falsas, e é verdadeira em todos os outros
casos.
 Implicação
• O símbolo → será usado para representar
sentenças como “se chover, então a rua ficará
molhada”, ou então “não estudar implica tirar
notas baixas” ou também “não fui ao cinema
porque o carro estragou”
• Geralmente estas sentenças podem ser
reescritas no formato “Se sentença A, então
sentença B” que simbolicamente fica apenas:
A → B.
 Implicação
• A noção que este operador lógico pretende
capturar é a de existência de implicação ou de
consequência entre as sentenças. Dessa forma
a sentença B não poderia ser falsa se a
sentença A fosse verdadeira.
 Implicação
• Isto significa que se considera que a sentença
simbolizada por A→B seria falsa somente no
caso em que A é verdadeira e B falsa. Nos
outros casos a expressão A→B seria
verdadeira.
 Implicação
• O conectivo → é normalmente denominado
de operador de implicação (às vezes, também
é denominado de operador condicional).
• A proposição A, na fórmula A→B, é
denominada de condição (ou antecedente) da
implicação e a proposição B é denominada de
conclusão (ou consequente) desta implicação.
 Sentenças condicionais
• Sejam p e q proposições. A sentença
condicional (também chamada implicação) de
p e q é a proposição “se p, então q.”
• A implicação é denotada pelo operador →
• A fórmula p → q é falsa quando p é verdadeira
e q é falsa, e verdadeira c.c.
• p é o antecedente (ou premissa, ou hipótese)
• q é o consequente (ou conclusão, or
consequência)
 Tabela Verdade Implicação
P q p→q
T T T
T F F
F T T
F F T
 Implicação Material
• Não há noção de causalidade ou relevância
como no uso normal de condicionais em
linguagem natural.
• “Se 2 é um número ímpar, então pinguins
voam.”
• “Se a crise dos bancos não causar recessão,
então Londres é na Inglaterra.”
 Condicional p→q

•“se p, então q”
• “p implica q”
• “p somente se q”
• “uma condição suficiente para q é p”
• “q sempre que p”
• “q é necessário para p”
• “q segue de p”
•“se p, q”
• “p é suficiente para q”
•“q se p”
•“q quando p”
•“uma condição necessária para p é q”
•“q a menos que ¬p”
(1)Se o time joga bem, ganha o campeonato.
(2) Se o time não joga bem, o técnico é culpado.
(3) Se o time ganha o campeonato, os torcedores ficam contentes.
(4) Os torcedores não estão contentes.
(5) Logo, o técnico é culpado.

p : “o time joga bem”

q : “o time ganha o campeonato” Proposições
r : “o técnico é culpado”
s : “os torcedores ficam contentes”

(1) p → q
(2) ¬p → r
(3) q → s Fórmulas
(4) ¬s
(5) r
 fórmulas
(1) p → q
(2) ¬p → r
(3) q → s
(4) ¬s
(5) r
∆ φ
{p→q, ¬p→r, q→s, ¬s}|= r
sendo que a notação ∆ |= φ estabelece que a fórmula φ
é uma consequência lógica do conjunto de fórmulas ∆.
 Revisando
• Uma fórmula da forma ¬α é denominada negação da
fórmula α e dizemos que α e ¬α são fórmulas
complementares.

• Fórmulas da forma α∧β conjunção e

α∨β disjunção.

• Uma fórmula da forma α → β é denominada

condicional, sendo α o seu antecedente e β o seu
consequente.
 Revisando
• A ordem de precedência dos conectivos é (da
maior para a menor): ¬, ∧, ∨ e →. Caso uma
ordem diferente seja desejada, podemos usar
parêntesis. Por exemplo, na fórmula
• ¬p ∧ q, a negação afeta apenas o símbolo
proposicional p;
• para que ela afete a conjunção de p e q,
devemos escrever ¬(p ∧ q).
 Exercício 1
• Usando lógica proposicional, formalize as sentenças a
seguir:
1. Se Ana é alta e magra, então ela é elegante.
2. Se Beto é rico, então ele não precisa de empréstimos.
3. Se Caio ama a natureza, então ele ama as plantas e os
animais.
4. Se Rosa jogar na loteria, então ela ficará rica ou
desiludida.
5. Se faz frio ou chove, então Rafael fica em casa e vê
tevê.
 Exercício 2
• Usando a lógica proposicional, formalize os
argumentos a seguir:

- Quando o filme é bom, o cinema fica lotado. Como a

crítica diz que este filme é muito bom, podemos
imaginar que não encontraremos lugares livres.
– Sempre que chove à tarde, à noite, o trânsito na BR
116 fica congestionado. Como agora à noite o trânsito
na BR 116 esta ́ fluindo bem, concluímos que não
choveu à tarde.
 Exercício 3
– Se existissem ET ́s, eles ja ́ nos teriam enviado
algum sinal. Se nos tivessem enviado um sinal,
teríamos feito contato. Portanto, se existissem
ET ́s, ja ́ teríamos feito contato com eles.
 Exercíco 4
Agora responda as seguintes questões:
• (a) Se A é verdadeira e B verdadeira, que valor você
atribuiria a A ∧ B?
• (b) Se A é verdadeira e B falsa, que valor você
atribuiria a A ∧ B?
• (c) Se A é falsa e B verdadeira, que valor você
atribuiria a A ∧ B?
• (d) Se ambas A e B são falsas, que valor você
atribuiria a A ∧ B?