SISTEMA DE ENSINO PRESENCIAL CONECTADO TECNOLOGIA EM ANLISE E DESENVOLVIMENTO DE SISTEMA

DANILO GOIS SIQUEIRA

FUNDAMENTOS DE LGICA E MATEMTICA DISCRETA

Petrolina 2010

DANILO GOIS SIQUEIRA

FUNDAMENTOS DE LGICA E MATEMTICA DISCRETA

Trabalho apresentado ao Curso de Analise e Desenvolvimento de Sistemas da UNOPAR Universidade Norte do Paran, para a disciplina Fundamentos de Logica e matematica discreta. Prof. Eliane Maria de Oliveira Araman

Petrolina 2010

SUMRIO DESENVIMENTO DA ATIVIDADE PROPOSTA BIBLIOGRAFIA

ATIVIDADE PROPOSTA 1. Numa fbrica temos trs funcionrios que afirmam o seguinte: Adalberto: Se Cleber no foi ao trabalho, ento Jos tambm no foi. Cleber: Eu fui ao trabalho, mas Cleber ou Adalberto no foram. Jos: Eu fui ao trabalho, mas Cleber ou Adalberto no foram. Sejam as seguintes afirmaes: p: Adalberto foi ao trabalho. q: Cleber foi ao trabalho. r: Jos foi ao trabalho. Responda as questes seguintes usando tabela-verdade: a) Se todos foram trabalhar, quem mentiu? b) Se todos disseram a verdade, quem no foi ao trabalho? Resposta: Para prosseguir com o desenvolvimento deste exerccio, primeiramente devemos estabelecer a frmula lgica dos argumentos de cada um e depois precisa ser estabelecida a tabela-verdade de cada um dos funcionrios. Com base nos argumentos, desenvolve-se ento a frmula lgica: a) Adalberto: Se Cleber no foi ao trabalho, ento Jos tambm no foi. Frmula lgica: ~q -> ~r Explicao: O no q deve aparecer, pois a primeira premissa est negando a proposio q (q=Cleber foi ao trabalho), logo se segue o sinal da condicional, pois analisando a frase, temos Se... ento, isso nos remete idia de condio. O no r aparece por ltimo, pois se entende que ocorre a negao da premissa r(r=Jos foi ao trabalho).

Tabela-verdade de Adalberto (~q -> ~r)

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 ~q f f v v f f v v ~r f v f v f v f v ~q ->-r v v f v v v f v

b) Cleber: Adalberto no foi ao trabalho, mas Jos foi. Frmula lgica: ~p ^ r Explicao: Primeiro deve-se utilizar o no q, pois a primeira premissa est negando o valor da afirmao p (p= Adalberto foi ao trabalho.). Depois se deve utilizar o smbolo da conjuno, pois de acordo com o texto, temos o mas (... mas Jos foi), que tem significado de conjuno. Por ltimo, utiliza-se a afirmao r, simbolizando a afirmao Jos foi ao trabalho. Tabela-verdade de Cleber (~p ^ r)
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 ~p ^ r f f f f v f v f

c) Jos: Eu fui ao trabalho, mas Cleber ou Adalberto no foram. Frmula lgica: r ^ (~q v ~p) Explicao: Primeiramente coloca-se a afirmao r (r= Jos foi ao trabalho), logo se segue o operador de conjuno, pois h a presena do mas (... mas Cleber ou Adalberto no foram.). H uma disjuno entre as afirmaes q e p (Cleber ou Adalberto) , sendo que as duas afirmaes esto negadas(no q ou no p) pois Cleber ou Adalberto no foram. Tabela-verdade de Jos (r ^ (~q v ~p))
p v v v v f f f q v v f f v V f r v f v f v f v ~q f f v v f f v ~p f f f f v v v ~q v ~p f f v v v v v r ^ (~q v ~p) f f v f v f v

Com base nos resultados obtidos em cada tabela-verdade individual, constri-se ento a tabela-verdade geral: 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 Adalberto v v f v v v f v Clebe r f f f f v f v f Jos f f v f v f v f

Agora se pode responder s questes demandadas: a) Se todos foram trabalhar, quem mentiu? Resposta: Se todos foram trabalhar, ento primeiro deve-se analisar as afirmaes p, q e r. Todas estas afirmaes precisam ser verdadeiras portanto, a linha que deve ser analisada a primeira. Para saber quem mentiu, basta estudar os valores que cada funcionrio apresenta na primeira linha da tabela. Os valores que so obtidos ento so Adalberto(v), Cleber(f) e Jos(f). A resposta ento somente Cleber e Jos mentiram. b) Se todos disseram a verdade, quem no foi ao trabalho? Resposta: Se todos disseram a verdade, ento a linha que ser analisada a que apresenta todos os valores verdadeiros em Adalberto, Cleber e Jos. A quinta linha a linha em que todos os valores verdadeiros se encontram, portanto, nesta linha que se encontra a resposta a esta questo. Segundo os valores das afirmaes da quinta linha, somente p est como falso, ou seja, somente Adalberto no foi ao trabalho.

2. Sejam trs computadores que do as seguintes respostas: A: Os italianos so inteligentes. B: No verdade que os franceses e os brasileiros so inteligentes. C: Os brasileiros so inteligentes ou os italianos no so. Considere as afirmaes: p: Os franceses so inteligentes. q: Os brasileiros so inteligentes. r: Os italianos so inteligentes. Usando a tabela-verdade, responda s questes: a) Se as trs respostas so verdadeiras, o que se pode afirmar? b) Se todos so inteligentes, h algum computador que possui informao errada? Resposta: Primeiramente, devem-se transformar as afirmaes apresentadas em frmulas lgicas. Computador A: Os italianos so inteligentes. Frmula lgica: r Explicao: a afirmao do computador A condiz apenas com a representao da afirmao r(r= Os italianos so inteligentes.)

Tabela-verdade de Computador A 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 r v f v f v f v f

Computador B: No verdade que os franceses e os brasileiros so inteligentes. Frmula lgica: ~(p ^ q)

Explicao: Primeiro, nega-se tudo, pois o relato comea com No verdade... portanto, o resultado das premissas ser negado. Dentro do parntese, coloca-se uma conjuno, pois os franceses e os brasileiros so inteligentes. Tabela-verdade de Computador B 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^ q v v f f f f f f ~ (p ^q) f f v v v v v v

Computador C: Os brasileiros so inteligentes ou os italianos no so. Frmula Lgica: q v ~r Explicao: Primeiro est o smbolo q(Os brasileiros so inteligentes...). Seguido do Sinal de disjuno (... ou os italianos...). Por ltimo, nega-se r (r= Os italianos so inteligentes), pois o no r representa os italianos no so inteligentes, de acordo com o enunciado.

Tabela-verdade de Computador C
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 ~r f v f v f v f v q v ~r v v f v v v f v

Agora, prossegue-se para a construo da tabela-verdade geral: 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 Comp A v f v f v f v f Comp B f f v v v v v v Comp C v v f v v v f v

Agora se pode responder s questes demandadas: a) Se as trs respostas so verdadeiras, o que se pode afirmar? Resposta: Se as trs respostas so verdadeiras, ento se deve analisar a quinta linha, onde todos os valores do computador A, B e C so verdadeiros. Sendo assim, o valor p dessa mesma linha se acusa como falso, portanto, se as trs respostas forem verdadeiras, no verdade que os franceses so inteligentes. b) Se todos so inteligentes, h algum computador que possui informao errada? Resposta: Se todos so inteligentes, tem que ser analisada a linha onde todos os valores p q e r sejam verdadeiros. Essa linha a primeira, ento analisando os valores de COMP A, COMP B e COMP C nessa mesma linha, temos que somente COMP B falso, ou seja, se todos so inteligentes, o computador B est com a informao errada.

3. Na segunda parte, voc deve construir as tabelas-verdade, entretanto, vamos usar a linguagem binria. Para isso, use a seguinte representao: para V (Verdadeiro) use 1 e para F (Falso) use 0. Assim, voce ter uma tabela completada com os numeros 0 e 1. O raciocinio o mesmo de sempre, a nica coisa que muda a representaao das letras V e F pelos numeros 1 e 0. a) ( ~ p v r) ^ ~q p 1 1 1 1 0 0 0 0 q 1 1 0 0 1 1 0 0 r 1 0 1 0 1 0 1 0 ~p 0 0 0 0 1 1 1 1 ~q 0 0 1 1 0 0 1 1 ( ~ p v r) 1 0 1 0 0 1 0 1 ( ~ p v r) ^ ~q 0 0 1 0 0 0 0 1

b) (p ~r) v (q <--> r) p 1 1 1 1 0 0 0 0 q 1 1 0 0 1 1 0 0 r 1 0 1 0 1 0 1 0 ~r 0 1 0 1 0 1 0 1 (p ~r) 0 1 0 1 1 1 1 1 (q <--> r) 1 0 0 1 1 0 0 1 (p ~r) v (q <--> r) 1 1 0 1 1 1 1 1

BIBLIOGRAFIA CASTRUCCI, B. Introduo lgica, So Paulo: GREEM, 1982. SOUZA, J.N. Lgica para cincia da computao, Rio de Janeir: Campus 2002.