Estudos de Lógica Simbólica – Donato de Oliveira EXERCÍCIOS I –

THIAGO SANTOS MASSUCATTI

Simbolize as proposições a seguir e defina seus Valores de Verdade, considerando os conhecimentos
disponíveis sobre a verdade ou falsidade de cada enunciado.

1)

P: Tiradentes foi inconfidente (V)

Q: Frei Caneca foi revolucionário (V)

(P.Q): Tiradentes foi inconfidente e Frei Caneca foi revolucionário = V. V= V

2) Não ocorre que Tiradentes foi inconfidente e Frei Caneca foi revolucionário.

P: Não ocorre que Tiradentes foi inconfidente (F)

Q: Frei Caneca foi revolucionário (V)

(P.Q): Não ocorre que Tiradentes foi inconfidente e Frei Caneca foi revolucionário = F . V = F

3)

P:Tiradentes não foi inconfidente (F)

Q:Frei Caneca não foi revolucionário (F)

(P.Q): Tiradentes não foi inconfidente e Frei Caneca não foi revolucionário (F) = F ^ F= F

4)

P: Tiradentes foi inconfidente (V)

Q: Frei Caneca foi revolucionário (V)

(P v Q): Tiradentes foi inconfidente ou Frei Caneca foi revolucionário = V v V = V

5)

P: Tiradentes foi inconfidente (V)

Q: Tiradentes não foi inconfidente (F)

(P v Q): Tiradentes foi inconfidente ou Tiradentes não foi inconfidente = V v F = V

6)

P: Frei Caneca foi revolucionário (V)

Q: Frei Caneca não foi revolucionário (F)

(P v Q) Frei Caneca foi revolucionário ou Frei Caneca não foi revolucionário = V v F = V

7)

P: Frei Caneca foi revolucionário (V)

Q: Tiradentes foi inconfidente (V)

(P.Q): Frei Caneca foi revolucionário e Tiradentes foi inconfidente = V ^ V = V

P: Frei Caneca foi revolucionário (V)

-Q: Tiradentes não foi inconfidente (F)

(P.-Q): Frei Caneca foi revolucionário e Tiradentes não foi inconfidente = V ^ F = F

(P.Q): V

(P.-Q): F

[(P.Q) v (P.-Q)]: Ou Frei Caneca foi revolucionário e Tiradentes foi inconfidente ou, Frei Caneca foi
revolucionário e Tiradentes não foi inconfidente = V v F = V

8)

P: Frei Caneca foi revolucionário (V)

Q: Che Guevara foi revolucionário (V)

(P v Q): Frei Caneca foi revolucionário ou Che Guevara foi revolucionário = V

R: Tiradentes não foi inconfidente = F

[(P v Q).R]: Frei Caneca foi revolucionário ou Che Guevara foi revolucionário e, Tiradentes não foi
inconfidente = V ^ F = F

9)

P: Che Guevara foi revolucionário (V)

Q: Tiradentes foi inconfidente (V)

(P.Q): Che Guevara foi revolucionário e Tiradentes foi inconfidente = V ^ V = V

-(P.Q): Não se dá...

R: Frei Caneca foi revolucionário (V)

Q: Tiradentes foi inconfidente (V)

(R v Q): Frei Caneca foi revolucionário ou Tiradentes foi inconfidente (V)

~

-(R v Q): Não se dá que...

[-( P.Q ) v -(R v Q)]: Não se dá que, Che Guevara foi revolucionário e Tiradentes foi inconfidente ou, não se
dá que Frei Caneca foi revolucionário ou Tiradentes foi inconfidente = (-V v -V) = (F v F) = F

10)

P: Jango foi um presidente reformista (V)

-Q: Tiradentes não foi inconfidente (F)

-R: Che Guevara não foi revolucionário (F)

[P v (-Q.-R)]: Jango foi um presidente reformista ou não se dá que Tiradentes foi inconfidente, nem Che
Guevara foi revolucionário = [V v (F.F)]= (V v F) = V

11)

Nem Jango foi presidente reformista, nem Che Guevara foi revolucionário, assim como, ou Frei Caneca não
foi revolucionário ou Tiradentes não foi inconfidente.

-P: Nem Jango foi presidente reformista (F)

-Q: nem Che Guevara foi revolucionário (F)

(-P.-Q) = F. F= F

-R: Frei Caneca não foi revolucionário (F)

-S: Tiradentes não foi inconfidente (F)

(-R v -S) =FvF=F

[(-P.-Q) v (-R v -S)]: Nem Jango foi presidente reformista, nem Che Guevara foi revolucionário, assim como,
ou Frei Caneca não foi revolucionário ou Tiradentes não foi inconfidente = F v F= F

12)

P: Jango foi um presidente reformista (V)

Q: Che Guevara foi revolucionário (V)

(P.Q): Jango foi um presidente reformista e Che Guevara foi revolucionário = V.V = V

R: Tiradentes foi inconfidente (V)

-P: Jango não foi um presidente reformista (F)

(R.-P): Tiradentes foi inconfidente e Jango não foi um presidente reformista = V.F= F
[(P.Q) v (R.-P)]: Ou Jango foi um presidente reformista e Che Guevara foi revolucionário ou, Tiradentes foi
inconfidente e Jango não foi um presidente reformista = (V v F) = V

13)

-P: Jango não foi um presidente reformista (F)

-Q: nem Che Guevara não foi revolucionário (F)

(-P.-Q): Jango não foi um presidente reformista, nem Che Guevara não foi revolucionário = F.F = F

-R: Tiradentes não foi inconfidente (F)

-S: E nem Frei Caneca foi revolucionário. (F)

(-R.-S): Tiradentes não foi inconfidente e nem Frei Caneca foi revolucionário = F.F = F

[(-P.-Q) v (-R.-S)]: ou Jango não foi um presidente reformista, nem Che Guevara não foi revolucionário ou,
Tiradentes não foi inconfidente e nem Frei Caneca foi revolucionário = (F v F) = F

II – Considerando os símbolos A, B e C como VERDADEIROS e os símbolos X, Y e Z como FALSOS,

defina os valores de verdade das fórmulas instanciais a seguir:

1) [A . (B v C)] . ~ [(A . B) v (A . C)] =

[V . (V v V)] .~[(V . V) v (V v V)] =

[V] . ~[(V) v (V) ] =

V.F=F

2) ~ [X . (~A v Z)] v [(X . ~A) v (X . Z)] =

~ [F . (~V v F)] v [(F . ~V) v (F . F)] =

~ [F . (F v F)] v [(F . F) v (F . F)] =

~ [F . (F)] v [(F) v (F) ] =

~ (F v F) = V

3) ~{ [ (~A v B) . (~B v A) ] . ~[ (A . B) v (~A . ~B) ] } =

~{ [ (~V v V) . (~V v V) ] . ~[ (V . V) v (~V . ~V) ] } =

~{ [ (F v V) . (F v V) ] . ~[ (V . V) v (F . F) ] } =

~{ [ (V) . (V) ] . ~[ (V ) v (F ) ] } =
~{ [ (V) ] . ~[ (V ) ] } =

~ (V . F) = ~F= V

4) ~{ [ (~C v Z ) . (~Z v C) ] . ~ [ (C . Z) v ( ~C . ~Z) ] } =

~{ [ (~V v F ) . (~F v V) ] . ~ [ (V . F) v ( ~V . ~F) ] } =

~{ [ (F v F ) . (V v V) ] . ~ [ (V . F) v ( F . V) ] } =

~{ [ (F ) . (V) ] . ~ [ (F) v ( F ) ] } =

~[ (F) . ~ (F) ] = ~(F . V) = ~F = V

5) [ B v (~X . ~A) ] . ~[ (B v ~X) . (B v ~A)] =

[ V v (~F . ~V) ] . ~[ (V v ~F) . (V v ~V)] =

[ V v (V . F) ] . ~[ (V v V) . (V v F)] =

( V v F) . ~[ (V) . (V)] = V. ~V= V . F= F

6) ~(B v X) . ~(Y v Z) =

~(V v F) . ~(F v V) =

~(V) . ~(V) = F . F = F

7) ~(C v B) v ~[ ~(~X . Y)] =

~(V v V) v ~[ ~(~F . F)] =

~(V v V) v ~[ ~(V . F)] =

~(V) v ~[ ~(F)] = F v ~(V) = F v F = F

EXERCÍCIOS

I – Utilizando as letras E para simbolizar “Ernesto foi contratado”, F para simbolizar “Fábio está de férias” e
G para simbolizar “Glória foi demitida”, simbolize os seguintes enunciados, assinalando também sua
pontuação correta.

1)

E: Ernesto foi contratado

F: Fábio Está de férias

G: Glória foi demitida

E  (F.G): Se Ernesto foi contratado, então, Fábio Está de férias e Glória foi demitida
2)

F: Fábio está de férias

E:Ernesto foi contratado

G:Glória foi demitida

F (E.G) : Se Fábio está de férias, Ernesto foi contratado, e Glória foi demitida.

3)

E:Ernesto foi contratado

F: Fábio está de férias

EF: Se Ernesto foi contratado, então, se Fábio está de férias

F: Fábio está de férias

G: Glória foi demitida

F G: se Fábio está de férias, então, Glória foi demitida.

EF:

F G:

E(FG) Se Ernesto foi contratado, então, se Fábio está de férias, então, Glória foi demitida.

4)

E:Ernesto foi contratado

F: Fábio está de férias

G: Glória foi demitida

E(F v G): Se Ernesto foi contratado, então, ou Fábio está de férias, ou Glória foi demitida.

5)

E:Ernesto foi contratado

F: Fábio está de férias

(E . F)  ...

G:Glória foi demitida.

(E . F)  G : Se Ernesto foi contratado e Fábio está de férias, então, Glória foi demitida.

6)

E:Ernesto foi contratado

F: Fábio está de férias

(E v F)  ...

G: Glória não foi demitida.

(E v F)  ~G : Ernesto foi contratado, ou, se Fábio está de férias, então, Glória não foi demitida.

7)

E:Ernesto foi contratado

F: Fábio está de férias

(E v F)  ...

G: Glória foi demitida

(E v F)  G : Se Ernesto foi contratado ou Fábio está de férias, então, Glória foi demitida.

8)

~E: Ernesto não foi contratado

~F: Fábio não está de férias

~G: Glória não foi demitida

~E  (~F . ~G) : Se Ernesto não foi contratado, então, Fábio não está de férias e Glória não foi demitida.

9)

~E: Ernesto não foi contratado

~E  ...

~F: Fábio não está de férias

~G: Glória não foi demitida

~E  (~F v ~G) : Se Ernesto não foi contratado, então, ou Fábio não está de férias, ou Glória não foi
demitida

10)

E: Ernesto foi contratado

F: Fábio Está de férias

G: Glória foi demitida

E  (F.G):

E  ~ (F.G) : Não é o caso de, se Ernesto foi contratado, então, Fábio está de férias e Glória foi demitida
II – Se A, B e C são enunciados VERDADEIROS e X, Y e Z são FALSOS, determine os valores das
seguintes fórmulas:

1) {[A  (B  C)]  ~ X}  {X  [(A . B)  C]} =

{[V  (V  V)]  ~ F}  {F  [(V . V)  V]} =

{[V  (V  V)]  V}  {F  [(V . V)  V]} =

[(V  V)  V]  [F  (V  V)] =

(V  V)  (F  V) =

V  (F  V) = V  V  V

2) [(A  Z) . (Z  Z)]  ~ [ (A . Z) v (~A v ~Z)] =

[(V  F) . (F  F)]  ~ [ (V . F) v (~V v ~F)] =

[(V  F) . (F  F)]  ~ [ (V . F) v (F v V)] =

( F . V)  ~ (F v V) =

F ~ V = F F = V

3) {[X  (Y  Z)]  [(X . Y)  Z ]}  [(X  A)  (B  Y)] =

{[F (F  F)]  [(F . F)  F ]}  [(F  V)  (V  F)] =

[(F V)  (F  F )]  (V F)=

(V  V)  F = V  F = F

4) {[A  (B  C)]  [(A . B)  C]}  [(A  B)  (C  Z)] =

{[V  (V  V)]  [(V . V)  V]}  [(V  V)  (V  V)] =

[(V  V)  (V  V)]  (V  V) =

(V  V)  V = V  V = V

5) {[(A B) . (B  A)]  [(A . B) v (~A . ~B)]}  {[(XY) . (Y  X)]  [(~X . ~Y)  (X . Y)]} =

{[(V V) . (V  V)]  [(V . V) v (~V . ~V)]}  {[(F F) . (F  F)]  [(~F . ~F)  (F . F)]} =

{[(V V) . (V  V)]  [(V . V) v (F. F)]}  {[(F F) . (F  F)]  [(V. V)  (F . F)]} =

[(V . V)]  (V v F)]  [(V . V)]  [(V  F )] =

(V  V) (V  F ) =
VF=F

6) [X  (Y  Z)]  [(X  Y)  Z] =

[F  (F  F)]  [(F  F)  F] =

(F  V)  (V  F) =

VF=F

EXERCÍCIOS:

I – Construir as TABELAS DE VERDADE das seguintes fórmulas proposicionais:

*Considerar T = Verdadeiro e F = Falso.

*Utilizou-se a aplicação Truth Table Generator

1 ) (P • Q)  (P v P)

2) (P  Q )  ( P • Q )

3 ) ~P  ( Q  P )
4) (P  ~Q)  (~P v Q)

5 ) (~P • R)  (Q v ~R)

6) (P  R)  (~Q v ~R)
7 ) [P  (P  ~R)]  (P v R)

8) [(P • Q )  R ) v [~P (Q v ~R)

9 ) [( P • R • S]  ( P  R)

10) (P  ~ S)  [(P v R)  ~ R]