CURSO ONLINE RACIOCNIO LGICO

AULA 1: CONCEITOS INICIAIS

Ol, amigos! uma alegria receb-los para darmos incio a mais este projeto. Dentro de algumas semanas, se Deus quiser, e contando com o esforo e a vontade de cada um, estaremos muito mais preparados para enfrentar o desafio de resolver uma prova de Raciocnio Lgico de concurso. Gostaria, antes de dar incio, de ratificar a presena, na feitura destas aulas, do Prof. Weber Campos. um curso escrito a quatro mos, e estou certo que todos s tm a ganhar com isso. O prof. Weber profundo conhecedor da matria, e isso se far ver ao longo das semanas que viro. Iniciemos, pois, tratando dos fundamentos da lgica. Fundamentos da Lgica: # Primeiros Conceitos: O conceito mais elementar no estudo da lgica e portanto o primeiro a ser visto o de Proposio. Trata-se, to somente, de uma sentena algo que ser declarado por meio de palavras ou de smbolos e cujo contedo poder considerado verdadeiro ou falso. Ento, se eu afirmar a Terra maior que a Lua, estarei diante de uma proposio, cujo valor lgico verdadeiro. Da, ficou claro que quando falarmos em valor lgico, estaremos nos referindo a um dos dois possveis juzos que atribuiremos a uma proposio: verdadeiro (V) ou falso (F). E se algum disser: Feliz ano novo!, ser que isso uma proposio verdadeira ou falsa? Nenhuma, pois no se trata de uma sentena para a qual se possa atribuir um valor lgico. Conclumos, pois, que... sentenas exclamativas: Caramba! ; Feliz aniversrio! sentenas interrogativas: como o seu nome? ; o jogo foi de quanto? sentenas imperativas: Estude mais. ; Leia aquele livro. ... no sero estudadas neste curso. Somente aquelas primeiras sentenas declarativas que podem ser imediatamente reconhecidas como verdadeiras ou falsas. Normalmente, as proposies so representadas por letras minsculas (p, q, r, s etc). So outros exemplos de proposies, as seguintes: p: Pedro mdico. q: 5 < 8 r: Luza foi ao cinema ontem noite. Na linguagem do raciocnio lgico, ao afirmarmos que verdade que Pedro mdico (proposio p acima), representaremos isso apenas com: VL(p)=V, ou seja, o valor lgico de p verdadeiro. No caso da proposio q, que falsa, diremos VL(q)=F. Haver alguma proposio que possa, ao mesmo tempo, ser verdadeira e falsa? No! Jamais! E por que no? Porque o Raciocnio Lgico, como um todo, est sedimentado sobre alguns princpios, muito fceis de se entender, e que tero que ser sempre obedecidos. So os seguintes: Uma proposio verdadeira verdadeira; uma proposio falsa falsa. (Princpio da identidade);

Nenhuma proposio poder ser verdadeira e falsa ao mesmo tempo. (Princpio da NoContradio);

Uma proposio ou ser verdadeira, ou ser falsa: no h outra possibilidade. (Princpio do Terceiro Excludo). Proposies podem ser ditas simples ou compostas.

Sero proposies simples aquelas que vm sozinhas, desacompanhadas de outras proposies. Nada mais fcil de ser entendido. Exemplos: www.pontodosconcursos.com.br - Prof. Srgio Carvalho & Prof. Weber Campos

CURSO ONLINE RACIOCNIO LGICO Todo homem mortal.

O novo papa alemo.

Todavia, se duas (ou mais) proposies vm conectadas entre si, formando uma s sentena, estaremos diante de uma proposio composta. Exemplos: Joo mdico e Pedro dentista.

Maria vai ao cinema ou Paulo vai ao circo. Ou Lus baiano, ou paulista. Se chover amanh de manh, ento no irei praia. Comprarei uma manso se e somente se eu ganhar na loteria.
Nas sentenas acima, vimos em destaque os vrios tipos de conectivos ditos conectivos lgicos que podero estar presentes em uma proposio composta. Estudaremos cada um deles a seguir, uma vez que de nosso interesse conhecer o valor lgico das proposies compostas. Veremos que, para dizer que uma proposio composta verdadeira ou falsa, isso depender de duas coisas: 1) do valor lgico das proposies componentes; e 2) do tipo de conectivo que as une. # Conectivo e: (conjuno) Proposies compostas em que est presente o conectivo e so ditas conjunes. Simbolicamente, esse conectivo pode ser representado por . Ento, se temos a sentena: Marcos mdico e Maria estudante ... poderemos represent-la apenas por: p q onde: p = Marcos mdico e q = Maria estudante. Como se revela o valor lgico de uma proposio conjuntiva? Da seguinte forma: uma conjuno s ser verdadeira, se ambas as proposies componentes forem tambm verdadeiras. Ento, diante da sentena Marcos mdico e Maria estudante, s poderemos concluir que esta proposio composta verdadeira se for verdade, ao mesmo tempo, que Marcos mdico e que Maria estudante. Pensando pelo caminho inverso, teremos que basta que uma das proposies componentes seja falsa, e a conjuno ser toda ela falsa. Obviamente que o resultado falso tambm ocorrer quando ambas as proposies componentes forem falsas. Essas concluses todas as quais acabamos de chegar podem ser resumidas em uma pequena tabela. Trata-se da tabela-verdade, de fcil construo e de fcil entendimento. Retomemos as nossas premissas: p = Marcos mdico e q = Maria estudante. Se tivermos que ambas so verdadeiras, a conjuno formada por elas (Marcos mdico e Maria estudante) ser tambm verdadeira. Teremos: Marcos mdico p V Maria estudante q V Marcos mdico e Maria estudante pq V

Se for verdade apenas que Marcos mdico, mas falso que Maria estudante, teremos: Marcos mdico p V Maria estudante q F Marcos mdico e Maria estudante pq F

www.pontodosconcursos.com.br - Prof. Srgio Carvalho & Prof. Weber Campos

3 CURSO ONLINE RACIOCNIO LGICO Por outro lado, se for verdadeiro que Maria estudante, e falso que Marcos mdico, teremos:

Marcos mdico p F

Maria estudante q V

Marcos mdico e Maria estudante pq F

Enfim, se ambas as sentenas simples forem falsas, teremos que: Marcos mdico p F Maria estudante q F Marcos mdico e Maria estudante pq F

Ora, as quatro situaes acima esgotam todas as possibilidades para uma conjuno. Fora disso no h! Criamos, portanto, a Tabela-verdade que representa uma conjuno, ou seja, a tabela-verdade para uma proposio composta com a presena do conectivo e. Teremos: p V V F F q V F V F pq V F F F

preciso que a informao constante da terceira coluna (em destaque) fique guardada em nossa memria: uma conjuno s ser verdadeira, quando ambas as partes que a compem tambm forem verdadeiras. E falsa nos demais casos. Uma maneira de assimilar bem essa informao seria pensarmos nas sentenas simples como promessas de um pai a um filho: eu te darei uma bola e te darei uma bicicleta. Ora, pergunte a qualquer criana! Ela vai entender que a promessa para os dois presentes. Caso o pai no d nenhum presente, ou d apenas um deles, a promessa no ter sido cumprida. Ter sido falsa! No entanto, a promessa ser verdadeira se as duas partes forem tambm verdadeiras! Na hora de formar uma tabela-verdade para duas proposies componentes (p e q), saberemos, de antemo, que essa tabela ter quatro linhas. Comearemos, ento, fazendo a seguinte estrutura: p q

Da, a coluna da primeira proposio ter sempre a seguinte disposio: dois vs seguidos de dois efes. Assim: p V V F F q

Enquanto a variao das letras (V e F) para a premissa p ocorre de duas em duas linhas, para a premissa q diferente: vs e efes se alternando a cada linha, comeando com um V. Assim: p V V F F q V F V F

www.pontodosconcursos.com.br - Prof. Srgio Carvalho & Prof. Weber Campos

4 CURSO ONLINE RACIOCNIO LGICO Essa estrutura inicial sempre assim, para tabelas-verdade de duas proposies p e q. A terceira coluna depender do conectivo que as une, e que est sendo analisado. No caso do conectivo e, ou seja, no caso da conjuno, j aprendemos a completar a nossa tabelaverdade:

p V V F F

q V F V F

pq V F F F

Se as proposies p e q forem representadas como conjuntos, por meio de um diagrama, a conjuno " p e q " corresponder interseo do conjunto p com o conjunto q. Teremos: pq

Passemos ao segundo conectivo. # Conectivo ou: (disjuno) Recebe o nome de disjuno toda proposio composta em que as partes estejam unidas pelo conectivo ou. Simbolicamente, representaremos esse conectivo por . Portanto, se temos a sentena: Marcos mdico ou Maria estudante ... ento a representaremos por: p q. Seremos capazes de criar uma tabela-verdade para uma proposio disjuntiva? Claro! Basta nos lembrarmos da tal promessa do pai para seu filho! Vejamos: eu te darei uma bola ou te darei uma bicicleta. Neste caso, a criana j sabe, de antemo, que a promessa por apenas um dos presentes! Bola ou bicicleta! Ganhando de presente apenas um deles, a promessa do pai j valeu! J foi verdadeira! E se o pai for abastado e resolver dar os dois presentes? Pense na cara do menino! Feliz ou triste? Felicssimo! A promessa foi mais do que cumprida. S haver um caso, todavia, em que a bendita promessa no se cumprir: se o pai esquecer o presente, e no der nem a bola e nem a bicicleta. Ter sido falsa toda a disjuno. Da, conclumos: uma disjuno ser falsa quando as duas partes que a compem forem ambas falsas! E nos demais casos, a disjuno ser verdadeira! Teremos as possveis situaes: Te darei uma bola p V Ou: Te darei uma bola p V Ou: Te darei uma bola p F Te darei uma bicicleta q V Te darei uma bola ou te darei uma bicicleta pq V Te darei uma bicicleta q F Te darei uma bola ou te darei uma bicicleta pq V Te darei uma bicicleta q V Te darei uma bola ou te darei uma bicicleta pq V

www.pontodosconcursos.com.br - Prof. Srgio Carvalho & Prof. Weber Campos

CURSO ONLINE RACIOCNIO LGICO Ou, finalmente: Te darei uma bola p F Te darei uma bicicleta q F Te darei uma bola ou te darei uma bicicleta pq F

Juntando tudo, teremos: P V V F F q V F V F pq V V V F

A promessa inteira s falsa se as duas partes forem descumpridas! Observem que as duas primeiras colunas da tabela-verdade acima as colunas do p e do q so exatamente iguais s da tabela-verdade da conjuno (p e q). Muda apenas a terceira coluna, que agora representa um ou, a disjuno. Se as proposies p e q forem representadas como conjuntos por meio de um diagrama, a disjuno "p ou q" corresponder unio do conjunto p com o conjunto q, pq

# Conectivo ou ... ou...: (disjuno exclusiva) H um terceiro tipo de proposio composta, bem parecido com a disjuno que acabamos que ver, mas com uma pequena diferena. Comparemos as duas sentenas abaixo: Te darei uma bola ou te darei uma bicicleta ou te darei uma bola ou te darei uma bicicleta A diferena sutil, mas importante. Reparemos que na primeira sentena v-se facilmente que se a primeira parte for verdade (te darei uma bola), isso no impedir que a segunda parte (te darei uma bicicleta) tambm o seja. J na segunda proposio, se for verdade que te darei uma bola, ento teremos que no ser dada a bicicleta. E vice-versa, ou seja, se for verdade que te darei uma bicicleta, ento teremos que no ser dada a bola. Ou seja, a segunda estrutura apresenta duas situaes mutuamente excludentes, de sorte que apenas uma delas pode ser verdadeira, e a restante ser necessariamente falsa. Ambas nunca podero ser, ao mesmo tempo, verdadeiras; ambas nunca podero ser, ao mesmo tempo, falsas. Na segunda sentena acima, este tipo de construo uma disjuno exclusiva, pela presena dos dois conectivos ou, que determina que uma sentena necessariamente verdadeira, e a outra, necessariamente falsa. Da, o nome completo desta proposio composta disjuno exclusiva. E como fica a sua tabela-verdade? Ora, uma disjuno exclusiva s ser verdadeira se obedecer mtua excluso das sentenas. Falando mais fcil: s ser verdadeira se houver uma das sentenas verdadeira e a outra falsa. Nos demais casos, a disjuno exclusiva ser falsa. O smbolo que designa a disjuno exclusiva o v. E a tabela-verdade ser, pois, a seguinte: www.pontodosconcursos.com.br - Prof. Srgio Carvalho & Prof. Weber Campos

CURSO ONLINE RACIOCNIO LGICO p V V F F q V F V F ou p ou q F V V F

# Conectivo Se ... ento...: (condicional) Estamos agora falando de proposies como as que se seguem: Se Pedro mdico, ento Maria dentista.

Se amanhecer chovendo, ento no irei praia.

Muita gente tem dificuldade em entender o funcionamento desse tipo de proposio. Convm, para facilitar nosso entendimento, que trabalhemos com a seguinte sentena. Se nasci em Fortaleza, ento sou cearense. Cada um de vocs pode adaptar essa frase acima sua realidade: troque Fortaleza pelo nome da sua cidade natal, e troque cearense pelo nome que se d a quem nasce no seu Estado. Por exemplo: Se nasci em Belm, ento sou paraense.

Se nasci em Niteri, ento sou fluminense.

E assim por diante. Pronto? Agora me responda: qual a nica maneira de essa proposio estar incorreta? Ora, s h um jeito de essa frase ser falsa: se a primeira parte for verdadeira, e a segunda for falsa. Ou seja, se verdade que eu nasci em Fortaleza, ento necessariamente verdade que eu sou cearense. Se algum disser que verdadeiro que eu nasci em Fortaleza, e que falso que eu sou cearense, ento este conjunto estar todo falso. Percebam que o fato de eu ter nascido em Fortaleza condio suficiente (basta isso!) para que se torne um resultado necessrio que eu seja cearense. Mirem nessas palavras: suficiente e necessrio. Uma condio suficiente gera um resultado necessrio. Percebam, pois, que se algum disser que: Pedro ser rico condio suficiente para Maria ser mdica, ento ns podemos reescrever essa sentena, usando o formato da condicional. Teremos: Pedro ser rico condio suficiente para Maria ser mdica igual a: Se Pedro for rico, ento Maria mdica Por outro lado, se ocorrer de algum disser que: Maria ser mdica condio necessria para que Pedro seja rico, tambm poderemos traduzir isso de outra forma: Maria ser mdica condio necessria para que Pedro seja rico igual a: Se Pedro for rico, ento Maria mdica O conhecimento de como se faz essa traduo das palavras suficiente e necessrio para o formato da proposio condicional j foi bastante exigido em questes de concursos. No podemos, pois esquecer disso: Uma condio suficiente gera um resultado necessrio. Pois bem! Como ficar nossa tabela-verdade, no caso da proposio condicional? Pensaremos aqui pela via de exceo: s ser falsa esta estrutura quando a houver a condio suficiente, mas o resultado necessrio no se confirmar. Ou seja, quando a primeira parte for verdadeira, e a segunda for falsa. Nos demais casos, a condicional ser verdadeira. www.pontodosconcursos.com.br - Prof. Srgio Carvalho & Prof. Weber Campos

CURSO ONLINE RACIOCNIO LGICO A sentena condicional Se p, ento q ser representada por uma seta: p q.

Na proposio Se p, ento q , a proposio p denominada de antecedente, enquanto a proposio q dita conseqente. Teremos: p V V F F q V F V F pq V F V V

As seguintes expresses podem se empregar como equivalentes de "Se p, ento q": Se A, B. B, se A. Quando A, B. A implica B. A condio suficiente para B. B condio necessria para A. A somente se B. Todo A B.

Da, a proposio condicional: Se chove, ento faz frio poder tambm ser dita das seguintes maneiras: Se chove, faz frio. Faz frio, se chove. Quando chove, faz frio. Chover implica fazer frio. Chover condio suficiente para fazer frio. Fazer frio condio necessria para chover. Chove somente se faz frio. Toda vez que chove, faz frio.

Se as proposies p e q forem representadas como conjuntos, por meio de um diagrama, a proposio condicional "Se p ento q" corresponder incluso do conjunto p no conjunto q (p est contido em q): pq

q p

# Conectivo ... se e somente se ...: (bicondicional) A estrutura dita bicondicional apresenta o conectivo se e somente se, separando as duas sentenas simples. Trata-se de uma proposio de fcil entendimento. Se algum disser: Eduardo fica alegre se e somente se Mariana sorri. o mesmo que fazer a conjuno entre as duas proposies condicionais: Eduardo fica alegre somente se Mariana sorri e Mariana sorri somente se Eduardo fica alegre. Ou ainda, dito de outra forma: Se Eduardo fica alegre, ento Mariana sorri e se Mariana sorri, ento Eduardo fica alegre. So construes de mesmo sentido! www.pontodosconcursos.com.br - Prof. Srgio Carvalho & Prof. Weber Campos

8 CURSO ONLINE RACIOCNIO LGICO Sabendo que a bicondicional uma conjuno entre duas condicionais, ento a bicondicional ser falsa somente quando os valores lgicos das duas proposies que a compem forem diferentes. Em suma: haver duas situaes em que a bicondicional ser verdadeira: quando antecedente e conseqente forem ambos verdadeiros, ou quando forem ambos falsos. Nos demais casos, a bicondicional ser falsa.

Sabendo que a frase p se e somente se q representada por pq, ento nossa tabelaverdade ser a seguinte: p V V F F q V F V F pq V F F V

Se as proposies p e q forem representadas como conjuntos, por meio de um diagrama, a proposio bicondicional "p se e somente se q" corresponder igualdade dos conjuntos p e q.

p=q

Observao: Uma proposio bicondicional "p se e somente se q" equivale proposio composta: se p ento q e se q ento p, ou seja, p q a mesma coisa que (p q) e (q p) So tambm equivalentes bicondicional "p se e somente se q" as seguintes expresses: A se e s se B. Se A ento B e se B ento A. A somente se B e B somente se A. A condio suficiente para B e B condio suficiente para A. B condio necessria para A e A condio necessria para B. Todo A B e todo B A. Todo A B e reciprocamente. Via de regra, em questes de prova, s se v mesmo a bicondicional no seu formato tradicional: p se e somente se q. # Partcula no: (negao) Veremos algo de suma importncia: como negar uma proposio. No caso de uma proposio simples, no poderia ser mais fcil: basta pr a palavra no antes da sentena, e j a tornamos uma negativa. Exemplos: Joo mdico. Negativa: Joo no mdico. Maria estudante. Negativa: Maria no estudante. Reparemos que, caso a sentena original j seja uma negativa (j traga a palavra no), ento para negar a negativa, teremos que excluir a palavra no. Assim: Joo no mdico. Negativa: Joo mdico. Maria no estudante. Negativa: Maria estudante. Pronto! Em se tratando de fazer a negao de proposies simples, j estamos craques!

www.pontodosconcursos.com.br - Prof. Srgio Carvalho & Prof. Weber Campos

9 CURSO ONLINE RACIOCNIO LGICO O smbolo que representa a negao uma pequena cantoneira () ou um sinal de til (~), antecedendo a frase. (Adotaremos o til). Assim, a tabela-verdade da negao mais simplificada que as demais j vistas. Teremos:

p V F

~p F V

Podem-se empregar, tambm, como equivalentes de "no A", as seguintes expresses: No verdade que A. falso que A. Da as seguintes frases so equivalentes: Lgica no fcil. No verdade que Lgica fcil. falso que Lgica fcil. # Negativa de uma Proposio Composta: O que veremos aqui seria o suficiente para acertarmos algumas questes de concurso. J sabemos negar uma proposio simples. Mas, e se for uma proposio composta, como fica? A, depender de qual a estrutura em que se encontra essa proposio. Veremos, pois, uma a uma: Negao de uma Proposio Conjuntiva: ~(p e q) Para negarmos uma proposio no formato de conjuno (p e q), faremos o seguinte: 1) Negaremos a primeira (~p); 2) Negaremos a segunda (~q); 3) Trocaremos e por ou. E s! Da, a questo dir: No verdade que Joo mdico e Pedro dentista, e pedir que encontremos, entre as opes de resposta, aquela frase que seja logicamente equivalente a esta fornecida. Analisemos: o comeo da sentena no verdade que.... Ora, dizer que no verdade que... nada mais nada menos que negar o que vem em seguida. E o que vem em seguida? Uma estrutura de conjuno! Da, como negaremos que Joo mdico e Pedro dentista? Da forma explicada acima: 1) Nega-se a primeira parte: (~p): Joo no mdico 2) Nega-se a segunda parte: (~q): Pedro no dentista 3) Troca-se e por ou, e o resultado final ser o seguinte: Joo no mdico ou Pedro no dentista. Traduzindo para a linguagem da lgica, diremos que: ~(p q) = ~p ~q Como fomos chegar essa concluso? Ora, por meio da comparao entre as tabelasverdade das duas proposies acima. Vejamos como foi isso. Primeiro, trabalhemos a tabelaverdade do ~(p q). Tudo comea com aquele formato bsico, que j nosso conhecido:

www.pontodosconcursos.com.br - Prof. Srgio Carvalho & Prof. Weber Campos

CURSO ONLINE RACIOCNIO LGICO p V V F F q V F V F

10

Da, faremos a prxima coluna, que a da conjuno (e). Teremos: p V V F F q V F V F pq V F F F

Por fim, construiremos a coluna que a negativa desta terceira. Ora, j sabemos que com a negativa, o que verdadeiro vira falso, e o que falso vira verdadeiro. Logo, teremos: p V V F F q V F V F (p q) V F F F ~(p q) F V V V

Guardemos, pois, essa ltima coluna (em destaque). Ela representa o resultado lgico da estrutura ~(p q). Agora, construamos a tabela-verdade da estrutura ~p v ~q, e comparemos os resultados. No incio, teremos: p V V F F q V F V F

Faremos agora as duas colunas das duas negativas, de p e de q. Para isso, conforme j sabemos, quem for V virar F, e vice-versa. Teremos: p V V F F q V F V F ~p F F V V ~q F V F V

Agora, passemos coluna final: ~p v ~q. Aqui nos lembraremos de como funciona uma disjuno. A disjuno a estrutura do ou. Para ser verdadeira, basta que uma das sentenas tambm o seja. Da, teremos: p V V F F q V F V F ~p F F V V ~q F V F V ~p ~q F V V V

Finalmente, comparemos a coluna resultado (em destaque) desta estrutura (~p ~q) com aquela que estava guardada da estrutura ~(p q). Teremos: www.pontodosconcursos.com.br - Prof. Srgio Carvalho & Prof. Weber Campos

CURSO ONLINE RACIOCNIO LGICO ~(p q) F V V V ~p ~q F V V V

11

Resultados idnticos! Da, do ponto de vista lgico, para negar p e q, negaremos p, negaremos q, e trocaremos e por ou. J sabendo disso, no perderemos tempo na prova construindo tabela-verdade para saber como se faz a negativa de uma conjuno! Esse exerccio que fizemos acima, de comparar as colunas-resultado das duas tabelas, serviu apenas para explicar a origem dessa equivalncia lgica. Ou seja, para dizer se uma proposio , do ponto de vista lgico, equivalente a outra, basta fazer uma comparao entre suas tabelas-verdade concludas. Negao de uma Proposio Disjuntiva: ~(p ou q) Para negarmos uma proposio no formato de disjuno (p ou q), faremos o seguinte: 1) Negaremos a primeira (~p); 2) Negaremos a segunda (~q); 3) Trocaremos ou por e. Se uma questo de prova disser: Marque a assertiva que logicamente equivalente seguinte frase: No verdade que Pedro dentista ou Paulo engenheiro. Pensemos: a frase em tela comea com um no verdade que..., ou seja, o que se segue est sendo negado! E o que se segue uma estrutura em forma de disjuno. Da, obedecendo aos passos descritos acima, faremos: 1) Nega-se a primeira parte: (~p): Pedro no dentista 2) Nega-se a segunda parte: (~q): Paulo no engenheiro 3) Troca-se ou por e, e o resultado final ser o seguinte: Pedro no dentista e Paulo no engenheiro. Na linguagem apropriada, concluiremos que: ~(p q) = ~p ~q Se formos curiosos, poderemos fazer a comprovao via tabelas-verdade desta concluso acima. Somos curiosos? Claro! Tomemos a primeira parte: ~(p q). Teremos, de incio: p V V F F q V F V F

Depois, construindo a coluna da disjuno (p ou q), teremos: p V V F F q V F V F pq V V V F

Finalmente, fazendo a negao da coluna da disjuno, teremos: www.pontodosconcursos.com.br - Prof. Srgio Carvalho & Prof. Weber Campos

CURSO ONLINE RACIOCNIO LGICO p V V F F q V F V F pq V V V F ~(p q) F F F V

12

Guardemos essa coluna resultado para o final. E passemos segunda parte da anlise: a estrutura ~p ~q. Teremos, a princpio, o seguinte: p V V F F q V F V F

Construindo-se as colunas das negaes de p e de q, teremos: p V V F F Q V F V F ~p F F V V ~q F V F V

Finalmente, fazendo a conjuno ~p e ~q, teremos o seguinte resultado: p V V F F Q V F V F ~p F F V V ~q F V F V ~p ~q F F F V

Concluindo, comparemos a coluna resultado (em destaque) desta estrutura (~p ~q) com aquela que estava guardada da estrutura ~(p q). Teremos ~(p q) V V V F ~p ~q V V V F

Resultados idnticos! Da, do ponto de vista lgico, para negar p ou q, negaremos p, negaremos q, e trocaremos ou por e. Negao de uma Proposio Condicional: ~(p q) Esta negativa a mais cobrada em prova! J, j, veremos exerccios de concursos bem recentes. Como que se nega uma condicional? Da seguinte forma: 1) Mantm-se a primeira parte; e 2) Nega-se a segunda. Por exemplo, como seria a negativa de Se chover, ento levarei o guarda-chuva? 1) Mantendo a primeira parte: Chove e 2) Negando a segunda parte: eu no levo o guarda-chuva. Resultado final: Chove e eu no levo o guarda-chuva. www.pontodosconcursos.com.br - Prof. Srgio Carvalho & Prof. Weber Campos

CURSO ONLINE RACIOCNIO LGICO Na linguagem lgica, teremos que: ~(p q) = p ~q

13

Vejamos a questo seguinte, que caiu na prova de Gestor Fazendrio de Minas Gerais, realizada h poucos dias: (GEFAZ/MG-2005) A afirmao No verdade que, se Pedro est em Roma, ento Paulo est em Paris logicamente equivalente afirmao: a) b) c) d) e) verdade que Pedro est em Roma e Paulo est em Paris. No verdade que Pedro est em Roma ou Paulo no est em Paris. No verdade que Pedro no est em Roma ou Paulo no est em Paris. No verdade que Pedro no est em Roma ou Paulo est em Paris. verdade que Pedro est em Roma ou Paulo est em Paris.

Sol.: Vamos pensar juntos. Vejamos que a frase em anlise comea com no verdade que.... Logo, estamos lidando com uma negao! E o que se segue a esta negao? Uma proposio condicional, ou seja, uma sentena do tipo Se p, ento q. Da, recordaremos aquilo que acabamos de aprender: para negar uma condicional, manteremos a primeira parte e negaremos a segunda. Teremos: 1) Mantendo a primeira parte: Pedro est em Roma e 2) Negando a segunda parte: Paulo no est em Paris. O resultado ficou assim: Pedro est em Roma e Paulo no est em Paris. Da, procuraremos entre as opes de resposta, alguma que diga justamente que: verdade que Pedro est em Roma e Paulo no est em Paris. Encontramos? No encontramos! S h duas opes de resposta que comeam com verdade que..., que so as letras a e e. Esto, pois, descartadas essas duas opes. Restam as letras b, c e d. Todas essas comeam com No verdade que.... Ou seja, comeam com uma negao! Da, fica claro perceber que o que precisamos fazer agora encontrar uma proposio cuja negativa resulte exatamente na frase Pedro est em Roma e Paulo no est em Paris, a qual havamos chegado. Ou seja, a proposio Pedro est em Roma e Paulo no est em Paris ser o resultado de uma negao! Ora, aprendemos h pouco que negando uma disjuno (ou), chegaremos a uma conjuno (e), e vice-versa. Vejamos: ~(p q) = ~p ~q e ~(p q) = ~p ~q Estamos com o segundo caso, em que o resultado uma conjuno (e): ~(p q) = ~p ~q Observem que Pedro est em Roma e Paulo no est em Paris corresponde ao resultado ~p ~q, que a segunda parte da igualdade. Estamos procura da primeira parte, que ~(p q). Logo, teremos que: o til (~) corresponde a: No verdade que... o p corresponde a: Pedro no est em Roma; o corresponde a ou; o q corresponde a: Paulo est em Paris. E chegamos a: No verdade que Pedro no est em Roma ou Paulo est em Paris. www.pontodosconcursos.com.br - Prof. Srgio Carvalho & Prof. Weber Campos

CURSO ONLINE RACIOCNIO LGICO Esta nossa resposta! Letra d. Vejamos o caminho que foi trilhado, at chegarmos resposta:

14

1) Fizemos a negao de uma proposio condicional (se...ento). O resultado deste primeiro passo sempre uma conjuno (e). 2) Achamos a proposio equivalente conjuno encontrada no primeiro passo. Na seqncia, apresentaremos duas tabelas que trazem um resumo das relaes vistas at este momento. Vejamos: : Estrutura lgica pq pq p q p q ~p verdade quando p e q so, ambos, verdade um dos dois for verdade nos demais casos p e q tiverem valores lgicos iguais p falso falso quando um dos dois for falso p e q, ambos, so falsos p verdade e q falso p e q tiverem valores lgicos diferentes p verdade

Negativas das Proposies Compostas: negao de (p e q) negao de (p ou q) negao de (p q) negao de (p q) ~p ou ~q ~p e ~q p e ~q [(p e ~q) ou (q e ~p)]

Encerraremos esta primeira aula com uma lista de questes de concurso, as quais poderemos tentar resolver somente com os conhecimentos j adquiridos. o nosso...

DEVER DE CASA 01. (AFC-STN/2005) Se Marcos no estuda, Joo no passeia. Logo: a) b) c) d) e) Marcos Marcos Marcos Marcos Marcos estudar condio necessria para Joo no passear. estudar condio suficiente para Joo passear. no estudar condio necessria para Joo no passear. no estudar condio suficiente para Joo passear. estudar condio necessria para Joo passear.

02. (Fiscal Recife/2003) Pedro, aps visitar uma aldeia distante, afirmou: No verdade que todos os aldees daquela aldeia no dormem a sesta. A condio necessria e suficiente para que a afirmao de Pedro seja verdadeira que seja verdadeira a seguinte proposio: a) No mximo um aldeo daquela aldeia no dorme a sesta. b) Todos os aldees daquela aldeia dormem a sesta. c) Pelo menos um aldeo daquela aldeia dorme a sesta. d) Nenhum aldeo daquela aldeia no dorme a sesta. e) Nenhum aldeo daquela aldeia dorme a sesta. www.pontodosconcursos.com.br - Prof. Srgio Carvalho & Prof. Weber Campos

CURSO ONLINE RACIOCNIO LGICO

15

03. (AFC/2002) 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. 04. (MPOG/2001) Dizer que Andr artista ou Bernardo no engenheiro logicamente equivalente a dizer que: a) b) c) d) e) Andr artista se e somente se Bernardo no engenheiro. Se Andr artista, ento Bernardo no engenheiro. Se Andr no artista, ento Bernardo engenheiro Se Bernardo engenheiro, ento Andr artista. Andr no artista e Bernardo engenheiro

05. (CVM/2000) Dizer que a afirmao todos os economistas so mdicos falsa, do ponto de vista lgico, equivale a dizer que a seguinte afirmao verdadeira: a) pelo menos um economista no mdico b) nenhum economista mdico c) nenhum mdico economista d) pelo menos um mdico no economista e) todos os no mdicos so no economistas 06. (Fiscal Trabalho/98) 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 07. (Fiscal Trabalho/98) 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 08. (SERPRO/96) Uma sentena logicamente equivalente a Pedro economista, ento Lusa solteira : a) Pedro economista ou Lusa solteira. b) Pedro economista ou Lusa no solteira. c) Se Lusa solteira,Pedro economista; d) Se Pedro no economista, ento Lusa no solteira; e) Se Lusa no solteira, ento Pedro no economista. No esgotamos ainda o tpico de conceitos iniciais! Ainda h vrios deles a serem explanados, o que ser feito na prxima aula. Voltaremos tambm a falar em Tabela-Verdade, e faremos muitos exerccios com elas! Essas aulas iniciais so de fundamental importncia, pois muitos destes conceitos nos acompanharo por todo o curso. Por isso, importante que vocs leiam e releiam tudo o que foi visto aqui hoje. Com calma, sem aperreios! E no esqueam de tentar fazer as questes do dever de casa. As resolues sero trazidas na prxima aula. Ficamos hoje por aqui. Forte abrao a todos, e fiquem com Deus!

www.pontodosconcursos.com.br - Prof. Srgio Carvalho & Prof. Weber Campos