o maior avano da engenharia

de software nos ltimos dez anos

furam os provadores de teoremas .

..~

exerccios

resolvidos

exerccio 2.1 Sabendo que os valores-verdade das proposies p e q so

respectivamente V e F,determine o valor lgico (Vou seguintes proposies.
Para encontrar bela-verdade

F) de cada uma das

a a

soluo,

cada passo, basta consultar os valores-verdade

na correspondente

ta-

linha contendo

considerados.

As semnticas

dos conetivos negao (-J, conjuno

(A) e disjuno (v) so dadas pelas tabelas-verdade ilustradas na figura 2.1, figura 2.2 e figura 2.3, respectivamente.

figura 2.1

Tabela-verdade: negao.

p V V F F

V F V F

figura 2.2

Tabela-verdade: conjuno.

p V V F F

V F V F

figura 2.3

Tabela-verdade: disjuno.

P I\-.q
V(p)

= Ve V(-,q) = \I. Logo, V(p 1\ -,q) = V

V

soluo:

p v-.q
V(p)

= Ve V(-,q) = \I. Logo, V(p v -,q) = V

V

soluo:

-,pl\q
V(-,p)

= F e V(q) = F.Logo, V(p 1\ -,q) = F

F

soluo:

-.p I\-.q
V(-,p)

= F e V(-,q) = \I. Logo, V(-,p

F

1\

-,q)

=F

soluo:

[iJ

-,p v -.q
V(-,p)

= F e V(-,q) = \I. Logo, V(-,p v -,q) = V

V
V

soluo:

[!] P 1\ (-,p
V(-,p) soluo:

q)
V

= F e V(q) = F.Portanto, V(-,p v q) = F.Logo, V(p 1\ (-,p

F

q))

=F

Observe que este exerccio difere do anterior: dado o valor-verdade da frmula e de uma varivel deseja-se o valor-verdade da outra varivel. As semnticas dos conetivos conjuno (A), disjuno (v), condio (~) e bicondio (H) so dadas pelas tabelas-verdade ilustradas na figura 2.2, figura 2.3, figura 2.4

e figura 2.5, respectivamente.

p q

v
V
F

v
F
V

v
V F

v
F V

A conjuno falsa quando pelo menos uma das componentes falsa. Logo, V(p) = F.

A condio falsa quando a premissa verdadeira Logo, V(p) = V

e a concluso falsa.

Como a premissa falsa, a condio verdadeira, independentemente do valor-verdade da concluso. Logo, os dois valores-verdade so possveis, ou seja, V(p) = Vou V(p) = F.

A bicondio falsa quando o valor-verdade das componentes so diferentes. Logo, V(p) = F.

A bicondio verdadeira quando iguais. Logo, V(p) = F.

o valor-verdade das componentes so

o objetivo encontrar valores-verdade para as variveis tais que, quando aplicados s duas frmulas de cada item, resultem nos valores-verdade fornecidos. As semnticas dos conetivos negao (-,), conjuno (P), disjuno (v), condio (~) e bicondio (H) so dadas pelas tabelas-verdade ilustradas na figura 2.1, figura 2.2, figura 2.3, figura 2.4 e figura 2.5, respectivamente.

soluo: Basta olhar nas tabelas-verdade ilustradas na figura 2.4 e figura 2.2 e verificar na linha em que o conetivo resulta em valor verdade V, quais os correspondentes valores das variveis. H duas solues possveis: V(p) = F e V(q) = F; ou V(p) = F e V(q) = V
~ V(p ~ q) = V

e V(p v
F e V(q)

q) = F
=

soluo:

V(p)

[f]

V(p H q) = V

e V(p

1\

q) = V
=

soluo:
~

V(p)

Ve V(q)

V(p H q)

V
=

e V(p v
Ve V(q)

q)
=

=
V

soluo:
~

V(p)

V(p H q) = F e V(-,p

q) = V

exerccio 2.4

Construa

as tabelas-verdade ou contradies.

das seguintes

frmulas

e identi-

fique as que so tautologias

p
V V F F

q
V F V F

-,q
F V F V

pv-,q
V V F V

q
V F V F

-,q
F V F V

p~-,q
F V V V

v
V F F

p
V V F F

q
V F V F

P/\q
V F F F

pvq
V V V F

p
V V F F

q
V F V F

-,p
F F V V

q~p
V V F V

...,p -? (q
V V

-?

p)

F
V

p V V F F

q V F V F

p~q V F V V

pl\q V F F F

(p ~ q) ~ P I\q V V F

p V V F F

q V F V F

-.q F V F V

-.q

1\

qH...,qAp F F F
V

F V F F

q~p

q~(q

~p)

v
V F F

v
F V F

v
V F V

v
V F V

-,p F F

-,p ~ q

p ~ (-,p ~ q)

-,(p ~ (-,p ~ q))

v
V
F F

V
F

V V V
F

V V V V

F
F

V
F

V V

F F
p q r -,r F p~r q v-,r p ~ r H q v-,r

V V V V
F F F p q r P/\q qVr pHqvr p /\ q ~ (p H q V r) F

V V
F F

V
F

V
F

V V
F

V
F

V
F

V
F

V
F

F F V V
F

V
F

V V V
F

V V
F F

V
F

V V V V

V
F

V
F

V V V V
F F F F

V V
F F

V
F

V V
F F F F F F

V V V
F

V V V F
F F F

V V V V V V V V
p q

V
F

V V
F F

V
F

V V V
F

V
F

-,r F

p ~-,r F

p ~ (p ~ -,r) F

q v r

p ~ (p ~ -,r) H q V r

V V V V
F I

V V F
F

V
F

V V V
F

F V F F V V V
F

V
F

V
F

V
F

V F V
F

V
F

V V V V V

V V V V V

V V
I I

V V V
F

V
F

p V V

-,p F F F I

-,r F

-,p /\ r

q v-,r

-,p /\ r ~ q v -,r

I I

V V
--

V
F

F
F F F

V V

V V

V
F

v
V
I I I I

I I

V
I

r
V V
li

v
V V

V
I

V V
I I

V
I
li

V
\I \I

V
I
li

V
I

~ ..

li

-.

p
V V V V F F F F

q
V V F F V V F F

r
V F V F V F V F

-.p
F F F F V V V V

-.r
F V F V F V F V

P!\q
V V F F F F F F

P!\q-H
V F V V V V V V

q v-.r
V V F V V V F V

-.p

q v-.r
F F

(P!\ q -t r) v (-,p H q v -,r)

V F V V V V V V

x*yvy*z
F
'--r----'

-7

y=t
F

V F V V F V

V
F

exerccio 2.5

Sabendo que as proposies

x = Oe x =

so verdadeiras (Vou

que as proposies

= z e

= t so falsas, determine

o valor-verdade

F) de cada uma das seguintes

proposies:

[ai x=O/\x=Y-7y=l=-z
x=o!\x=y
-7

y*z

x=O
V

-7

(x"" Y v y"" t) F V V
'--r----'

v v

soluo: V

[bl xi'Ovy=t-7Y=z
x*Ovy=t
F
-7

y=z

exercieio 2.6
(,li!.' IIJI)'l

Considere

a tabela-verdade

ilustrada

na figura

2.19.

Para

~
F

~
F V

d<l<., <"('quintos implicaes,

procure justificar

os nomes associados:

q
V I V I

pvq
V
V V I

P -t (p V q)
V V V V

p!\q
V
F F I

(p J\ q) -t P
V V V V