Guilherme Esmeraldo

Lógica Aplicada à Computação

Lógica Proposicional
Aula 1
 Lógica Aplicada à Computação
● Agenda:
– Definição
– Sintaxe
 Lógica Aplicada à Computação
1. Definição
– Proposição
● Conceito: sentenças afirmativas (declarativas).
Ex:
A neve é branca.
A terra é um planeta.
Ciências da Computação é um curso difícil.
● O que afirmam pode ser verdadeiro ou falso.
Ex:
A neve é branca. (Verdadeiro)
2 + 2 = 5. (Falso)
Há 5 milhões de grãos de areia na lua. (ninguém chegou a
contar, mas, provavelmente, é Falso)
 Lógica Aplicada à Computação
1. Definição
– Então o que é Lógica Proposicional?
● Linguagem para falar de proposições:
Sintaxe
Semântica
● Cálculo para fazer deduções sobre as proposições:
Sitemas de Provas
Dedução Natural
Resolução
...
 Lógica Aplicada à Computação
1. Definição
– A linguagem da lógica proposicional é dividida em
dois domínios:
● Sintaxe (Concisão):
estudo dos componentes da linguagem, alfabeto.
componentes e regras de agrupamentos de componentes bem
definidas

● Semântica (Coesão):
Associação das componentes da Linguagem com seu
significado
 Lógica Aplicada à Computação
2. Sintaxe
– Componentes:
● Variáveis Proposicionais
● Símbolos Verdade
● Conectivos Lógicos
 Lógica Aplicada à Computação
2. Sintaxe
– Variáveis proposicionais irão representar as
proposições (sentenças):
● Serão identificadas por letras minúsculas do nosso
alfabeto
● Podem ser seguidas ou não de números diferenciais
Ex:
p: Sharon Stone é uma mulher muito bonita
q: Brasil é o atual campeão mundial em futebol
q1: Rolling Stones fará um show no Brasil
q2: Na Bahia não exite axé music
 Lógica Aplicada à Computação
2. Sintaxe
- Símbolos Verdade serão ulizados para identificar a
condição de veracidade ou falsidade de uma
sentença
– Será utilizada a seguinte nomenclatura:
● “1” : Verdadeiro
● “0”: Falso
● Ex:
Eminem é um famoso cantor do estilo brega. (0)
Temos o curso de Bacharelado em Ciência da Computação na
UFPE. (1)
 Lógica Aplicada à Computação
2. Sintaxe
- Conectivos Lógicos serão os símbolos
responsáveis pela composição de sentenças:
● “~” (negação)
● “^” (conjunção)
● “v” (disjunção)
● “->” (implicação)
● “<->” (bi-implicação)
 Lógica Aplicada à Computação
2. Sintaxe
– Negação: da proposicão x, podemos considerar a
proposição (~x), a negação de x.
● Ex:
p: Eminem é um famoso cantor do estilo brega. (0)
q: Temos o curso de Bacharelado em Ciência da Computação
na FATEC. (1)
~p: Eminem não um famoso cantor do estilo brega. (1)
~q: Não temos o curso de Bacharelado em Ciência da
Computação na FATEC. (0)
 Lógica Aplicada à Computação
2. Sintaxe
– Conjunção: dadas as proposições a e b, podemos
considerar uma nova proposição (a ^ b), a conjunção da a e
b.
– A veracidade/falsidade da conjunção (a ^ b), vai depender da
veracidade/falsidade das proposições a e b:
● a é verdadeira e b é verdadeira
● a é verdadeira e b é falsa

● a é falsa e b é verdadeira

● a é falsa e b e falsa

– Postulamos que a proposição (a ^ b) é verdadeira se e

somente se ambas as proposições a e b são verdadeiras.
 Lógica Aplicada à Computação
2. Sintaxe
– Conjunção:
● Ex:
[(2 + 4 = 4) ^ (1 <= 2)] Esta proposição é falsa.
[(2 + 4 = 4) ^ (1 >= 2)] Esta proposição é falsa
[(2 + 4 != 4) ^ (1 <= 2)] Esta proposição é verdadeira
[(2 + 4 != 4) ^ (1 >= 2)] Esta proposição é falsa
 Lógica Aplicada à Computação
2. Sintaxe
– Disjunção: dadas as proposições a e b podemos considerar
uma nova proposição (a v b), a disjunção de a e b.
– A veracidade/falsidade da disjunção (a v b), vai depender da
veracidade/falsidade das proposições a e b:
● a é verdadeira e b é verdadeira
● a é verdadeira e b é falsa

● a é falsa e b é verdadeira

● a é falsa e b e falsa

– Postulamos que a proposição(a v b) é verdadeira se e

somente se uma das proposições(ou ambas) a ou b são
verdadeiras.
 Lógica Aplicada à Computação
2. Sintaxe
– Disjunção:
● Ex:
[(2 + 4 = 4) v (1 <= 2)] Esta proposição é verdadeira
[(2 + 4 = 4) v (1 >= 2)] Esta proposição é falsa
[(2 + 4 != 4) v (1 <= 2)] Esta proposição é vardadeira
[(2 + 4 != 4) v (1 >= 2)] Esta proposição é verdadeira
 Lógica Aplicada à Computação
2. Sintaxe
– Implicação: dadas as proposições a e b podemos
considerar a nova proposição (a -> b), a implicação
de b por a.
– A proposição a chama-se antecedente da
implicação (a -> b) e b chama-se o conseqüente da
implicação (a -> b).
– Postulamos que a proposição (a -> b) é falsa se e
somente se o antecedente A é verdadeiro e o
conseqüente B é falso. Nos demais casos, a
proposição (a -> b) é verdadeira.
 Lógica Aplicada à Computação
2. Sintaxe
– Implicação:
● Ex:
[(2 + 4 = 4) -> (1 <= 2)] Esta proposição é verdadeira
[(2 + 4 = 4) -> (1 >= 2)] Esta proposição é verdadeira
[(2 + 4 != 4) -> (1 <= 2)] Esta proposição é verdadeira
[(2 + 4 != 4) -> (1 >= 2)] Esta proposição é falsa
 Lógica Aplicada à Computação
2. Sintaxe
– Implicação:
● Questões como:
Leis Causais:
Ex:
a: Este pote d’água for colocado no fogo no instante t.
b: A água congelará.
Situações em que o antecedente não é um fato:
Ex:
c: Cabral não tivesse descoberto o Brasil
d: Homem não teria chegado a lua.

● Serão resolvidas com a lógica de predicados

 Lógica Aplicada à Computação
2. Sintaxe
– Bi-Implicação: dadas as proposições a e b
podemos considerar a nova proposição (a <-> b), a
bi-implicação de a e b.
– Postulamos que a proposição (a <-> b) é
verdadeira se e somente se as proposições a e b
possuem o mesmo valor-verdade.
 Lógica Aplicada à Computação
2. Sintaxe
– Bi-Implicação:
● Ex:
[(2 + 4 = 4) <-> (1 <= 2)] Esta proposição é falsa
[(2 + 4 = 4) <-> (1 >= 2)] Esta proposição é verdadeira
[(2 + 4 != 4) <-> (1 <= 2)] Esta proposição é verdadeira
[(2 + 4 != 4) <-> (1 >= 2)] Esta proposição é falsa.
 Lógica Aplicada à Computação
2. Sintaxe
– Ordem de precedência:

(MAIOR) ~ ^ v -> <-> (MENOR)

 Lógica Aplicada à Computação
2. Sintaxe
– Fórmula Atômica desempenha o papel de fómulas
básicas, proposições simples.
● Ex:
p : Brahma é a melhor cerveja do Brasil.
– Fórmula é a composição de fórmulas atômicas,
através dos conectivos lógicos.
● Ex:
(p ^ q ^ r ^ s)->(~ r): Se ela é feia, burra, pobre, anciã, então não
quero casar com ela.
 Lógica Aplicada à Computação
2. Sintaxe
– Exemplos de Fórmulas bem formadas:
● (q ^ p)
● 1
● ~p
● (q ^ p) -> (r v (s ^ q))
– Exemplos de Fórmulas mal formadas:
● (qp^)
● t->
● p~