Lgica Proposicional Semntica

Jos Gustavo de Souza Paiva

Introduo
Associao de um significado a cada objeto da Lgica Mesma frmula diferentes significados Ex
PQ
P: Est chovendo Q: A rua est molhada

Neste caso, a frmula pode ser verdadeira ou falsa

Dependncia de vrios fatores

Introduo
Smbolos sintticos definem as frmulas Cada frmula sinttica est associada a significados semnticos Mundo lgico
Mundo sinttico
Frmulas

smbolos do alfabeto significado dos smbolos

concatenaes de smbolos

Mundo semntico

Importncia na computao computador uma mquina estritamente sinttica

necessrio fornecer um significado aos smbolos por ela manipulada

Programao traduo de um conhecimento semntico para um programa sinttico

Interpretao
Funo I
Associao de um valor verdade para cada frmula da Lgica Proposicional Funo binria (Lgica bivalente) Domnio conjunto das frmulas da Lgica Proposicional Contradomnio conjunto {T,F} Valores
I[true] = T, I[false] = F Dado um smbolo proposicional P, I[P] {T,F}

Interpretao de Frmulas
Frmulas concatenao de smbolos Interpretao de frmulas interpretao dos smbolos
Conjunto de regras semnticas
Significados semnticos
Smbolos proposicionais Smbolos verdade Conectivos lgicos

Interpretao de Frmulas
Procedimento: dadas uma frmula E e uma interpretao I, I[E] seguir as seguintes regras:
Se E = P (smbolo proposicional), I[E] = I[P], e I[P] {T,F} Se E = T, I[E] = T, e se E = F, I[E] = F Seja H uma frmula. Se E = H, ento
I[E] = I[H] = T se I[H] = F e I[E] = I[H] = F se I[H] = T

Interpretao de Frmulas
Procedimento (continuao):
Sejam H e G duas frmulas. Se E = (H G), ento:
I[E] = I[H G] = T se I[H] = T e/ou I[G] = T I[E] = I[H G] = F se I[H] = F e I[G] = F

Sejam H e G duas frmulas. Se E = (H G), ento:

I[E] = I[H G] = T se I[H] = T e I[G] = T I[E] = I[H G] = F se I[H] = F e/ou I[G] = F

Interpretao de Frmulas
Procedimento (continuao):
Sejam H e G duas frmulas. Se E = (H ento:
I[E] = I[H I[E] = I[H G] = T se I[H] = F e/ou I[G] = T G] = F se I[H] = T e I[G] = F

G),

Sejam H e G duas frmulas. Se E = (H G), ento:

I[E] = I[H G] = T se I[H] = I[G] I[E] = I[H G] = F se I[H] I[G]

Exemplo
Sejam P e Q duas proposies. Demonstrar com a ajuda da definio de interpretao dos conectivos que: (P Q) (Q P).
Soluo Para I[P Q] = T I[P] = F e/ou I[Q] = T Se I[P] = F I[P] = T I[Q P] = T Se I[Q] = T I[Q P] = T Para I[P Q] = F I[P] = T e I[Q] = F Se I[P] = T e I[Q] = F I[P] = F e I[Q] = F I[Q P] = F

Exemplo
Sejam P e Q duas proposies. Demonstrar com a ajuda da definio de interpretao dos conectivos que: (P Q) (Q P).
Soluo Para I[P Q] = T I[P] = F e/ou I[Q] = T Se I[P] = F I[P] = T I[Q P] = T Se I[Q] = T I[Q P] = T Para I[P Q] = F I[P] = T e I[Q] = F Se I[P] = T e I[Q] = F I[P] = F e I[Q] = F I[Q P] = F

Exerccio
Sejam P e Q duas proposies. Demonstrar com a ajuda da definio de interpretao dos conectivos que:
PQ (P Q) (Q P) (P Q) (P Q) (Q P) PQ (P Q)

Interpretao de Frmulas
No se faz interpretao dos conectivos lgicos isoladamente No entanto, analisa-se as possibilidades de significados considerando a utilizao desses conectivos Tais possibilidades so representadas em uma TABELA VERDADE associada aos conectivos proposicionais

Interpretao de Frmulas

Interpretao de Frmulas
Existem tambm tabelas verdade associadas s frmulas da lgica
Neste caso, elas so obtidas das tabelas verdade dos conectivos proposicionais

Interpretao de Frmulas
Exemplo: H = ((P) Q) P T T F F Q T F T F P F F T T ((P) Q T F T T (Q P) QP T F F F H T T F F

Exerccio
H = ((P) (Q)) E = ((P) Q) H = (false P) R (R P)
I[P] = T, I[Q] = F, I[R] = T

I[P] = T, I[Q] = F, I[R] = T J[P] = F, J[Q] = T, J[R] = F

Exerccio
Construa as tabelas verdade para as seguintes frmulas
((A B) C) (AB) (B A) ((A B C) (B A) (A C)) (C A)

O conectivo
Expressa uma negao que nem sempre ocorre nas lnguas naturais
Ex.: Joo rico Negao: Joo no rico

Nem sempre existe uma correspondncia entre a negao nas linguagens naturais e na lgica
Exemplos
Carlos feliz Ana namorada de Fbio

O conectivo
Nem sempre equivalente ao OU das lnguas naturais
Termos podem no ser relacionados No existe exclusividade
3 possibilidades possveis, e no 2 como nas lnguas naturais

Exemplos
Vou ao cinema ou ao teatro Est chovendo ou fazendo sol Carla est grvida de menino ou menina

O conectivo
Pode ser representado, em lnguas naturais como
e, mas, todavia

Nuances perdem o significado quando a sentena traduzida para a lgica Comutatividade: nem sempre garantida nas lnguas naturais (sem relaes temporais)
Exemplos
Tiago pulou na piscina e se molhou Laura estudou para a prova e tirou uma boa nota

10

O conectivo
Implicao condicional
Hiptese resultando em uma concluso Obrigao, contrato Exemplos
Se eu for eleito, diminuirei os impostos Se voc tirar nota 10 no exame, final, ter conceito A Se x um nmero real maior que 10, ento x2 um nmero real maior que 100

O conectivo
Anlise
Se eu passar na prova, vou viajar.

11

O conectivo
Anlise
Se eu passar na prova, vou viajar. Podemos formaliz-la como A B. Considerando todas as combinaes entre verdadeiro e falso para as letras sentenciais A e B: 1: A verdadeiro e B tambm o . (linha 1 da tabela-verdade) Situao: Passei na prova e viajei. Logo, a afirmao verdadeira. 2: A verdadeiro e B falso. (linha 2 da tabela-verdade) Situao: Passei na prova e no viajei. Logo, a afirmao falsa, pois eu havia afirmado que, se passasse na prova, viajaria. 3: A falso e B verdadeiro. (linha 3 da tabela-verdade) Situao: No passei na prova e viajei. Logo, a afirmao verdadeira, pois eu no afirmei que, se no passasse na prova, no iria viajar 4: A falso e B tambm o . (linha 4 da tabela-verdade) Situao: No passei na prova e no viajei. Logo, a afirmao verdadeira

O conectivo
Existem vrias formas de representar esse conectivo em portugus Ex.:
Maria vai conseguir um bom emprego quando aprender Matemtica Para conseguir um bom emprego, suficiente que Maria aprenda Matemtica. Maria vai conseguir um bom emprego, a menos que no aprenda Matemtica.

12

O conectivo
Causalidade
O conectivo no expressa a semntica da causalidade Em outras palavras, no necessria a relao de causa e efeito para que I[H G] = T Isso ocorre porque
Se I[G] = T, I[H de I[H] Se I[H] = F, I[H de I[G] G] = T, independente do valor G] = T, independente do valor

O conectivo
Causalidade
Exemplo
Se hoje sexta-feira, ento 2 + 3 = 5 Se hoje sexta-feira, ento 2 + 3 = 6

No expressamos essas condicionais na lngua portuguesa (no existe relao entre hiptese e concluso) No raciocnio lgico, a implicao condicional tem um aspecto mais geral A lgica no tem como base nenhuma linguagem natural, porque uma linguagem artificial

13

O conectivo
Observaes
Considere a proposio P Q
A proposio Q P chamada OPOSTA A proposio Q P chamada CONTRAPOSITIVA A proposio P Q chamada INVERSA

O conectivo
Exerccio
Verifique se a OPOSTA, CONTRAPOSITIVA E INVERSA possuem os mesmos valores de tabela verdade de P Q

14

O conectivo
Exerccio
Verifique se a OPOSTA, CONTRAPOSITIVA E INVERSA possuem os mesmos valores de tabela verdade de P Q
A CONTRAPOSITIVA tem os mesmos valores de tabela verdade da proposio original Quando isso ocorre, chamamos as proposies de EQUIVALENTES A OPOSTA e a INVERSA so equivalentes

O conectivo
Chamado de BICONDICIONAL Representa a igualdade na interpretao das duas frmulas envolvidas Exemplos
Voc pode tomar o avio se e somente se voc comprou uma passagem
Voc pode tomar o avio se comprou passagem Se comprou passagem, voc pode tomar o avio

15

O conectivo
Nem sempre esto explcitas nas linguagens naturais
Raramente utilizadas freqentemente expressas usando construes como se, ento ou somente se
Restante fica implcito

Exemplo
Se terminar o almoo, ento voc pode comer a sobremesa

Necessidade e Suficincia
Necessidade ocorra pr-requisito para que um fato
Sua veracidade no suficiente para garantir que o fato tambm seja verdade P Q : Q indica o que necessrio para que P ocorra

Suficincia conjunto de todos os prrequisitos necessrios para que um fato ocorra

Veracidade desse conjunto garante a veracidade do fato P Q : Q indica o que suficiente para que P ocorra

16

Necessidade e Suficincia
Considerando duas proposies F e G
G condio necessria para F se G uma circunstncia em cuja ausncia F no pode ocorrer F condio suficiente para G se F uma circunstncia em cuja presena G deve ocorrer Se todo F G
Ser G uma condio necessria para ser F ser F uma condio suficiente para ser G

Se todo F for G e todo G for F

ser G uma condio necessria e suficiente para ser F

Necessidade e Suficincia
Observao
Se F condio suficiente para G, G condio necessria para F Se G condio necessria para F, F condio suficiente para G

Exemplos
"Todo carioca brasileiro." "Somente os brasileiros so cariocas." "Estar na capital do Brasil condio necessria e suficiente para estar em Braslia." "Se Dirceu deixar o governo, o pedido de CPI ser arquivado.

17

Exerccio
Determine a OPOSTA, CONTRAPOSITIVA e INVERSA da seguinte condicional: O time da casa ganha sempre que est chovendo

Exerccio
Determine a OPOSTA, CONTRAPOSITIVA e INVERSA da seguinte condicional: O time da casa ganha sempre que est chovendo
ORIGINAL: Se est chovendo, ento o time da casa ganha OPOSTA: Se o time da casa ganha, ento est chovendo CONTRAPOSITIVA: Se o time da casa no ganha, ento no est chovendo INVERSA: Se no est chovendo, o time da casa no ganha

18

Exerccio
Trs estudantes declararam o seguinte:
Paulo: Eu no fiz o teste, mas, se Rogrio o fez, Srgio tambm fez. Rogrio: Eu fiz o teste, mas um de meus colegas no fez. Srgio: Se Rogrio fez o teste, eu tambm o fiz.

Formalize estas trs declaraes na linguagem lgica proposicional utilizando o vocabulrio abaixo:
P: Paulo fez o teste. R: Rogrio fez o teste. S: Srgio fez o teste.

Exerccio (Continuao)
Monte a tabela-verdade das proposies e utilize-a para responder as seguinte questes
Se todos esto dizendo a verdade, quem fez o teste? Se todos esto mentindo, quem fez o teste? Se todos fizeram o teste, quem est dizendo a verdade e quem est mentindo?

19

Exerccio
Escreva cada uma das proposies a seguir na forma de P Q
necessrio lavar o carro do chefe para ser promovido Ventos do sul implicam em degelo primaveril Uma condio suficiente para a garantia ser vlida que voc tenha comprado o computador em menos de um ano Leo pego sempre que trapaceia

Exerccio
Determine a oposta, a contrapositiva e a inversa de cada uma das proposies condicionais
Se nevar esta noite, ento ficarei em casa Eu vou a praia sempre que faz um dia ensolarado de vero Quando me deito tarde, necessrio que eu durma at o meio-dia

20

Exerccio
Sejam as proposies P: Est chovendo, Q: O sol est brilhando e R: H nuvens no cu. Traduza as seguintes sentenas abaixo em notao lgica
chover se o sol brilhar ou se o cu estiver com nuvens se est chovendo, ento h nuvens no cu. o sol brilha quando e apenas quando o cu fica com nuvens.

Utilizando o exerccio anterior, determine significados para as para as proposies

(P Q) R P (Q R) (P Q) R

Construa a tabela verdade para cada uma das frmulas dos exerccios anteriores

Referncias
Souza, J. N., Lgica para Cincia da Computao, 2 edio, Editora Campus, 2008 Martins, L. G. A, Apostila de Lgica Proposicional, FACOM, UFU. Gernimo, J. R., Exerccios de Lgica, Departamento de Matemtica, Universidade Estadual de Maring, 2007 Rosen, K. H., Matemtica Discreta e suas Aplicaes, 6 Ed., 1008p., Editora McGraw Hill, So Paulo, 2008

21