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 No-Contradio); 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: 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.

33

 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:

Se for verdade apenas que Marcos mdico, mas falso que Maria estudante, teremos:

Por outro lado, se for verdadeiro que Maria estudante, e falso que Marcos mdico, teremos:

34

Enfim, se ambas as sentenas simples forem falsas, teremos que:

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:

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:

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

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:

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:

35

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:

# 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 V 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:

36

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,

# 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:

37

# 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. 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 aproposio q dita conseqente. Teremos:

38

As seguintes expresses podem se empregar como equivalentes de "Se p, ento q": Se A, B. A condio suficiente para B. B, se A. B condio necessria para A. Quando A, B. A somente se B. A implica 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, aproposio condicional "Se p ento q" corresponder incluso do conjunto p no conjunto q (p est contido em q):

# 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! 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

39

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:

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.

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.

40