You are on page 1of 13

Etapa 1

Passo 01 e 02
Sabendo-se que os 110 funcionrios de nossa empresa, 80 so casados, 70 possuem casa
prpria e 30 so solteiros e possuem casa prpria.
(a) Mais da metade dos funcionrios casados possui casa prpria.
(b) Dos funcionrios que possuem casa prpria h mais solteiros que casados.

Analise do desafio:
1. A empresa tem um total de 110 funcionrios.
* 80 funcionrios so casados.
* 30 funcionrios so solteiros.

2. No total, 70 funcionrios possuem casa prpria.
* 30 funcionrios solteiros possuem casa prpria.
*40 dos 80 funcionrios casados possuem casa prpria.

Funcionrios = 110
Solteiros = 30
Casados = 80
Possuem casa prpria = 30 No possuem casa prpria = 0
Casa prpria Solteiros = 30 No possuem Casa prpria = 40
Casa prpria Solteiros = 30 Possuem Casa prpria = 40

Conforme o desafio proposto e com base no Diagrama de Venn, chegamos soluo deste
raciocnio lgico:
P = Funcionrio casados
Q = Funcionrios solteiros
U = Total de funcionrios
Diagrama de Venn:




Passo 3 e 4:
Associar as letras ZE, se o item (a) for CERTO e o (b) for CERTO
Associar as letras TA, se o item (a) for CERTO e o (b) for ERRADO
Associar as letras SO, se o item (a) for ERRADO e o (b) for CERTO
Associar as letras ER, se o item (a) for ERRADO e o (b) for ERRADO
Julgamos as informaes apresentadas na letra (a) e (b), e chegamos a concluso de que:
(a) Dos 80 funcionrios casados: 40 possuem casa prpria e 40 no possuem casa prpria.
Portanto, a afirmao (a) FALSA. J que a metade dos funcionrios casados que possuem
casa prpria e no mais da metade.
(b) Dos funcionrios que possuem casa prpria, 40 so casados e 30 so solteiros. Portanto, a
afirmao (b) FALSA. J que h mais funcionrios casados que possuem casa prpria do
que solteiros.

Segundo a seguinte tabela resoluo:

P | Q | Resultado |
Verdadeiro | Verdadeiro | letras ZE |
Verdadeiro | Falso | letras TA |
Falso | Verdadeiro | letras SO |
Falso | Falso | letras ER |

As afirmaes encontradas foram:
(a) FALSA
(b) FALSA
As letras associadas foram ER.

Etapa 2

Passo 01 e 02
Ler atentamente o captulo do livro texto que descreve os conceitos introdutrios da lgica
formal, conetivos, valores lgicos. Ler tambm o texto a seguir entregue pelos proprietrios
da empresa Playing Game aos seus funcionrios:
Se Rodolfo mais alto que Guilherme, ento Helosa e Flvia tm a mesma altura. Se
Helosa e Flvia tm a mesma altura, ento Alexandre mais baixo que Guilherme. Se
Alexandre mais baixo que Guilherme, ento Rodolfo mais alto que Helosa. Ora, Rodolfo
no mais alto que Helosa.

Passo 03 e 04
Adotando:
> | Mais alto que |
= |Tem o mesmo tamanho que |
< |Mais baixo que |
Segundo o texto:
Rodolfo > Guilherme | Alexandre < Guilherme |
Helosa = Flavia | Rodolfo > Helosa |
V | V | V | V |
F | F | F | F |

Sabendo que, Rodolfo no mais alto que Helosa tem-se:
* Rodolfo no mais alto que Guilherme.
* Helosa e Flvia no tm a mesma altura.
* Alexandre no mais baixo que Guilherme.

Rodolfo > Guilherme | Alexandre < Guilherme |
Helosa = Flavia | Rodolfo > Helosa |
F | F | F | F |

Adotando a Tabela Verdade: As alternativas so:
(a) | V ^ V | = | V |
(b) | F ^ F | = | F |
(c) | x ^ F | = | F |
(d) | F | = | F |
(e) | F ^ x | = | F |
A | B | A ^ B |
V | V | V |
V | F | F |
F | F | F |
F | V | F |
O smbolo ^ denominado por e. x, substitui V ou F, quando no foi possvel atribu-lo.
Sabendo que uma sentena no pode ser VERDADEIRA (V) e FALSA (F) ao mesmo tempo:
Sendo x uma varivel do tipo V ou F, a resposta da alternativa independe de sua condio
uma vez que, para outra sentena da alternativa j tenha sido atribuda condio FALSA (F).
A alternativa correta a letra (a), pois a alternativa VERDADEIRA.
Sendo correta a alternativa (a), as letras associadas foram OC.

Etapa 3

Passo 01 e 02
Reescrever o pseudocdigo a seguir com uma expresso condicional mais simples, cuja
funo mpar (n) tem o valor lgico verdadeiro se n for mpar.
Se no ((valor1<valor2) ou mpar (nmero))
ou (no (valor1<valor2) e mpar (nmero)) ento
proposio1
caso contrario
proposio2
fim se

Passo 03 e 04
Valor1 = P |
Valor2 = Q |

Traduzindo para a linguagem proposicional temos:
( ( P < Q ) V mpar(n) )
V ( ( P < Q ) mpar(n) ) proposio1 proposio2

Logo:
| ( ( P < Q ) | V | mpar(n) ) | V | ( | ( P < Q ) | | mpar(n) ) |
F | T | T | T | proposio2 | F | T | T | T |
F | T | T | F | proposio1 | T | T | F | F |
F | F | T | T | proposio1 | T | F | F | T |
T | F | F | F | proposio1 | T | F | F | F |

Sabendo que duas sentenas so tautologicamente equivalentes se para cada uma das
interpretaes das duas, os valores forem iguais:

Foram usadas trs equivalncias tautolgicas para reescrever o cdigo.

Tendo sido usado trs equivalncias tautolgicas as letras associadas foram BA.


Etapa 4

Passo 01 e 02
Ler a seguir, o texto entregue pelos proprietrios da empresa Playing Game aos seus
funcionrios:
Jos quer ir ao teatro assistir pea A Vida uma Comdia, mas no tem certeza se a
mesma est sendo exibida. Seus amigos, Maria, Lus e Jlio tm opinies discordantes sobre
se a pea est ou no em cartaz. Se Maria estiver certa, ento Jlio est enganado. Se Jlio
estiver enganado, ento Lus est enganado. Se Lus estiver enganado, ento a pea no est
sendo exibida. Ora, ou a pea A Vida uma Comdia est sendo exibida, ou Jos no ir ao
teatro. Verificou-se que Maria est certa.

Passo 03 e 04
Maria | Luiz | Jlio | Ento: | Logo: |
V | F | F |A pea no est sendo exibida | Jos no ir ao teatro |
F | V | V | A pea est sendo exibida | Jos ir ao teatro. |

Sabendo que Maria est correta tem-se:
Maria | Luiz | Jlio | Ento: | Logo: |
V | F | F |A pea no est sendo exibida | Jos no ir ao teatro. |

As alternativas so:
(a) | F |
(b) | F |
(c) | F |
(d) | F |
(e) | V |

Sendo a alternativa (e) a alternativa correta:
A letra associada foi letra E. As letras associadas foram: ER OC BA E.

Etapa 5

Passo 03 e 04
Legenda:
M = Maria est certa. P = Pea sendo exibida
J = Jlio enganado. T = Jos ir ao Teatro
L = Lus enganado.

Traduzindo o texto para a linguagem proposicional tem-se:
(M J) (J L) (L P) (P V T)
Sabendo que Maria est correta tem-se:
A pea no est sendo exibida. Jos no ir ao teatro.
Passo 04 e 05
As alternativas so:
(a) a pea A Vida uma Comdia est sendo exibida; | F |
(b) Lus e Jlio no esto enganados; | F |
(c) Jlio est enganado, mas no Lus; | F |
(d) Lus est enganado, mas no Jlio; | F |
(e) Jos no ir ao teatro. | V |

Sendo a alternativa (e) a alternativa correta:
A letra associada foi letra E.
As letras associadas foram: ER OC BA E.

Etapa 6

Passo 01 e 02
Ler atentamente o captulo do livro texto que descreve os conceitos introdutrios da lgica de
predicados, regras de deduo e mtodos dedutivos. Ler tambm o texto a seguir apresentado
pelos proprietrios da empresa Playing Game aos seus funcionrios:
Todo notebook tem uma entrada USB. Alguns notebooks tm leitor biomtrico. Portanto,
alguns notebooks tm uma entrada USB e um leitor biomtrico.

Passo 03 e 04
Considerando a primeira premissa: Todo notebook tem uma entrada USB.
(x) ( N(x) -> U(x) )
Considerando a segunda premissa: Alguns notebooks tm leitor biomtrico.
(x) ( N(x) ^ B(x) )
Concluindo: Portanto, alguns notebooks tm uma entrada USB e um leitor biomtrico.
(x) ( U(x) ^ B(x) )

Demonstrando a Validade do Argumento dado anteriormente:
1.(x) ( N(x) -> U(x) ) [ HIP ]
2.(x) ( N(x) ^ B(x) ) [ HIP ]
3.N(x) ^ B(x) [ 2, PE ]
4.N(x) -> U(x) [ 1, PU ]
5.B(x) [ 3, SIMP ]
6.N(x) [ 4, SIMP ]
7.U(x) [ 4,6 MP ]
8.B(x) ^ U(x) [ 5,7 CONJ ]
9.U(x) ^ B(x) [ 8 COM ]
10.((x) ( U(x) ^ B(x) ) [ 9 GE ]
As regras de deduo usadas (na ordem) foram:
Particularizao existencial (pe); Particularizao universal (pu); Simplificao (simp);
Modus ponens (mp); Conjuno(conj); Comutatividade (com); Generalizao existencial (ge).
A letra associada foi letra N.
As letras associadas foram: ER OC BA E N.

Etapa 7 e 8

Passo 01 e 02
Considerar que o ltimo desafio foi iniciado pela seguinte informao:
A luz de uma sala controlada por dois interruptores, um em cada extremidade.

Passo 03 e 04
Para a resoluo do desafio teramos que lembrar que quando acionado o interruptor 1 a luz
se acende e quando acionado o outro interruptor 2 a luz se apaga, ou seja os dois
interruptores acionados resultaria luz apagada, a partir disto segue a seguinte tabela verdade:

(a)



(b)





(c)



INTERRUPTOR 1 (X1) INTERRUPTOR 2 (X2) X1' X2' X1' ^ X2 X1 ^ X2'
1 1 0 0 0 0
1 0 0 1 0 1
0 1 1 0 1 0
0 0 1 1 0 0
X1' ^ X2
X1 ^ X2' (X1' ^ X2) V (X1 ^ X2')
0 0 0
0 1 1
1 0 1
0 0 0
A funo booleana a partir das tabelas verdades foi: F = (x1. x2') + (x1' . x2 )
O Circuito lgico que demonstra esta expresso o da alternativa B.
As letras associadas foram DS.
As letras associadas ao longo de todas as etapas foram: ER OC BA E N DS.

Referncias bibliogrficas.
Brasil Escola. Lgica matemtica. Acessado em: 04/03/2014, 09/03/2014, 25/03/2014,
11/04/2014, 15/04/2014, 28/04/2014, 10/05/2014, 19/05/2014 e 23/05/2014.
http://www.brasilescola.com/sociologia/logica-matematica.htm

Introduo a lgica matemtica. Antonio A. Pinho. Acessado em: 09/03/2014, 25/03/2014,
11/04/2014, 28/04/2014, 10/05/2014 e 23/05/2014.
ftp://ftp.cefetes.br/cursos/Matematica/Oscar/introducao_logica/Apostila%20de%20Logica.pdf

USP. Lgica Matemtica. Acessado em: 04/03/2014, 15/04/2014 e 19/05/2014.
https://www.ime.usp.br/~glaucio/mat111/textos/LogicaInic.pdf

Joo Nunes de Souza. Lgica para Cincia da Computao. PLT 304 1 ed. Rio de Janeiro:
Elsivier, 2011

Jair Minora Abe, Alexandre Scalzitti, Joo Incio da Silva Filho. Introduo Lgica para a
Cincia da Computao. ed So Paulo: Arte & Cincia 2001