O clculo proposicional

IL

Proposies atmicas Proposies compostas

Pelo uso de conectivos

O clculo proposicional Morfologia e Sintaxe

Construo de frmulas bem formadas

Sintaxe

Lucia Rino

Introduo Lgica

Proposies/Sentenas atmicas
Expressam relaes simples entre indivduos SENT completa, declarativa p1: Bob gosta de lgica. p2: Joo ama Maria. p3: Joo dois anos mais velho que Maria. p4: A lua um satlite da terra. p5: Todo homem mortal. p6: sen(/2) = 1 p7: Est chovendo.
Lucia Rino Introduo Lgica 3

Proposies atmicas
Ou, simplesmente, tomos Em geral, expressam
FATOS comprovados Juzos de valor

Proposies simples, declarativas

Excluem-se exclamaes, interrogaes, e ordens

Lucia Rino

Introduo Lgica

Proposies atmicas
p1: Bob gosta de lgica. p8: Bob gosta de quem gosta de lgica. p8 proposio atmica??? ??

Proposies atmicas
p1: Bob gosta de lgica. p8: Bob gosta de quem gosta de lgica. p8 proposio atmica??? CUIDADO
Condio implcita
Se algum gosta de lgica, Bob gosta desse algum.

??

p8, portanto, no proposio atmica

p9: Se Maria estudar, [ento] ela ir bem nos exames.

Idem!
Lucia Rino Introduo Lgica 5 Lucia Rino Introduo Lgica 6

O clculo proposicional

O clculo/lgica proposicional
Formalizao

Linguagem de expresso de relaes e predicados de objetos/indivduos

Linguagem proposicional

Morfologia Sintaxe Semntica Mecanismo de deduo

Lucia Rino Introduo Lgica 8

A linguagem proposicional
Morfologia
Vocabulrio ou lxico da linguagem Objetos ou indivduos, smbolos de relao, etc.

A linguagem proposicional

Sintaxe
Estruturas lcitas, gramaticais, da linguagem Expresses proposicionais

Semntica
Significado das expresses proposicionais

Agora, portugus!

Mecanismo de deduo (para o raciocnio)

Regras de manipulao de expresses proposicionais
Lucia Rino Introduo Lgica 9

O clculo proposicional (CalcPropos)

Linguagem de expresso de relaes e predicados de objetos/indivduos
Linguagem proposicional

Forma clausal: Relao com portugus

p1: Bob gosta de lgica. p2: Joo ama Maria. p3: Joo dois anos mais velho que Maria.
Relaes entre indivduos

Morfologia Sintaxe Semntica Mecanismo de deduo

Lucia Rino Introduo Lgica 11

Maria bonita.

Propriedade ou predicado de um indivduo

Relaes, predicados ou PROPOSIES

Lucia Rino

Introduo Lgica

12

A linguagem proposicional: Lxico

A linguagem proposicional

Objetos ou indivduos: Denominao comum de um termo ou componente de uma relao p1: Bob gosta de lgica. p2: Joo ama Maria. p3: Joo dois anos mais velho que Maria. p4: A lua um satlite da terra.

Lxico: Smbolos proposicionais so palavras do vocabulrio

Lucia Rino

Introduo Lgica

14

Proposies atmicas: Forma clausal

gosta_de(Bob,lgica) = p ama(Joo,Maria) = q eh_mais_velho_que(Joo,Maria,2) = r

Proposies compostas
Introduzidas por conectivos, ou operadores
Proposies atmicas interconectadas

Conjuno
&, e, and,

Smbolos proposicionais atmicos

Forma simplificada no CalcPropos
p, q, r, s, t, u,...

Disjuno
Ou, or,

Smbolo de negao (considerado por vrios autores um conectivo)

No, not,

Lucia Rino

Fundamentos de Lgica

15

Lucia Rino

Introduo Lgica

16

O clculo proposicional: Lxico

So palavras do vocabulrio proposicional
Smbolos proposicionais atmicos ou, simplesmente, tomos
p, q, r, s, t, u, p1, p2,... q1,... pn,...

CalcPropos: O lxico
Smbolos proposicionais atmicos Representam proposies singulares Podem ser definidos pelo autor
desde que representem tomos p1,p2,qn, etc.

Conectivos
&, e, and, (conjuno) Ou, or, (disjuno) No, not, (negao) (condicional) (bicondicional)
Lucia Rino Introduo Lgica 17

Conectivos Usados para construir proposies compostas Somente esses smbolos so considerados palavras do vocabulrio proposicional
Lucia Rino Introduo Lgica 18

Frmulas bem formadas

A linguagem proposicional

Expresses lgicas so frmulas bem formadas (fbfs) quando

As proposies atmicas ou compostas so construdas de acordo com as regras gramaticais

Sintaxe: Sentenas proposicionais so frmulas bem formadas

Fbfs so licenciadas pela gramtica do CalcPropos

So SENTs gramaticais
So SENTs sintaticamente corretas

Lucia Rino

Introduo Lgica

20

Frmulas bem formadas: Definio

Uma expresso lgica uma fbf se for
Proposio atmica Proposio composta, formada por fbfs p1 e p2 interconectadas de forma vlida (validade puramente gramatical)
p1 p2 p1 p2 p2 p1 p2 p1 p2

Frmulas bem formadas: Definio

Uma expresso lgica uma fbf se for
Proposio atmica

ou
Proposio composta, formada pela juno de tomos
fbfs interconectadas

As nicas fbfs so as fbfs definidas segundo critrios acima

Lucia Rino Introduo Lgica 21

A aplicao de conectivos a uma (ou mais) fbf(s) resulta em uma fbf

Lucia Rino Introduo Lgica 22

Proposies atmicas
Relaes simples entre indivduos so fbfs
E so chamadas tomos
Orao completa, declarativa

Proposies compostas
Proposies atmicas interconectadas por conectivos Proposies compostas conjuntivas () Proposies compostas disjuntivas () Proposies compostas negadas ()

p1: Bob gosta de lgica. p2: Joo ama Maria. p3: Joo dois anos mais velho que Maria. p4: A lua um satlite da terra. p5: Todo homem mortal. p6: sen(/2) = 1 p7: Est chovendo.
Lucia Rino Introduo Lgica 23

Lucia Rino

Introduo Lgica

24

Proposies compostas: Exemplos

Joo e Carlos amam Maria.
p1: Joo ama Maria. p2: Carlos ama Maria.

Proposies compostas: Exemplos

Joo e Carlos amam Maria.
p1: Joo ama Maria. p2: Carlos ama Maria.

p1 p1

p2

p1 p2
Joo ou Carlos ama Maria.
p1: Joo ama Maria. p2: Carlos ama Maria. p1: Joo ama Maria. p2: Carlos ama Maria.

p1 p2
Joo ou Carlos ama Maria.

p2

p1 p2
Joo no ama Maria.
nao(ama(Joo,Maria)) p: Joo ama Maria.

p1 p2
Joo no ama Maria.
nao(ama(Joo,Maria)) p: Joo ama Maria.

p
Lucia Rino Introduo Lgica 25 Lucia Rino

p
Introduo Lgica

26

Exerccios
Dada uma SENT matemtica
Construir sua rvore sinttica

Envolve manipulao de
Prioridade de operadores Parentizao (mudana de prioridade)

O CalcPropos

Dada uma rvore

Resgatar a SENT correspondente

Resgate da aula passada

Resgate da sintaxe Entendimento da semntica correta

Introduo Lgica 27

Lucia Rino

Proposies compostas: Exemplos

Joo e Carlos amam Maria.
p1: Joo ama Maria. p2: Carlos ama Maria.

Exerccios: EP1
Dei a SENT matemtica
F1: (a*b + c/d + e) * f/g

p1 p1

p2

p1 p2
Joo ou Carlos ama Maria.
p1: Joo ama Maria. p2: Carlos ama Maria.

Para construir sua rvore sinttica

p2

p1 p2
Joo no ama Maria.
nao(ama(Joo,Maria)) p: Joo ama Maria.

p
Lucia Rino Introduo Lgica

29

Lucia Rino

Introduo Lgica

30

Exerccios: EP1
Dei a rvore de
[a*b + c - d ] / 2 * 10 b/c

Proposies compostas
Podem ter qualquer nvel de complexidade
Composies por construo

Para derivar esta SENT

pq (p q) r s pqrs pqrs

(p q) r s [(p q)] r s [ r] s s p q r s p (q r s)
Introduo Lgica 32

Lucia Rino

Introduo Lgica

31

Lucia Rino

Proposies compostas
Podem ter qualquer nvel de complexidade
Composies por construo

Proposies compostas
Podem ter qualquer nvel de complexidade
Composies por construo

pq (p q) r s pqrs pqrs

(p q) r s s
uma conjuno!

p q r s p (q r s)

pq (p q) r s pqrs pqrs

(p q) r s = s

p q r s
p (q r) s p ( s) p uma disjuno!

Lucia Rino

Introduo Lgica

33

Lucia Rino

Introduo Lgica

34

Proposies compostas
Podem ter qualquer nvel de complexidade
Composies por construo

Proposies compostas
Podem ter qualquer nvel de complexidade
Composies por construo

pq (p q) r s pqrs pqrs

(p q) r s = s

p q r s
p

p (q r s)
p
As 2 ltimas so iguais!

pq (p q) r s pqrs pqrs

p q
Novo conectivo: p q

(p q) (q p)
Novo conectivo: pq

Lucia Rino

Introduo Lgica

35

Lucia Rino

Introduo Lgica

36

Proposies compostas
Condicional: p q
Se p ento q Veremos adiante que a condicional tem relao com a Implicao lgica

Proposies compostas
Se Joo ama Maria e Maria ama Joo, ento eles podem se casar.
p1: ama(Joo,Maria) p2: ama(Maria,Joo) p3: podem_se_casar(Joo,Maria).

Bicondicional: p q
p se e somente se q
(p q) (q p)

Veremos adiante que a bicondicional tem relao com a Equivalncia lgica

Lucia Rino Introduo Lgica 37

p1 p2 p3 (p1 p2) p3 Prioridade de operadores: j, j...

Lucia Rino Introduo Lgica 38

Forma sentencial

O cculo proposicional

Sentena que contem um nmero qualquer de fbfs compostas por tomos Para e formas sentenciais, so fbfs
A conjuno de e A disjuno entre e A negao de (ou de ) A condicional entre e A bicondicional entre e
Letras gregas para fbfs quaisquer, mas compostas

Sintaxe: Forma genrica de representao de fbfs

Lucia Rino

Introduo Lgica

40

fbfs: Definio recursiva

Um tomo uma fbf Se e so formas sentenciais, so tb fbfs: fbf

fbfs: Convenes
Prioridade dos operadores
fbf Prioridade A parentizao pode ser usada para mudar a ordem de precedncia dos operadores
Formao das frmulas lgicas permanece consistente
fbfs parentizadas tambm so fbfs

Leitura (leia-se) no e ou se ento se e s se

Maior

fbfs chamadas literais

Menor

p p

Lucia Rino

Introduo Lgica

41

Lucia Rino

Introduo Lgica

42

fbfs: Exemplos

( ) (

fbfs: Exemplos

? ) ? ** ( ) (

? ) ?

Lucia Rino

Introduo Lgica

43

Lucia Rino

Introduo Lgica

44

fbfs: Exemplos

( ) (

fbfs: Convenes comuns no CalcPropos

tomos (proposies atmicas)
Letras minsculas do alfabeto latino
p, q, r, etc.

? ) ? **

( )

Formas sentenciais
Letras gregas p: gosta_de(Bob,lgica)

( )

Literal
tomo (p)
Literal positivo

q: ama(Joo,Maria) r: eh_mais_velho_que(Joo,Maria,2)

Lucia Rino

( ( () ) )
Introduo Lgica 45 Lucia Rino

Negao do tomo (p)

Literal negativo
Introduo Lgica 46

fbfs: Convenes ainda importantes

Em lngua natural (LN) dizer p ou q frequentemente significa
Ou p ou q, mas no ambos ao mesmo tempo.
Ou exclusivo

Exerccios
Escrever as fbfs correspondentes a vrias proposies em portugus p5: Todo homem mortal. p6: sen(/2) = 1 p7: Est chovendo. Se maria estudar, far bons exames. Ele come e dorme. A distncia entre Parati e Ubatuba de 60 km. Se como muito, engordo. Como muito e engordo. Um tringulo ABC retngulo se e s se tem um ngulo reto. Ele est jogando futebol ou est nadando.

Na lgica proposicional
Ou inclusivo
p ou q ou ambos ao mesmo tempo!

Ele est jogando futebol ou est nadando. Chove ou faz frio.

Lucia Rino Introduo Lgica 47

Lucia Rino

Introduo Lgica

48

Linguagem proposicional (sntese)

Objetos/indivduos Relaes entre objetos tomos Proposies compostas fbfs

Morfologia e Sintaxe

IL

Negao (), conjuno (), disjuno (), condicional ( ), bicondicional ()

O clculo proposicional Semntica

Lucia Rino

Introduo Lgica

49

O clculo proposicional: Semntica

Consequncia lgica Equivalncia lgica Argumentos Regras de inferncia: Deduo

O clculo proposicional: Semntica

Significado das expresses proposicionais
Permite associar um valor-verdade a uma proposio lgica Mundo real
SENTs podem ser verdadeiras, falsas ou aceitveis Domnio dos valores-verdade no mundo real = {v,f,a}

Domnio proposicional
DCalcPropos = {v,f}
Lgica bivalente

Lucia Rino

Introduo Lgica

51

Lucia Rino

Introduo Lgica

52

Foco: Proposies verdadeiras

Todo homem mortal. Quando chove, a umidade do ar fica alta. Assaltos deixam as pessoas assustadas. A violncia est aumentando no Brasil. Marcos alto, mas no elegante.

Foco: Proposies verdadeiras

Todo homem mortal. universais Quando chove, a umidade do ar fica alta. Assaltos deixam as pessoas assustadas. A violncia est aumentando no Brasil. Marcos alto, mas no elegante.
Verdades relativas Verdades ditas

Lucia Rino

Introduo Lgica

53

Lucia Rino

Introduo Lgica

54

Exerccios
O que significa dizer que 5 10 vlida na semntica?
Vlida, como formulao lgica Sintaticamente correta, ou gramatical Semanticamente incorreta, ou falsa
domnio da matemtica clssica

Linguagem proposicional: limitao

Objetos variveis no so permitidos X4
menor(X,4) p: X 4

Neste domnio, ela no vlida

05
Vlida, como formulao lgica Verdadeira, no mesmo domnio definido acima (vlida)

X4
Gramatical e aceitvel semanticamente Porm... sem valor-verdade definido (X=?)

Em qualquer caso, no Clculo Proposicional essas SENTs devem ser representadas por smbolos atmicos (p: X 4) Se p for associado a um valor-verdade, no se consegue recuperar nenhuma informao sobre o que ela representa (sobre X, por exemplo)

Lucia Rino

Introduo Lgica

55

Lucia Rino

Introduo Lgica

56

Linguagem proposicional: Semntica

Significado de proposies
Temporal Contextual Mutvel
Limitao 1 do CalcPropos

Linguagem proposicional: Semntica

Significado de proposies
Fbfs sempre
Limitao 2 do CalcPropos

Semntica do CalcPropos
S se aplica a proposies
tomos Proposies compostas {v,f}

Lgica bivalente: DCalcPropos = {v,f}

Se proposio p no verdadeira
p obrigatoriamente falsa E vice-versa
Lucia Rino Introduo Lgica 57

A distncia entre Parati e Ubatuba.

.... de 60 km.
Lucia Rino Introduo Lgica

58

Linguagem proposicional: Semntica

Significado de proposies
SENTs completas
Limitao 3 do CalcPropos

Linguagem proposicional: Semntica

Porm, posso driblar isto
Com severas limitaes de expressividade

Semntica do CalcPropos
S se aplica a proposies que relacionem objetos conhecidos

Semntica do CalcPropos
S se aplica a proposies que relacionem objetos conhecidos

A distncia entre Parati e qualquer outra cidade maior que 60 km.

p: A distncia entre Parati e qualquer outra cidade maior que 60 km.

Proposio elementar ou atmica

Lucia Rino

Introduo Lgica

59

Lucia Rino

Introduo Lgica

60

10

Linguagem proposicional: Semntica

Significado de proposies compostas
5 casos Negao () Conjuno () Disjuno () Condicional ( ) Bicondicional ()

Semntica das proposies compostas

Negao ()
Nega o valor-verdade de uma proposio
Se p for v, p f Se p for f, p v

Conjuno ()
p q tem valor-verdade v somente se
p e q forem v

p q tem valor-verdade f caso contrrio

Introduo Lgica 61 Lucia Rino Introduo Lgica 62

Lucia Rino

Semntica das proposies compostas

Disjuno () (ou inclusivo)
p q tem valor-verdade f somente se
p e q forem f

Semntica das proposies compostas

Bicondicional ()
p q tem valor-verdade v se e s se
Os valores-verdade de p e q forem iguais Ambos v ou ambos f

p q tem valor-verdade v caso contrrio

Condicional ( )
p p q tem valor-verdade f somente se
p e q forem v e f respectivamente

p q tem valor-verdade f caso contrrio

Ver relao com equivalncia lgica ()

q tem valor-verdade v caso contrrio

Ver relao com implicao lgica

Lucia Rino

Introduo Lgica

63

Lucia Rino

Introduo Lgica

64

Sntese: TV de fbfs
Valores-verdade das fbfs que envolvem os 5 conectivos bsicos
Observe os valores ressaltados

Sntese: TV de fbfs
Indica a interpretao de fbfs
Atribuio de valores-verdade a fbfs

v v f f

v f v f

v f f f

v v v f

f v

v f v v

v f f v

Representao exaustiva Se fbf possui 2 tomos distintos

22 interpretaes distintas

Representao genrica do nro. de clulas da TV: baseexp

Base = DCalcPropos = {v,f} Exp = nro. de tomos da fbf 2 valores nro. qualquer

Casos singulares de cada operao lgica

Pode ser usada para construir provas de proposies

Prova por induo perfeita
65 Lucia Rino Introduo Lgica 66

Lucia Rino

Introduo Lgica

11

O CalcPropos: Definio adicional

Ou exclusivo (+)
+ tem valor-verdade v somente se
e tiverem valores-verdade distintos

CalcPropos
v f f v

+ contrria a : + ( ) v v f f v f v f + * f v v f

Semntica: Generalizaes (casos singulares)

* No confunda o smbolo lgico + com o smbolo de adio correspondente!

Lucia Rino Introduo Lgica 67

Generalizaes da conjuno e disjuno

Para uma forma sentencial qualquer, composta somente pela conjuno de tomos
ser v somente se cada tomo for v ser f quando ao menos um tomo for f

Generalizaes da conjuno e disjuno

Para uma forma sentencial qualquer, composta somente pela disjuno de tomos
ser f somente se cada tomo for f ser v quando ao menos um tomo for v

Basta um tomo f para anular o valorverdade de uma forma sentencial conjuntiva

Basta um tomo v para legitimar o valorverdade de uma forma sentencial disjuntiva

Lucia Rino

Introduo Lgica

69

Lucia Rino

Introduo Lgica

70

Generalizaes: Interpretao lgica

Para uma forma sentencial qualquer, O valor-verdade de considerado o resultado de sua interpretao Denotamos a interpretao de por I()
Lucia Rino Introduo Lgica 71

CalcPropos: Semntica

Extenses

12

Conjuno: Extenses
Seja = p1 p2 ... pj ... pn
pi, i=1,...,n: proposies atmicas

Disjuno: Extenses
Seja = p1 p2 ... pj ... pn
Pi, i=1,...,n: proposies atmicas

Se pk, k=1,...,j-1 forem todos v e pj for f

I() = f sem que se precise analisar o valor verdade de pj+1,...,pn

Se pk, k=1,...,j-1 forem todos f e pj for v

I() = v sem que se precise analisar o valor verdade de pj+1,...,pn

Valor-verdade de valor-verdade de ,
= p1 p2 ... pj Simplificao de em n-j termos resulta em

Valor-verdade de valor-verdade de ,
= p1 p2 ... pj Simplificao de em n-j termos resulta em

Lucia Rino

Introduo Lgica

73

Lucia Rino

Introduo Lgica

74

Tautologias e contradies
Uma fbf uma tautologia quando
Qualquer possvel interpretao de verdadeira
Para quaisquer n-uplas de tomos componentes de , coluna inteira da TV = v I() = v

O CalcPropos: Exemplos
Tautologia clssica
p p

Contradio clssica
p p

Uma fbf uma contradio quando

Qualquer possvel interpretao de falsa
Para quaisquer n-upla de tomos componentes de , coluna inteira da TV = f I() = f
Lucia Rino Introduo Lgica 75

Exerccio: PROVE que essas expresses so, de fato, tautologia e contradio (TV)

Lucia Rino

Introduo Lgica

76

Tautologia e Contradio clssicas

Retomando: Importncia de uma TV

Pode ser usada para construir provas de proposies

p v f

p f v

p p v v

p p f f

Prova por induo perfeita

Mas cuidado!
Ela se torna impraticvel quando o nmero de operandos da forma sentencial muito grande!

Lucia Rino

Introduo Lgica

77

Lucia Rino

Introduo Lgica

78

13

Proposta: Prova da contrria

Ou exclusivo (+)
+ tem valor-verdade v somente se
e tiverem valores-verdade distintos

Proposta: Prova da contrria

+ contrria a : + ( )
Smbolo de equivalncia lgica v v f f
Veja slide 67

+ contrria a : + ( ) v v f f v f v f + * f v v f v f f v

v f v f

+ * f v v f

v f f v
Veja slide 56

Lucia Rino

Introduo Lgica

79

Lucia Rino

Introduo Lgica

80

Prova da contrria
v v f f v f v f + * f v v f v f f v ( ) f v v f

Proposta: Prova da contrria

v v f f v f v f + * f v v f v f f v ( ) f v v f

Equivalncia lgica: + ( )

Colunas iguais linha-a-linha Equivalncia lgica entre 2 fbfs e

As colunas de e na TV so absolutamente iguais!

Lucia Rino

Introduo Lgica

81

Lucia Rino

Introduo Lgica

82

A tabela-verdade

CalcPropos: Semntica

1o. exemplar de representao semntica

Representao de valores-verdade

Domnio semntico = {v,f}

Um valor-verdade v Outro valor-verdade f

Definies adicionais: Propriedades

O CalcPropos fechado em relao a todas as suas operaes lgicas

Toda funo de seus conectivos leva imagem no mesmo domnio lgico!
Lucia Rino Introduo Lgica 84

14

Propriedade P1

(

Propriedade P2
A bicondicional equivalente conjuno ( ) ( )

equivalente disjuno
) ( )

PROVA da equivalncia
Induo perfeita

tabela-verdade (TV)
v f v v

v v f f
Lucia Rino

v f v f

f f v v

v f v v
85

) (

Prove usando induo perfeita (TV)

Introduo Lgica

Lucia Rino

Introduo Lgica

86

Propriedade P2: Prova analtica

( ) ( )

Conectivos bsicos (lxico)

v v f f v f v f v f f f v v v f f v v f v v v f f v

Se provamos P1: ento Provar P2 pode tambm significar provar que ( ) ( )

( ) ( ) ( ) ( )

Nro. de clulas da TV: baseexp

Base = DCalcPropos = {v,f} Exp = nro. de operandos distintos da fbf 2 valores sempre quaisquer nros.

Lucia Rino

Introduo Lgica

87

Lucia Rino

Introduo Lgica

88

Tautologia & Contradio

1: tautolgica 2: contraditria
Lembre-se dessas frmulas clssicas!

O CalcPropos: Exerccios da Carmo

=pqr r (tab. 1.6)
Prove que tautologia

1 v v v v
Lucia Rino

2 f f f f

1 = p p v v v v
Introduo Lgica

2 = p p f f f f
89

= p p

q q (tab. 1.7)

Prove que contradio

1 = falso

p; 2 = p

verdade (tab. 1.12)

Prove que so tautologias

Lucia Rino Introduo Lgica - Sem 1/2007 90

15

O CalcPropos: Exerccios
1 = falso p; 2 = p verdade (tab. 1.12)

CalcPropos: Semntica

Qualquer contradio como antecedente de alguma fbf numa condicional leva a uma tautologia Qualquer tautologia como consequente de alguma fbf numa condicional leva a uma tautologia
Lucia Rino Introduo Lgica - Sem 1/2007 91

Definies adicionais: Consequncia e Equivalncia lgicas

Equivalncia lgica
Sejam e duas fbfs do CalcPropos

Cuidado: No smbolo do lxico do CalcPropos!

: Smbolo de equivalncia lgica

Serve somente para relacionar significados de 2 proposies lgicas, ou fbfs
(frmulas bem-formadas)

Cuidado: No smbolo do lxico do CalcPropos! no pode ser usado para construir fbfs! no uma fbf!

Se , podemos afirmar que

Para qualquer combinao de proposies usadas para expressar e

Os valores-verdade correspondentes de e so sempre iguais.

Lucia Rino

Introduo Lgica

93

Lucia Rino

Introduo Lgica

94

Consequncia lgica
Se , podemos dizer que
implica logicamente consequncia lgica de segue logicamente

: Smbolo de consequncia lgica

Serve somente para relacionar significados de 2 proposies lgicas, ou fbfs
(frmulas bem-formadas)

Cuidado: No smbolo do lxico do CalcPropos! no pode ser usado para construir fbfs! no uma fbf!

Cuidado: No smbolo do lxico do CalcPropos!

NOTAO:

Lucia Rino

Introduo Lgica

95

Lucia Rino

Introduo Lgica

96

16

Proposies compostas (slide 37)

Condicional:
Se ento

Equivalncia e consequncia lgicas

(rel.: Implicao lgica) L-se: se ento deve ser verdade E, neste caso,
L-se: implica logicamente

rel.: Implicao lgica

Qual a relao com ?

Bicondicional:
rel.: Equivalncia lgica se e somente se

(rel.: Equivalncia lgica) L-se: se e somente se deve ser verdade E, neste caso,
L-se: e so equivalentes

Qual a relao com ?

Lucia Rino Introduo Lgica 97 Lucia Rino

Introduo Lgica

98

Consequncia lgica: Extenses*

CalcPropos: Semntica

(D1) ser consequncia lgica de 1,2,...,n se e somente se para qualquer interpretao em que 1,2,...,n forem simultaneamente v, tambm for v. NOTAO: 1,2,...,n
A vrgula, nesse caso, indica conjuno L-se: De 1 e 2 e... e n segue
* Di: Definio; Ti: Teorema; H: Hiptese; T: Tese
Lucia Rino Introduo Lgica 100

Consequncia e Equivalncia lgicas Di: Definio; Ti: Teorema H: Hiptese; T: Tese

Consequncia lgica: Teorema T1

(T1) ser consequncia lgica de 1,2,...,n se e somente se for tautologia a fbf
1 2 ... n

Consequncia lgica: Teorema T1

(T1) ser consequncia lgica de 1,2,...,n se e somente se for tautologia a fbf
1 2 ... n

1,2,...,n se e s se
I(1 2 ... n ) = v para i, i=1,...,n!

Lucia Rino

Introduo Lgica

101

Lucia Rino

Introduo Lgica

102

17

Teorema 1 (T1)
1,2,...,n se e somente se
I( 1 2 ... n ) = v

Equivalncia lgica: Extenses

(D2) ser logicamente equivalente a uma frmula quando for consequncia lgica de e vice-versa. NOTAO: (ou ou ~ ) se e

Para lembrar: 1,2,...,n

Troque , por e por em e voc dever ter a tautologia da fbf resultante

Lucia Rino

Introduo Lgica

103

Lucia Rino

Introduo Lgica

104

Equivalncia lgica: Teorema 2

(ou ) (T2) ser logicamente equivalente a se e somente se for tautologia a fbf Para lembrar: se e somente se I( ) = v
Lucia Rino Introduo Lgica 105

Prova de T2: I( )=v para

v f v f v f f v v v
Esses 2 pares de valoresverdade esto excludos da interpretao da bicondicional

Lucia Rino

Introduo Lgica

106

Prova de T2: I( )=v para

CalcPropos: Semntica
Todos os preceitos do CalcPropos servem para o raciocnio lgico

v f

( v f

) ( v v

) v v

v v

Postulados Propriedades Teoremas

E, portanto, para gerar conhecimento

A partir de conhecimento prvio, sabidamente verdadeiro

Lucia Rino

Introduo Lgica

107

Lucia Rino

Introduo Lgica

108

18

CalcPropos: Semntica
Gerar conhecimento
A partir de conhecimento prvio, sabidamente verdadeiro

Quer dizer Deduzir conhecimento

CalcProp-PARTE II.pptx
Lucia Rino Introduo Lgica 109

19