Escolar Documentos
Profissional Documentos
Cultura Documentos
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.
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
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
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.
Pgina 4
a . b . c + a. c + (a . b . c + ( a . b + b . c) . ( a + b )) . b
Pgina 5
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))
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
Pgina 7
f)
p s q t
Pgina 8
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.
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:
Pgina 9
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:
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:
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.
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 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
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.
p 0 0 1 1
q 0 1 0 1
p+q 0 1 1 1
Pgina 13
Exerccios
1) Sejam as proposies p: Joo joga futebol e q: Joo joga tnis, escrevam na linguagem usual as seguintes propores.
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
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.
Pgina 16
2- Dadas as proposies p: Maria bonita e q: Maria elegante, escrevam em linguagem simblica as seguintes proposies:
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
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
1.0=0 0.0=0
V(p) = 0 ou V(p) = 1.
a) V(q) = 0 e V(p + q) = 0
1+0=1 0+0=0
V(p) = 0.
c) V(q) = 0 e V(p q) = 0
10=0 00=1
V(p) = 1.
d) V(q) = 0 e V(p q) = 1
10=0 00=1
V(p) = 0.
e) V(q) = 1 e V(p q) = 0
V(p) = 0.
f) V(q) = 0 e V(p q) = 1
10=0 00=1
V(p) = 0.
a) V(p q) = 1 e V(p . q) = 0
b) V(p q) = 1 e V(p + q) = 0
V(p) = 0 e V(q) = 0
c) V(p q) = 1 e V(p . q) = 1
Pgina 19
V(p) = 1 e V(q) = 1
d) V(p q) = 0 e V(p' + q) = 1
V(p) = 0 e V(q) = 1
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
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
Pgina 22
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)
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.
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:
V(a) = 0 V(b) = 1
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
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)
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)
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
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
Pgina 26
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)
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
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
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')
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'))'
Pgina 29
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:
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:
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
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
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
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
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')
h) (p
q')
Pgina 35
i) p'. r
j) p
l) p
(p
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
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)'
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
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'
Pgina 38
b) p. q' p 0 0 0 0 1 1 1 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
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
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)
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
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
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)
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)
(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
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)
Pgina 45
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
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:
Pgina 46
p 0 0 1 1
q 0 1 0 1
qp 1 0 1 1
p 0 0 1 1
Teorema: a proposio p equivalente a proposio q, isto , p q se e somente se a bicondicional p q for tautologia. Exemplo:
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
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:
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
Pgina 49
3-
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
Pgina 50
A 1 0 0 O
B 0 1 0 1
C 1 1 1 0
D 1 0 1 0
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'
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 falho
Pgina 53
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
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
Pgina 55
Argumento falho
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
Pgina 57
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
Pgina 58
d)
a 0 0 0 0 1 1 1 1
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)
Pgina 59
Argumento vlido
(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
Pgina 61
l)
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
Pgina 62
Argumento vlido
Pgina 63
TECNICAS DEDUTIVAS
Pgina 64
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
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
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
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
Pgina 71
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
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)
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.
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)
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.
Pgina 73
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.
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.
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.
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
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
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
Resposta:
q p p q q
Pgina 81
d)
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
Pgina 82
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:
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
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.
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
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
Pgina 84
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
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
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
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)
Pgina 86
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:
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:
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
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
Pgina 89