LÓGICA PROPOSICIONAL

FORMA LÓGICA DE PROPOSIÇÕES

DESIGNAÇÃO EXEMPLOS DICIONÁRIO FORMALIZAÇÃ
O
Proposições Sócrates é filósofo P: Sócrates é filósofo P
simples
Negação Sócrates não nasceu no Porto P: Sócrates nasceu no Porto ¬P

Conjunção Sócrates é grego e filósofo P: Sócrates é grego P^Q

Q: Sócrates é filósofo
Disjunção O Rui compreendeu ou P: O Rui compreendeu a matéria PVQ
decorou a matéria Q: O Rui decorou a matéria
Condicional Se a arte é bela, então tem P: A arte é bela P→Q
valor Q: A arte tem valor
Bicondicional A arte tem valor se e só se for P: A arte tem valor P↔Q
bela Q: A arte é bela
 DESIGNAÇÃO EXEMPLOS DICIONÁRIO FORMALIZAÇÃO

Sócrates não nasceu no P: Sócrates nasceu no

Negação ¬P
Porto Porto
 DESIGNAÇÃO EXEMPLOS DICIONÁRIO FORMALIZAÇÃO

Sócrates é grego e P: Sócrates é grego

Conjunção P^Q
filósofo Q: Sócrates é filósofo
 DESIGNAÇÃO EXEMPLOS DICIONÁRIO FORMALIZAÇÃO

P: O Rui compreendeu a
O Rui compreendeu ou matéria
Disjunção PVQ
decorou a matéria Q: O Rui decorou a
matéria
 DESIGNAÇÃO EXEMPLOS DICIONÁRIO FORMALIZAÇÃO

Se a arte é bela, então P: A arte é bela

Condicional P→Q
tem valor Q: A arte tem valor
 DESIGNAÇÃO EXEMPLOS DICIONÁRIO FORMALIZAÇÃO

A arte tem valor se e só P: A arte tem valor

Bicondicional P↔Q
se for bela Q: A arte é bela
 FORMALIZAÇÃO DE PROPOSIÇÕES
Exemplos de Proposições Dicionário Formalização

A arte não tem utilidade

Não é verdade que a arte tem utilidade
É falso que a arte tem utilidade P: A arte tem utilidade ¬P

Platão e Aristóteles são filósofos

Tanto Platão como Aristóteles são
filósofos
Quer Platão quer Aristóteles são
filósofos
Platão é filósofo, mas Aristóteles P: Platão é filósofo P^Q
também Q: Aristóteles é filósofo
Platão é filósofo, embora Aristóteles
também o seja
 FORMALIZAÇÃO DE PROPOSIÇÕES
Exemplos de Proposições Dicionário Formalização

Camões ou Bocage eram de

Setúbal P: Camões era de Setúbal
Camões e Bocage, um deles PVQ
Q: Bocage era de setúbal
era de Setúbal
Se Sócrates era filósofo, então
era grego
Se Sócrates era filósofo, era P: Sócrates era filósofo
grego P→Q
Q: Sócrates era grego
Sócrates era grego, se era
filósofo
Deus perdoa se e só se for bom
Deus perdoa se e apenas se for
bom P: Deus perdoa
Deus perdoa se for bom, e P↔Q
Q: Deus é bom
vice-versa
 Formalização de proposições com várias conectivas
Conectivas Exemplos Dicionário Formalização

Negação e Não é verdade que, se a Ana P: A Ana estuda

condicional estuda, tem boa nota no teste Q: A Ana tem boa nota no teste
¬ (P → Q)

Condicional e Se a Ana estuda, não terá P: A Ana estuda

negação problemas Q: A Ana terá problemas P→¬Q

Conjunção e Sócrates é grego e se é filósofo, P: Sócrates é grego

condicional é muito inteligente Q: Sócrates é filósofo
R: Sócrates é muito inteligente P ∧ (Q → R)
 Formalização de proposições com várias conectivas
Conectivas Exemplos Dicionário Formalização

Conjunção, A Ana estuda e, se P: A Ana estuda Q: A

condicional e negação estiver com atenção, Ana está com atenção
não terá problemas R: A Ana tem
com o teste problemas com o teste P ∧ (Q → ¬ R)

Bicondicional, A arte tem valor se e só P: A arte tem valor

conjunção e negação se emocionar e não for Q: A arte emociona P ↔ (Q ∧¬ R)
feia R: A arte é feia

Disjunção, conjunção Trabalhas muito ou P: Trabalhas muito

e condicional tens talento e, se tiveres Q: Tens talento
(P ∨ Q) ∧ (R → S)
sorte, terás sucesso R: Tens sorte
S: Tens sucesso