MATERIAL DE APOIO A

LGICA DIGITAL E LGICA MATEMTICA

ELABORAO: PROFESSOR PEDRO BIGATTO

Pgina 1

UM POUCO DE HISTRIA
"Esboo" do Desenvolvimento da Lgica Perodo Aristotlico ( 390 a. C. a 1840 d. C.) A histria da Lgica tem incio com o filsofo grego ARISTTELES (384 - 322 a.C.) de Estagira (hoje Estavo) na Macednia. Aristteles criou a cincia da Lgica cuja essncia era teoria do silogismo (certa forma de argumento vlido). Seus escritos foram reunidos na obra denominada Organon ou Instrumento da Cincia. Na Grcia, distinguiram-se duas grandes escolas de Lgica, a Peripattica (que derivava de Aristteles) e a Estica fundada por Zeno (326-264 a.C.). A escola Estica foi desenvolvida por Crisipo (280-250 a.C.) a partir da escola Megria (fundada por Euclides, um seguidor de Scrates). Segundo Kneale e Kneale (O Desenvolvimento da Lgica), houve durante muitos anos certa rivalidade entre os Peripatticos e os Megrios e que isto talvez tenha prejudicado o desenvolvimento da lgica, embora na verdade as teorias destas escolas fossem complementares. GOTTFRIED WILHELM LEIBNIZ (1646-1716) merece ser citado, apesar de seus trabalhos terem tido pouca influncia nos 200 anos seguidos e s foram apreciados e conhecidos no sculo XIX. Perodo Booleano: ( 1840 a 1910) Inicia-se com GEORGE BOOLE (1815 - 1864) e AUGUSTUS DE MORGAN (1806 1871). Publicaram os fundamentos da chamada lgebra da lgica, respectivamente com MATHEMATICAL ANALYSIS OF LOGIC e FORMAL LOGIC. GOTLOB FREGE (1848 - 1925) um grande passo no desenvolvimento da lgica com a obra BEGRIFFSSCHRIFT de 1879. As idias de Frege s foram reconhecidas pelos lgicos mais ou menos a partir de 1905. devido a Frege o desenvolvimento da lgica que se seguiu. GIUSEPPE PEANO (1858 - 1932) e sua escola com Burali-Forti, Vacca, Pieri, Pdoa, Vailati, etc. Quase toda simbologia da matemtica se deve a essa escola italiana.

Perodo Atual: (1910-......) Com BERTRAND RUSSELL (1872 - 1970) e ALFRED NORTH WHITEHEAD (1861 1947) se inicia o perodo atual da lgica, com a obra PRINCIPIA MATHEMATICA. DAVID HILBERT (1862 - 1943) e sua escola alem com Von Neuman, Bernays, Ackerman e outros.

ELABORAO: PROFESSOR PEDRO BIGATTO

Pgina 2

KURT GODEL (1906 - 1978) e ALFRED TARSKI (1902-1983) com suas importantes contribuies. Surgem as Lgicas no-clssicas: N.C.A. DA COSTA (Universidade de So Paulo) com as lgicas para consistentes, L. A. ZADEH (Universidade de Berkeley-USA) com a lgica "fuzzy" e as contribuies dessas lgicas para a informtica, no campo da Inteligncia Artificial com is Sistemas Especialistas. Hoje as especialidades se multiplicam e as pesquisas em Lgica englobam muitas reas do conhecimento. Bibliografia: http://www.pucsp.br/~logica/Desenvolvimento.htm Acesso 20/05/2010 s 16h24min

ELABORAO: PROFESSOR PEDRO BIGATTO

Pgina 3

INTERRUPTORES
Chamamos interruptor o dispositivo ligado a um ponto de um circuito eltrico que pode assumir um dos dois estados: Fechado ( 1 ) e Aberto ( 0 ) Quando fechado o interruptor permite que a corrente passe atravs do ponto enquanto aberto nenhuma corrente pode passar pelo ponto. Representao a a aberto fechado

Por convenincia representaremos da seguinte maneira:

a.

.Neste caso

somente conheceremos o estado do interruptor se tivermos a indicao de que a = 0 (fechado) e a = 1 (aberto). Um interruptor aberto quando a est fechado e fechado quando a est aberto chama-se complemento (inverso ou negao) de a e denota-se por a. Sejam a e b dois interruptores ligados em paralelo. Numa ligao em paralelo s passar corrente se pelo menos um dos interruptores estiver fechado. Denotaremos a ligao de dois interruptores a e b em paralelo por a + b.

Paralelo a equivalente a _______ a + b ________ b Sejam a e b dois interruptores ligados em srie. Numa ligao em srie s passar corrente se ambos os interruptores estiverem fechados. Denotaremos tal ligao por a . b.

Srie a b equivalente a a.b

ELABORAO: PROFESSOR PEDRO BIGATTO

Pgina 4

Exemplos: Dar a expresso algbrica do circuito abaixo: a) b a c c a d a. (b + c) + a. (c + d) b) a a a a b b b c b c c b a b c

a . b . c + a. c + (a . b . c + ( a . b + b . c) . ( a + b )) . b

Exercicios: 1) Dar as expresses algebricas dos circuitos a) p s p q r q s s r s p s q r q

p.(q. r +s). (q + s) + (p.q.r.s.+ q. (r + s) . s

ELABORAO: PROFESSOR PEDRO BIGATTO

Pgina 5

2) Dar as expresses algbricas dos circuitos desenhados:

z a) x y t y b) x z y c) x z x d) T w j) z e) x y t a d b f) p x x t g) a b y y h w k l m i j z k) s t u q r c d e f w u a v b w c p q r x y z y w i) q a b s c t p t y s r t w h) x z r c d f a b e

3) Desenhar os circuitos representados abaixo: a) p. (q + r) b) m + (p. q. r) c) m + n + p + q d) (x. y) + (x. z) e) (p + q+. (r + s) f) (p + q). (p + q +r) g) (a + b. c). (d. e + f) + g. h. i h) p. ( q. (s + r) + t . u) + ( a + b). (c. d + e) i) a. (p. (q + r. s) + (t + u). ( v + w. x))

ELABORAO: PROFESSOR PEDRO BIGATTO

Pgina 6

Respostas dos exerccios propostos 1) p. (q. r + s). (q + s) + (p.q.r.s + (q. (r + s). s)). p 2) Dar as expresses algbricas dos circuitos desenhados: a) x y (z + t w) b) x (y + z) t c) x (y + z w) d) x y + t w e) x y (z + t) w f) (a + b c) d + x y z g) (x y + t w) + a b h) (a b + c d) (e + f) + (x + y) (z r + s t) i) (p + q) (r + s t) j) a b c + x y z + p q r + u v w l) (a b c + d e f) + (p q r + s t u) + (h i j + k l m) 3) Desenhar os circuitos cujas ligaes so dadas pelas expresses:
q a) p r g) b c f a d e

b) p

m q r

s q m p c) n p q h) a b x d) u v q e) p q r s r i) a t u w v x p r s y t u r

c e

ELABORAO: PROFESSOR PEDRO BIGATTO

Pgina 7

f)

p s q t

ELABORAO: PROFESSOR PEDRO BIGATTO

Pgina 8

Noes de Lgica Matemtica

Chamamos de proposio ou sentena a qualquer conjunto de frases ou smbolos que conseguem expressar um pensamento de sentido completo. Sentena ou proposio se distinguem do nome, o qual designa um objeto. Exemplos de nomes:

Pedro. O co do menino. 49

Exemplos de proposies:

A lua um satlite da terra. O filho do Presidente do Brasil, em 1970, era cientista. 3x5=5x3 De que lugar voc vem? Que belo jardim e o desta praa! Registre um verso. Pedro examina o trabalha. Duas retas de um plano so paralelas ou incidentes. Se Pedro estuda, ento tem xito na escola. Vou ao cinema se e somente se conseguir dinheiro.

Valores Lgicos das Proposies

Diz-se que o valor lgico de uma proposio p verdade quando p for verdadeiro e falsidade quando p for falso. Os valores lgicos verdade e falsidade de uma proposio pode ser representados pelas letras V e F ou pelos smbolos binrios 1 e 0, respectivamente. Toda proposio pode assumir um, e somente um, dos dois valores: F ou V (0 ou 1).

Por exemplo:

ELABORAO: PROFESSOR PEDRO BIGATTO

Pgina 9

a) O Japo fica na frica. b) O Brasil ganhou a Copa do Mundo de 1970 no Mxico.

O valor lgico da proposio (a) a falsidade (0), e da proposio (b) a verdade (1). As proposies podem ser simples ou compostas. Proposio simples e a que no contm nenhuma outra proposio por letras minsculas de nosso alfabeto, da seguinte forma:

p: Carlos e careca. q: dos carecas que elas gostam mais. r: O nmero 16 quadrado perfeito. s: log2 1 = 0 A proposio composta formada por duas ou mais proposies relacionadas pelos conectivos "e", "ou, "se... ento..., ou "implica e ... se e somente se....

Sero indicadas por letras maisculas P, Q, R e S. Exemplo: Sejam: p=1+2=3 q=21 Duas proposies (no caso, ambas de valor lgico (1)). Podemos formar as proposies compostas:

P = p. q: 1 + 2 = 3 e 2 1 Q = p + q: 1 + 2 = 3 ou 2 1 R = p q: Se 1 + 2 = 3 ento 2 1

Observaes:

Quando for conveniente indicar que uma proposio composta P formada pelas proposies simples p, q, r,..., escreve-se: P (p, q, r,...). As proposies componentes de uma proposio composta podem ser elas mesmas, proposies compostas. ELABORAO: PROFESSOR PEDRO BIGATTO Pgina 10

As proposies compostas so tambm chamadas frmulas proposicionais. Indicaremos o valor lgico de uma proposio simples p, por V (p). Assim, se p verdadeira, V(p) = 1 e se p falsa, V (p) = 0. No caso de uma proposio composta P, indica-se por V(p). Nas proposies abaixo:

p: O sol verde. V(p) = 0

q: Um hexgono tem seis diagonais. V(q) = 1 r: Dois a raiz da equao x2 + 3x - 4 = 0 V(r) = 0

Princpios fundamentais da lgica.

Princpio da No-contradio quando uma proposio nunca pode ser simultaneamente "0" e 1. Princpios do Terceiro Excludo quando toda proposio ou for s 0 ou s 1, nunca ocorrendo um terceiro caso. De acordo com esses princpios, podemos afirmar que toda proposio admite um e um s dos valores 1 ou 0. Chamam-se conectivos lgicos palavras ou expresses que se unem para formar novas proposies, a partir de proposies dadas. Apresentamos abaixo algumas proposies compostas com diferentes conectivos. P: O nmero quatro quadrado perfeito e o nmero trs mpar. Q: O tringulo ABC retngulo ou issceles. R: Se Joo estuda, ento sabe a matria.

OPERAES LOGICAS
1Conectivo de Negao: Seja p uma proposio sua negao denotada p (l-se no verdade que p). Exemplo: Seja a proposio p: Joo mecnico. p: Joo no mecnico. O valor lgico da negao de uma proposio definido pela tabela verdade:

ELABORAO: PROFESSOR PEDRO BIGATTO

Pgina 11

p 0 1

p 1 0

2- Conectivo Condicional O condicional de duas proposies p e q uma proposio falsa quando V(p) = 1 e V(q) = 0, sendo verdadeiros nos demais casos. Representa-se o condicional de p e q, por p q e l-se se p ento q.

O valor lgico da condicional de duas proposies definido pela tabela verdade:

p 0 0 1 1

q pq 0 1 1 1 0 0 1 1

usado sempre que tivermos duas proposies p e q onde q conseqncia de p. Exemplo: Se chover ficarei estudando, se no chover irei sua casa.

p: se chover q: ficarei estudando p: se no chover r : irei sua casa

p q (se p ento q)

p r (se no p ento r)

3- Conectivo Bicondicional O bicondicional de duas proposies p e q uma proposio verdadeira quando V(p) = V(q) e falsa quando V(p) V(q). Denotaremos o bicondicional de p e q por p q e l-se p se e somente se q. O valor lgico da bicondicional de duas proposies definido pela tabela verdade:

p 0 0 1 1

q pq 0 1 1 0 0 0 1 1 Pgina 12

ELABORAO: PROFESSOR PEDRO BIGATTO

Sejam p e q duas proposies. Se p condio para q, e q condio para p temos o bicondicional, denotado por p q. (l-se p se e somente se q)

Exemplo: p: se eu estudar q: tirarei boas notas p q: Se eu estudar ento tirarei boas notas. q p: Tirarei boas notas se eu estudar. 4- Conectivo de Conjuno: conjuno de duas proposies p e q uma proposio verdadeira quando V(p) = V(q) = 1, e falsa nos demais casos, isto , s verdadeira quando ambas as componentes forem verdadeiras. Chamamos p. q e l-se p e q. O valor lgico da conjuno de duas proposies definido pela tabela verdade: p 0 0 1 1 q p. q 0 0 1 0 0 0 1 1

5 - Conectivo de Disjuno A disjuno de duas proposies p e q uma proposio falsa quando V(p) = V(q) = 0 e verdadeira nos demais casos, ou seja, quando pelo menos uma das componentes verdadeira. Chamamos este conectivo disjuno ou soma lgica, denotaremos de p e q por p + q, e se l p ou q.

O valor lgico da disjuno de duas proposies definido pela tabela verdade:

p 0 0 1 1

q 0 1 0 1

p+q 0 1 1 1

ELABORAO: PROFESSOR PEDRO BIGATTO

Pgina 13

Exerccios
1) Sejam as proposies p: Joo joga futebol e q: Joo joga tnis, escrevam na linguagem usual as seguintes propores.

a) p + q b) p . q c) p . q' d) p. q' e) (p')' f) (p. q')'

2) Dadas as proposies p: Maria bonita e q: Maria elegante, escrevam em linguagem simblica as seguintes proposies:

a) Maria bonita e elegante. b) Maria bonita mas no elegante. c) No verdade que Maria no bonita ou elegante. d) Maria no bonita nem elegante. e) Maria bonita ou no elegante. f) falso que Maria no bonita ou que no elegante.

3) Classificar as proposies compostas abaixo, como conjuno, disjuno, condicional, bicondicional ou negao:

a) (p. q')' b) p + (q. r') c) p. (q r) d) p. q r' e) (p + q')' + (r + s) f) (p + q') (r. s) g) [p (q. r)]. s h) [p (q. r)]' i) [p + (q. r)]' s' ELABORAO: PROFESSOR PEDRO BIGATTO Pgina 14

j) (p q) r'

4) V(p) = 1 e V(q) = 0, determine o valor lgico de cada uma das proposies: a) p. q' b) p + q c) p. q d) p. q e) p' + q' f) p. (p' + q)

5)

Determine V(p) em cada um dos seguintes casos, sabendo que: a) V(q) = 0 e V(p. q) = 0 b) V(q) = 0 e V(p + q) = 0 c) V(q) = 0 e V(p q) = 0 d) V(q) = 0 e V(p q) = 1 e) V(q) = 1 e V(p q) = 0 f) V(q) = 0 e V(p q) = 1

6)

Determine V(p) e V(q) em cada um dos seguintes casos, sabendo que: a) V(p q) = 1 e V(p . q) = 0 b) V(p q) = 1 e V(p + q) = 0 c) V(p q) = 1 e V(p . q) = 1 d) V(p q) = 0 e V(p' + q) = 1

7) 8)

Para quais valores lgicos de p e q se tem V(p. q) = V(p q) ? Se V(p) = V(q) = 1 e V(r) = V(s) = 0 determine os valores das seguintes proposies: a) p' + r b) [r + (r s)]

c) [p' + (r. s)'] d) [q (p. s)]' e) (p q) + (q p') f) (p q). (r' s) g) {[q. (p. s')]'}' h) p' + [q. (r s')] ELABORAO: PROFESSOR PEDRO BIGATTO Pgina 15

i) (p' + r) (q s) j) [p' + (q. s)]' + (r s') l) q. [(r' + s) (p q')] m) [p (q r)]' s 9) Determine os valores lgicos das proposies abaixo, justificando os casos em que os dados forem insuficientes:

a) p' (q + r'), sabendo que V(r) = 0 b) (p q) + (q p'), sabendo que V(q) = 0 c) p. [q' (r. s)], sabendo que V(p) = 0 d) p (q. s), sabendo que V(p) = 1 e) (p' + r) (q s), sabendo que V(q) = 0 f) (p r). s, sabendo que V(r) = 1 g) p (r + s), sabendo que V(r) = 1 h) (p. q) r, sabendo que V(q) = 1 i) [(p q). p] p', sabendo que V(p) = 0 j) p (q. r), sabendo que V(q) = 0 e V(r) = 1

Obs.: Exerccios extrados do livro Lgica e lgebra de Boole (Jacob Daghlian)

SOLUO DOS EXERCICIOS ANTERIORES 1) Sejam as proposies p: Joo joga futebol e r: Joo joga tnis, escreva na linguagem usual as seguintes propores.

a) p + r Joo joga futebol ou tnis. b) p . q Joo joga futebol e tnis. c) p . q' Joo joga futebol e no joga tnis d) p'. q' Joo no joga futebol nem tnis. e) (p')' falso que Joo no joga futebol. f) (p. q')' falso que Joo no joga futebol nem tnis.

ELABORAO: PROFESSOR PEDRO BIGATTO

Pgina 16

2- Dadas as proposies p: Maria bonita e q: Maria elegante, escrevam em linguagem simblica as seguintes proposies:

a) Maria bonita e elegante.

p. q

b) Maria bonita mas no elegante. p. q' c) No verdade que Maria no bonita ou elegante. (p' + q)' d) Maria no bonita nem elegante. p. q' e) Maria bonita ou no elegante. p + q f) falso que Maria no bonita ou que no elegante. (p' + q')'

3- Classificar as proposies compostas abaixo, como conjuno, disjuno, condicional, bicondicional ou negao:

a) (p. q')' negao b) p + (q. r') disjuno c) p. (q r) conjuno d) p. q r' condicional e) (p + q')' + (r + s) disjuno f) (p + q') (r. s) bicondicional g) [p (q. r)] . s conjuno h) [p (q. r)]' negao g) [p + (q. r)]' s' condicional j) (p q) r' condicional

4- Sabendo que V(p) = 1 e V(q) = 0, determine o valor lgico de cada uma das proposies:

a) p. q' b) p + q c) p. q d) p. q

1.1=1 1+0=1 0.1=0 0.0=0

e) p' + q' 0 + 1 = 1 f) p. (p' + q) 1 . (0 + 0) = 0

5- Determine V(p) em cada um dos seguintes casos, sabendo que: ELABORAO: PROFESSOR PEDRO BIGATTO Pgina 17

a) V(q) = 0 e V(p. q) = 0

Para V(p) = 1: Para V(p) = 0:

1.0=0 0.0=0

V(p) = 0 ou V(p) = 1.

a) V(q) = 0 e V(p + q) = 0

Para V(p) = 1: Para V(p) = 0:

1+0=1 0+0=0

V(p) = 0.

c) V(q) = 0 e V(p q) = 0

Para V(p) = 1: Para V(p) = 0:

10=0 00=1

V(p) = 1.

d) V(q) = 0 e V(p q) = 1

Para V(p) = 1: Para V(p) = 0:

10=0 00=1

V(p) = 0.

e) V(q) = 1 e V(p q) = 0

Para V(p) = 1: Para V(p) = 0:

11=1 01=0 Pgina 18

ELABORAO: PROFESSOR PEDRO BIGATTO

V(p) = 0.

f) V(q) = 0 e V(p q) = 1

Para V(p) = 1: Para V(p) = 0:

10=0 00=1

V(p) = 0.

6- Determine V(p) e V(q) em cada um dos seguintes casos, sabendo que:

a) V(p q) = 1 e V(p . q) = 0

00=1 01=1 10=0 11=1

0.0=0 0.1=0 1.0=0 1.1=1

V(p) = 0 e V(q) = 0 ou V(q) = 1

b) V(p q) = 1 e V(p + q) = 0

00=1 01=1 10=0 11=1

0+0=0 0+1=1 1+0=1 1+1=1

V(p) = 0 e V(q) = 0

c) V(p q) = 1 e V(p . q) = 1

ELABORAO: PROFESSOR PEDRO BIGATTO

Pgina 19

00=1 01=0 10=0 1 1 = 1

0.0=0 0.1=0 1.0=0 1.1=1

V(p) = 1 e V(q) = 1

d) V(p q) = 0 e V(p' + q) = 1

00=1 01=0 10=0 11=1

0' + 0 = 1 0' + 1 = 1 1' + 0 = 0 1' + 1 = 1

V(p) = 0 e V(q) = 1

7- Para quais valores lgicos de p e q se tm V(p. q) = V(p q)? p 0 0 1 1 q 0 1 0 1 p.q 0 0 0 1 p 1 1 0 1 q

Resposta: Para V(p) = 1 e V(q) = 0 ou V(q) = 1 8- Se V(p) = V(q) = 1 e V(r) = V(s) = 0 determine os valores das seguintes proposies: a) p' + r b) [r + (r s)] c) [p' + (r. s)'] d) [q (p. s)] e) (p q) + (q p') f) (p q). (r' s) g) {[q. (p. s')]'}' h) p' + [q. (r s')] 0+0=0 0 + (0 0) = 1 0 + (0 . 0)' = 1 [1 (0 . 0)]' = 1 (1 1) + (1 0) = 1 (1 1) . (1 0) = 0 {[0 . (1 . 1)]'}' = 0 0 + [1 . (0 1)] = 1 Pgina 20

ELABORAO: PROFESSOR PEDRO BIGATTO

i) (p' + r) (q s) j) [p' + (q. s)]' + (r s') l) q. [(r' + s) (p q')] m) [p (q r)]' s

(0 + 0) (1 0) = 1 [0 + (1 . 0)]' + (0 1) = 1 0. [(1 + 0) (1 0)] = 0 [1 (1 0)]' 0 = 0

9- Determine os valores lgicos das proposies abaixo, justificando os casos em que os dados forem insuficientes: a) p' (q + r'), sabendo que V(r) = 0 V(p' (q + r')) = 1 b) (p q) + (q p'), sabendo que V(q) = 0 V((p q) + (q p')) = 1 c) p . [q' (r . s)], sabendo que V(p) = 0 V(p . [q' (r . s)]) = 0 d) p (q . s), sabendo que V(p) = 1 V(p (q . s)) = Dados insuficientes, pois depende da resposta do parnteses. e) (p' + r) (q s), sabendo que V(q) = 0 V((p' + r) (q s)) = 1 f) (p r) . s, sabendo que V(r) = 1 V((p r) . s) = Dados insuficientes, pois depende da resposta de s. g) p (r + s), sabendo que V(r) = 1 V(p (r + s)) = 1 h) (p . q) r, sabendo que V(q) = 1 V((p . q) r) = Dados insuficientes, pois depende do resultado de p.

i) [(p q) . p] p', sabendo que V(p) = 0 V([(p q) . p] p') = 1 j) p (q' . r), sabendo que V(q) = 0 e V(r) = 1 V(p (q' . r)) = 1 ELABORAO: PROFESSOR PEDRO BIGATTO Pgina 21

ELABORAO: PROFESSOR PEDRO BIGATTO

Pgina 22

Segunda lista de exercicios

1) Determine o valor lgico de cada uma das seguintes proposies:

a) Santiago a capital do Mxico. b) Braslia a capital do Brasil. c) Cristvo Colombo foi o descobridor do Brasil. d) (a + b)3 = a3 + b3. e) A soma dos ngulos internos de um tringulo 180. f) Os lados opostos de um paralelogramo so iguais. g) 3 + 4 < 9. h) 1/3 > 1/4.

2) Considere as proposies p: Todo homem mortal e q: Scrates mortal. Represente simbolicamente as proposies:

a) Se todo homem mortal ento Scrates mortal. b) Todo homem mortal ou Scrates mortal. c) Scrates mortal se e somente se todo homem mortal. d) Todo homem mortal ou Scrates no mortal. e) No verdade que Scrates mortal. f) No verdade que Scrates mortal ou todos os homens so mortais.

3)

Considere as proposies p: Pedro italiano e q: Pedro brasileiro. Represente

simbolicamente as proposies:

a) Pedro italiano ou Pedro brasileiro. b) Pedro italiano e Pedro brasileiro. c) Pedro italiano e Pedro no brasileiro. d) No verdade que Pedro italiano e Pedro no brasileiro.

4) Sejam as proposies p: 19 um nmero primo e q: 12 um nmero par. Traduza em palavras as sentenas:

ELABORAO: PROFESSOR PEDRO BIGATTO

Pgina 23

a) p . q b) p + q c) p q d) (p. q) e) p q f) (p + q) g) p q. 5) Sejam as proposies p: 2 < x < 7 e q: x2 + 1 < 50. Traduzam na linguagem usual as sentenas:

a) p. q b) p + q c) p q d) (p. q) e) p q f) ( p + q) g) p q . SOLUO DOS EXERCICIOS ANTERIORES 1) Determine o valor lgico de cada uma das seguintes proposies:

a) Santiago a capital do Mxico. b) Braslia a capital do Brasil. d) (a + b)3 = a3 + b3. V(d) = 0

V(a) = 0 V(b) = 1

c) Cristvo Colombo foi o descobridor do Brasil. V(c) = 0

e) A soma dos ngulos internos de um tringulo 180.

V(e) = 1

f) Os lados opostos de um paralelogramo so iguais. V(f) = 1 g) 3 + 4 < 9. V(g) = 1 h) 1/3 > 1/4. V(h) = 1

ELABORAO: PROFESSOR PEDRO BIGATTO

Pgina 24

2) Considere as proposies p: Todo homem mortal e q: Scrates mortal. Represente simbolicamente as proposies:

a) Se todo homem mortal ento Scrates mortal. p q b) Todo homem mortal ou Scrates mortal. p + q c) Scrates mortal se e somente se todo homem mortal. p q d) Todo homem mortal ou Scrates no mortal. p + q e) No verdade que Scrates mortal. q f) No verdade que Scrates mortal ou todos os homens so mortais. (q + p)

3)

Considere as proposies p: Pedro italiano e q: Pedro brasileiro. Represente

simbolicamente as proposies:

a) Pedro italiano ou Pedro brasileiro. p + q b) Pedro italiano e Pedro brasileiro. p. q c) Pedro italiano e Pedro no brasileiro. p. q d) No verdade que Pedro italiano e Pedro no brasileiro. (p. q)

4) Sejam as proposies p: 19 um nmero primo e q: 12 um nmero par. Traduza em palavras as sentenas:

a) p. q Dezenove um nmero primo e doze um nmero par b) p + q Dezenove no um nmero primo ou doze um nmero par c) p q Se dezenove no um nmero primo ento doze no um nmero par d) (p. q) Dezenove no um nmero primo e doze no um nmero par e) p q Dezenove um nmero primo se e somente se doze um nmero par f) (p + q) No verdade que Dezenove um nmero primo ou doze um nmero par g) p q. Se dezenove um nmero primo ento doze no um nmero par 5) Sejam as proposies p: 2 < x < 7 e q: x2 + 1 < 50. Traduzam na linguagem usual as sentenas: 2 < x < 7 e x2 + 1 < 50 2 < x < 7 ou x2 + 1 < 50 Pgina 25

a) p. q b) p + q

ELABORAO: PROFESSOR PEDRO BIGATTO

c) p q Se 2 < x < 7 ento x2 + 1 < 50 d) (p. q) 2 < x < 7 e x2 + 1 < 50 e) p q Se 2 < x < 7 e somente se x2 + 1 < 50 f) ( p + q) No verdade que 2 < x < 7 ou x2 + 1 < 50 g) p q Se 2 < x < 7 ento x2 + 1 < 50

ELABORAO: PROFESSOR PEDRO BIGATTO

Pgina 26

CONSTRUO DE TABELA VERDADE

Sabemos que toda proposio tem V (p) = 1 ou V (p) = 0.

Quando fazemos a composio de qualquer proposio composta, usaremos como auxilio a construo das tabelas verdades ou diagrama de arvores. Para as proposies compostas o nmero das componentes determina o numero de linhas das tabelas..Exemplo:

a) P(p,q)

P(p,q,r)

ELABORAO: PROFESSOR PEDRO BIGATTO

Pgina 27

Para construirmos uma tabela de uma proposio composta, deveremos proceder da seguinte forma: Determinar o numero de linhas desta tabela; Observar os conectivos que formam as proposies; Aplicar as definies das operaes; Negao (~) Conjuno ( ) Disjuno ( ) Condicional () Bicondicional () Vejamos alguns exemplos:

1) p + q (r. q')

P(p, q, r) = 11000100

p 0 0 0 0 1 1 1 1

q 0 0 1 1 0 0 1 1

r 0 1 0 1 0 1 0 1

p + q (r. q') 1 1 0 0 0 1 0 0

2) (p q). (q r) (p r) P(p, q, r) = 11111111

p 0 0 0 0 1 1 1 1

q 0 0 1 1 0 0 1 1

r 0 1 0 1 0 1 0 1

(p q). (q r) (p r) 1 1 1 1 1 1 1 1 Pgina 28

ELABORAO: PROFESSOR PEDRO BIGATTO

4- Quando o resultado de P(p,q,r) = 00000000. Obs. Quando o valor lgico de uma proposio composta for sempre verdade, quaisquer que sejam os valores lgicos das proposies componentes temos uma tautologia. Quando o valor lgico for sempre a falsidade temos uma contradio ou contra-vlida e finalmente quando na tabela verdade de uma proposio composta ocorrem verdades e falsidades temos uma indeterminao ou contingncia.

Exerccios
1- Construir as tabelas-verdade das proposies seguintes:

a) (p. q')' b) (p q')' c) p. q p + q d) p' (q p) e) (p q) p. q f) q q'. p g) (p q') q + p h) (p q') p'. q i) p'. r q + r j) p r q + r' l) p (p r') q + r m) (p + q r) + (p' q + r')

2 - Determine P(00,01,10,11) em cada um dos seguintes casos:

a) P(p,q) = (p' q)' b) P(p,q) = p' + q p c) P(p,q) = (p. q) + (p. q)' d) P(p,q) = (p. q') + (p'. q) e) P(p,q) = ((p + q). (p' + q'))'

ELABORAO: PROFESSOR PEDRO BIGATTO

Pgina 29

3 Determine P(000,001,010,011,100,101,110,111) em cada um dos seguintes casos:

a) P(p,q,r) = p. r' q' b) P(p,q,r) = p. q' (p + r')' c) P(p,q,r) = (p q')'. (p' + r)

4 Determine P(101) em cada um dos seguintes casos:

a) P(p,q,r) = p' + (q. r') b) P(p,q,r) = (p + q'). (q + r') c) P(p,q,r) = (r. (p + q')) + (r' + (p. q))' d) P(p,q,r) = (p + (q r')). (p' + r q')

5 Sabendo que V(p) = V(r) = 1 e V(q) = V(s) = 0, determine os valores de cada uma das proposies:

a) p. q r. s' b) (p' q) (s r) c) p q' (p + r). s d) (p. q). (r. s) p + s

6 Sabendo que os valores lgicos das proposies p,q,r e s so, respectivamente, 1,1,0 e 0, determine o valor lgico de cada uma das proposies:

a) p q q p b) ((p + s). (s + r)) c) (r p) (p r) d) (p r) (p' r')

7 Diga quais as proposies que satisfazem as tabelas-verdade abaixo:

ELABORAO: PROFESSOR PEDRO BIGATTO

Pgina 30

a)

p 0 0 1 1

q 0 1 0 1

? 1 0 1 1

b)

p 0 0 1 1

q 0 1 0 1

? 0 0 1 0

c)

p 0 0 1 1

q 0 1 0 1

? 0 1 1 0

ELABORAO: PROFESSOR PEDRO BIGATTO

Pgina 31

8 Determine as proposies compostas por comunicao que satisfazem a cada uma das tabelas verdade indicadas.

. p 0 0 1 1 q 0 1 0 1 A 1 1 1 0 B 1 0 0 0 C 0 1 1 1 D 0 0 1 0 E 1 0 1 1

9 Determinar as proposies compostas por disjuno que satisfazem a cada uma das tabelas verdade indicadas.

+ p 0 0 1 1 q 0 1 0 1 A 1 1 1 0 B 1 0 0 0 C 0 1 1 1 D 0 0 1 0 E 1 0 1 1

10 Determinar as propores compostas por condicional que satisfazem a cada uma das tabelas verdade indicadas.

p 0 0 1 1

q 0 1 0 1

A 1 1 1 0

B 1 0 0 0

C 0 1 1 1

D 0 0 1 0

E 1 0 1 1 Pgina 32

ELABORAO: PROFESSOR PEDRO BIGATTO

11 Determinar quais das seguintes proposies so tautologias, contradies ou contingncias:

a) p

(p'

q)

b) p' + q (p q) c) p (q (q q)) d) ((p q) q) p e) p + q' (p q') f) p' + q' (p q) g) p (p + q) + r h) p. q (p q + r) i) (q p) (p q) SOLUO DOS EXERCICIOS ANTERIORES 1- Construir as tabelas-verdade das proposies seguintes: a) (p. q')' p 0 0 1 1 b) (p q')' p 0 0 1 1 q 0 1 0 1 (p 0 0 0 1 q')' q 0 1 0 1 (p. q')' 1 1 0 1

ELABORAO: PROFESSOR PEDRO BIGATTO

Pgina 33

c) p. q

p+q p 0 0 1 1 q 0 1 0 1 p. q 1 1 1 1 p+q

d) p'

(q

p) p 0 0 1 1 q 0 1 0 1 p' (q p) 1 0 1 1

ELABORAO: PROFESSOR PEDRO BIGATTO

Pgina 34

e) (p

q)

p. q p 0 0 1 1 q 0 1 0 1 (p q) 0 0 1 1 p. q

f) q

q'. p p 0 0 1 1 q 0 1 0 1 q q'. p 1 0 0 0

g) (p

q')

q+p p 0 0 1 1 q 0 1 0 1 (p q') 1 1 1 1 q+p

h) (p

q')

p'. q P 0 0 1 1 q 0 1 0 1 (p q') 1 1 0 1 p'. q

ELABORAO: PROFESSOR PEDRO BIGATTO

Pgina 35

i) p'. r

q+r p 0 0 0 0 1 1 1 1 q 0 0 1 1 0 0 1 1 r 0 1 0 1 0 1 0 1 p'. r 1 1 1 1 1 1 1 1 q+r

j) p

q + r' p 0 0 0 0 1 1 1 1 q 0 0 1 1 0 0 1 1 r') p 0 0 0 0 1 1 1 1 q+r q 0 0 1 1 0 0 1 1 r 0 1 0 1 0 1 0 1 p (p r') 0 1 1 1 0 0 1 0 q+r r 0 1 0 1 0 1 0 1 p r 1 0 1 1 0 1 0 1 q + r'

l) p

(p

ELABORAO: PROFESSOR PEDRO BIGATTO

Pgina 36

m) (p + q p 0 0 0 0 1 1 1 1 q 0 0 1 1 0 0 1 1

r) + (p' r 0 1 0 1 0 1 0 1

q + r') (p + q r) + (p' 1 1 1 1 0 1 0 1 q + r')

2 - Determine p(00,01,10,11) em cada um dos seguintes casos: a) (p' q)' p 0 0 1 1 b) p' + q p P 0 0 1 1 c) (p. q) + (p. q)' corrigida P 0 0 1 1 q 0 1 0 1 (p. q) + (p. q)' 1 1 1 1 q 0 1 0 1 p' + q 0 0 1 1 p q 0 1 0 1 (p' 1 0 0 1 q)'

ELABORAO: PROFESSOR PEDRO BIGATTO

Pgina 37

d) (p. q') + (p'. q) P 0 0 1 1 e) ((p + q). (p' + q'))' P 0 0 1 1 q 0 1 0 1 ((p + q). (p' + q'))' 1 0 0 1 q 0 1 0 1 (p. q') + (p'. q) 0 1 1 0

3 Determine p(000,001,010,011,100,101,110,111) em cada um dos seguintes casos: a) p. r' q'

p 0 0 0 0 1 1 1 1

q 0 0 1 1 0 0 1 1

R 0 1 0 1 0 1 0 1

p. r' 1 1 1 1 1 1 0 1

q'

ELABORAO: PROFESSOR PEDRO BIGATTO

Pgina 38

b) p. q' p 0 0 0 0 1 1 1 1

(p + r')' q 0 0 1 1 0 0 1 1 r 0 1 0 1 0 1 0 1 p. q' (p + r')' 1 0 1 0 0 0 1 1

c) (p q')'. (p' + r) p 0 0 0 0 1 1 1 1 q 0 0 1 1 0 0 1 1 r 0 1 0 1 0 1 0 1 (p q')'. (p' + r) 0 0 0 0 0 0 0 1

4 Determine p(101) em cada um dos seguintes casos: a) p' + (q. r') p 0 0 0 0 1 1 1 1 q 0 0 1 1 0 0 1 1 r 0 1 0 1 0 1 0 1 p' + (q. r') 1 1 1 1 0 0 1 0

ELABORAO: PROFESSOR PEDRO BIGATTO

Pgina 39

b) (p + q'). (q + r') p 0 0 0 0 1 1 1 1 q 0 0 1 1 0 0 1 1 c) (r. (p + q')) + (r' + (p. q))' p 0 0 0 0 1 1 1 1 q 0 0 1 1 0 0 1 1 r 0 1 0 1 0 1 0 1 (r. (p + q')) + (r' + (p. q))' 0 1 0 1 0 1 0 1 r 0 1 0 1 0 1 0 1 (p + q'). (q + r') 1 0 0 0 1 0 1 1

d) (p + (q p 0 0 0 0 1 1 1 1 q 0 0 1 1 0 0 1 1 r 0 1 0 1 0 1 0 1

r')). (p' + r

q') (p + (q r')). (p' + r 1 1 1 0 0 1 1 0 q')

ELABORAO: PROFESSOR PEDRO BIGATTO

Pgina 40

5 Sabendo que v(p) = v(r) = 1 e v(q) = v(s) = 0, determine os valores de cada uma das proposies: a) p. q b) (p' c) p r . s' q) q' (s r) 1. 0 (0 0) 1 1 1. 1 = 0 (0 1) = 1 (1 + 1). 0 = 0 1+0 = 1

(p + r) . s p+s

d) (p . q) . (r . s)

(1. 0). (1. 0)

6 Sabendo que os valores lgicos das proposies p,q,r e s so, respectivamente, 1,1,0 e 0, determine o valor lgico de cada uma das proposies: a) p q q p 1 1 1 1 = 1

b) ((p + s) . (s + r))' c) (r d) (p p) r) (p (p' r) r') (0 (1

((1 + 0). (0 + 0))' = 1 1) 0) (1 (0 0) = 0 1) = 1

7 Diga quais as proposies que satisfazem as tabelas-verdade abaixo: a) p 0 0 1 1 b) p 0 0 1 1 q 0 1 0 1 0 0 1 0 Q 0 1 0 1 q 1 0 1 1 p

ELABORAO: PROFESSOR PEDRO BIGATTO

Pgina 41

c) p 0 0 1 1 q 0 1 0 1 0 1 1 0

8 Determine as proposies compostas por comunicao que satisfazem a cada uma das tabelas verdade indicadas.

. p. q 0 0 0 1 1 0 1 1

(p .q)' a 1 1 1 0

p'. q' b 1 0 0 0

(p'. q')' c 0 1 1 1

(p. q') d 0 0 1 0

(p.q) e 1 0 1 1

9 determinar as proposies compostas por disjuno que satisfazem a cada uma das tabelas verdade indicadas.

+ p+q 0 0 0 1 1 0 1 1

p' + q' a 1 1 1 0

(p + q)' b 1 0 0 0

p+q c 0 1 1 1

(p + q) d 0 0 1 0

p + q e 1 0 1 1

ELABORAO: PROFESSOR PEDRO BIGATTO

Pgina 42

10 Determinar as propores compostas por condicional que satisfazem a cada uma das tabelas verdade indicadas.

p p 0 0 1 1 q 0 1 0 1 a 1 1 1 0

q'

(p' b 1 0 0 0

q)'

p' c 0 1 1 1

(p d 0 0 1 0

q)'

q e 1 0 1 1

11 Determinar quais das seguintes proposies so tautologias, contradies ou contingncias: a) p p 0 0 1 1 b) p' + q p 0 0 1 1 c) p p 0 0 1 1 (q (q q)) (p q) tautologia q 0 1 0 1 tautologia q 0 1 0 1 p (q 1 1 1 1 (q q)) p' + q 1 1 1 1 (p q) (p' q) tautologia q 0 1 0 1 p (p' 1 1 1 1 q)

ELABORAO: PROFESSOR PEDRO BIGATTO

Pgina 43

d) ((p

q)

q)

contingncia

p 0 0 1 1 e) p + q' p 0 0 1 1 (p q')

q 0 1 0 1 contingncia q 0 1 0 1

((p

q) 1 0 1 1

q)

p + q'

(p 1 1 1 0

q')

f) p' + q' p 0 0 1 1 g) p P 0 0 0 0 1 1 1 1

(p

q)

contingncia q 0 1 0 1 p' + q' 1 1 0 1 (p q)

(p + q) + r tautologia q 0 0 1 1 0 0 1 1 r 0 1 0 1 0 1 0 1 p (p + q) + r 1 1 1 1 1 1 1 1

ELABORAO: PROFESSOR PEDRO BIGATTO

Pgina 44

h) p. q P 0 0 0 0 1 1 1 1

(p

q + r) q 0 0 1 1 0 0 1 1

tautologia r 0 1 0 1 0 1 0 1 p. q (p 1 1 1 1 1 1 1 1 q + r)

i) (q p 0 0 1 1

p)

(p

q)

contingncia q 0 1 0 1 (q p) 1 1 0 1 (p q)

ELABORAO: PROFESSOR PEDRO BIGATTO

Pgina 45

ARGUMENTO VALIDO RELAO IMPLICAO LOGICA

Diz-se que uma proposio p implica uma proposio q quando em suas tabelas verdade no ocorre verdade e falsidade (1 e 0 ) nesta ordem. Notao: p q (l-se p implica logicamente em q) Obs. No confundir os smbolos e . O primeiro representa uma operao entre proposies, o segundo indica apenas uma relao entre duas proposies dada

Tautologia e Implicao Lgica

Teorema: a proposio p implica a proposio q, isto , p q se e somente se a condicional p q for tautologia. Exemplos: 1) q p p p 0 0 1 1 q 0 1 0 1 qp 1 0 1 1 p 0 0 1 1

Relao de Equivalncia Lgica

Diz-se que uma proposio p equivalente a uma proposio q quando em suas tabelas verdade no ocorrerem verdade e falsidade (V e F) nem falsidade e verdade (F e V). Notao: p q (l-se p equivalente a q) Exemplo:

ELABORAO: PROFESSOR PEDRO BIGATTO

Pgina 46

1) Verifique se as proposies so equivalentes q p p

p 0 0 1 1

q 0 1 0 1

qp 1 0 1 1

p 0 0 1 1

Tautologia e Equivalncia Lgica

Teorema: a proposio p equivalente a proposio q, isto , p q se e somente se a bicondicional p q for tautologia. Exemplo:

1) Verifique se as duas proposies propostas so equivalentes

P 1 1 1 1 0 0 0 0

. 1 1 0 0 0 0 0 0

q 1 1 0 0 1 1 0 0

1 0 1 1 1 1 1 1

r 1 0 1 0 1 0 1 0

trocar por 1 1 1 1 1 1 1 1

p 1 1 1 1 0 0 0 0

1 0 1 1 1 1 1 1

(q 1 1 0 0 1 1 0 0

1 0 1 1 1 0 1 1

r) 1 0 1 0 1 0 1 0

ELABORAO: PROFESSOR PEDRO BIGATTO

Pgina 47

Exerccios propostos
1) Dadas as proposies compostas abaixo verifique se ocorre a implicao lgica ou a equivalncia lgica conforme solicitado:

a) (p q ) . ( q r ) p r

b) ( x 0 x = y ) . x y x = 0

c) p q p q

d) p + q ( p + q ) . ( p . q )

e) ( x = 0 . y = 0 ) z = 0 x = 0 ( y = 0 z = 0 )

Definies: 1) Duas proposies so consideradas independentes em sua tabela quando ocorrem as quatros alternativas, exemplo:

2) Duas proposies s o consideradas dependentes em sua tabela quando ocorrem uma ou mais alternativas no ocorrem, exemplo:

ELABORAO: PROFESSOR PEDRO BIGATTO

Pgina 48

Verificamos que no ocorre a alternativa 10 entre p e p q. Poderemos dizer que neste caso existe uma relao entre as proposies,

RELAO DE IMPLICAO Podemos dizer que uma proposio p implica q, quando construirmos a tabela-verdade e no encontramos 10.

Notao : p q

Exemplos: 1- (p + q). p p 0 0 1 1 q Argumento vlido q 0 1 0 1 p' 1 1 0 0 * 2- (p q),q,p P 0 0 1 1 Argumento falho q 0 1 0 1 p 1 1 0 1 q (p q). q 0 1 0 1 p 0 0 1 1 p+q 0 1 1 1 (p +q). p' 0 1 0 0 q 0 1 0 1

ELABORAO: PROFESSOR PEDRO BIGATTO

Pgina 49

3-

tr r' t+s s S 0 0 1 1 0 0 1 1 t 0 1 0 1 0 1 0 1 r' 1 1 1 1 0 0 0 0

Argumento vlido

r 0 0 0 0 1 1 1 1

t 1 0 1 0 1 1 1 1

t+s 0 1 1 1 0 1 1 1

(t

r).r' 1 0 1 0 0 0 0 0

(t

r). r. (t + s) 0 0 1 0 0 0 0 0

s 0 0 1 1 0 0 1 1

Exerccios1- Testar a validade dos seguintes argumentos: a) p q' p + q' q p b) t r', t + s, s 2- Dados os conjuntos de valores lgicos: Qual deles torna o seguinte argumento vlido? Premissa Premissa Concluso

p 0 0 1 1

q 0 1 0 1

? ? ? ?

1 0 1 0

1 1 1 0

ELABORAO: PROFESSOR PEDRO BIGATTO

Pgina 50

A 1 0 0 O

B 0 1 0 1

C 1 1 1 0

D 1 0 1 0

3- Dado o argumento: Concluso (A) 1 1 0 0 (B) 1 0 1 0 (C) 1 1 1 0 (D) 1 0 0 1

p 0 0 1 1

q 0 1 0 1

Premissa Premissa 0 1 1 1 0 1 1 0

Qual dos conjuntos de valores lgico torna esse argumento vlido? 4- Mediante o uso de tabelas-verdade, teste a validade dos argumentos. a) q p' (p')' q b) p q' p+q p q' c) r' p' (p' + q)' q' d) a (b + c), b a', a' e) (p + q)', q r, p + (p q), q + r f) p q', q r', p + r', q' + r' 5-Construir os seguintes argumentos atravs de tabela verdade: a) (c + d) ' e (c + d)______ e b) f (b + d) ELABORAO: PROFESSOR PEDRO BIGATTO Pgina 51

(b + d)' f' c) (p . q') + (q . r') (p . q')' q . r' d) d . (a + b') a + b' e) r ' s' (s')' r f) (a. b)' c a________ (a. b). (c a)

g) b c______ (b c) + d' h) a b' b' c ac i) (a . b) + c' (a . b) + c a.b j) a (b c) a___________ bc l) (a c) + (a + e) (d + e) ac m) r (p + q)' ((p + q)')' r' n) a . c' c'

Obs.: Exerccios extrados do livro Lgica e lgebra de Boole (Jacob Daghlian)

ELABORAO: PROFESSOR PEDRO BIGATTO

Pgina 52

Solues dos exerccios anteriores 1- Testar a validade dos seguintes argumentos: a) p q' p + q' q______ p p 0 0 1 1 q 0 1 0 1 p' 1 1 0 0 q' 1 0 1 0 p 1 1 1 0 q' p + q' 1 0 1 1 (p q'). (p +q'). q 0 0 1 0 p 0 0 1 1

Argumento vlido b) t r', t + s, s r 0 0 0 0 1 1 1 1 s 0 0 1 1 0 0 1 1 t 0 1 0 1 0 1 0 1 r' 1 1 1 1 0 0 0 0 t 1 1 1 1 1 0 1 0 r t+s 0 1 1 1 0 1 1 1 (t r). r. (t + s) 0 1 1 1 0 0 1 0 s 0 0 1 1 0 0 1 1

Argumento falho

ELABORAO: PROFESSOR PEDRO BIGATTO

Pgina 53

2- Dados os conjuntos de valores lgicos: (A) 1 0 0 0 (B) 0 1 1 1 (C) 1 1 1 0 (D) 1 0 1 0

Qual deles torna o seguinte argumento vlido? Premissa P 0 0 1 1 q 0 1 0 1 (A) 1 0 0 0 (B) 0 1 1 1 (C) 1 1 1 0 (D) 1 0 1 0 Premissa Concluso 1 0 1 0 1 1 1 0

Todos os argumentos so vlidos 3- Dado o argumento: Concluso (A) 1 1 0 0 (B) 1 0 1 0 (C) 1 1 1 0 (D) 1 0 0 1

p 0 0 1 1

q 0 1 0 1

Premissa Premissa 0 1 1 1 0 1 1 0

Qual dos conjuntos de valores lgicos abaixo torna esse argumento vlido? (A) 1 1 0 0 (B) 1 0 1 0 (C) 1 1 1 0 (D) 1 0 0 1

Apenas a letra (c) serve como concluso deste exerccio.

ELABORAO: PROFESSOR PEDRO BIGATTO

Pgina 54

4- Mediante o uso de tabelas-verdade, teste a validade dos argumentos. a) q p' (p')' q p 0 0 1 1 q 0 1 0 1 p' 1 1 0 0 (p')' 0 0 1 1 q 1 1 1 0 p' (q p '). (p')' 0 0 1 0 q 0 1 0 1

Argumento falho b) p q' p+q p q' p 0 0 1 1 q 0 1 0 1 q' 1 0 1 0 p 1 1 1 0 q' p+q 0 1 1 1 (p q'). (p + q) 0 1 1 0 p 0 1 1 0 q'

Argumento vlido c) r' p' (p' + q)' q' p 0 0 0 0 1 1 1 1 q 0 0 1 1 0 0 1 1 r 0 1 0 1 0 1 0 1 p q' r' 1 1 1 1 0 0 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 r' 1 1 1 1 0 1 0 1 p' (p' + q)' 0 0 0 0 1 1 0 0 (r' p'). (p'+ q)' 0 0 0 0 0 1 0 0 q' 1 1 0 0 1 1 0 0

Argumento vlido

ELABORAO: PROFESSOR PEDRO BIGATTO

Pgina 55

d) a (b + c), b a', a' a 0 0 0 0 1 1 1 1 b 0 0 1 1 0 0 1 1 c 0 1 0 1 0 1 0 1 a' 1 1 1 1 0 0 0 0 b+c 0 1 1 1 0 1 1 1 a (b + c) 1 1 1 1 0 1 1 1 b 1 1 1 1 1 1 0 0 a' (a (b + c)). (b 1 1 1 1 0 1 0 0 a) a' 1 1 1 1 0 0 0 0

Argumento falho e) (p + q)', q r, p + (p q), q + r p 0 0 0 0 1 1 1 1 q 0 0 1 1 0 0 1 1 r 0 1 0 1 0 1 0 1 (p + q)' 1 1 0 0 0 0 0 0 q 1 1 0 1 1 1 0 1 r p 1 1 1 1 0 0 1 1 q p + (p 1 1 1 1 1 1 1 1 q) (p + q). (q r). p + (p 1 1 0 1 0 0 0 1 q) q+r 0 1 1 1 0 1 1 1

Argumento falho

ELABORAO: PROFESSOR PEDRO BIGATTO

Pgina 56

f) p q', q r', p + r', q' + r' p q r q' r' 1 0 1 0 1 0 1 0 pq 1 1 1 1 0 0 1 1 q 1 1 1 0 1 1 1 0 r' p + r' 1 0 1 0 1 1 1 1 (p q'). (q 1 0 1 0 0 0 1 0 r'). (p + r') q' + r' 1 1 1 0 1 1 1 0

0 0 0 1 0 0 1 1 0 1 0 0 0 1 1 0 1 0 0 1 1 0 1 1 1 1 0 0 1 1 1 0

Argumento vlido 5-Construir os seguintes argumentos atravs de tabela verdade: a) (c + d) ' e (c + d)______ e c d e 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 (c + d)' 1 1 0 0 0 0 0 0 (c + d)' 0 1 1 1 1 1 1 1 e ((c + d)' e). (c + d)' 0 1 0 0 0 0 0 0 e 0 1 0 1 0 1 0 1

Argumento vlido

ELABORAO: PROFESSOR PEDRO BIGATTO

Pgina 57

b) f (b + d) (b + d)' f' b d 0 0 0 0 0 1 0 1 1 0 1 0 1 1 1 1 f 0 1 0 1 0 1 0 1 f' 1 0 1 0 1 0 1 0 b+d 0 0 1 1 1 1 1 1 (b + d)' 1 1 0 0 0 0 0 0 f (b + d) 1 0 1 0 1 1 1 1 (f (b + d)). (b + d)' 1 0 0 0 0 0 0 0 f' 1 0 1 0 1 0 1 0

Argumento vlido c) (p . q') + (q . r') (p . q')' q . r' p q r q' 0 0 0 1 0 0 1 1 0 1 0 0 0 1 1 0 1 0 0 1 1 0 1 1 1 1 0 0 1 1 1 0 r' 1 0 1 0 1 0 1 0 p. q' 0 0 0 0 1 1 0 0 q. r' 0 0 1 0 0 0 1 0 (p. q')' 1 1 1 1 0 0 1 1 (p. q') + (q. r') 0 0 1 0 1 1 1 0 ((p. q') + (q. r')). (p. q') 0 0 1 0 0 0 1 0 q. r' 0 0 1 0 0 0 1 0

Argumento vlido

ELABORAO: PROFESSOR PEDRO BIGATTO

Pgina 58

d)

d . (a + b') a + b' b 0 0 1 1 0 0 1 1 d 0 1 0 1 0 1 0 1 b' 1 1 0 0 1 1 0 0 a + b' 1 1 0 0 1 1 1 1 d. (a + b') 0 1 0 0 0 1 0 0 a + b' 1 1 0 0 1 1 0 0

a 0 0 0 0 1 1 1 1

Argumento vlido e) r ' s' (s')' r s r' 0 1 0 1 1 1 0 0

r 0 0 1 1

s' 1 0 1 0

(s')' 0 1 0 1

r' 1 0 1 1

s'

(r'

s'). (s')' 0 0 0 1

r 0 0 1 1

Argumento vlido f) (a. b)' c a________ (a. b). (c a) a 0 0 0 0 1 1 1 1 b 0 0 1 1 0 0 1 c 0 1 0 1 0 1 0 (a. b)' 1 1 1 1 1 1 0 c 1 0 1 0 1 1 1 1 a (a. b). (c 1 0 1 0 1 1 0 0 a) (a. b). (c 1 0 1 0 1 1 0 0 a)

1 1 0 Argumento vlido g) b c______

ELABORAO: PROFESSOR PEDRO BIGATTO

Pgina 59

(b c) + d' b 0 0 0 0 1 1 1 1 c 0 0 1 1 0 0 1 1 d 0 1 0 1 0 1 0 1 d' 1 0 1 0 1 0 1 0 b 1 1 1 1 0 0 1 1 c (b c) + d' 1 1 1 1 1 0 1 1

Argumento vlido h) a b' b' c ac a 0 0 0 0 1 1 1 1 b 0 0 1 1 0 0 1 1 c 0 1 0 1 0 1 0 1 b' 1 1 0 0 1 1 0 0 a 1 1 1 1 1 1 0 0 b' b' 0 1 1 1 0 1 1 1 c (a b') . (b' 0 1 1 1 0 1 0 0 c) a 1 1 1 1 0 1 0 1 c

Argumento vlido

i) (a . b) + c' ELABORAO: PROFESSOR PEDRO BIGATTO Pgina 60

(a . b) + c a.b a Bb d c' 0 0 0 0 1 1 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 a.b 0 0 0 0 0 0 1 1 (a. b) + c 0 1 0 1 0 1 1 1 (a. b) + c' 1 0 1 0 1 0 1 1 ((a. b) + c). ((a. b) + c') 0 0 0 0 0 0 1 1 a.b 0 0 0 0 0 0 1 1

Argumento vlido j) a (b c) a___________ bc a 0 0 0 0 1 1 1 1 b 0 0 1 1 0 0 1 1 Argumento vlido c 0 1 0 1 0 1 0 1 b 1 1 0 1 1 1 0 1 c a (b 1 1 1 1 1 1 0 1 c) (a (b 0 0 0 0 1 1 0 1 c)). a => b 1 1 0 1 1 1 0 1 c

ELABORAO: PROFESSOR PEDRO BIGATTO

Pgina 61

l)

a c) + (a + e) (d + e) ac c d + e (a 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 c) + (d + e) (d + e)' ((a 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 c) + (d + e)). (d + e)' => a 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 c

a c d e a 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 1 0 1 1 0 0 1 1 1 1 0 0 0 1 0 0 1 1 0 1 0 1 0 1 1 1 1 0 0 1 1 0 1 1 1 1 0 1 1 1 1

Argumento invlido m) r (p + q)' ((p + q)')' r' p 0 0 0 0 1 1 1 1 q 0 0 1 1 0 0 1 r 0 1 0 1 0 1 0 p+q 0 0 1 1 1 1 1 (p + q)' 1 1 0 0 0 0 0 0 r (p + q)' 0 0 1 0 1 0 1 0 => r' 1 0 1 0 1 0 1 0

1 1 1 Argumento valido n) a . c'

ELABORAO: PROFESSOR PEDRO BIGATTO

Pgina 62

c' a 0 0 1 1 c 0 1 0 1 c' 1 0 1 0 a . c' 0 0 1 0 => c' 1 0 1 0

Argumento vlido

ELABORAO: PROFESSOR PEDRO BIGATTO

Pgina 63

TECNICAS DEDUTIVAS

ELABORAO: PROFESSOR PEDRO BIGATTO

Pgina 64

EXERCCIOS DE APLICAO REGRAS DE INFERNCIA

Testar a validade dos argumentos mediante regras de inferncia. 1) Provar r 1pq 2qr 3p 2) Provar r 1 p q 2p 3 q r 3) Provar s 1pq.r 2q.rs 3p 4) Provar q + r 1 p q + r 2 s + t p 3s+t 5) Provar 3 > 0 1 2>13>1 2 3>13>0 3 2>1

ELABORAO: PROFESSOR PEDRO BIGATTO

Pgina 65

6) Provar x = y 1 x+1=2 2 x+1=2y+1=2 3 y+1=2x=y 7) Provar x + 2 = y + 2 1 x+0=yx=y 2 x+0=y 3 x=yx+2=y+2 8) Provar a > 10 1 (a > b e b > c) a > c 2 a>beb>c 3 a > c a > 10 9) Provar c = a 1 (a = b e b = c) a = c 2 a=cec=a 3a=beb=c 10) Provar u + v 1p+q 2 p + q r 3 r s . t 4 s . t u + v 11) Provar u 1 p q 2qr 3 p 4 r s 5 s t 6tu 12) Provar r 1pq 2 p r 3 q ELABORAO: PROFESSOR PEDRO BIGATTO Pgina 66

13) Provar r . s 1 p q 2 (q) 3 p r . s 14) Provar s 1pq 2 q (r) 3 s r 4p 15) Provar x = 0 1 2 3 4 x0y=1 x=yy=t y=ty1 x=y

16) Provar x y 1x=yx=z 2x=zx=6 3x6 17) Provar x = 0 1x0x=y 2x=yx=z 3xz 18) Prova 3 2 = 1 1 1+1=2e2+1=3 2 3 2 = 1 ou 2 1 1 3 1+1=221=1 19) Provar x = 0 1 x=0+x=y 2 x=yx=z 3 xz 20) Provar q 1 rp+q 2 r 3 p ELABORAO: PROFESSOR PEDRO BIGATTO Pgina 67

21) Provar utilizando as regras de inferncia. a) p q, (q), p r,r b) p . q, p r, q s, r . s c) p q, q, p r, r d) p q, q r, p, r e) p q, p r, p, q . r f) p q, q, p + r, r g) p + q, r p, r, q h) p + q, (q), r p,r i) p q, (q), p r + s, r + s j) p + (q), (p), r q, (r) l) p q . r, p, s q, s + t, t m) p . q, p r, r . s t, q s, t

ELABORAO: PROFESSOR PEDRO BIGATTO

Pgina 68

LISTA 2
Testar a validade dos argumento mediante as regras de inferncia. 1) Provar q 1 pq 2 p.q 2) Provar p . s 1 p.q 2 p+rs 3) Provar r 1 p ( q r) 2 pq 3 p 4) Provar p 1 pq 2 p.qr 3 ( p . r) 5) Provar s t 1p+qr 2 r + q p (s t) 3p.s 6) Provar r 1 2 3 4 p q p (r q) (s + r) (q) s

7) Provar (p . q) 1 p.qr 2 rs 3 t u 4 t 5 s + u

ELABORAO: PROFESSOR PEDRO BIGATTO

Pgina 69

8) Provar r + t 1 2 3 4 pq qr st p+s

9) Provar q + t 1 2 3 4 pq r (s t) r + (p + s) r

10) Provar q 1 2 3 4 pq (p r) s + q p.qr s

11) Provar s + q 1 pq 2 p + ((r) . (q)) 3 s r 4 (p . q) 12) Provar s 1 2 3 4 pr qs r (p + q) . (r . s)

13) Provar t 1 2 3 4 5 pq qr rs s p+t

14) Provar p + t 1 2 3 4 (p q) . ( r s) tu uv q + v Pgina 70

ELABORAO: PROFESSOR PEDRO BIGATTO

15) Provar x 0 1 2 3 4 x=yx=z x=zx=1 x=0x1 x=y

16) provar x = t 1 2 3 4 5 x=yx=z x=zx=t x=y+x=0 x=0 x+u=1 x+u=1

17) Provar y > z 1 x=yx=z 2 xyx<z 3 x<z+y>z 4yz.xz

ELABORAO: PROFESSOR PEDRO BIGATTO

Pgina 71

Primeira lista de exercicios de reviso

1) Desenhar os interruptores abaixo: a) p. (q. (r+ p. q+ j). g) + h. b+ (p. o. u+ r). p. q b) p+ (q+ (r. p. q+ j). g. h)+ b. (p+ o+ u+ r)+ p. q c) a+b+c. (p. q. c + (r. s. p + r) + p). p. o. (k + r. p) d) (a + b + c). (m + p + m. g + b) + m. p. (a. b + v) + p. q e) p.q.r + (b. p. o + p. t) + (p. (p. m. t + p) + e) .r f) a. m+ n. r + b. (p. m. p+ k + t. a) + p + k + w. m

2) Sabendo que V(p) = v(q) = 0 e V(r) = V(s) = 1. a) p. (q. (r + p. q+ q). s) + p. q+ (p. s. p+ r). p. q b) p + (q + (r. p. q+ q). s. r) + q. (p + s + p+ r) + p. q c) q+ r + r. (p. q. s + (r. s. p + r)+ p). p. s.(p+ r. p) d) (r+ p+ s). (s+ p+ r. q+ s)+ r. p. (p. s+ q)+ p. q e) p. q. r +(r. p. s+ p. p)+ (p. (p. s. r+ p)+ s) .r f) r. s+ p. r+ s. (p. r. p+ r+ p. s)+ r+ p+ s. r

3) Determine o valor lgico de cada uma das seguintes proposies:

a) Santiago a capital do Mxico. b) Braslia a capital do Brasil. c) Cristvo Colombo foi o descobridor do Brasil. d) (a + b)3 = a3 + b3. e) A soma dos ngulos internos de um tringulo 180. f) Os lados opostos de um paralelogramo so iguais. g) 3 + 4 < 9. h) 1/3 > 1/4.

4) Considere as proposies p: Todo homem mortal e q: Scrates mortal. Represente simbolicamente as proposies:

a) Se todo homem mortal ento Scrates mortal. b) Todo homem mortal ou Scrates mortal. ELABORAO: PROFESSOR PEDRO BIGATTO Pgina 72

c) Scrates mortal se e somente se todo homem mortal. d) Todo homem mortal ou Scrates mortal. e) No verdade que Scrates mortal. f) No verdade que (Scrates mortal ou todos os homens so mortais).

5)

Considere as proposies p: Pedro italiano e q: Pedro brasileiro. Represente

simbolicamente as proposies:

a) Pedro italiano ou Pedro brasileiro. b) Pedro italiano e Pedro brasileiro. c) Pedro italiano e Pedro no brasileiro. d) No verdade que Pedro italiano e Pedro no brasileiro.

7 - Sejam as proposies p: 19 um nmero primo e q: 12 um nmero par. Traduza em palavras as sentenas:

a) p . q e) p q

b) p + q f) ( p + q)

c) p q g) p q.

d) (p. q)

8 - Sejam as proposies p: 2 < x < 7 e q: x2 + 1 < 50. Traduza na linguagem usual as sentenas:

a) p . q e) p q

b) p + q F) ( p + q)

c) p q g) p q.

d) (p. q)

9) D o valor lgico das seguintes proposies:

a) A Lua um satlite da Terra e o planeta Vnus gira em torno da Terra. b) Uma estrela tem luz prpria ou o sol um planeta. c) Se 3 par ento 3 + 1 impar. d) Se 3 par ento 5 par. e) 4 + 3 = 5 se e somente se 4 = 2 + 2. f) Santos Dumont inventou o avio ou Cabral descobriu o caminho para as ndias.

ELABORAO: PROFESSOR PEDRO BIGATTO

Pgina 73

Segunda lista de exercicios extras

1) Construa a tabela verdade das proposies a seguir, e verifique se as mesmas so tautologias,contingncia e contradies. a) r.(p q) b) ((p . q)) (p + q) c) (p . (q r)) ((p . (q . r )) (p . (p + r ))) d) (p + q) p) (q . p) e) (p q) + r f) ((p q) r) (p (q r) g) (((p . q))) (p . r) h) ((p + q) (q . p)) ((r . p) + q) i) p (q + ( r s )) j) (p q) ((q r) (p r)) l) (p + q) ( p + q) 2) Verifique as seguintes implicaes e equivalncias:

a) ((p q) . (q r)) (p r) b) ((p q) . (p r)) (p (q . r) c) (p . (p q)) q d) ((p + q) r) (p (q r)) e) (p q) . (q r)) (p r) f) ((p q) + (p r)) (p (q + r )) g) ((p q) r) ((p . r) q) 3) D o valor lgico das seguintes proposies: a) A Lua um satlite da Terra e o planeta Vnus gira em torno da Terra. b) Uma estrela tem luz prpria ou o sol um planeta. c) Se 3 par ento 3 + 1 impar. d) Se 3 par ento 5 par. e) 4 + 3 = 5 se e somente se 4 = 2 + 2. f) Santos Dumont inventou o avio ou Cabral descobriu o caminho para as ndias.

ELABORAO: PROFESSOR PEDRO BIGATTO

Pgina 74

4) D o valor lgico das seguintes proposies: a) p . q q + p, se V(p) = 0 e V(q) = 0. b) p + q q.p , se V(p) = 0 e V(q) = 0. c) p q.pp, se V(p) = 0 e V(q) = 0. d) p q + p, se V(p) = 0 e V(q) = 0. e) p . q p, se V(p) = 1 e V(q) = 0. f) p . q p+ q, se V(p) = 1 e V(q) = 0. g) p q + q . p, se V(p) = 1 e V(q) = 0. h) p q + p, se V(p) = 1 e V(q) = 0 i) p . q p . q , se V(p) = 0 e V(q) = 1. j) p + q p . q, se V(p) = 0 e V(q) = 1. k) p q . s p V(p) = 0 e V(q) = 1 e V(s) = 0. l) p q + p, se V(p) = 0 e V(q) = 1. m) p . q p + q se V(p) = 1 e V(q) = 1. n) p + q p . q, se V(p) = 1 e V(q) = 1. p) p q, se V(p) = 1 e V(q) = 1. q) p se V(p) = 0.

5) Determine o valor lgico de cada uma das seguintes proposies: a) Santiago a capital do Mxico. b) Braslia a capital do Brasil. c) Cristvo Colombo foi o descobridor do Brasil. d) (a + b)3 = a3 + b3. e) A soma dos ngulos internos de um tringulo 180. f) Os lados opostos de um paralelogramo so iguais. g) 3 + 4 < 9 h) 1/3 > 1/4. 6) Sejam as proposies p: 2 < x < 7 q: x2 + 1 < 50. Traduzam em palavras as sentenas: ELABORAO: PROFESSOR PEDRO BIGATTO Pgina 75

a) p . q i) (p)

b) p + q c) p q j) (p + q)

d) p + q

e) p q

f) ( p . q)

g) p . q h) (p + q)

7) Mostre que a) p q p q b) p q q p c) p + q p d) p . q q e) (p . q) (q . p) f) (p . q) p + q. 8) Sendo p a proposio Paulo paulista e q a proposio Ronaldo carioca. Traduzam em palavras as sentenas: a) q b) p.q c) p + q d) p q e) p q 9) Se p uma proposio verdadeira, ento: a) p + q verdadeira, qualquer que seja q b) p . q verdadeira, qualquer que seja q c) p . q verdade s se q for falsa d) p q falsa, qualquer que seja q 10) A negao de todos os gatos so pardos : a) Nenhum gato pardo. b) Existe gato pardo. c) Existe gato no pardo. d) Existe um e em s gato pardo. e) Nenhum gato no pardo.

ELABORAO: PROFESSOR PEDRO BIGATTO

Pgina 76

11) Se a negao de o gato mia e o rato chia . a)O gato no mia e o rato no chia. b) O gato mia ou o rato chia. c) O gato no mia ou o rato no chia. d) O gato e o rato no chiam nem miam. e) O gato chia e o rato mia. 12) Formalize as seguintes frases: a) Se a eutansia permitida por lei ento praticada na Holanda. b) A eutansia deve ser permitida se, e s se, for aplicada a doentes terminais. c) Se Picasso espanhol e esta vivo, ento no pintor. d) Picasso espanhol e, se est vivo, ento no pintor. e) Picasso no est vivo, embora seja espanhol e pintor. f) Vou praia e tomo banho ou leio um livro. g) Se o professor no se despachar, chega tarde escola e os alunos folgam. h) Picasso espanhol, mas no esta vivo. 13) Formalizar os seguintes argumentos. a) Se for praia e tomar banho, leio um livro. Sucede que no leio um livro, portanto no vou praia e tomo banho. b) Est a chover, uma vez que se no chovesse as pessoas no estavam molhadas e as pessoas esto molhadas. c) A Ana no est contente, pois quando tira positivo em um teste fica contente e sempre que fica contente canta. Acontece que Ana no canta. d) Deus existe ou a Bblia esta errada. Se Deus existe, no existe o mal no mundo. Mas no mundo existe o mal. Da que a Bblia esteja errada. e) Se Deus existe e bom, ento o mal no existe no mundo Mas se o mal no existe na terra? A verdade que o paraso terrestre no existe. Logo, verdade que Deus existe e bom. 14) Testar a validade dos argumentos do exerccio anterior.

ELABORAO: PROFESSOR PEDRO BIGATTO

Pgina 77

Respostas dos exerccios extras 1) a) 10100010 a) 1110 b) 00000111 c) 1010 d) 11111101 e) 11111111 f) 00000000 g) 00001011 h) 0110111111111111 i) 11111111 j) 1111 k) 10100101 2) a) equivalente b) no equivalente c) implicao d) no equivalente e) implicao f) no equivalente g) no equivalente 3) a) 0 b) 1 c) 1 d) 1 e) 0 f) 1 4) a) 1 b) 0 c) 0 d) 1 e) 1 f) 1 g)1 h) 0 i) 1 j) 0 K) 1 l) 0 m) 1 n) 1 o) 1

ELABORAO: PROFESSOR PEDRO BIGATTO

Pgina 78

5) a) 0 b) 1 c) 0 d) 0 e) 1 f) 1 g) 1 h) 1 6) a) p q b) p + q c) p q d) p . q e) p f) (q + p)

7) a) p + q b) p . q c) p . q d) (p . q)

8) a) 19 um numero primo e 12 um numero par. b) 19 um numero primo ou 12 um numero par. c) Se 19 um numero primo ento 12 um numero par. d) 19 um numero primo ou 12 no um numero par. e) 19 um numero primo se e somente se, 12 um numero par. f) No verdade que19 um numero primo e 12 um numero par. g) 19 no um numero primo e 12 um numero par. h) No verdade que 19 um numero primo ou 12 um numero par. I) No verdade que 19 no um numero primo. j) No verdade que 19 no um numero primo e 12 no um numero par. 9) a) 2 < x < 7 e x2 + 1 < 50 b) 2 < x < 7 ou x2 + 1 < 50 c) Se 2 < x < 7 ento x2 + 1< 50 d) 2 < x < 7 ou x2 + 1< 50 e) 2 < x < 7 se e somente se, x2 + 1 < 50 f) No verdade que 2 < x < 7 e x2 + 1 < 50 g) 2 < x < 7 e x2 + 1 < 50 h) No verdade que 2 < x < 7 ou x2 + 1 < 50 i) No verdade que 2 < x < 7 j) No verdade que 2 < x < 7 ou x2 + 1 < 50

ELABORAO: PROFESSOR PEDRO BIGATTO

Pgina 79

10) a) b) c) d) e) f) 11) a) Ronaldo no carioca. b) Paulo paulista e Ronaldo carioca. c) Paulo paulista ou Ronaldo carioca. d) Se Paulo paulista ento Ronaldo carioca. e) Se Paulo no paulista ento Ronaldo carioca. 12) a) 1 b) 0 c) 0 d) 0 13) (a) Nenhum gato pardo. 14) (a) O gato no mia e o rato no chia 15) a) p: A eutansia permitida por lei. q: A eutansia permitida na Holanda Resposta: p q l) p: A eutansia deve ser permitida. q: A eutansia aplicada a doentes terminais. Resposta: p q m) p: Picasso est vivo. q: Picasso espanhol. r: Picasso pintor. Resposta: (q . p) r n) p: Picasso est vivo. q: Picasso espanhol. r: Picasso pintor. Resposta: q. (p r) o) p: Picasso est vivo. q: Picasso espanhol. ELABORAO: PROFESSOR PEDRO BIGATTO Pgina 80

r: Picasso pintor. Resposta: p . q . r p) p: Vou praia. q: Tomo Banho. r: Leio um livro Resposta: (p . q) + r q) p: O professor despacha-se q: O professor chega tarde a escola r: Os alunos tm folga. Resposta: p (q . r) 16) a) p: Vou praia. q: Tomo banho. r: Leio um livro. Resposta: (p . q) r r (p . q) b) p: Esta a chover. q: As pessoas esto molhadas. Respostas: q p q p

c) p: Ana no est contente. q: Ana tira positivo. r: Ana canta.

Resposta:

q p p q q

ELABORAO: PROFESSOR PEDRO BIGATTO

Pgina 81

d)

p: Deus existe q: A bblia est errada. r: O mal existe. Resposta: p+ q p r r q

e)

p: Deus existe. q: Deus bom. r: O mal existe no mundo. s: O paraso terrestre existe. Resposta: (p . q) r r s s p.q

ELABORAO: PROFESSOR PEDRO BIGATTO

Pgina 82

Terceira lista de exerccios extras

1) Sejam as proposies:

p : Marcos alto. q : Marcos elegante. r : Marcos inteligente.

Traduzir para a linguagem simblica as seguintes proposies:

a) Marcos alto e elegante b) Marcos alto, mas no elegante. c) No verdade que Marcos inteligente ou elegante. d) Marcos no nem alto e nem elegante. e) Marcos alto ou inteligente e elegante. f) falso que Marcos inteligente ou que no elegante

2) Sejam as proposies:

p: Maria rica. q: Maria feliz. r: Maria pobre.

Traduzir para a linguagem simblica as seguintes proposies:

a) Maria no rica, mas feliz. b) Maria rica ou no feliz. c) Maria pobre e no feliz. d) Maria pobre ou rica, mas no feliz.

3) Sejam as proposies:

p: Mauro fala francs. q: Mauro fala ingls. ELABORAO: PROFESSOR PEDRO BIGATTO Pgina 83

r: Mauro fala alemo.

Traduzir para a linguagem simblica as seguintes proposies:

a) Mauro fala francs ou ingls, mas no fala alemo. b) Mauro fala francs ou ingls, ou no fala francs e alemo. c) falso que Mauro fala francs, mas que no fala alemo. d) falso que Mauro fala ingls ou alemo, mas que no fala francs.

4) Traduzir para a linguagem simblica as seguintes proposies matemticas:

a) x = 0 ou x > 0 b) x = 0 e y 0 c) x > 1 ou x + y = 0 d) x2 = x. x e x0 = 1

5) Traduzir para a linguagem simblica as seguintes proposies matemticas:

a) (x + y = 0 e z > 0) ou z = 0 b) x = 0 e (y + z > x ou z = 0) c) x = 0 ou (x = 0 e y < 0) d) (x = y e z = t) ou (x < y e z = 0)

6) Traduzir para a linguagem simblica as seguintes proposies matemticas:

a) se x > 0, ento y = 2 b) se x + y = 2, ento z > 0 c) se x = 1 ou z = 2, ento y >1 d) se z > 5, ento x 1 e x 2 e) se x y, ento x + y > 5 e y + z < 5 f) se x + y > z e z = 1, ento x + y > 1 g) se x < 2, ento x = 1 ou x = 0 h) y = 4 e se x < y, ento x < 5

ELABORAO: PROFESSOR PEDRO BIGATTO

Pgina 84

7) Simbolizar as seguintes proposies matemticas:

a) x maior que 5 e menor que 7 ou x no igual a 6 b) se x menor que 5 e maior que 3, ento x igual a 4 c) x maior que 1 ou x menor que 1 e maior que 0

8) Determinar o valor lgico (1 ou 0) de cada uma das seguintes proposies:

a) 3 + 2 = 7 e 5 + 5 = 10 b) 2 + 7 = 9 e 4 + 8 = 12 c) 1 > 0 e 2 + 2 = 4 d) 0 > 1 e 3 irracional e) 2 < 1 e 5 racional

9) Determinar o valor lgico (1 ou 0) de cada uma das proposies:

a) Roma capital da Tunsia ou Fleming descobriu a penicilina b) 5 < 0 ou Londres capital da Espanha c) 2 > 5 ou Recife a capital da Paraba d) 3 = 3 + 5 5 e) -5 < -7 + |-2| = -2

10) Determine o valor lgico (1 ou 0) de cada uma das proposies:

a) se 3 + 2 = 6, ento 4 + 4 = 9 b) se 0 < 1, ento 2 impar c) se 3 > 1, ento -1 < -2 d) 3 > 2 20 = 2 e) 1 = -1 25 = 5

11) Determinar o valor lgico (1 ou 0) de cada uma das seguintes proposies: a) 3 + 4 = 7 se, e somente se 53 = 125 b) 02 = 1 se, e somente se (1 + 5)0 = 3 ELABORAO: PROFESSOR PEDRO BIGATTO Pgina 85

c)

2.

8 = 4 se, e somente se 2 = 0

d) -1 > -2 2 < 20 e) - 2 > 0 2 < 0 f) 1 = -1 2 = - 2

12) Determine o valor lgico (1 ou 0) de cada uma das proposies:

a) no verdade que 12 um nmero mpar b) no verdade que Belm capital do Par c) falso que 2 + 3 = 5 e 1 + 1 = 3 d) falso que 3 + 3 = 6 ou 1 = 0 e) (1 + 1 = 2 3 + 4 = 5) f) (1 + 1 = 5 3 + 3 = 1) g) 2 + 2 4 (3 + 3 = 7 1 + 1 = 4) h) (2 + 2 4 e 3 + 5 = 8)

13) Determinar o valor lgico (1 ou 0) das proposies: a) (23 8 ou 42 43) b) Braslia a capital do Brasil, e 20 = 0 ou 30 = 1 c) (32 = 9 3 = 5 e 02 = 0) d) 34 = 81 (2 + 1 = 3 e 5 . 0 = 0) e) 43 64 (3 + 3 = 7 1 + 1 = 2)

14) Sabendo que os valores lgicos das proposies p e q so respectivamente 1 e 0, determinar o valor lgico (1 ou 0) de cada proposio a seguir:

a) p + q b) p + q c) p. q d) p. q e) p + q f) p + (p. q)

ELABORAO: PROFESSOR PEDRO BIGATTO

Pgina 86

15) Determine V(p) em cada um dos seguintes casos, sabendo:

a) V(q) = 0 e V(p + q) = 1 b) V(q) = 1 e V(p. q) = 0 c) V(q) = 0 e V(p q) = 0 d) V(q) = 1 e V(q p) = 1 e) V(q) = 1 e V(p q) = 0 f) V(q) = 0 e V(q p) = 1

16) Sejam as proposies p: Est frio e q: Est chovendo. Traduzir para a linguagem usual as seguintes proposies:

a) p b) p q c) p + q d) q p e) p q f) p + q g) p q h) p q

17) Sejam as proposies p: Jorge rico e q: Carlos feliz. Traduzir para a linguagem corrente as seguintes proposies:

a) q p b) p. q c) q p d) p q e) (p) f) p + q p

18) Sejam as proposies p: Luiz fala ingls e q: Luiz fala alemo. Traduzir para a linguagem corrente as proposies:

ELABORAO: PROFESSOR PEDRO BIGATTO

Pgina 87

a) p + q b) p q c) p q d) p q e) (p) f) (p + q)

19) Sejam as proposies p: Joo gacho e q: Jaime paulista. Traduzir para a linguagem corrente as seguintes proposies:

a) (p q) b) (p) c) (p + q) d) p q e) p q f) (q . p)

20) Sabendo que os valores lgicos das proposies p e q so, respectivamente, 0 e 1, determinar o valor lgico (1 ou 0) da proposio (p (q p)) + ((p q) q + p

21) Sabendo que os valores lgicos das proposies p, q e r so,respectivamente, 1, 0 e 0, determinar o valor lgico (1 ou 0) de cada uma das seguintes proposies:

a) (p p + q. r) + (p r+p. r) b) (p q) ((p + r) q) c) (p q r) (p (q r))

22) Sabendo que as proposies p e q so verdadeiras e que as proposies r e s so falsas, determinar o valor lgico (0 ou 1) de cada uma das seguintes proposies:

a) p q r b) r + s . q c) q p s + r + s

ELABORAO: PROFESSOR PEDRO BIGATTO

Pgina 88

d) p (r + s) e) (q s) r. s+p f) r p q g) (q + r) (p + s) h) (r s) (p q)i) (p q) + r. pr

ELABORAO: PROFESSOR PEDRO BIGATTO

Pgina 89