Professional Documents
Culture Documents
I Proposio Uma proposio uma declarao (afirmativa ou negativa). Uma proposio pode ser verdadeira ou falsa. Quando ela verdadeira, atribumos-lhe o valor lgico V; quando falsa, o valor lgico F. Sempre ser possvel atribuir um valo lgico, ou V ou F, a uma proposio, conforme ela seja verdadeira ou falsa. - Sete mais dois igual a nove uma declarao (afirmativa); portanto, uma proposio. Sabemos ser verdadeira (valor lgico V). - Braslia no capital do Brasil uma declarao (negativa); portanto, uma proposio. Sabemos ser falsa (valor lgico F). - O dobro de cinco dez? uma pergunta, e no uma declarao. Portanto, no uma proposio. No se pode atribuir um valor lgico (V ou F). - Joo, v estudar sua lio! uma sentena imperativa, e no uma declarao. Portanto, no uma proposio. - 5 + 3 = indicao de uma operao aritmtica, e no uma declarao. Portanto no uma proposio. Espera um resultado numrico, e no um resultado lgico (V ou F). - % + 3 = 7 uma declarao (afirmativa) e, portanto, uma proposio. Sabemos ser falsa (Valor lgico F) Proposio Simples e Proposies Compostas Proposio simples: Como o prprio nome indica, uma proposio nica, isolada. Proposio composta: quando formada por duas ou mais proposies, ligadas entre si por conectivos operacionais. Ex.: Braslia a capital do Brasil e Lima a capital do Peru. II Tabela Verdade uma forma usual de representao das regras da lgebra Booleana. Nela, representada cada proposio (simples ou composta) e todos os seus valores possveis. III Proposies Equivalentes (Smbolo ) So proposies cujas tabelas-verdade so iguais. IV Tautologias e Contradies Tautologia: uma proposio em que todos os seus valores lgicos so V. Contradio uma proposio em que todos os seus valores lgicos so F. V Operao com Proposies. Assim como na lgebra tradicional na lgebra Booleana existem operaes com as proposies.
Uma proposio a negao de outra quando: se uma for verdadeira, ento a outra obrigatoriamente falsa e, se uma for falsa, ento a outra obrigatoriamente verdadeira. 2) Conjuno: p E q (p ^ q) A proposio composta resultante da operao de conjuno de duas ou mais proposies s ser verdadeira, se todas as proposies envolvidas na operao forem verdadeiras. Basta uma ser falsa para que a proposio resultante seja falsa. 3) Disjuno: p OU q (p v q) A proposio composta resultante da operao da disjuno de duas ou mais proposies s ser falsa se todas as proposies envolvidas na operao forem falsas. 4) Disjuno exclusiva: OU p OU q ( p v q) A proposio composta resultante da operao da disjuno exclusiva de duas ou mais proposies s ser verdadeira se as proposies envolvidas na operao tiverem valores lgicos contrrios, isto , se uma for verdadeira e a outra falsa. Se tiverem o mesmo valor lgico (ambas verdadeiras ou ambas falsas), a proposio resultante da disjuno exclusiva ser falsa. 5) Implicao (Condicional): SE p ENTO q (p -> q) A primeira (p) chamada de antecedente ou hiptese; a segunda (q), de conseqente. A proposio composta resultante da operao de implicao de uma proposio em outra s ser falsa, se a antecedente (hiptese) for verdadeira e a conseqente for falsa. Em todos os outros casos, proposio resultante da implicao ser verdadeira. Ex.: Voc prometeu a seu filho Jnior: SE voc lavar o carro, ENTO eu o empresto a voc. Toda proposio condicional deve ser analisada como um todo. Neste exemplo, a proposio sua promessa e, como tala, dever ser analisada. Aqui temos: P: voc lavar o carro q: eu empresto a voc E a construo seria: Voc lavar o carro -> eu o empresto a voc Analisemos as quatro possibilidade: - Jnior lavou o carro (V) e voc emprestou o carro (V). Promessa cumprida (V) - Jnior lavou o carro ( V) e voc no emprestou o carro (F). Promessa no-cumprida (F) - Jnior no lavou o carro (F) e voc emprestou o carro (V) - Jnior no lavou o carro (F) e voc no emprestou o carro (F). No houve promessa para o caso de Jnior no lavar o carro; portanto, no se pode falar em promessa descumprida (F). Nesse caso, consideremos a promessa feita acima como cumprida (V).
1)
Negao: no p (~p)
1
(D) Somente o cozinheiro inocente (E) Somente o mordomo culpado 4. (ESAF - AFC)Ou Celso compra um carro, ou Ana vai Africa, ou Rui vai a Roma. Se Ana vai Africa, ento Lus compra um livro. Se Lus compra um livro, ento Rui vai a Roma. Ora Rui no vai a Roma, logo: a)Celso compra um carro e Ana no vai Africa; b)Celso no compra um carro e Lus no compra o livro; c)Ana no vai Africa e Lus compra um livro; d)Ana vai Africa ou Lus compra um livro; e)Ana vai Africa e Rui no vai a Roma. 5. Dizer que no verdade que Pedro pobre e Alberto alto, logicamente equivalente a dizer que verdade que: (A) Pedro no pobre ou Alberto no alto; (B) Pedro no pobre e Alberto no alto; (C) Pedro pobre ou Alberto no alto; (D) Se Pedro no pobre, ento Alberto alto; (E) Se Pedro no pobre, ento Alberto no alto. 6. (MPOG-2001) Dizer que Andr artista ou Bernardo no engenheiro logicamente equivalente a dizer que: a) Andr artista se e somente se Bernardo no engenheiro. b) Se Andr artista, ento Bernardo no engenheiro. c) Se Andr no artista, ento Bernardo engenheiro. d) Se Bernardo engenheiro, ento Andr artista. e) Andr no artista e Bernardo engenheiro 7. Se Carina amiga de Carol, ento Carmem cunhada de Carol. Carmen no cunhada de Carol. Se Carina no cunhada de Carol, ento Carina amiga de Carol . Logo: (A) Carina cunhada de Carmen e amiga de Carol; (B) Carina no amiga de Carol ou no cunhada de Carmem; (C) Carina amiga de Carol ou no cunhada de carol; (D) Carina amiga de Carmem e amiga de Carol; (E) Carina amiga de Carol e no cunhada de Carmem. 8. (AFC-2002) Ou Lgica fcil, ou Artur no gosta de Lgica. Por outro lado, se Geografia no difcil, ento Lgica difcil. Da segue-se que, se Artur gosta de Lgica, ento: (A) se Geografia difcil, ento lgica difcil; (B) Lgica fcil e Geografia difcil; (C) Lgica fcil e Geografia fcil; (D) Lgica difcil e Geografia difcil; (E) Lgica difcil ou Geografia fcil. 9. Se Flvia filha de Fernanda, ento Ana no filha de Alice. Ou Ana filha de Alice, ou nia filha de Elisa. Se Paula no filha de Paulete, ento Flvia filha de Fernanda. Ora, nem nia filha de Elisa nem Ins filha de Isa. (A) Paula filha de Paulete e Flvia filha de Fernanda. (B) Paula filha de Paulete e Ana filha de Alice.
2
VI Equivalncia Lgica. 1) p E p p (idempotente) qEp 2) p E q 3) p OU q q OU p 4) (p E q) E r p E (q E r) 5) (p OU q) OU r p OU (q OU r) 6) p OU p p 7) p E (q OU r) (p E q) OU (p E r) (distributiva) 8) p OU (q E r) (p OU q) E (p OU r) 9) N(p E q) Np OU Nq (Morgan) 10) N(p OU q) Np E Nq (Morgan) Nq OU p p OU Nq 11) q p 12) p q (p q) E (q p) EXERCCIOS 1. (ESAF - Fisca do Trabalho) Se o jardim no florido, ento o gato mia. Se o jardim florido, ento o passarinho no canta. Ora, o passarinho canta. Logo: (A) o jardim florido e o gato mia (B) o jardim florido e o gato no mia (C) o jardim no florido e o gato mia (D) o jardim no florido e o gato no mia (E) se o passarinho canta, ento o gato no mia 2. (ESAF - Fisca do Trabalho) Se Frederico francs, ento Alberto no alemo. Ou Alberto alemo, ou Egdio espanhol. Se Pedro no portugus, ento Frederico francs. Ora, nem Egdio espanhol nem Isaura italiana. Logo: (A) Pedro portugus e Frederico francs (B) Pedro portugus e Alberto alemo (C) Pedro no portugus e Alberto alemo (D) Egdio espanhol ou Frederico francs (E) Se Alberto alemo, Frederico francs 3. (ESAF - AFTN) H 3 tipos suspeitos de um crime: O cozinheiro, a governanta e o mordomo. Sabe-se que o crime foi efetivamente cometido por um ou mais de um deles, j que podem ter agido individualmente ou no. Sabe-se ainda que: A. Se o cozinheiro inocente, ento a governanta culpada; B. Ou o mordomo culpado ou a governanta culpada; C. O mordomo no inocente. Logo: (A) A governanta e o mordomo so culpados (B) O cozinheiro e o mordomo so culpados (C) Somente a governanta culpada
15. Ana prima de Bia, ou Carlos filho de Pedro. Se Jorge irmo de Maria, ento Breno no neto de Beto. Se Carlos filho de Pedro, ento Breno neto de Beto. Ora, Jorge irmo de Maria. Logo: (A) Carlos filho de Pedro ou Breno neto de Beto; (B) Breno neto de Beto e Ana prima de Bia; (C) Ana no prima de Bia e Carlos filho de Pedro; (D) Jorge irmo de Maria e Breno neto de Beto; (E) Ana prima de Bia e Carlos no filho de Pedro. 16. (TCE/RN-2000) Maria magra ou Bernardo barrigudo. Se Lcia linda, ento Csar no careca. Se Bernardo barrigudo, ento Csar careca. Ora, Lcia linda. Logo: (A) Maria magra e Bernardo no barrigudo (B) Bernardo barrigudo ou Csar careca (C) Csar careca e Maria magra (D) Maria no magra e Bernardo barrigudo (E) Lcia linda e Csar careca. 17. (Engenheiro do Trabalho-1998) Dizer que "Pedro no pedreiro ou Paulo paulista" , do ponto de vista lgico, o mesmo que dizer que: (A) se Pedro pedreiro, ento Paulo paulista (B) se Paulo paulista, ento Pedro pedreiro (C) se Pedro no pedreiro, ento Paulo paulista (D) se Pedro pedreiro, ento Paulo no paulista (E) se Pedro no pedreiro, ento Paulo no paulista 18. (Engenheiro do Trabalho-1998) A negao da afirmao condicional "se estiver chovendo, eu levo o guarda-chuva" : (A) se no estiver chovendo, eu levo o guarda-chuva (B) no est chovendo e eu levo o guarda-chuva (C) no est chovendo e eu no levo o guarda-chuva (D) se estiver chovendo, eu no levo o guarda-chuva (E) est chovendo e eu no levo o guarda-chuva 19. (Engenheiro do Trabalho-1998) Se o jardim no florido, ento o gato mia. Se o jardim florido, ento o passarinho no canta. Ora, o passarinho canta. Logo: (A) o jardim florido e o gato mia (B) o jardim florido e o gato no mia (C) o jardim no florido e o gato mia (D) o jardim no florido e o gato no mia (E) se o passarinho canta, ento o gato no mia 20. (Engenheiro do Trabalho-1998) Chama-se tautologia a toda proposio que sempre verdadeira, independentemente da verdade dos termos que a compem. Um exemplo de tautologia : (A) se Joo alto, ento Joo alto ou Guilherme gordo (B) se Joo alto, ento Joo alto e Guilherme gordo (C) se Joo alto ou Guilherme gordo, ento Guilherme gordo (D) se Joo alto ou Guilherme gordo, ento Joo alto e Guilherme gordo (E) se Joo alto ou no alto, ento Guilherme gordo
3