Lgica Proposicional-2

Conetivas Booleanas Provas informais e formais com conetivas Booleanas

Referncia:

Language, Proof and Logic Dave Barker-Plummer, Jon Barwise e John Etchemendy, 2011 Captulos: 3-4-5-6
1

Conetivas lgicas

Construir frmulas arbitrrias a partir de frmulas atmicas Conjuno, disjuno e negao: so funcionais da verdade
o

valor de verdade de afirmaes complexas s depende do valor de verdade das frases atmicas mostra como o valor de verdade de uma frmula construda com ela depende dos valores de verdade dos seus constituintes Egas e Becas no concordam no valor de verdade de uma frase complexa Egas: diz que verdadeira; Becas: diz que falsa Jogadores desafiam-se a justificar as suas afirmaes em termos de afirmaes mais simples Chegando s frmulas atmicas, pode examinar-se o mundo e verificar o seu valor lgico
Lgica Proposicional-2

Significado de conetiva: tabela de verdade

o

Significado de conetiva: jogo de Henkin-Hintikka

o o o o

Jogar com o Mundo de Tarski

Mquina faz papel de adversrio e tenta ganhar mesmo quando o jogador faz uma afirmao verdadeira Se o jogador faz afirmao falsa:

Mquina ganha, pondo em evidncia falhas no raciocnio Mquina perde se o jogador capaz de justificar as suas escolhas at s frmulas atmicas Mquina pode ganhar se alguma das justificaes intermdias para a afirmao for mal escolhida

Se o jogador faz afirmao verdadeira:

Lgica Proposicional-3

Negao

Smbolo: LN: no no se verifica que nenhum in- des

A Rita no est na sala No se verifica o facto de a Rita estar na sala Quando verdade: quando NaSala(rita) falso No faz diferena nenhuma Interpretado como No faz diferena alguma, e no como Faz alguma diferena

NaSala(rita)

LN: dupla negativa tem sentido de negativa reforada

LPO: NaSala(rita) V quando NaSala(rita) for V = tem abreviatura para negao: a b em vez de (a=b)
Lgica Proposicional-4

: Semntica e regra do jogo

Frmula P de LPO: existe sempre P P verdadeiro se e s se P falso Tabela de verdade

P V F

P
F V

Regra do jogo: no se faz nada :) Quando afirmamos a verdade de P, comprometemo-nos com a falsidade de P e vice-versa Tarskis World: reduz a afirmao negativa positiva e troca o valor lgico escolhido
Lgica Proposicional-5

Conjuno

Smbolo: LN: e e tambm mas...

Rita e Luis esto na sala

NaSala(rita) NaSala(luis)

Verdadeira se Rita est na sala e Luis est na sala

LN: e mais expressivo que :

Rita entrou na sala e Luis saiu da sala Luis saiu da sala e Rita entrou na sala Entra(rita) Sai(luis) Sai(luis) Entra(rita)

Verdadeiras nas mesmas circunstncias

Lgica Proposicional-6

: Semntica e regra do jogo

P Q verdadeiro sse P verdadeiro e Q verdadeiro Tabela de verdade P Q PQ

V V F F V F V F V F F F

Regra do Jogo:

Se afirmamos V para P Q, afirmamos a verdade de P e de Q

Mquina escolhe P ou Q e compromete-nos com a verdade deste Se um deles falso: escolhe esse Se so ambos verdadeiros ou ambos falsos: escolha arbitrria Mquina pede para nos comprometermos com o valor F para um deles
Lgica Proposicional-7

Se afirmamos F para P Q: afirmamos que pelo menos um falso

Disjuno

Smbolo: LN: ou (entre frases ou entre componentes destas)

A Rita ou o Luis esto na sala Significado corrente inclusivo

LPO: disjuno s entre frases

NaSala(rita) NaSala(luis) Significado inclusivo

NaSala(rita luis)

LN: significado exclusivo com ou ou Exclusivo em LPO:

[NaSala(rita) NaSala(luis)] [NaSala(rita) NaSala(luis)]

nem nem
[--]
Lgica Proposicional-8

: Semntica e regra do jogo

P Q verdadeiro se pelo menos um de P e Q verdadeiro, seno falso Tabela de verdade: P Q PQ

V V F F V F V F V V V F

Regra
Se Se

do Jogo:

afirmamos V para P Q
Mquina

pede para nos comprometermos com o valor V para um deles

afirmamos F para P Q: afirmamos que ambos so falsos

Mquina

escolhe P ou Q e compromete-nos com a falsidade deste Se um s deles verdadeiro: escolhe esse Se ambos verdadeiros ou ambos falsos: escolha arbitrria
Lgica Proposicional-9

Regras do jogo
Forma PQ Afirmao V F PQ V F P V F Quem joga ns Tarskis World Tarskis World ns Escolher um de P e Q falso Mudar de P para P e trocar valor lgico escolhido

Objetivo
Escolher um de P e Q verdadeiro

Nota: podemos saber o valor lgico de P Q e no saber os valores lgicos de P nem de Q O jogo assume conhecimento completo sobre o mundo
Lgica Proposicional-10

Ambiguidade e parnteses

LN: ambiguidade comum

A Rita est na sala ou o Luis est na sala e o Rui est distrado

LPO:
[NaSala(rita) NaSala(luis)] Distraido(rui) NaSala(rita) [NaSala(luis) Distraido(rui)]

Negao: parntesis delimitam alcance

NaSala(rita) NaSala(luis) [NaSala(rita) NaSala(luis)]

Critrio dos parntesis

Conjuno de qualquer nmero de frases: sem parntesis Disjuno de qualquer nmero de frases: sem parntesis Parntesis extra usados livremente para obter significado pretendido
Lgica Proposicional-11

VERDADE E CONSEQUNCIA

Introduo-12

Equivalncia lgica

P e Q so logicamente equivalentes: verdadeiras exatamente nas mesmas circunstncias PQ Tarskis World:

P e Q logicamente equivalentes: verdadeiras nos mesmos mundos Existe um mundo no qual uma verdadeira e outra falsa: no so logicamente equivalentes

Leis de DeMorgan
(R S) R S (R S) R S
Lgica Proposicional-13

Equivalncia lgica

Dupla negao P P Frases logicamente equivalentes: cada uma consequncia lgica da outra Usando dupla negao e leis de DeMorgan: qualquer frmula escrita com , , se transforma noutra com aplicada apenas nas frmulas atmicas - forma normal com negao
((A B) C) (A B) C (A B) C (A B) C

Literal: frmula atmica ou negao de uma frmula atmica Notar: no smbolo da linguagem: uma forma abreviada de dizer que duas frmulas so logicamente equivalentes
Lgica Proposicional-14

Equivalncias lgicas

Idempotncia do :
PQP PQ PQ QPR QPR

Idempotncia do :
PQP PQR PQR

Comutatividade do : Comutatividade do :

Lgica Proposicional-15

Traduo de lngua natural

Frases em LN e em LPO: tm o mesmo significado se tiverem o mesmo valor lgico em todas as circunstncias Se a frmula A traduo de uma frase ento B, logicamente equivalente a A, tambm traduo dessa frase Mas
Algumas tradues so mais fiis ao estilo da afirmao inicial Ex: No verdade que a Rita e o Luis estejam ambos na sala (1) (NaSala(rita) NaSala(luis)) (2) NaSala(rita) NaSala(luis) (1) fiel ao estilo da frase em LN (2) no fiel ao estilo
Lgica Proposicional-16

Satisfao e verdade lgica

Frmula satisfazvel (logicamente possvel):

- pode ser verdadeira, de um ponto de vista lgico ou - h alguma circunstncia logicamente possvel na qual verdadeira

Conjunto de frmulas satisfazvel existe circunstncia possvel na qual as frmulas so simultaneamente verdadeiras No basta cada uma ser satisfazvel: NaSala(rita) NaSala(luis) NaSala(rita) NaSala(luis)

Tarskis World:

frase satisfazvel se se pode construir um mundo em que verdadeira chama-se-lhe TW-satisfazvel h frases logicamente satisfazveis que no podem tornar-se verdadeiras nos mundos do Tarskis World: (Tet(b) Cube(b) Dodec(b)) no TW-satisfazvel
Lgica Proposicional-17

Mas

Frmula logicamente verdadeira

Frmula que verdadeira qualquer que seja o mundo

NaSala(rita) NaSala(rita) (Atento(luis) Atento(luis)) [(Atento(luis) Atento(rui)) Atento(luis) Atento(rui)]

P logicamente verdadeiro: P no satisfazvel Averiguar satisfao e verdade lgica: tabela de verdade (Cube(a) Cube(b)) Cube(c) (A B) C
A V V V V F F F F B V V F F V V F F C V F V F V F V F (A B) C

Lgica Proposicional-18

Decidir satisfao de frmula

A V V V V F F F F A V V V V F F F F B V V F F V V F F B V V F F V V F F C V F V F V F V F C V F V F V F V F (A B) C V F V V F F F V F F F V F F F V (A B) V V F F F F F F C V F V V F F V V F F V V F F V V
Lgica Proposicional-19

Tautologia

Linhas esprias: no representam possibilidades genunas

o o

Ex: A frmula atmica a=a A segunda metade da 1 coluna da tabela espria: a=a no pode ser falso Ex: A Tet(c) Linhas que tm V para A e para C so esprias porque c no pode ser tetraedro e cubo

Investigar verdade lgica: linhas esprias so ignoradas Reconhecer linhas esprias:

pelo significado das frmulas atmicas frmula verdadeira em todas as linhas, esprias ou no Tautologias so verdades lgicas, algumas verdades lgicas no so tautologias (a=a)
Lgica Proposicional-20

Mais forte que verdade lgica: tautologia

Tautologia e verdade lgica

F: frmula construda a partir de frmulas atmicas com conetivas Tabela de verdade para F mostra como o seu valor lgico depende do das suas partes atmicas F tautologia se e s se toda a linha lhe atribui V F satisfazvel (possibilidade lgica) se e s se h pelo menos uma linha no espria que lhe atribui V F logicamente verdadeira (necessidade lgica) se e s se todas as linhas no esprias lhe atribuem V F TW-satisfazvel (TW-possvel) se existe um mundo TW que a torna
verdadeira

Lgica Proposicional-21

Classificao de frmulas
Necessidades do TW Necessidades lgicas Tautologias
Tet(a) Tet(a) a=a Tet(a) Cube(a) Dodec(a)

Toda a tautologia uma verdade lgica H verdades lgicas que no so tautologias Prova de verdade lgica

se se pode provar P sem premissas, P verdade lgica

Lgica Proposicional-22

Dois princpios

Tautologia (equivale a V): P P - princpio do terceiro excludo

P verdade ou P falso e no h outra hiptese

No satisfazvel (equivale a F): P P - princpio da no contradio

P no pode ser verdade e falso simultaneamente

teis nas simplificaes de frmulas complexas

Lgica Proposicional-23

Equivalncia lgica e tautolgica

Frases tautologicamente equivalentes

equivalentes atendendo apenas ao significado das conetivas pode ser averiguado na tabela de verdade
o

S e S so tautologicamente equivalentes se cada linha da tabela de verdade conjunta lhes atribui os mesmos valores

Frases tautologicamente equivalentes so logicamente equivalentes Algumas equivalncias lgicas no so equivalncias tautolgicas

Lgica Proposicional-24

Consequncia lgica e tautolgica

Frase S consequncia tautolgica de S

consequncia que atende apenas ao significado das conetivas pode ser averiguada na tabela de verdade
o

S consequncia tautolgica de S se toda a linha da tabela de verdade que atribui V a S atribui o mesmo valor a S

As consequncias tautolgicas so tambm consequncias lgicas Algumas consequncias lgicas no so consequncias tautolgicas

Ex: a=c consequncia de a=b b=c

Lgica Proposicional-25

Noes de consequncia em Fitch

Mtodos na construo de provas formais com o Fitch Consequncia Tautolgica (Taut Con)

consequncia que s atende ao significado das conetivas ignora quantificadores e significado dos predicados consequncia atende a conetivas, quantificadores e predicado = consequncia atende a conetivas, quantificadores, predicado = e maioria dos predicados do TW

Consequncia de 1 Ordem (FO Con)

Consequncia Analtica (Ana Con)

Lgica Proposicional-26

Quadrado da simulao

Lgica como simulao para obter novo conhecimento

partir da realidade representar em LPO raciocinar, obter uma concluso regressar ao equivalente da concluso na realidade.

Realidade
frases em Lngua Natural

representar

Simulao
frases em LPO

inferir

novo conhecimento

concluso
Lgica Proposicional-27