Lógica em Fundamentos Matemáticos Da Informática

Fundamentos Matemáticos da Informática
Lógica Matemática
Prof. Ricardo Custódio, Dr.

ricardo.custodio@ufsc.br
13 de agosto de 2019
1 / 38
Lógica
Introdução
Definição
Conectivos Lógicos
Operadores e Conectivos
Implicação
Proposições Compostas
Argumentos
2 / 38
Lógica Formal
Lógica é a disciplina que lida com os métodos de raciocı́nio

• a Lógica provê regras e técnicas para determinar se um dado
argumento é válido
• aplicações diretas: projeto de circuitos computacionais,
construção e verificação de programas
3 / 38
Proposições Lógicas
Asserção
uma declaração (sentença declarativa)
Proposição
uma asserção que é verdadeira (V ) ou falsa (F ), mas não ambos
Valor verdade
é o resultado da avaliação de uma proposição (V ou F )
4 / 38
Proposições
Exemplo
1. 2+3=5 proposição, verdadeira
2. 7 não é um número par proposição, verdadeira
3. Pirataria é crime proposição, verdadeira
4. x >3 asserção, mas não proposição
6. Você fala inglês? nem asserção, nem proposição
7. Abra aquela porta nem asserção, nem proposição
Observação
Observe que o valor verdade (V ou F ) de uma proposição não é
necessariamente conhecido
Exemplo: ”A temperatura na superfı́cie do planeta Vênus é de

400◦ C”é uma proposição
5 / 38
Proposições
Lógica
Em Lógica, as proposições podem ser denotadas por sı́mbolos, tais
como p,q,r ,..., os quais são chamados de variáveis proposicionais
Exemplo
1. p: o Sol está brilhando hoje
2. q: 2 + 3 = 5
• Normalmente, uma argumentação não se limita ao uso de
sentenças simples
• Novas proposições podem ser construı́das a partir de proposições
existentes, com o auxı́lio de operadores lógicos, para obter
proposições compostas
6 / 38
Operador Negação
• A sentença:
”Não é verdade que p”
é uma outra proposição, chamada de negação de p

Notação
¬p, not p, ∼p
Exemplo
• q: ”Hoje é quarta-feira”
• ¬q: ”Não é verdade que hoje é quarta-feira”, ou
• ¬q: ”Hoje não é quarta-feira”
7 / 38
Negação e Tabela Verdade
Da definição de negação segue que:

- se p é Verdadeiro, então ¬p é Falso
- se p é Falso, então ¬p é Verdadeiro
Logo, o valor verdade de ¬p, relativo a p, é dado por
p ¬p
F V
V F
Tabela Verdade
• Fornece os valores verdade de uma proposição composta em
termos dos valores verdade de suas partes componentes
• Útil na determinação dos valores verdade de proposições
construı́das a partir de sentenças mais simples
8 / 38
Conectivos Lógicos
Operador Unário
constrói uma nova proposição a partir de uma única proposição
Conectivos
operadores lógicos usados para formar novas proposições a partir
de duas ou mais proposições já existentes
Operador Binário
constrói uma nova proposição a partir de outras duas proposições
9 / 38
Operador Conjunção
Operação ”E”
Notação: p ∧ q, p e q ou p and q
Tabela Verdade
p q p∧q
F F F
F V F
V F F
V V V
10 / 38
Exemplos de Conjunção
1. p: hoje é terça-feira
q: está chovendo hoje
p ∧ q: hoje é terça e está chovendo hoje
Conjunção
p q p∧q
F F F 2. p: 2 < 3
F V F q: −5 > −8
p ∧ q: 2 < 3 e −5 > −8
V F F
V V V
3. p: está chovendo hoje
q: 3 < 5
p ∧ q: está chovendo hoje e 3 < 5
11 / 38
Operador Disjunção
Operação ”OU”
Notação: p ∨ q, p ou q ou p or q
Tabela Verdade
p q p∨q
F F F
F V V
V F V
V V V
12 / 38
Exemplos de Disjunção
1. p: 221
√ é um inteiro positivo
q: 11 é um número racional √
Disjunção
p ∨ q: 221 é um inteiro positivo ou 11 é
p q p∨q
um racional (V )
F F F
F V V
V F V 2. p: 2 + 7 6= 9
V V V q: A goiaba é um animal
p ∨ q: 2 + 7 6= 9 ou A goiaba é um animal
(F )
13 / 38
Exemplo
Suponha que x ∈ <. Sejam ”p : 0 < x”, ”q : x < 5”e ”r : x = 5”.

Então
1. x ≤ 5
q∨r
2. 0 < x < 5
p∧q
3. 0 < x ≤ 5
p ∧ (q ∨ r )
14 / 38
Ou Inclusivo e Ou Exclusivo
O conectivo ou pode ser interpretado de duas maneiras distintas
Ou Inclusivo Ou Exclusivo
”Eu passei em Matemática ou ”Eu viajei para São Paulo de

eu rodei em Economia” carro ou eu viajei para São
Paulo de ônibus”
pelo menos uma das somente uma das

possibilidades ocorreu, mas possibilidades pode ter
ambas poderiam ter ocorrido ocorrido
15 / 38
Disjunção Exclusiva
Operação ”OU Exclusivo”ou ”XOR”

Notação: p ⊕ q, p xor q ou p ou q (mas não ambos)
Tabela Verdade
p q p⊕q V
F F F
F V V quando exatamente um dos
V F V dois for
V V F V
16 / 38
Condicional ou Implicação
Notação: p → q
Tabela Verdade
p q p→q Note que p → q é V quando:
F F V • p e q são ambos V
F V V • p é F (não importando q)
V F F
V V V
Maneiras de expressar p → q Na expressão p → q

- se p, então q - p é chamado de hipótese ou
- p é condição suficiente para q antecedente
- q é condição necessária para p - q é chamado de conclusão ou
- p somente se q conseqüente
- p é conseqüência de q
17 / 38
Exemplos de Condicional
• A sentença:
”Fogo é uma condição necessária para fumaça”
pode ser reformulada como:
”Se há fumaça, então há fogo”
• logo:
- o antecedente é: ”Há fumaça”
- o conseqüente é: ”Há fogo”
18 / 38
Exercı́cios
Indique o antecedente e o conseqüente em:

1. ”Se a chuva continuar, o rio vai transbordar”
2. ”Uma condição suficiente para a falha de uma rede é que a
chave geral pare de funcionar”
3. ”Os abacates só estão maduros quando estão escuros e
macios”
19 / 38
Análise do Condicional
Quando usada na linguagem normal, a implicação p → q supõe

uma relação de causa e efeito entre p e q
Exemplo
”Se amanhã chover, eu vou ficar em casa”
Em Lógica, p → q diz apenas que não teremos p Verdadeiro e q

Falso ao mesmo tempo
Exemplo
”Se pedra é ouro, então 1 + 1 = 20”
20 / 38
Análise do Condicional
Note que se p é Falsa, então p → q é Verdadeira para qualquer q,

ou seja:
”Uma falsa hipótese implica em qualquer conclusão”
Exemplo
”Se 2 + 2 = 5, então no Brasil não há corrupção”
Exercı́cio
Quando é que a implicação:
”Se hoje é terça, então 2 + 3 = 6”é Verdadeira?
21 / 38
Representação alternativa da Condicional
Usando somente ¬, ∨ e ∧
p → q ≡ ¬p ∨ q
Negação
¬(p → q) ≡ ¬(¬p ∨ q)
≡ ¬(¬p) ∧ ¬q
≡ p ∧ ¬q
Exemplo
s: Se (eu estou doente)=[p] então (eu não posso ir ao cinema)=[q] .
¬s: (eu estou doente)=[p] e (eu posso ir ao cinema)=[¬p] .
22 / 38
Proposição Condicional: Converse
O termo converse é traduzido em

• Matemática Discreta e suas Aplicações, Kenneth H. Rosen,
6a. Edição, por oposta
• Fudamentos Matemáticos para a Ciência da Computação,
Judith L. Gersting, 5a. Edição, por recı́proca
• Matemática Discreta, Seymour Lipschitz & Marc Lipson, 2a.
Edição, por conversa
Nesta disciplina usaremos oposta
23 / 38
Oposta, inversa e Contrapositiva
Definição
- a oposta de p → q é q → p
- a inversa de p → q é ¬p → ¬q
- a contrapositiva de p → q é ¬q → ¬p
Exemplo
”Se José é catarinense, então José é brasileiro”
p: José é catarinense
p→q q: José é brasileiro
q → p: ”Se José é brasileiro, então José é catarinense.”

¬p → ¬q: ”Se José não é catarinense, então José não é brasileiro.”
¬q → ¬p: ”Se José não é brasileiro, então José não é catarinense.”
24 / 38
Bicondicional ou Equivalência (p → q ∧ q → p)
Notação: p ↔ q
Tabela Verdade
p q p↔q
Note que p ↔ q é V somente
F F V
quando p e q têm o mesmo valor
F V F
verdade
V F F
V V V
Exercı́cio
Maneiras de expressar a equivalência ”3 > 2 se e somente se
p↔q 0 < 1”é Verdadeira?
• p se e somente se q Resposta:
• p é necessário e suficiente p: 3 > 2 é V
para q q: 0 < 1 é V
• se p então q, e oposta logo: p ↔ q é Verdadeira
25 / 38
Quantificadores
• {x — P(x)} é um objeto t para o qual P(t) é verdade

• P(x) é chamado um predicado ou função proposicional
Quantificação Universal
• Para todos os valores de x, P(x) é verdade é denotado como
∀xP(x)
• O sı́mbolo ∀ é chamado quantificador universal
Quantificação Existencial
• Existe um valor para o qual P(x) é verdadeiro é denotado
como ∃xP(x)
• O sı́mbolo ∃ é chamado quantificador existencial
26 / 38
• São argumentações que têm muitas proposições

• São construı́das com o auxı́lio dos operadores lógicos
Exemplos
s: p → (q ∧ (p → r ))
r : ¬(p ↔ q) ↔ [(p ∧ ¬q) ∨ (q ∧ ¬p)]
t: [¬p ∧ (p ∨ q)] → q
27 / 38
Traduzindo Sentenças para Lógica
Exercı́cio
Encontrar a proposição que traduz a seguinte sentença:
”Você não pode andar de patins se você tem menos do que 1, 20m
a não ser que você tenha mais do que 16 anos”
Solução
q: ”Você pode andar de patins”
r : ”Você tem menos do que 1, 20m”
s: ”Você tem mais do que 16 anos”
a sentença pode ser traduzida por:
p: (r ∧ ¬s) → ¬q
28 / 38
Proposições compostas e Tabelas Verdade
A sentença: s : p → (q ∧ (p → r ))
• envolve 3 proposições independentes
• logo, há 23 = 8 situações possı́veis
p q r p → (q ∧ (p → r ))
V V V V
V V F F
V F V V
V F F F
F V V V
F V F F
F F V V
F F F F
29 / 38
Construindo Tabelas Verdade
A tabela verdade de uma proposição composta de n variáveis

proposicionais é obtida por:
1. As primeiras n colunas da tabela devem ser rotuladas com as
variáveis proposicionais - outras colunas servirão para
combinações intermediárias
2. Sob cada uma das primeiras colunas, lista-se os 2n possı́veis
conjuntos de valores verdade das variáveis proposicionais
3. Para cada linha, determina-se os valores verdade restantes
30 / 38
Exemplo
Determine a tabela verdade de (p ∨ q) → (r ↔ p)

Solução
p q r p∨q r ↔p (p ∨ q) → (r ↔ p)
V V V V V V
V V F V F F
V F V V V V
V F F V F F
F V V V F F
F V F V V V
F F V F F V
F F F F V V
31 / 38
Outro Exemplo
Determine a tabela verdade de (p → q) ↔ (¬q → ¬p)

Solução
p q p→q ¬q ¬p ¬q → ¬p (p → q) ↔ (¬q → ¬p)

V V V F F V V
V F F V F F V
F V V F V V V
F F V V V V V
- %
Equivalentes
32 / 38
Classificação de Proposições Compostas
Tautologia
Proposição que é sempre verdadeira
Exemplo: p ∨ ¬p
Contradição ou Absurdo
Proposição que é sempre falsa
Exemplo: p ∧ ¬p
Contingência
Proposição que pode ser V ou F , dependendo dos valores verdade
de suas variáveis proposicionais (nem tautologia nem contradição)
33 / 38
Equivalência Lógica
• Se p ↔ q é uma tautologia, as proposições p e q são ditas

logicamente equivalentes
Notação: p ⇔ q ou p ≡ q
• Se p ≡ q, os dois lados são simplesmente diferentes modos de

construir a mesma sentença
• Um importante recurso usado na argumentação lógica é a

substituição de uma proposição por outra que seja equivalente
34 / 38
Determinação da Equivalência
Usando Tabelas Verdade

Exemplo: Mostre que ¬(p ∨ q) e ¬p ∧ ¬q são equivalentes
Solução
p q p∨q ¬(p ∨ q) ¬p ¬q ¬p ∧ ¬q
V V V F F F F
V F V F F V F
F V V F V F F
F F F V V V V
35 / 38
Equivalências que são tautologias Importantes
Lei Equivalência
p∨p ⇔p
Idempotência
p∧p ⇔p
Dupla negação ¬¬p ⇔ p
p∨q ⇔q∨p
Comutatividade
p∧q ⇔q∧p
(p ∨ q) ∨ r ⇔ p ∨ (q ∨ r )
Associatividade
(p ∧ q) ∧ r ⇔ p ∧ (q ∧ r )
p ∨ (q ∧ r ) ⇔ (p ∨ q) ∧ (p ∨ r )
Distributividade
p ∧ (q ∨ r ) ⇔ (p ∧ q) ∨ (p ∧ r )
¬(p ∧ q) ⇔ ¬p ∨ ¬q
De Morgan
¬(p ∨ q) ⇔ ¬p ∧ ¬q
36 / 38
Uso das Equivalências
Exemplo
p ∨ q : ”O rio é raso ou poluı́do”
¬(p ∨ q) : ?
• pelas leis de De Morgan: ¬(p ∨ q) ⇔ ¬p ∧ ¬q
• logo:
¬(p ∨ q) : ”O rio não é raso e nem poluı́do”
Note que ¬(p ∨ q) NÃO É equivalente a
”O rio não é raso OU não é poluı́do”
37 / 38
Exemplo
Mostre que ¬(p ∨ (¬p ∧ q)) e ¬p ∧ ¬q são logicamente

equivalentes
Solução
¬(p ∨ (¬p ∧ q)) ⇔
⇔ ¬p ∧ ¬(¬p ∧ q) 2a. Lei de De Morgan
⇔ ¬p ∧ (¬¬p ∨ ¬q) 1a. Lei de De Morgan
⇔ ¬p ∧ (p ∨ ¬q) Dupla negação
⇔ (¬p ∧ p) ∨ (¬p ∧ ¬q) Distributividade
⇔ F ∨ (¬p ∧ ¬q) pois (¬p ∧ p) é Falso
⇔ ¬p ∧ ¬q pois (p ∨ F ) ⇔ p
38 / 38

Lógica em Fundamentos Matemáticos Da Informática

Загружено:

Сведения о документе

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Lógica em Fundamentos Matemáticos Da Informática

Загружено:

Авторское право:

Доступные форматы

Fundamentos Matemáticos da Informática

Prof. Ricardo Custódio, Dr.

Lógica é a disciplina que lida com os métodos de raciocı́nio

Exemplo: ”A temperatura na superfı́cie do planeta Vênus é de

”Não é verdade que p”

é uma outra proposição, chamada de negação de p

Da definição de negação segue que:

Suponha que x ∈ <. Sejam ”p : 0 < x”, ”q : x < 5”e ”r : x = 5”.

O conectivo ou pode ser interpretado de duas maneiras distintas

”Eu passei em Matemática ou ”Eu viajei para São Paulo de

pelo menos uma das somente uma das

Operação ”OU Exclusivo”ou ”XOR”

Maneiras de expressar p → q Na expressão p → q

Indique o antecedente e o conseqüente em:

Quando usada na linguagem normal, a implicação p → q supõe

”Se amanhã chover, eu vou ficar em casa”

Em Lógica, p → q diz apenas que não teremos p Verdadeiro e q

”Se pedra é ouro, então 1 + 1 = 20”

Note que se p é Falsa, então p → q é Verdadeira para qualquer q,

”Uma falsa hipótese implica em qualquer conclusão”

”Se 2 + 2 = 5, então no Brasil não há corrupção”

”Se hoje é terça, então 2 + 3 = 6”é Verdadeira?

O termo converse é traduzido em

q → p: ”Se José é brasileiro, então José é catarinense.”

• {x — P(x)} é um objeto t para o qual P(t) é verdade

• São argumentações que têm muitas proposições

a sentença pode ser traduzida por:

A tabela verdade de uma proposição composta de n variáveis

Determine a tabela verdade de (p ∨ q) → (r ↔ p)

Determine a tabela verdade de (p → q) ↔ (¬q → ¬p)

p q p→q ¬q ¬p ¬q → ¬p (p → q) ↔ (¬q → ¬p)

• Se p ↔ q é uma tautologia, as proposições p e q são ditas

• Se p ≡ q, os dois lados são simplesmente diferentes modos de

• Um importante recurso usado na argumentação lógica é a

Usando Tabelas Verdade

Note que ¬(p ∨ q) NÃO É equivalente a

”O rio não é raso OU não é poluı́do”

Mostre que ¬(p ∨ (¬p ∧ q)) e ¬p ∧ ¬q são logicamente

Вам также может понравиться