19

Mtodos e Estratgias de Estudo

OPERAES LGICAS SOBRE

PROPOSIES

Agora que j conhecemos o que so proposies e os conectivos que

podem ser utilizados para formarmos proposies compostas, vamos estudar quais tipos de operaes podem ser realizadas.
Em Lgica Simblica, a ao de combinar proposies chamada operao, os conectivos so chamados operadores, que so representados por smbolos especficos. Apresentamos no Quadro 1 as cinco operaes lgicas sobre proposies, com seus respectivos conectivos e
smbolos (PINHO, 1999):
Conectivo
e
ou
no
se ... ento
se e somente se

Smbolo
< >

Operao
Conjuno
Disjuno
Negao
Condicional
Bicondicional

~ ou
, ou

Quadro 1 Operaes lgicas sobre proposies.

Como podemos determinar o valor lgico de uma proposio composta, em funo dos valores lgicos das proposies que a compe?
Para responder a essa pergunta, temos que definir as operaes, isto , dar o
resultado da operao para cada possvel conjunto de valores dos operandos.

2.1 Negao ( ~ )

Negao de uma proposio p a proposio representada por

no p ou por ~ p, cujo valor lgico verdade (V) quando p
falso e falsidade (F) quando p verdadeiro. Ou seja, no p tem
o valor lgico oposto de p (ALENCAR FILHO, 2003).
A seguir mostrada a tabela verdade com os valores lgicos da negao
e as igualdades vlidas nesse caso:
Lgica e Matemtica Discreta

20

Captulo 2

Igualdades:

p
V
F

~V=Fe~F=V
V (~ p) = ~ V(p)

~p
F
V

Como vemos, negao o fato de negar, opor-se ou se colocar de forma

contrria a algo. Isso em nossa linguagem feita utilizando-se o advrbio no ou expresses como no verdade que, falso que etc.
Exemplos:
p
~p
~p
~p

: Maria jornalista.
: Maria no jornalista.
: falso que Maria jornalista.
: no verdade que Maria jornalista.

2.2 Conjuno (^)

Conjuno de duas proposies p e q a proposio representada por p e q ou p ^ q, cujo valor lgico a verdade (V) quando
as proposies p e q so verdadeiras e a falsidade (F) nos demais
casos (ALENCAR FILHO, 2003).
A seguir mostrada a tabela verdade com os valores lgicos da conjuno e as igualdades vlidas neste caso:
Igualdades:
V^V=V
V^F=F
F^V=F
F^F=F
V(p ^ q) = V(p) ^ V(q)

p
V
V
F
F

~qp
V
F
V
F

p^q
V
F
F
F

Exemplos:
1) p: o mar azul (V)
q: 1 impar (V)
----------------------------p ^ q = o mar azul e 1 impar (V)
V(p ^ q) = V(p) ^ V(q) = V ^ V = V
Tecnologia em Anlise e Desenvolvimento de Sistemas

21
Operaes Lgicas sobre Proposies

2) p: a lua quadrada (F)

q: 1 par
(V)(V)
mpar
----------------------------mpar
p ^ q = a lua quadrada e 1 par
(F)(F)
V(p ^ q) = V(p) ^ V(q) = F ^ V = F

2.3 Disjuno (

Marcos alto, mas no elegante.

O mas neste caso tem sentido de e

(conjuno). equivalente a dizer:
Marcos alto e no elegante.

Disjuno de duas proposies p e q a proposio representada por p ou q ou p q, cujo o valor lgico a verdade (V)
quando ao menos uma das proposies p e q verdadeira e a falsidade (F) quando as proposies p e q so ambas falsas (ALENCAR FILHO, 2003).
A seguir mostrada a tabela verdade com os valores lgicos da disjuno e as igualdades vlidas neste caso:
Igualdades:
V V=V
V F=V
F V=V
F F=F
V(p q) = V(p)

V(q)

~qp p

V
V
F
F

V
F
V
F

V
V
V
F

Exemplos:
1) p: Rio de Janeiro a capital do Brasil (F)
q: 1 + 3 = 4 (V)
______________________________________
p q = Rio de Janeiro a capital do Brasil ou 1 + 3 = 4 (V)
F V=V
V(p q) = V(p) V(q) = V
2) p: Aparecida do Norte padroeira do ES (F)
q: Vasco da Gama descobriu o Brasil (F)
_______________________________________
p v q = Aparecida do Norte padroeira do ES ou Vasco da Gama descobriu o Brasil (F)
V(p q) = V(p) V(q) = F F = F
Lgica e Matemtica Discreta

22

Captulo 2

2.4 Disjuno Exclusiva (

Ocorre quando no cotidiano encontramos situaes onde dadas duas sentenas no faz sentido
dizermos que a "disjuno" das duas possa ser verdadeira quando ambas so verdadeiras.

Disjuno exclusiva de duas proposies p e q a proposio

representada por ou p ou q ou p q, cujo valor lgico a verdade (V) somente quando p verdadeira ou q verdadeira, mas no
quando p e q so ambas verdadeiras, e a falsidade (F) quando p e q
so ambas verdadeiras ou falsas. (ALENCAR FILHO, 2003).
Na literatura possvel encontrar outro smbolo para disjuno exclusiva: p q.

A seguir mostrada a tabela verdade com os valores lgicos da disjuno exclusiva e as igualdades vlidas neste caso:
Igualdades:
V V=F
V F=V
F V=V
F F=F
V(p q) = V(p)

p
V
V
F
F

V(q)

q
V
F
V
F

q
F
V
V
F

Exemplos:
p: Joo Argentino (V)
q: Joo torce pro Brasil (V)
________________________________
p q = ou Joo Argentino ou Joo torce pro Brasil (F)
V(p q) = V(p) V(q) = V V = F

Exemplo 2:

No faz sentido, tratando-se de uma nica pessoa, que ambas sentenas p e q

p: Carlos gacho.

sejam verdadeiras. Por isso utiliza-se a disjuno exclusiva.

q: Carlos mineiro.

p q: Ou Carlos gacho ou Carlos mineiro.

2.5 Condicional (

Condicional uma proposio representada por se p ento q

ou p
q, cujo valor lgico a falsidade (F) no caso em que p
verdadeira e q falsa e a verdade (V) nos demais casos (ALENCAR FILHO, 2003).
i) p condio suficiente para q.
ii) q condio necessria para p.

Se temos p

q, dizemos que p o antecedente e q o conseqente.

Tecnologia em Anlise e Desenvolvimento de Sistemas

23
Operaes Lgicas sobre Proposies

A seguir mostrada a tabela verdade com os valores lgicos da condicional e as igualdades vlidas neste caso:
Igualdades:
V
V
F
F
V(p

V=V
F=F
V=V
F=V
q) = V(p)

p
V
V
F
F

V(q)

q
V
F
V
F

q
V
F
V
V

Uma condicional verdadeira todas as vezes

que o seu antecedente uma proposio falsa.

Exemplos:
1) p: Marisa Monte uma cantora brasileira (V)
q: Marisa Monte nasceu no Chile (F)
_____________________________
p q = se Marisa Monte uma cantora brasileira ento Marisa Monte
nasceu no Chile (F)
V(p q) = V(p) V(q) = V F = F
2) p: Fevereiro tem 30 dias (F)
q: Todo ano temos ano bissexto (F)
_______________________________
p q = se Fevereiro tem 30 dias ento Todo ano temos ano bissexto (V)
V(p q) = V(p) V(q) = F F = V

2.6 Bicondicional (

Bicondicional uma proposio representada por p se e somente se q ou p

q, cujo valor lgico a verdade(V) quando
p e q so ambas verdadeiras ou ambas falsas, e a falsidade (F) nos
demais casos. (ALENCAR FILHO, 2003).
Se temos p

q, dizemos que p uma condio suficiente e necessria a q.

A seguir mostrada a tabela verdade com os valores lgicos da bicondicional e as igualdades vlidas neste caso:

Lgica e Matemtica Discreta

24

Captulo 2

Igualdades:
V

V=V

F=F

V=F

F=V

V(p

q) = V(p)

V(q)

V
V
F
F

V
F
V
F

V
F
F
V

Exemplos:
1) p: 6/3 = 3 (F)
q: Ronaldinho jogador de futebol (V)
________________________________
p
q = 6/3 = 3 se e somente se Ronaldinho jogador de futebol (F)
V(p
q) = V(p)
V(q) = F
V=F

ATIVIDADE 3:
1. Dadas as proposies p: Joo cantor e q: Maria professora,
traduza as seguintes proposies para o portugus:
(a) ~p
(e) q
(i) ~ ~ p

(b) p q
p

(f) p q

(j) ~p q

(c) p q

(d) p

(g) p ~q

(h) ~p ~q

p (k) ~(~p ~q) (l) ~p

q
~q

2. Dadas as proposies p: Pedro elegante e q: Pedro bonito,

traduza as seguintes proposies para a linguagem simblica:
(a) Pedro elegante e bonito
(b) Pedro elegante, mas no bonito
(c) No verdade que Pedro seja bonito e elegante
(d) Pedro no elegante nem bonito
(e) Pedro bonito ou feio, mas elegante
(f) Ou Pedro bonito ou no elegante
3. Traduzir para linguagem simblica as seguintes expresses
matemticas:
(a) Se x > 0 ento y = 7

(b) Se x = 1 ento y > 1 e z < 4

(c) x = 0 ou x > 0

(d) x 0 ou (x = 0 e y = 1)

Tecnologia em Anlise e Desenvolvimento de Sistemas

25
Operaes Lgicas sobre Proposies

4. Determine o valor lgico (V ou F) das expresses abaixo:

(a) 3 + 2 = 7 e 5 + 5 = 10
(c) ~(1 + 1 = 2

3 + 4 = 5)

(b) 1 > 0
(d) 2 + 2 = 4

2+2=4
(3 + 3 = 7

1 + 1 = 4)

5. Determinar V(p) em cada caso:

(a) V(q) = F e V(p
(c) V(q) = V e V(q

q) = F
p) = F

(b) V(q) = F e V(p

q) = F

(d) V(q) = F e V(q

p) = V

Para maior compreenso, ler o captulo 2 Operaes Lgicas

sobre Proposies do livro Alencar Filho, Edgard de. Iniciao
lgica matemtica. So Paulo: Nobel, 2003.

Lgica e Matemtica Discreta