CONSTRUÇÃO DA TABELA VERDADE

1.Construir as tabelas-Verdades das seguintes proposições:

a) ~( p v ~q)

b) ~(p--> ~q)

c) p ^ q --> p v q

d) ~ p-->(q-->p)

e) ( p-->q) --> p ^ q

f) q <--> ~q ^ p

g) ( p <--> ~q) <--> q--> p

h) ( p <--> ~q) --> ~p ^ q

2. Construir as tabelas-verdades das seguintes proposições:

a) ~p ^ r --> q v ~r

b) p --> r <--> q v ~r

c) p --> (p --> ~r) <--> q v r

d) ( p ^ q --> r) v ( ~p <--> q v ~r)

3. Sabendo que os valores lógicos das proposições p e q são respectivamente

F e V, determinar o valor lógico (V ou F) da proposição:
(p ^ (~q --> p)) ^ ~((p <--> ~q ) --> q v ~p)

4. Sabendo que os valores lógicos das proposições p, q e r são

respectivamente V, F e F, determinar o valor lógico ( V ou F) de cada uma das
seguintes proposições:
a) (p <--> p --> q) V ( p --> r)

b) ( p --> ~q) <--> (( p v r) ^ q)

c)( p ^ q --> r) --> (p--> (q --> r))

5. Sabendo que as proposições p e q são verdadeiras e que as proposições r e
s são falsas, determinar o valor lógico ( V ou F) de cada uma das seguintes
proposições:
a) p ^ q --> r

b) r v s --> q

c) q <--> p ^ s

d) p --> ~ ( r ^ s)

e) ( q --> s) --> r

f) ~r --> p ^ q

g) ( q v r) ^ (p v s)

h) ( r --> s) ^ (p ^ q)

i) ( p ^ ~q ) v r

j) ~((r --> p) v ( s --> q))

k) ( s <--> r) <--> ( p <--> q)

l) r --> q <--> (~p <--> r)

6. Sabendo que os valores lógicos das proposições p, q, r e s são

respectivamente V, V, F e F, determinar o valor lógico ( V ou F) de cada uma
das seguintes proposições:
a) p --> q <--> q --> p

b) ( r --> p) --> ( p --> r)

c) ( p --> r) --> ( ~p --> ~r)

d) ~( p ^ q) --> ~p v ~q

e) ~( p ^ s) --> ~p ^ ~s

f) ~(( p v s) ^ ( s v r))

7. Sabendo que a condicional p --> q é verdadeira, determinar o valor lógico

( V ou F) das condicionais:
a) p v r --> q v r

b) p ^ r --> q ^ r
GABARITO
1.

2.
3. F

4.

a) F b) F c) V

5.

a) F b) V c) F d) V e) V f) V g) V h) V i) F j) F k) V l) V

6.

a) V b) F c) V d) V e) V f) V

7.

a) V b) V