Sie sind auf Seite 1von 22

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:● Conceito: sentenças afirmativas (declarativas). neve é branca. terra é um planeta. Ciências da

neve é branca.● Conceito: sentenças afirmativas (declarativas). Ex: terra é um planeta. Ciências da Computação é um curso

terra é um planeta.sentenças afirmativas (declarativas). Ex: neve é branca. Ciências da Computação é um curso difícil. A A

Ciências da Computação é um curso difícil.(declarativas). Ex: neve é branca. terra é um planeta. A A ● O que afirmam pode

A

A

O que afirmam pode ser verdadeiro ou falso.

Ex:A A ● O que afirmam pode ser verdadeiro ou falso. A neve é branca. (Verdadeiro)

A neve é branca. (Verdadeiro)

A

neve é branca. (Verdadeiro)

2 + 2 = 5. (Falso)

2 + 2 = 5. (Falso)

Há 5 milhões de grãos de areia na lua. (ninguém chegou a contar, mas, provavelmente,

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:

SintaxeProposicional? ● Linguagem para falar de proposições: Semântica ● Cálculo para fazer deduções sobre as

Semântica● Linguagem para falar de proposições: Sintaxe ● Cálculo para fazer deduções sobre as proposições:

Cálculo para fazer deduções sobre as proposições:

Semântica ● Cálculo para fazer deduções sobre as proposições: Sitemas de Provas Dedução Natural Resolução

Sitemas de Provas Dedução Natural

Semântica ● Cálculo para fazer deduções sobre as proposições: Sitemas de Provas Dedução Natural Resolução
Resolução

Resolução

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.é dividida em dois domínios: ● Sintaxe (Concisão) : componentes e regras de agrupamentos de componentes

componentes e regras de agrupamentos de componentes bem definidas(Concisão) : estudo dos componentes da linguagem, alfabeto. ● Semântica (Coesão) : Associação das componentes da

Semântica (Coesão):

Associação das componentes da Linguagem com seu significadoda linguagem, alfabeto. componentes e regras de agrupamentos de componentes bem definidas ● Semântica (Coesão) :

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

● Podem ser seguidas ou não de números diferenciais Ex: p: Sharon Stone é uma mulher

Ex:

p: Sharon Stone é uma mulher muito bonita● Podem ser seguidas ou não de números diferenciais Ex: q: Brasil é o atual campeão

q: Brasil é o atual campeão mundial em futeboldiferenciais Ex: p: Sharon Stone é uma mulher muito bonita q1: Rolling Stones fará um show

q1: Rolling Stones fará um show no BrasilStone é uma mulher muito bonita q: Brasil é o atual campeão mundial em futebol q2:

q2: Na Bahia não exite axé musicé uma mulher muito bonita q: Brasil é o atual campeão mundial em futebol q1: Rolling

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)● “1” : Verdadeiro ● “0”: Falso ● Ex: Temos o curso de Bacharelado em Ciência

Temos o curso de Bacharelado em Ciência da Computação na UFPE. (1)nomenclatura: ● “1” : Verdadeiro ● “0”: Falso ● Ex: Eminem é um famoso cantor do

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)considerar a proposição (~x), a negação de x . ● Ex: q: Temos o curso de

q: Temos o curso de Bacharelado em Ciência da Computação na FATEC. (1)● Ex: p: Eminem é um famoso cantor do estilo brega. (0) ~p: Eminem não um

~p: Eminem não um famoso cantor do estilo brega. (1)de Bacharelado em Ciência da Computação na FATEC. (1) ~q: Não temos o curso de Bacharelado

~q: Não temos o curso de Bacharelado em Ciência da Computação na FATEC. (0)o curso de Bacharelado em Ciência da Computação na FATEC. (1) ~p: Eminem não um famoso

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.à Computação 2. Sintaxe – Conjunção: ● Ex: [(2 + 4 = 4) ^ (1 >=

[(2 + 4 = 4) ^ (1 >= 2)] Esta proposição é falsaEx: [(2 + 4 = 4) ^ (1 <= 2)] Esta proposição é falsa. [(2 +

[(2 + 4 != 4) ^ (1 <= 2)] Esta proposição é verdadeiraé falsa. [(2 + 4 = 4) ^ (1 >= 2)] Esta proposição é falsa [(2

[(2 + 4 != 4) ^ (1 >= 2)] Esta proposição é falsa[(2 + 4 = 4) ^ (1 >= 2)] Esta proposição é falsa [(2 + 4

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à Computação 2. Sintaxe – Disjunção: ● Ex: [(2 + 4 = 4) v (1 >=

[(2 + 4 = 4) v (1 >= 2)] Esta proposição é falsa[(2 + 4 = 4) v (1 <= 2)] Esta proposição é verdadeira [(2 + 4

[(2 + 4 != 4) v (1 <= 2)] Esta proposição é vardadeira[(2 + 4 = 4) v (1 >= 2)] Esta proposição é falsa [(2 + 4

[(2 + 4 != 4) v (1 >= 2)] Esta proposição é verdadeira[(2 + 4 = 4) v (1 >= 2)] Esta proposição é falsa [(2 + 4

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à Computação 2. Sintaxe – Implicação: ● Ex: [(2 + 4 = 4) -> (1 >=

[(2 + 4 = 4) -> (1 >= 2)] Esta proposição é verdadeira4 = 4) -> (1 <= 2)] Esta proposição é verdadeira [(2 + 4 != 4)

[(2 + 4 != 4) -> (1 <= 2)] Esta proposição é verdadeira4 = 4) -> (1 >= 2)] Esta proposição é verdadeira [(2 + 4 != 4)

[(2 + 4 != 4) -> (1 >= 2)] Esta proposição é falsa4) -> (1 >= 2)] Esta proposição é verdadeira [(2 + 4 != 4) -> (1

Lógica Aplicada à Computação

2. Sintaxe

Implicação:

Questões como:

Leis Causais:2. Sintaxe – Implicação: ● Questões como: Ex: a: Este pote d’água for colocado no fogo

Ex:– Implicação: ● Questões como: Leis Causais: a: Este pote d’água for colocado no fogo no

a: Este pote d’água for colocado no fogo no instante t.

a: Este pote d’água for colocado no fogo no instante t.

b: A água congelará.

b: A água congelará.

Situações em que o antecedente não é um fato:colocado no fogo no instante t. b: A água congelará. Ex: c: Cabral não tivesse descoberto

Ex:Situações em que o antecedente não é um fato: c: Cabral não tivesse descoberto o Brasil

c: Cabral não tivesse descoberto o Brasil

c: Cabral não tivesse descoberto o Brasil

d: Homem não teria chegado a lua.

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à Computação 2. Sintaxe – Bi-Implicação: ● Ex: [(2 + 4 = 4) <-> (1 >=

[(2 + 4 = 4) <-> (1 >= 2)] Esta proposição é verdadeira4 = 4) <-> (1 <= 2)] Esta proposição é falsa [(2 + 4 != 4)

[(2 + 4 != 4) <-> (1 <= 2)] Esta proposição é verdadeira4) <-> (1 >= 2)] Esta proposição é verdadeira [(2 + 4 != 4) <-> (1

[(2 + 4 != 4) <-> (1 >= 2)] Esta proposição é falsa.(1 >= 2)] Esta proposição é verdadeira [(2 + 4 != 4) <-> (1 <= 2)]

Lógica Aplicada à Computação

2. Sintaxe

Ordem de precedência:

(MAIOR) ~

Lógica Aplicada à Computação 2. Sintaxe – Ordem de precedência: (MAIOR) ~ ^ v -> <->

^ v -> <-> (MENOR)

Lógica Aplicada à Computação 2. Sintaxe – Ordem de precedência: (MAIOR) ~ ^ v -> <->

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.papel de fómulas básicas, proposições simples. ● Ex: – Fórmula é a composição de fórmulas atômicas,

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.cerveja do Brasil. – Fórmula é a composição de fórmulas atômicas, através dos conectivos lógicos. ●

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~