Você está na página 1de 29

CAPTULO 4 Clculo proposicional

Paulette

CLCULO PROPOSICIONAL
1. PROPOSIES
Uma proposio uma sentena declarativa que pode ser verdade ou falsa, mas no ambas. As
proposies podem ser divididas em proposies simples e compostas.
1.1. Proposies simples
a)
b)
c)
d)

Pedro aluno do Curso de Informtica.


A terra gira em torno do sol.
O leite branco.
7 quadrado perfeito.

1.2. Proposies compostas


e) Cabral descobriu o Brasil e Colombo a Amrica.
f) Bruno cursa Informtica e Mariel Estatstica.
g) O tringulo ABC isscele ou retngulo.
h) Se Pedro estudioso, ento ser aprovado.
i) ABC tringulo equiltero se, e somente se, que ingulo.
1.3. Princpio da no contradio
Uma proposio no pode ser verdadeira e falsa ao mesmo tempo.
So verdadeiras (a), (b) e (c) e falsa (d).
1.4. Princpio do terceiro excludo.
Toda proposio ou verdadeira ou falsa. Sempre ocorrem esses casos e nunca um terceiro.
2. OPERAES LGICAS
O clculo das proposies consiste nas operaes fundamentais que partem de proposies
simples para se chegar s proposies compostas. As operaes que podem ser efetuadas so:
A negao, a conjuno, a disjuno, a condicional e a bicondicional.
2.1. Conectivos
O Clculo das proposies destaca cinco operadores lgicos, a saber:
...no...(denota-se )
... e... (denota-se )
...ou...(denota-se )
...se,... ento... (denota-se )
...se, e somente se ... (denota-se )

33

CAPTULO 4 Clculo proposicional

Paulette

O primeiro operador dito unrio, pelo fato de operar sobre um s operando, os demais so
operadores binrios, j que operam sobre dois operandos.
2.2. Negao (

a mais simples operao-verdade. Se a proposio A verdadeira, ento


falsa, ento A verdadeira.

A falsa, se A

A: 2/3 um nmero racional. (verdade)


A: 2/3 no um nmero racional. (falso) ou
A: 2/3 um nmero irracional. (falso)
Tabela verdade para a negao

A
V
F
2.3. Conjuno (

A
F
V

A
1
0

A
0
1

Essa operao verdade corresponde ao termo e e seu smbolo . Por meio da conjuno
possvel, dadas duas proposies simples A e B obter-se outra composta A B que ser verdadeira
somente quando A e B forem verdadeiras.
A: Recife a capital de Pernambuco.
B: Manaus a capital do Amazonas.
A

B: Recife a capital de Pernambuco e Manaus a capital do Amazonas.


A
V
V
F
F

B
V
F
V
F

A
1
1
0
0

V
F
F
F

B
1
0
1
0

B
1
0
0
0

Exemplo 1:
Verifique se a composta verdadeira ou falsa.
a) Jos de Alencar escreveu o Guarani e Machado de Assis Capitu. ( V
b) 5+2=7 e 3> 5. ( V F = F )
c) > 4 e 7 nmero primo. ( F V = F )
d) > 4 e 8 nmero mpar. ( F F = F )

34

V = V)

CAPTULO 4 Clculo proposicional


2.4. Disjuno (

Paulette

Essa operao verdade corresponde ao termo ou e seu smbolo . Por meio da disjuno
possvel, dadas duas proposies simples A e B obter-se outra composta A B que ser falsa somente
quando A e B forem falsas.
A: Recife a capital de Pernambuco.
B: Manaus a capital do Amazonas.
A

B: Recife a capital de Pernambuco ou Manaus a capital do Amazonas.


A
V
V
F
F

B
V
F
V
F

A
1
1
0
0

V
V
V
F

B
1
0
1
0

B
1
1
1
0

Exemplo 2:
Verifique se a composta verdadeira ou falsa.
a) 2+2=4 ou 5>3 ( V V = V)
b)
4 ou 7 nmero primo. ( F V =V)
c)
4 ou 8 nmero primo. ( F F =F )

2.5. Condicional (
)
Essa operao verdade corresponde ao termo ...se,... ento.... Por meio da condicional
possvel, dadas duas proposies simples A e B obter-se outra composta A
B que ser falsa somente
quando A for V e B for falsa.
Se chover, ento irei ao cinema.
Se estudar, ento serei aprovado.
Seja A: estudar
B: serei aprovado
A partir de duas proposies A e B, construmos uma nova proposio.
A
B (l-se, se A, ento B) ou A implica B.
A tabela verdade dada por:
A
V
V
F
F

B
V
F
V
F

A
1
1
0
0

B
V
F
V
V

35

B
1
0
1
0

B
1
0
1
1

CAPTULO 4 Clculo proposicional


Observao 01:
Da teoria dos conjuntos sabemos que A
ento x B, isto , sempre verdade que se
tabela

A B
A
V
V
F
F

Paulette

A , assim, se x A B ,
A B , ento x est em B. Logo, na

ou

est em

sempre verdadeira.

B
V
F
V
F

V
F
F
F

B
V
F
F
F

B
V
F
V
F

V
V
V
V

Observando as trs ltimas colunas podemos escrever:


V
V= V
F
F= V
F
V=V
Observao 02:
Uma proposio A
valor de B.

B sempre Verdadeira (V) desde que A seja Falsa (F), independente do

Exemplo 3:
Verifique se a composta verdadeira ou falsa.
1) Se 2 + 2 =5, ento 1 1. (verdade)
2) Se 2 + 2 =5, ento 1 = 1. (verdade)
3) Se o Papa joga no Corinthians, ento o Palmeiras ser campeo. (verdade)
4) Se o Papa joga no Corinthians, ento todos os alunos de Matemtica Discreta sero
aprovados. (verdade)
Observao 03:
As proposies no Exemplo 03 so trivialmente verdadeiras pois, sendo a hiptese falsa, como
em, A : 2 + 2 = 5 ou A: O Papa joga no Corinthians, ento a composta verdadeira.
2.6. Bicondicional (

Para definirmos a tabela verdade da bicondicional escrevemos:


A se, e somente se, B e definida por (A
A
V
V
F
F

B
V
F
V
F

B
V
F
V
V

(A

B)
B)

V
V
F
V

(B
V
F
F
V

36

(B

A)
A)

CAPTULO 4 Clculo proposicional

Paulette

Segue, portanto, a tabela verdade para a bicondicional.


A
V
V
F
F

B
V
F
V
F

B
V
F
F
V

A
1
1
0
0

Exerccios de aplicao 9:
Escreva em linguagem corrente.
1) A: Est frio.
B: Est chovendo.
a)

A:

b) A

B:

c) A

B:

d) A

B;

e) A

B:

f)

B:

g) A

B:

2) Analogamente:
A: Pedro aluno de ADS
B: ADS Curso da Fatecsp
a)

A:

b) A

B:

c) A

B:

d) A

B;

e) A

B:

f)
g) A

B:
B:

37

B
1
0
1
0

B
1
0
0
1

CAPTULO 4 Clculo proposicional

Paulette

3) Escreva em linguagem simblica as sentenas.


p: Carolina alta.
q: Carolina elegante.
a) Carolina alta e elegante.
b) Carolina alta, mas no elegante.
c) falso, que Carolina baixa ou elegante.
d) Carolina no nem baixa nem elegante.
e) Carolina alta, ou ela baixa e elegante

4) Dar o valor lgico das proposies.


a) Porto Alegre a capital do Estado do Paran ou 10 par. ( )

b) Se 3 >

, ento

c) Se 3 >

, ento o Corinthians ser campeo Paulista de 2011. ( )

d) Se

racional. ( )

1 , ento 4 9

e) 2+3=5 se, e somente se

f)

23

36

5.

6.

( )

( )

se, e somente se 2+2+2=6. ( )

2.7. Formas sentenciais

Quando estudamos as expresses numricas, observamos expresses com as operaes

de

adio, subtrao, multiplicao e diviso organizadas com parnteses, colchetes e chaves. Da mesma
forma ocorrem as formas sentenciais usando

, , ,

38

CAPTULO 4 Clculo proposicional

Paulette

2.8. Tabela verdade


Para cada forma sentencial podemos montar uma tabela verdade.
Exemplo 4:
Construir a tabela verdade relativa forma sentencial

[( A

B) ( A C)]
A

(B

C)

A C

C B

Exemplo 5:
Construir a tabela verdade relativa forma sentencial

[( A

B) ( B

A B C

C]

B B

(A

C)
A

V V V

V V

V F

V F

F V V

F V

39

CAPTULO 4 Clculo proposicional


Exemplo 6:
Tabela verdade pode ser feita do modo simplificado como segue.

(A
V
V
F
F

B)
V
F
V
V

V
F
V
F

( A B)
V
V
V
V

F V V
F F F
V V V
V V F

Exerccios de aplicao 10:


Construir a tabela verdade relativa forma sentencial (Simplificada ou no).
1)

( p q) ( p

q)

2)

[A

(A

( B C)]

C)

40

Paulette

CAPTULO 4 Clculo proposicional

3)

[( A B)

4)

[( A C )

5) [( A

B)

(C D)]

(B

C )]

( C

A)]

( D

A)

[( B

A)

[( A

41

Paulette

(A

B)

C )]

(C

A)]

CAPTULO 4 Clculo proposicional

6) [( A

B)

( C

A)]

[( A

Paulette

B)

(C

B)]

2.9. Tautologia contradio


Uma forma sentencial diz-se tautologia, se assumir valor V (verdade) para quaisquer que sejam
os valores atribudos s variveis e se assumir o valor F diremos que uma contradio.
Exemplo 7:
A forma sentencial que segue uma tautologia.

(A
V
V
F
F

B)
V
F
V
V

( A B)

V
F
V
F

V
V
V
V

F
F
V
V

V V
F F
V V
V F

Exemplo 8:
A forma sentencial que segue uma contradio.

( A B)
V
V
F
F

V
V
V
F

V
F
V
F

( A
F
F
F
F

F
F
V
V

B)
F
F
F
V

F
V
F
V

42

CAPTULO 4 Clculo proposicional

Paulette

Exemplo 9:
Se a forma sentencial

(A

( B C ))

(B

C ) falsa,

quais valores possveis de verdade que podem assumir A, B e C?

(A

( B C ))

(B

C)

____________________0___________
1 concluso
_1_________________________ 0______ 2 concluso
_______ 1_____0__________1_____0___ 3 concluso
______0_____________________________4 concluso
_0___________0_________________________5 concluso
Assim, A=0, B=1 e C=0
Exerccios de aplicao 11:
As formas sentencias que seguem so falsas, quais valores possveis de verdade, que podem assumir
A, B, C , D e E?
1)

2)

[A

( B D)]

(A

B)

[( B C )

(B

C]

43

C)

CAPTULO 4 Clculo proposicional


3)

4)

( (B C)

5) Se a forma sentencial

Paulette

D) (( B E )

( C

D)

( A B)

(B C)

falsa, e a sentena

B verdadeira. Quais os valores possveis de verdade que podem assumir A, B e C?

44

CAPTULO 4 Clculo proposicional


6) Se a forma sentencial

(A

B) C

Paulette

{D [ B

(C

valores possveis de verdade que podem assumir A, B, C, D e E?

7)

8)

[( ( B C )

(A

D) (( B E )

B) [((C

B)

( C

D))]

A) ( B ( B D))]

45

E )]} falsa. Quais os

CAPTULO 4 Clculo proposicional

Paulette

2.10. Implicaes e equivalncias lgicas (~)


Dizemos que uma forma sentencial X implica logicamente uma forma sentencial Y, se a forma
sentencial X
Y for uma tautologia.
Exemplo 10.
Seja X:

B e Y: A B , mostremos que X ~ Y isto

V
V
F
F

V
F
V
F

(A

B)

( A B)

V
F
V
V

V
V
V
V

F
F
V
V

V
F
V
V

2.11. Equivalncias lgicas fundamentais

A~ A

E : Lei da dupla negao:


1

A
V
F

F
V

V
F

Exemplo 11. No entendi nada desta explicao ~ entendi tudo.

A : Entendi essa explicao.


A : No entendi essa explicao.
A : No entendi nada essa explicao A : entendi tudo.

E : Lei da idempotncia: A A ~ A e

A A~ A

V
F

A
V
F

A
V
V

V
F

A
46

V
F
V
F

CAPTULO 4 Clculo proposicional


V
F

V
F

V
V

Paulette
V
F

E : Lei da Comutatividade:
3

A B ~B

a)

A
V
V
F
F

b)

B
V
F
F
F

A B~B

V
V
F
F

V
F
F
F

V
F
V
F

V
V
V
V

V
F
V
F

V
F
F
F

V
V
F
F

V
F
V
F

V
V
V
V

V
F
V
F

V
F
F
F

V
V
F
F

E : Leis da associatividade:
4

a)
b)

( A B) C ~ A ( B C )
( A B) C ~ A ( B C )

E : Leis de De Morgan
5

a)
b)

( A B) ~ ( A
( A B) ~ ( A

B)
B)

Demonstrao: Usaremos 1 para V e 0 para F


a)
( A B) ~ (

A
0
0
0
1

1
1
0
0

B)

B
1
1
1
0

1
0
1
0

1
1
1
1

47

0
0
1
1

B
0
0
0
1

0
1
0
1

CAPTULO 4 Clculo proposicional

( A B) ~ ( A

b)

A
0
0
0
1

Paulette

B)

1
1
0
0

1
1
1
0

1
0
1
0

1
1
1
1

0
0
1
1

B
0
0
0
1

Mostre as equivalncias lgicas usando as tabelas verdade.

E : Leis distributivas ou de fatorao


a) A ( B C ) ~ ( A B) ( A C )
b) A ( B C ) ~ ( A B) ( A C )
6

E : Leis de absoro
7

2)

A ( A B) ~ A
A ( A B) ~ A

3)

( A B)

B ~ (A

B)

4)

( A B)

B ~ (A

B)

1)

5) Se T tautologia e F uma contradio, ento


a)

(T

c) ( F
Mostremos, a)

A) ~ A

b) (T
d) ( F

A) ~ F

(T

A) ~ T

A) ~ A

A) ~ A
T
1
1
1
1

Mostre as propriedades b)

A
1
1
0
0
c)

1
1
0
0

A
1
1
1
1

1
1
0
0

d) usando as tabelas verdade.

48

0
1
0
1

CAPTULO 4 Clculo proposicional

: Contra positivo.

(A

B) ~ ( B

E:
9

1
0
1
1

1
0
1
0

1
1
1
1

0
1
0
1

1
0
1
1

0
0
1
1

Eliminao da condicional
a)

(A

B) ~ ( A B)

1
1
0
0

1
0
1
1
b)

(A

1
0
1
0

1
1
1
1

B) ~ ( A

A
1
0
1
1

0
0
1
1

1
0
1
1

1
0
1
0

1
0
1
1

B)

1
1
0
0

10

A)

1
1
0
0

Paulette

1
1
1
1

1
0
1
1

0
1
0
0

0
1
0
1

: Eliminao da Bicondicional
a)

(A

A
1
1
0
0

B) ~ ( A B) ( A

B
1
0
0
1

1
0
1
0

A B
1
1
1
1

1
0
0
0

A
1
0
0
1

49

B)

B
0
0
0
1

CAPTULO 4 Clculo proposicional

b)

(A

B) ~ ( A B) ( B

A
1
0
0
1

A)

A B

1
1
0
0

Paulette

1
0
1
0

1
1
1
1

1
0
1
1

1
0
0
1

A
1
1
0
1

Exerccios de aplicao 12:


Nota: Nos exerccios que se seguem use as equivalncias lgicas apresentadas, indicando qual
est sendo usada para a soluo do exerccio.
1) A forma sentencial

a)

b) A

(A

B)

c)

2) A forma sentencial [( B

a)

(A

B)

(A

d) A

A B

C)

b) C

B) B

B)

B
B) logicamente equivalente a

A] ( C

(A

logicamente equivalente a

c)

50

(A

B)

CAPTULO 4 Clculo proposicional

3) A forma sentencial

( A B)

a)

b) A

4) A forma sentencial

a)

(A

( A A)

B)

c)

C)

b) C

B)

(A

(A

B)

b) C

(A

[A

A B

A (B

5) A forma sentencial ( A B)
logicamente equivalente a

a)

Paulette

(B

d)

[( A

c)

(B

A)

B)

c)

(B

(B C)

{[ ( A

B) ( B

(B C)

51

A)

B) C ] logicamente equivalente a

B)] logicamente equivalente a

A) (C

d) ( A

A)] (C

B) C

C )}

CAPTULO 4 Clculo proposicional


6) A forma sentencial

a) A

b)

[( A

A B

7) A forma sentencial A

A B

b)

B)

A B

b) A

c)

9) A forma sentencial {[( A


equivalente a

A B

b) A

[( B

( B C ))

(B C)

A B
C) (B

c)

A B

B) logicamente equivalente a

d)Contradio

c)Tautologia

8) A forma sentencial ( A C )

A B

( A B)] ( A

c)Tautologia

(C

Paulette

( A B)] logicamente equivalente a

d)Contradio

[( A B)

d)

A (B C)

C )] [ B ( B

d)

C ] logicamente equivalente a

C )]} {[( A

A (B C)

52

e)

C)

B]

A} logicamente

B) C

CAPTULO 4 Clculo proposicional

Paulette

Observao:
Nos exerccios que seguem importante conhecer a leitura das proposies e sua simbologia.
Assim,

B:

B:

l-se:

Se

A , ento B

A , somente se B
A condio suficiente para B .
B condio necessria para A .
condio necessria suficiente para B .

Exemplo 12:
Indique em quais dos seguintes casos, A condio necessria (c.n) para B, em quais A
condio suficiente (c.s) para B e em quais A condio necessria e suficiente (c.n.s) para B.
a) A: n divisvel por 6
b) A: x < 0 e y < 0
c) A: x mpar
d) A: x = 2
e) A:

x 2 =4

B: n nmero par
B: x .y > 0
2
B: x impar
2
B: x =4

(c.s)
(c.s)
(c.n.s)
(c.s)

B: x = 2

(c.n)

Exemplo 13:
Dar a negao em linguagem corrente da proposio.
As rosas so amarelas e os cravos brancos.
Soluo:
Definindo:
A: As rosas so amarelas.
B: Os cravos brancos.
Assim, podemos escrever: A

Negao de A B ( A B) ~ A
B (Leis de De Morgan).Assim em linguagem corrente
escrevemos:
As rosas no so amarelas ou os cravos no so brancos.
Exemplo 14:
Dar a negao em linguagem corrente da proposio.
Se estiver cansado ou com fome, no consigo estudar.
Definindo:
C: estiver cansado
F: com fome
E: consigo estudar
E: no consigo estudar.
53

CAPTULO 4 Clculo proposicional


Da proposio podemos escrever:
lgicas, segue:

[(C F )

Paulette

(C F )

E] ~ [ (C F )

E , negando e usando as equivalncias

E] ~ (C F ) E .

Portanto, em linguagem corrente escrevemos:


Mesmo cansado ou com fome eu estudo ou ainda
Estando cansado ou com fome consigo estudar.
Exemplo 15:
Dar a negao em linguagem corrente da proposio.
A temperatura diminuir somente se chover ou nevar.
Definindo: D: A temperatura diminuir
C: chover
N: nevar
Assim, podemos escrever: D
(C N ) , negando e usando as equivalncias lgicas, segue:

[D

(C

N )] ~

[ D (C N )] ~ D

(C N ) ~ D

Em linguagem corrente escrevemos:


A temperatura diminuir mesmo no chovendo e no nevando.
No chover e no nevar e mesmo assim a temperatura diminuir.
Exerccios de aplicao 13:
Dar a negao em linguagem corrente das proposies.
1) Far sol se, e somente se no chover.

2) Bruno aluno MD ou pesquisador.

54

N)

CAPTULO 4 Clculo proposicional


3) Existe menina feia.

4)Todo menino gosta de futebol.

5) Nenhuma menina gosta do Corinthians.

6) Tudo que bom engorda.

7) Todos os homens so mortais.

8) Thas inteligente e estuda.

55

Paulette

CAPTULO 4 Clculo proposicional


9) O Corinthians ganhar o campeonato brasileiro se o juiz roubar ou os santos ajudarem.

10)Se eu estudar matemtica discreta e tiver sorte na prova, ento serei aprovado.

11) Se domingo ou faz chuva, ento feriado e noite.

12) Ficarei rico, se estudar ou ganhar na loteria.

13) A laranja no cai do p, a menos que esteja madura ou haja uma forte ventania.

56

Paulette

CAPTULO 4 Clculo proposicional

Paulette

3. ARGUMENTOS
Sejam

P1 , P2 ,..., Pn

proposies. Denomina-se argumento a toda afirmao de que uma

dada seqncia finita de proposies

P1 , P2 ,..., Pn acarreta uma proposio final Q .

P1 , P2 ,..., Pn , denominam-se premissas, e Q concluso. L-se


P1 , P2 ,..., Pn , acarreta Q ou Q decorre de P1 , P2 ,..., Pn .
Um argumento que consiste em duas premissas e uma concluso denomina-se silogismo.
Um argumento P1 , P2 ,..., Pn
Q valido se, e somente se a condicional

( P1

P2

... Pn )

Q uma tautologia.

Exemplo 16:
Verifique em cada um dos casos abaixo, se a argumentao vlida ou uma falcia.
1) Sejam as Premissas:
i) Se um homem feliz, ele no solteiro.
ii) Se um homem no feliz, ele morre cedo.
Concluso:
Homens solteiros morrem cedo.
Chamando
F: Homem feliz
S: Solteiro
C: morre Cedo
Podemos escrever a forma simblica argumentao como:

[( F

S)

( F

C)]

(S

C)

______1________ 1__________1___________hip_1_______ 1 concluso


___________1_______________________________________ 2 concluso
_________0_________________________________________ 3 concluso
_0_____________________0___________________________ 4 concluso
_____________________1________1__________________1_ 5 concluso
______________________________________1_______1____ final
Portanto, a argumentao verdadeira.

2) Sejam as Premissas:
i) Se um homem no fuma, ento atleta ou no alcolatra.
ii) Se um homem fuma, ento tem cncer.
iii) Paulo no atleta, mas alcolatra.
Concluso:
Paulo tem cncer.

57

CAPTULO 4 Clculo proposicional

Paulette

Chamando
F: Fuma
C: Cncer
At: Atleta
Al: Alcolatra

( F

(A
t

A ))
l

( A
t

A)
l

______ 1____________________1__________ __ 1_________1 concluso


______________________________________1__ ___1____
2 concluso
___________0______1_____________________0____________3 concluso
________________0____________________________________4 concluso
______________0______________________________________5 concluso
___0_________________________________________________6 concluso
_____1____________________1_____1_________________ 1_ 7 concluso
_________________________________________________1__ Verdade__
Portanto, a argumentao verdadeira.
3) Sejam as Premissas:
i) Se eu no jogar xadrez, jogarei futebol.
ii) Se estiver machucado, no jogarei futebol.
Concluso:
Se estiver machucado jogarei xadrez.
Chamando
X: jogar Xadrez
F: Futebol
M: Machucado

______ V_____________ V_____________________ 1 concluso


_______________V____________________ V(hip) ___ 2 concluso
___________________V_________________________ 3 concluso
___________F________________F________________ 4 concluso
___F__________________________________________ 5 concluso
______V____________________________________V__ 6 concluso
_________________________________________V_____7 concluso
__________________________________V____________Verdade
Portanto, a argumentao verdadeira.

58

CAPTULO 4 Clculo proposicional


Exerccios de aplicao 14:
Verifique em cada um dos casos abaixo, se a argumentao vlida ou uma falcia.
1) Sejam as Premissas:
i) Os bebes no so lgicos.
ii) Quem consegue amestrar um crocodilo no desprezado.
iii) Pessoas no lgicas so desprezadas.
Concluso:
Bebes no conseguem amestrar crocodilo.

2) Sejam as Premissas:
i) O professor no erra.
ii) Andria distrada.
iii) Quem distrado erra
Concluso:
a) Andria no professora.

b) Nenhum professor distrado.

59

Paulette

CAPTULO 4 Clculo proposicional

Paulette

3) Sejam as Premissas:
i) Ana Carolina estudiosa.
ii) Todo estudioso aprovado em Matemtica discreta.
Concluso:
Ana Carolina ser reprovada em Matemtica discreta.

4) Sejam as Premissas:
i) Se uma mulher do signo de cncer, ento no deve ser danarina ou deve ser cozinheira e
manequim.
ii) Toda mulher que no do signo de cncer carinhosa.
iii) Luza no cozinheira, mas danarina.
Podemos concluir que:
Luza carinhosa.

5) Sejam as Premissas:
i) Se trabalho, no posso estudar.
ii) Trabalho ou serei aprovado em Matemtica Discreta.
iii) Trabalhei
Podemos concluir que:
Fui reprovado em M. D.

60

CAPTULO 4 Clculo proposicional

Paulette

6)Suponha que:
Se o representante sindical ou o dirigente industrial forem teimosos, ento a greve ser decretada se, e
somente se, houver uma injuno governamental sem o envio de tropas policiais junto fabrica.

i) Verifique se possvel o fato.


O representante sindical ser teimoso, o dirigente no, a greve se decretada e haver uma injuno
governamental com envio de tropas

6i) No possvel
ii) Dirigente e representante so ambos teimosos, a greve no decretada, no h injuno
governamental mas envio de tropas policiais.

6ii) Esse fato possvel

7) Sejam as premissas:
i) Se um aluno feliz, ele faz matemtica discreta.
ii) Se um aluno no feliz, ele no estudioso.
Podemos concluir que:
Alunos que no fazem matemtica discreta, no so estudiosos.

61