Vous êtes sur la page 1sur 2
matA10 – lógica e teoria de conjuntos Proposições

matA10 lógica e teoria de conjuntos

Proposições

Uma proposição é toda a expressão p suscetível de ser verdadeira ou falsa.

Uma proposição verdadeira tem o valor lógico de V ou 1 (verdade).

Uma proposição falsa tem o valor lógico de F ou 0 (falsidade).

Operações com proposições

Negação

Conjunção

Disjunção

 

p

~

p

 

p

q

p q

p

q

p q

V

F

V

V

V

V

V

V

F

V

V

F

F

V

F

V

 

F

V

F

F

V

V

F

F

F

F

F

F

 

Implicação

 

Equivalência

Disjunção exclusiva

p

q

p q

p

q

p q

p

q

p  q

p q

V

V

V

V

V

V

V

V

F

V

F

F

V

F

F

V

F

V

F

V

V

F

V

F

F

V

V

F

F

V

F

F

V

F

F

F

 

Propriedades das operações lógicas

 

Princípio da não contradição

Princípio do terceiro excluído

 

p ~ p F

p ~ p V

 

Comutatividade

Associatividade

p q q p

p q q p

p qr p q r

p qr p q r

 

Elemento neutro

Elemento absorvente

p V p

p F p

p F F

p V V

 

Distributividade

Leis de De Morgan

p

p

q q   rrp p   qqp p   rr

~ p q~ p~ q

~ p q~ p~ q

 

Implicação e disjunção

Negação da implicação

 

p q~ p q

~ p qp~ q

Implicação contrarrecíproca

Transitividade da implicação

p q~ q ~ p

p qq rp r

 

Dupla implicação

Dupla negação

p qq pp q

~ ~ pp

 

Operação lógica e expressões

 

Operação

Negação ~

Conjunção

Disjunção

Expressão

não não é verdade que …

… e …

… ou …

geral@matematicaonline.pt

Operação

Expressão

Implicação

se … então …

Equivalência

… se e somente se … … se e só se …

1 / 2

matA10 – lógica e teoria de conjuntos Expressão proposicional ou condição Uma expressão proposicional ou

matA10 lógica e teoria de conjuntos

Expressão proposicional ou condição

Uma expressão proposicional ou condição é uma expressão pxenvolvendo a variável x, tal que, substituindo a variável

por um objeto a, obtém-se uma proposição pa.

Quantificadores

Quantificador universal: Se pxé uma condição universal em U, a expressão x U, pxé uma proposição verdadeira.

Quantificador existencial: Se pxé uma condição possível em U, a expressão x U, pxé uma proposição verdadeira.

Condições Representação Impossíveis xU, pxx,xU  px Condições Não
Condições
Representação
Impossíveis
xU, pxx,xU  px
Condições
Não universais
x U : pxx : x U  px
Possíveis
Universais
Propriedades
Se px é uma condição qualquer, ux é uma condição
Negação de uma condição
universal e ix é uma condição impossível, verifica-se:
 A negação de uma condição impossível é uma condição
universal.
px px ux ix px ux
pxux px ix ix px
 A negação de uma condição universal é uma condição
impossível.
  ~ ~ xU xU, : pxxU pxxU, : ~ ~ px px
Segundas leis de De Morgan
~ x, px qxx : px ~ qx
Negação de uma implicação
~ ~ x x, : pxx pxx, : ~ ~ px px
x,px qxqx pxx,px qx
Dupla implicação
x,px qxx,~ qx~ px
Contrarrecíproco

Contraexemplo Para provar que x U, pxé uma proposição falsa, basta apresentar um contraexemplo, isto é, a U , tal que paé

falsa.

Conjuntos e condições

Condições definidas em U

Relações entre conjuntos-solução em U

ax

 

A

 

bx

 

B

 

~ ax

negação

A

complementar

axbx

conjunção

AB

interseção

axbx

disjunção

AB

reunião (ou união)

axbx

implicação

A B

inclusão

axbx

equivalência

A B

igualdade

AB x : xAxB

  A A\ B B x, x x : xA A  x xBB

A B x,x A x B

Se B A , então A \ B B é o complementar de B em A

A B B A A B

geral@matematicaonline.pt

2 / 2