MD01 - Lógica Formal

Lógica Formal
EDUARDO FREIRE NAKAMURA

Instituto de Computação
Universidade Federal do Amazonas
nakamura@icomp.ufam.edu.br
1Este
material baseia-se no material da professora Eulanda Miranda dos Santos (emsantos@icomp.ufam.edu.br) e no livro
GERSTING, Judith L. Fundamentos Matemáticos para a Ciência da Computação: um Tratamento Moderno de Matemática Discreta, 5a ed. Livros Técnicos e Científicos, 2004.
Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)

12/03/18
Linha do tempo
2
http://en.wikipedia.org/wiki/Aristotle
século IV
a.C.
Aristóteles (384 a.C. – 322 a.C.) filósofo grego. Sistematizou a lógica, definindo as
formas de inferência que eram válidas e as que não eram, formando um
conjunto de regras para raciocínio dedutivo que pode ser usado em qualquer
área do conhecimento.

Linha do tempo
3
http://en.wikipedia.org/wiki/Gottfried_Wilhelm_Leibniz
século IV século XVI

a.C. d.C.
Gottfried Wilhelm von Leibniz (1646 – 1716) filósofo e matemático alemão,

conhecido por ter criado o cálculo integral e diferencial independentemente de
Isaac Newton.
Uso de símbolos para mecanizar o processo de raciocínio dedutivo.

Linha do tempo
4
http://en.wikipedia.org/wiki/Gottfried_Wilhelm_Leibniz
http://en.wikipedia.org/wiki/Augustus_De_Morgan
http://en.wikipedia.org/wiki/George_Boole
século IV século XVI século XIX século XIX

a.C. d.C. d.C. d.C.
George Boole (1815 – 1864) filósofo e matemático inglês e Augustus De Morgan

(1806 – 1871) matemático inglês.
Bases da lógica simbólica moderna usando as ideias de Leibniz.

Lógica Formal
5
 Fornece bases para o método de pensar organizado
 Expressa métodos de raciocínio sob a forma de

argumentos
 Tem duas aplicações diretas em Ciência da Computação
1. Programação Lógica
2. Prova se programas estão corretos ou não
 É análoga à lógica de circuitos de um computador

Lógica Formal
6
 Exemplos de utilização em computação:

 Inteligência Artificial
 Circuitos Lógicos
 Banco de Dados
 Sistemas Computacionais (hardware e software)
 Sistemas Distribuídos
 Teoria de autômatos e computabilidade
 Teoria de linguagens

Proposições
7
 Uma proposição é uma sentença declarativa que admite apenas

um dos dois valores lógicos (verdadeiro ou falso), nunca ambos
 Proposições?????
 Manaus é a capital do Amazonas

 1+1=2
 Como você está?
 9<6
 Estudem regularmente
 Londres é na Dinamarca
 Matemática Discreta é fácil
Proposições
8
 PROPOSIÇÕES ATÔMICAS não podem ser sub-divididas em

proposições mais simples
 Ex: O servidor de arquivos está desligado
 PROPOSIÇÕES COMPOSTAS são combinações de proposições

atômicas via conectivos lógicos
 Ex: A rede local está mal configurada ou o servidor de arquivos
está desligado
 O valor verdade é completamente determinado pelos valores-
verdade das subproposições junto com a forma como estão
conectadas
Proposições
9
 PROPOSIÇÕES ATÔMICAS são representadas por meio de

variáveis proposicionais
 Variáveis proposicionais: (P, Q, R, S,...)
 Constantes proposicionais: (V, F)  (V, F)
 Nas PROPOSIÇÕES COMPOSTAS, as variáveis proposicionais são

combinadas através de, pelo menos, um operador ou conectivo
lógico
 Operadores lógicos são utilizados para combinar proposições e
formar novas proposições

Conectivos lógicos básicos
10
Proposições atômicas
 Terminologia
P: MD é fácil
 Negação: ¬ Q: Cálculo é fácil
 Conjunção: ∧
 Disjunção: ∨
 Condicional: 
¬Q: (não Q)
 Bicondicional:  Cálculo não é fácil
Cálculo é difícil

11
 Terminologia
P: MD é fácil
P∧Q: (P e Q)
MD é fácil e Cálculo também
 Bicondicional: 
P∧¬Q: (P e não Q)
MD é fácil, mas Cálculo não é

12
 Terminologia
P: MD é fácil
P∨Q: (P ou Q)
MD é fácil ou Cálculo é fácil
P∨¬Q: (P ou não Q)
MD é fácil ou Cálculo não é fácil

Exercícios 01a
13
1. Escreva as seguintes sentenças como proposições em lógica:

a) Agesilau vai sair mais cedo e não vai voltar.
b) Hermosina é aluna de MD e Agesilau também.
c) Hermosina está no laboratório e Agesilau não, ou ele está e ela não.
2. Considere as seguintes proposições:
P: “Ariosto é rico” Q: “Ariosto é educado”
Escreva as proposições abaixo em Lógica Formal:
a) Ariosto não é nem rico e nem educado.
b) Ariosto é rico, ou é pobre e educado.
c) É falso que Ariosto seja rico e educado.
d) Não é falso que Ariosto é mal educado ou ele é pobre. Slide 45

Exercícios 01b
14
Crie suas próprias proposições atômicas (ao menos duas)

e proposições compostas a partir delas (ao menos
quatro).

Tabela verdade
15
 Ferramenta usada para
http://pt.wikipedia.org/wiki/Gottlob_Frege
http://pt.wikipedia.org/wiki/Charles_Sanders_Peirce
determinar os valores de
uma expressão lógica
 Gottlob Frege e Charles

Peirce, em 1880
http://pt.wikipedia.org/wiki/Emil_Post
http://pt.wikipedia.org/wiki/Ludwig_Wittgenstein
 Emil Post e Ludwig
Wittgenstein, em 1922
forma atual

Tabela verdade e conectivos lógicos
16
 Negação Negação
P ¬P
V F
F V
Se P é verdade, então ¬P é
falso; e se P é falso ¬P é
verdade

17
 Conjunção Conjunção
P Q P∧Q
V V V
V F F
Se P e Q são verdade, F V F
então P∧Q é verdade; caso F F F
contrário P∧Q é falso

Exemplo da conjunção
18
Vou ao cinema se dispuser

de tempo E tiver dinheiro

19
 Disjunção Disjunção
P Q P∨Q
V V V
V F V
Se P e Q são falsos, então F V V
P∨Q é falso; caso contrário F F F
P∨Q é verdade.

Exemplo da disjunção
20
Irei à festa se tiver

dinheiro OU ganhar um
convite

Tabela verdade: proposição composta
21
 Qual a tabela verdade da proposição ¬(P∧¬Q) ?
¬(P∧¬Q)
P Q
V V
V F
F V
F F

22
¬(P∧¬Q)
P Q ¬Q
V V
V F
F V
F F

23
¬(P∧¬Q)
P Q ¬Q
V V F
V F
F V
F F

24
¬(P∧¬Q)
P Q ¬Q
V V F
V F V
F V
F F

25
¬(P∧¬Q)
P Q ¬Q
V V F
V F V
F V F
F F

26
¬(P∧¬Q)
P Q ¬Q
V V F
V F V
F V F
F F V

27
¬(P∧¬Q)
P Q ¬Q
V V F
V F V
F V F
F F V

28
¬(P∧¬Q)
P Q ¬Q P∧¬Q
V V F F
V F V
F V F
F F V

29
¬(P∧¬Q)
P Q ¬Q P∧¬Q
V V F F
V F V V
F V F
F F V

30
¬(P∧¬Q)
P Q ¬Q P∧¬Q
V V F F
V F V V
F V F F
F F V

31
¬(P∧¬Q)
P Q ¬Q P∧¬Q
V V F F
V F V V
F V F F
F F V F

32
¬(P∧¬Q)
P Q ¬Q P∧¬Q
V V F F
V F V V
F V F F
F F V F

33
¬(P∧¬Q)
P Q ¬Q P∧¬Q ¬(P∧¬Q)
V V F F V
V F V V
F V F F
F F V F

34
¬(P∧¬Q)
P Q ¬Q P∧¬Q ¬(P∧¬Q)
V V F F V
V F V V F
F V F F
F F V F

35
¬(P∧¬Q)
P Q ¬Q P∧¬Q ¬(P∧¬Q)
V V F F V
V F V V F
F V F F V
F F V F

36
¬(P∧¬Q)
P Q ¬Q P∧¬Q ¬(P∧¬Q)
V V F F V
V F V V F
F V F F V
F F V F V

37
¬(P∧¬Q)
P Q ¬Q P∧¬Q ¬(P∧¬Q)
V V F F V
V F V V F
F V F F V
F F V F V
Assinalar “valores-verdade” para proposições compostas permite o uso da

lógica para decidir a verdade de uma proposição usando somente o
conhecimento das partes
Ambiguidade
38
1. P ∨ Q ∧ R = (P ∨ Q) ∧ R ?
2. P ∨ Q ∧ R = P ∨ (Q ∧ R)?
 O PSDB ganhou a eleição ou o PT ganhou a eleição, e o Brasil

começou a mudar?
 O PSDB ganhou a eleição, ou o PT ganhou a eleição e o Brasil

começou a mudar?

Ambiguidade
39
1. P ∨ Q ∧ R = (P ∨ Q) ∧ R? 2. P ∨ Q ∧ R = P ∨ (Q ∧ R)?
P Q R P∨Q Q∧R (P ∨ Q) ∧ R P ∨ (Q ∧ R)
V V F
V V V
V F F
V F V
F V F
F V V
F F F
F F V
Matemática Discreta
Ambiguidade
40
1. P ∨ Q ∧ R = (P ∨ Q) ∧ R? 2. P ∨ Q ∧ R = P ∨ (Q ∧ R)?
P Q R P∨Q Q∧R (P ∨ Q) ∧ R P ∨ (Q ∧ R)
V V F V
V V V V
V F F V
V F V V
F V F V
F V V V
F F F F
F F V F
Ambiguidade
41
1. P ∨ Q ∧ R = (P ∨ Q) ∧ R? 2. P ∨ Q ∧ R = P ∨ (Q ∧ R)?
P Q R P∨Q Q∧R (P ∨ Q) ∧ R P ∨ (Q ∧ R)
V V F V F
V V V V V
V F F V F
V F V V V
F V F V F
F V V V V
F F F F F
F F V F F
Ambiguidade
42
1. P ∨ Q ∧ R = (P ∨ Q) ∧ R? 2. P ∨ Q ∧ R = P ∨ (Q ∧ R)?
P Q R P∨Q Q∧R (P ∨ Q) ∧ R P ∨ (Q ∧ R)
V V F V F F
V V V V V V
V F F V F F
V F V V F V
F V F V F F
F V V V V V
F F F F F F
F F V F F F
Ambiguidade
43
1. P ∨ Q ∧ R = (P ∨ Q) ∧ R? 2. P ∨ Q ∧ R = P ∨ (Q ∧ R)?
P Q R P∨Q Q∧R (P ∨ Q) ∧ R P ∨ (Q ∧ R)
V V F V F F V
V V V V V V V
V F F V F F V
V F V V F V V
F V F V F F F
F V V V V V V
F F F F F F F
F F V F F F F
Ambiguidade
44
1. P ∨ Q ∧ R = (P ∨ Q) ∧ R? 2. P ∨ Q ∧ R = P ∨ (Q ∧ R)?
P Q R P∨Q Q∧R (P ∨ Q) ∧ R P ∨ (Q ∧ R)
V V F V F F V
V V V V V V V
V F F V F F V
V F V V F V V
F V F V F F F
F V V V V V V
F F F F F F F
F F V F F F F
Ambiguidade
45
 Solução: ordem de precedência
1. Parênteses mais internos

2. Negação: ¬
3. Conjunção: ∧
4. Disjunção: ∨
5. Condicional: 
6. Bicondicional: 
Agora, sabendo disso, voltar e refazer Exercícios 01a.

Conectivos lógicos condicional e bicondicional
46
 Terminologia Proposições atômicas

 Negação: ¬ P: MD é fácil
 Conjunção: ∧ Q: Serei aprovado
PQ: (se P, então Q)
 Condicional:  - se MD é fácil então serei aprovado
- MD ser fácil implica que serei
aprovado
- MD é fácil, logo serei aprovado
- Basta MD ser fácil para eu ser - MD é fácil só se eu for aprovado
aprovado - MD é fácil somente se eu for
- Serei aprovado caso MD seja fácil aprovado
- Ser aprovado é condição necessária - MD ser fácil é condição suficiente
para MD ser fácil para eu ser aprovado
Conectivos lógicos condicional e bicondicional
47
 Terminologia
P: x é par
 Negação: ¬ Q: x+1 é ímpar
 Disjunção: ∨ PQ: (P se, e somente se, Q)

- x é par se, e somente se, x+1 é
ímpar
- x é par é condição necessária e
suficiente para, x+1 ser ímpar
- se x é par, então x+1 é ímpar, e
vice-versa

48
 Condicional Condicional
P Q PQ
V V V
V F F
Se P é verdade e Q é falso, F V V
então PQ é falso; caso F F V
contrário é verdadeiro

49
P Q PQ
V V V
V F F
Caso interessante: se P é
falso e Q é verdadeiro, F V V
então PQ é verdadeiro F F V
Se Ozzy Osbourne cantou no

Restart, então todos passarão
Verdadeiro ou falso? em MD
Quando nevou em Manaus,
choveu piranhas em Paris
50
P Q PQ
V V V
V F F
F V V
F F V
Em que situação Bruna estaria
mentindo? Bruna Marquezine fez a seguinte
promessa para Ernestino:
E se Ernestino não ganhar na Se você ganhar na Megasena,
Megasena? então eu me caso com você.
51
P Q PQ
V V V
V F F
F V V
Em que situação o empregador F F V
não falou a verdade?
E se a afirmação P não for Promessa:
satisfeita? Se você se apresentar para
Não é ‘justo’ dizer que a trabalhar na segunda, então
promessa é falsa. você terá o emprego.
52
 Bicondicional Bicondicional
P Q PQ
V V V
V F F
Se P e Q são iguais, então F V F
PQ é verdadeiro; caso F F V
contrário é falso
Galvão é pai de Cacá se, e

somente se, Cacá é filho de
Galvão.

Condicional e Bi-condicional
53
 Condição necessária e condição suficiente
PQ
Proposição Proposição
antecedente consequente
(Suficiente) (Necessária)
• A proposição antecedente é chamada de condição suficiente.

• A proposição consequente é chamada de condição necessária.
• Uma condição suficiente gera um resultado necessário.

• Q é uma condição necessária para P – se P for verdade, Q
também tem, necessariamente, que ser verdadeira.
54
 Exemplo:
• Se João é elegível para votar então ele tem pelo menos 16 anos.
P: João é elegível para votar.

Q: João tem pelo menos 16 anos.
PQ
• João ser elegível para votar é condição suficiente para que ele
tenha pelo menos 16 anos.
• João ter pelo menos 16 anos é condição necessária para que ele
seja elegível para votar.

55
 Exemplo:
 Converta uma condição suficiente para a forma se–então:
O nascimento de João em solo brasileiro é uma condição

suficiente para ele ser cidadão brasileiro
Se João nasceu em solo brasileiro então ele é um cidadão
brasileiro.
 Converta uma condição necessária para a forma se–então:
João ter pelo menos 35 anos é uma condição necessária para

ser presidente do Brasil
Se João pode ser o presidente do Brasil então ele já tem pelo
menos 35 anos.
Exemplos
56
 O fogo é uma condição necessária para a fumaça.

Se houver fumaça, então haverá fogo.
 Uma condição suficiente para a falha da rede elétrica é que a
chave central desligue.
Se a chave central desligar, então haverá falha da rede elétrica.
 O crescimento sadio de plantas é consequência de quantidade
suficiente de água.
Se houver água suficiente, então haverá um crescimento sadio
de plantas.

Exemplos
57
 O aumento da disponibilidade de informação é uma condição

necessária para um maior desenvolvimento tecnológico.
Se houver um maior desenvolvimento tecnológico, então haverá
um aumento na disponibilidade de informação.
 Só serão introduzidos erros se forem feitas modificações no
programa.
Se foram introduzidos erros, então foram feitas modificações no
programa.
 A economia de energia para aquecimento implica bom
isolamento ou vedação de todas as janelas.
Se há economia de energia, então há bom isolamento ou
vedação de todas as janelas.
Exercícios 01d – 13/03/18
58
1. Escreva as seguintes proposições compostas em notação simbólica:

a) Os abacates só estão maduros quando estão escuros e macios.
b) Uma boa dieta é uma condição necessária para você ser saudável.
c) Se os preços subirem, então haverá muitas casas para vender e elas

serão caras; mas se as casas não forem caras, então ainda assim haverá
muitas casas para vender.
d) Tanto ir para cama como nadar é condição suficiente para trocar de
roupa; no entanto, trocar de roupa não significa que se vai nadar.
2. Escreva as tabelas-verdade das seguintes proposições:
a) (P ∧ Q) ↔ (¬P ∨ ¬Q)
b) [P ∧ (¬Q → ¬P)] → Q
c) (¬P → ¬Q) ∧ [(P → Q) → P]

Exercícios 01d – Resolução parcial
59
 Os abacates só estão maduros quando estão escuros e macios.

Se os abacates estão maduros, então eles estão escuros e macios.
Antecedente (P): os abacates estão maduros
Consequente (Q): os abacates estão escuros e macios
 Uma boa dieta é uma condição necessária para você ser saudável.
Se você é saudável, então tem uma boa dieta. - se P, então Q
- P implica Q
Antecedente (P): você é saudável
- P, logo Q
Consequente (Q): você tem uma boa dieta - P só se Q
- P somente se Q
PQ - P é condição suficiente para Q

- Basta P para Q
- Q caso P
- Q é condição necessária para P
Exercícios 01e
60
1. Escreva a frase ‘Leonêsa é pobre, ou é rica e infeliz’ como

proposições em lógica, em duas versões: a positiva (rica e feliz)
e a negativa (pobre e infeliz). Verifique através de tabelas-
verdade se elas são equivalentes.
2. Construa a tabela-verdade de: ‘Vai chover ou vai nevar, mas
não ambos’.
3. Construa a tabela-verdade completa do conectivo bicondicional
(slide 52).

Linguagem proposicional
61
 Uma linguagem proposicional L é composta por
 Um Alfabeto (letras maiúsculas, o conjunto {V,F} e os

conectivos lógicos)
 Símbolos para variáveis e constantes e proposições compostas
ou fórmulas
 A Gramática de uma linguagem proposicional define a sintaxe
das expressões
 Permite a formação e o reconhecimento de fórmulas bem
formadas (fbf)
 Exemplo: P¬vQ (fórmula incorreta, mal formada)

Gramática de uma linguagem proposicional
62
1. Letras proposicionais do vocabulário são fórmulas em L

2. Se α e β são fórmulas em L, então também são fórmulas as
seguintes expressões:
¬α
α∧β
α∨β
α→β
αβ
 Somente o que pode ser gerado através dos itens 1 e 2 em um

número finito de passos é uma fórmula em L
Tautologia
63
 Sempre verdade independente dos valores verdade das variáveis
 Também denominada proposição tautológica ou logicamente

verdadeira
 Exemplo
 P ∨ ¬P
 “Amanhã vai chover ou amanhã não vai chover”

Contradição
64
 Sempre falso independente dos valores verdade das variáveis
 Exemplo
 P ∧ ¬P
 Hoje choveu e hoje não choveu
 Observação
 A negação de uma tautologia é uma contradição

 A negação de uma contradição é uma tautologia

Contingência
65
 Fórmula bem formada que não é tautologia e nem é contradição
 Seu valor verdade depende dos valores verdade das variáveis
 Exemplo
 P∧Q
 Hoje choveu e ontem nevou

Exercícios 01f
66
Verifique se as proposições abaixo são tautologia, contradição ou

contingência:
1. (P ∧ Q)  (P ↔ Q)
2. (P ∧ Q) ∧ ¬(P ∨ Q)
3. P ∧ Q ↔ ¬Q ∨ ¬P
4. [(P  Q)  (P ∨ R)]  (Q ∨ R)

Equivalência lógica ()
67
 Duas proposições  e  são logicamente equivalentes (  ),

se ambas possuem tabelas-verdade idênticas
 Exemplo
 O São Raimundo é o melhor time do Amazonas e vence

sempre
 O São Raimundo vence sempre e é o melhor time do
Amazonas
 (P ∧ Q)  (Q ∧ P)

68

 Exemplo
 Jurandir é Garantido ou é Caprichoso

 Jurandir é Caprichoso ou é Garantido
 (P ∨ Q)  (Q ∨ P)

69

 Exemplo
 Se Nancy está dormindo, então Freddy Krueger aparece

 Se Freddy Krueger não aparece, então Nancy não está
dormindo
 (P  Q)  (¬Q  ¬P)

Teorema ( e ↔)
70
P  Q se, e somente se, P ↔ Q é tautologia.
 Exemplos
 (P Q) ↔ (¬P ∨ Q) é tautologia

 Logo, (P  Q)  (¬P ∨ Q)
 [P  (Q  R)] ↔ [(P ∧ Q)  R] é tautologia

 Logo, [P  (Q  R)]  [(P ∧ Q)  R]

Exercícios 01g
71
Verifique se as proposições abaixo são equivalências lógicas:

1. ¬(P ∧ Q) e (¬P ∨ ¬Q)
2. P ∨ (Q ∧ R) e (P ∨ Q) ∧ R
3. ¬(¬P ∨ Q) e (¬P)  (¬Q)

Regras de equivalência
72

 Definem que determinados pares de FBFs são equivalentes
 Portanto, se   , então  pode ser substituída por  em
qualquer FBFs sem mudança em seu valor lógico

Teoremas de De Morgan
73
Negação do E
NÃO (A E B) (NÃO A) OU (NÃO B)
Negação do OU
NÃO (A OU B) (NÃO A) E (NÃO B)
:: Negação do operador E
74
A B AEB NÃO (A E B)
V V V F
V F F V
F V F V
Equivalentes
F F F V
NÃO A NÃO B (NÃO A) OU (NÃO B)

F F F
F V V
V F V
V V V
:: Exemplo com operador E
75
Vou ao cinema se
dispuser de tempo E
tiver dinheiro
FATO: NÃO fui ao

cinema
OU
:: Negação do operador OU
76
A B A OU B NÃO (A OU B)
V V V F
V F V F Equivalentes
F V V F
F F F V
NÃO A NÃO B (NÃO A) E (NÃO B)

F F F
F V F
V F F
V V V
:: Exemplo com operador OU
77
Irei à festa se tiver

dinheiro OU ganhar um
convite
FATO: NÃO fui à festa
E
78
Fórmula Lei
PP≡P
Idempotência
PP≡P
(P  Q)  R ≡ P  (Q  R)
Associativa
(P  Q)  R ≡ P  (Q  R)
PQ≡QP
Comutativa
PQ≡QP
(P  Q)  R ≡ (P  R)  (Q  R)
Distributiva
(P  Q)  R ≡ (P  R)  (Q  R)
PF≡P PV≡P
Identidade
PV≡V PF≡F
79
Fórmula Lei
P  ¬P ≡ V P  ¬P ≡ F
Complemento
¬V ≡ F ¬F ≡ V
¬¬P ≡ P Involução
¬(P  Q) ≡ ¬P  ¬Q
DeMorgan
¬(P  Q) ≡ ¬P  ¬Q
P  Q ≡ ¬P  Q Condicional

Regras de equivalência (resumo)
Fórmula Lei
P∨P≡P
Idempotência
P∧P≡P
(P ∨ Q) ∨ R ≡ P ∨ (Q ∨ R)
Associativa
(P ∧ Q) ∧ R ≡ P ∧ (Q ∧ R)
P∨Q≡Q∨P
Comutativa
P∧Q≡Q∧P
(P ∧ Q) ∨ R ≡ (P ∨ R) ∧ (Q ∨ R)
Distributiva
(P ∨ Q) ∧ R ≡ (P ∧ R) ∨ (Q ∧ R)
P∨F≡P P∧V≡P
Identidade
P∨V≡V P∧F≡F
P ∨ ¬P ≡ V P ∧ ¬P ≡ F
Complemento
¬V ≡ F ¬F ≡ V
¬¬P ≡ P Involução
¬(P ∧ Q) ≡ ¬P ∨ ¬Q
DeMorgan
¬(P ∨ Q) ≡ ¬P ∧ ¬Q
P  Q ≡ ¬P ∨ Q Condicional
Exercícios 01h
81
1. Demonstre através de tabela-verdade a Lei da Condicional:

P  Q ≡ ¬P ∨ Q
2. Verifique se as proposições abaixo são equivalências lógicas:
¬(¬P ∨ ¬Q) e ¬P  ¬Q

Exercícios 01h - Resolução
82
P Q ¬P P  Q ¬P ∨ Q (P  Q)  (¬P ∨ Q) ?
P  Q ≡ ¬P ∨ Q
F F V V V V
Tautologia
F V V V V V
Equivalentes
V F F F F V
V V F V V V
(¬P¬Q)
?
P Q ¬P ¬Q ¬P  ¬Q ¬(¬P ∨ ¬Q)  (¬P  ¬Q) ≡ [¬(¬P∨¬Q)]
[¬(¬P∨¬Q)]
F F V V V F F Contingência
F V V F F F V Não equivalentes
V F F V V F F
V V F F V V V

MD01 - Lógica Formal

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

MD01 - Lógica Formal

Enviado por

Direitos autorais:

Formatos disponíveis

Lógica Formal

EDUARDO FREIRE NAKAMURA

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)

século IV século XVI

Gottfried Wilhelm von Leibniz (1646 – 1716) filósofo e matemático alemão,

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)

século IV século XVI século XIX século XIX

George Boole (1815 – 1864) filósofo e matemático inglês e Augustus De Morgan

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)

 Fornece bases para o método de pensar organizado

 Expressa métodos de raciocínio sob a forma de

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)

 Exemplos de utilização em computação:

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)

 Uma proposição é uma sentença declarativa que admite apenas

 Manaus é a capital do Amazonas

 PROPOSIÇÕES ATÔMICAS não podem ser sub-divididas em

 PROPOSIÇÕES COMPOSTAS são combinações de proposições

 PROPOSIÇÕES ATÔMICAS são representadas por meio de

 Nas PROPOSIÇÕES COMPOSTAS, as variáveis proposicionais são

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)

1. Escreva as seguintes sentenças como proposições em lógica:

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)

Crie suas próprias proposições atômicas (ao menos duas)

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)

 Ferramenta usada para

 Gottlob Frege e Charles

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)

Vou ao cinema se dispuser

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)

Irei à festa se tiver

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)

 Qual a tabela verdade da proposição ¬(P∧¬Q) ?

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)

 Qual a tabela verdade da proposição ¬(P∧¬Q) ?

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)

 Qual a tabela verdade da proposição ¬(P∧¬Q) ?

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)

 Qual a tabela verdade da proposição ¬(P∧¬Q) ?

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)

 Qual a tabela verdade da proposição ¬(P∧¬Q) ?

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)

 Qual a tabela verdade da proposição ¬(P∧¬Q) ?

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)

 Qual a tabela verdade da proposição ¬(P∧¬Q) ?

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)

 Qual a tabela verdade da proposição ¬(P∧¬Q) ?

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)

 Qual a tabela verdade da proposição ¬(P∧¬Q) ?

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)

 Qual a tabela verdade da proposição ¬(P∧¬Q) ?

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)

 Qual a tabela verdade da proposição ¬(P∧¬Q) ?

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)

 Qual a tabela verdade da proposição ¬(P∧¬Q) ?

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)

 Qual a tabela verdade da proposição ¬(P∧¬Q) ?