Mdulo 1 : Unidade 2 Conectivos Lgicos e Proposies Compostas

Objetivos
Estudar as operaes lgicas Construir proposies compostas

Contedo Programtico
Definio dos conectivos lgicos: negao, conjuno, disjuno, disjuno exclusiva, condicional e bicondicional Formao de proposies compostas Converso entre as linguagens simblica e natural Aplicaes

1| Conectivos Lgicos
Os smbolos apresentados abaixo so denominados conectivos lgicos. A seguir estudaremos a aplicao destes conectivos na construo de proposies compostas.

Negao (ou modificador). Para representar a negao usaremos o smbolo ~

que se ler no; Conjuno. Para representar a conjuno usaremos o smbolo " que se ler e ;

Disjuno inclusiva (ou simplesmente disjuno). Para representar a disjuno Disjuno exclusiva. Para representar a disjuno exclusiva usaremos o

usaremos o smbolo que se ler ou;

smbolo que se ler ou exclusivo; mdulo 1 : unidade 2

Curso de Licenciatura em Matemtica Disciplina: Lgica e Conjuntos Numricos


direita;

Condicional. Para representar o condicional usaremos o smbolo que se

ler Se..., ento.... O condicional significa uma condio no sentido da esquerda para a

Bicondicional. Para representar o bicondicional usaremos o smbolo que

se ler ...se, e somente se.... O bicondicional significa uma condio nos dois sentidos.

2| Proposies Compostas
Definio Chama-se de proposio composta aquela formada pela combinao de duas ou mais proposies simples ligadas por conectivos. Assim sendo, usando os conectivos lgicos possvel construir proposies compostas a partir de proposies simples j existentes. Este processo conhecido por composio de proposies. Suponha que tenhamos duas proposies: p : "Maria tem 23 anos" q : "Maria menor". Considere que numa legislao vigente de um determinado pas, uma pessoa considerada de menor idade caso tenha menos que 18 anos. Segundo este dado e observando-se a proposio p no exemplo proposto, podemos concluir que a proposio q possui valor lgico F quando a proposio p possui valor lgico V.

mdulo 1 : unidade 2
Curso de Licenciatura em Matemtica Disciplina: Lgica e Conjuntos Numricos

Vejamos alguns exemplos:

Proposies "Maria no tem 23 anos "Maria no menor" "Maria tem 23 anos" e "Maria menor" "Maria tem 23 anos" ou "Maria menor" "Maria no tem 23 anos" e "Maria menor" "Maria tem 23 anos" e "Maria no menor" "Maria no tem 23 anos" ou "Maria menor" "Maria tem 23 anos" ou "Maria no menor" Ou "Maria tem 23 anos" ou "Maria menor" Se "Maria tem 23 anos", ento "Maria menor" Se "Maria no tem 23 anos" ento "Maria menor" "Maria no tem 23 anos" se, e somente se, "Maria menor"

L-se No p No q peq p ou q No p e q p e no q No p ou q p ou no q Ou p ou q Se p, ento q Se ~p, ento q p se, e somente se, q

Em smbolos ~p ~q p q p q ~p q p ~ q ~ pq p ~ q pq

pq ~p q pq

Outras noes sobre a interpretao dos conectivos lgicos. Expresso em Portugus No p; falso que p; No verdade que p; No se d que p; No fato que p; No que p; No se tem p. p e q; p, mas q; p, embora q; p, assim como q; p e, alm disso, q; Tanto p como q; p e tambm q; No s p, mas tambm q; mdulo 1 : unidade 2
Curso de Licenciatura em Matemtica Disciplina: Lgica e Conjuntos Numricos

3
Expresso Lgica

Conectivos Lgicos Negao

~p

Conjuno

pq

p, apesar de q. p ou q; p ou q ou ambos. Ou p ou q. Observao: Quando no houver duplicidade de interpretao, basta escrever p ou q, como por exemplo: (a) O aluno aps as avaliaes ser aprovado ou reprovado e (b) Ou canto ou assovio. Neste ltimo exemplo podemos dispensar o primeiro ou, transformando em canto ou assovio. Se p, ento q; Se p, isto significa que q; Tendo-se p, ento q; Quando p, ento q; Sempre que p, q; p, logo q; p, somente se q; p, s se q; p, s no caso de q; P; apenas se q; p, somente quando q; q, sempre que tenha p; q, contanto que p; q, se p q segue de p p uma condio suficiente para q; q uma condio necessria para p; Uma condio suficiente para q p; Uma condio necessria para p q. p se, e somente se, q; p se e s se, q; p quando e somente quando q; p condio necessria e suficiente para q; Uma condio necessria e suficiente para p q.

Disjuno Disjuno exclusiva

pq pq

Condicional

pq

Bicondicional

pq

mdulo 1 : unidade 2
Curso de Licenciatura em Matemtica Disciplina: Lgica e Conjuntos Numricos

 natural que na simbolizao das proposies compostas exista a necessidade do uso dos parnteses. Estes parnteses devem ser colocados para evitar qualquer tipo de ambigidade. Por outro lado, ao suprimirmos certa quantidade de parntese, a fim de simplificarmos as proposies compostas, devemos estabelecer uma ordem de precedncia entre as operaes lgicas (conectivos) estudadas anteriormente. Ordem de precedncia das operaes lgicas: a) ~ (negao); b) e (conjuno e disjuno); c) (condicional); d) (bicondicional). Esta ordem de precedncia entre os conectivos tem a finalidade de permitir a identificao da forma da proposio composta, como mostramos a seguir: (a) a proposio composta

p ( q r ) , pode tambm ser apresentada como p q r , porm neste caso a

remoo dos parnteses no altera a sua estrutura lgica, sendo em ambos os casos da forma bicondicional; (b) a proposio ( p ~ q ) ( q r ) , que pode ser representada por

p ~ q q r , encontra-se na forma condicional, porm, ao deslocarmos os parnteses,

alteramos a forma lgica, ou seja, p ( ~ q q r ) a proposio passa a ser composta por uma disjuno. Portanto, a correta colocao ou supresso de parnteses, de extrema importncia para a formao da estrutura lgica.

Diante do exposto, a proposio composta p q s r um bicondicional e nunca um condicional ou uma conjuno. Portanto, fazendo uso de parnteses nesta proposio composta, podemos convert-la numa proposio condicional como se segue: p ( q s r ) . Leremos esta proposio da seguinte forma: Se p, ento q se, e somente se, s e r.

mdulo 1 : unidade 2
Curso de Licenciatura em Matemtica Disciplina: Lgica e Conjuntos Numricos

3| Converso entre as linguagens simblica e natural

Para transformarmos uma linguagem simblica em uma linguagem natural (em portugus), ou vice-versa, procederemos da seguinte forma: Sejam as proposies p: Joo fala italiano e q: Joo fala francs. Escreveremos as proposies simblicas p q , p q , p ~ q , ~ p ~ q , ~~ p , ~ ( ~ p ~ q ) , p q e

pq em linguagem natural da seguinte forma: p q : Joo fala italiano ou francs; p q : Joo fala italiano e francs; p ~ q : Joo fala italiano e no fala francs; ~ p ~ q : Joo no fala italiano e nem francs. Veremos mais adiante que est proposio
poder ser lida como: no verdade que Joo fala italiano ou francs. Estas formas de pensamento denominamos de proposies equivalentes, pois possuem os mesmos valores lgicos;

~~ p : No verdade que Joo no fala italiano, ou como j vimos na unidade anterior, ~~ p p , sendo assim podemos ler: Joo fala italiano; ~ ( ~ p ~ q ) : No verdade que Joo no fala italiano e nem fala francs. Veremos
posteriormente que podemos ler esta proposio da seguinte maneira: Joo fala italiano ou francs;

p q : Se Joo fala italiano, ento ele fala francs. Justificaremos tambm mais tarde que
podemos escrever esta linguagem de forma equivalente, como: Se Joo no fala francs, ento ele no fala italiano;

p q : Joo fala italiano se, e somente se, fala francs; pq : Ou Joo fala italiano ou fala francs.
Caro aluno, o que voc acha destas equivalncias? Muito interessante no? Estas equivalncias sero fortemente abordadas posteriormente. Aguardem! Considerando as mesmas proposies p e q supracitadas, faremos, agora, a converso da linguagem natural para a linguagem simblica nos seguintes casos: mdulo 1 : unidade 2
Curso de Licenciatura em Matemtica Disciplina: Lgica e Conjuntos Numricos

a) Joo no falar italiano no falar francs. o mesmo que: Se Joo no fala italiano, ento no fala francs. Ou ainda: Ningum fala francs, se no fala italiano. Simbolicamente, temos que: ~ p ~ q ; b) Joo no pode falar ao mesmo tempo, italiano e francs. Em smbolos, temos que: ~ ( p q) ; c) Joo no fala italiano, porm fala francs. Em smbolos, temos que: ~ p q ; d) Joo no fala italiano, ou, ainda ele fala simultaneamente italiano e francs. Em smbolos temos: ~ p ( p q ) . Curiosamente, voc ver que esta proposio poder, ainda, ser escrita como: Se Joo fala italiano, ento fala francs. Ou ainda de forma equivalente: Se Joo no fala francs, ento no fala italiano. Considere o seguinte pensamento lgico: Voc foi convocado a participar do jri em um processo criminal. O advogado de defesa argumenta: Se meu cliente fosse culpado, a faca estaria na gaveta. Ou a faca no estava na gaveta ou Jason Pritchard viu a faca. Se a faca no estava l no dia 10 de outubro, ento Jason Pritchard no viu a faca. Alm disso, se a faca estava l no dia 10 de outubro, ento a faca estava na gaveta e o martelo estava no celeiro. Mas todos ns sabemos que o martelo no estava no celeiro. Portanto, senhoras e senhores, meu cliente inocente. Veremos mais adiante que este tipo de pensamento lgico ser denominado argumento lgico e ter um nico valor lgico. Faremos agora a converso deste argumento para a linguagem simblica. Para tanto, usaremos letras minsculas para atribuir s proposies uma linguagem simblica, ou seja: p: meu cliente inocente; q: a faca estava na gaveta; r: Jason Pritchard viu a faca; s: a faca estava l no dia 10 de outubro; t: o martelo estava no celeiro. Ento, o argumento pode ser escrito na forma:

( ( ~ p q ) ( ~ qr ) ( ~ s ~ r ) ( s ( q t ) ) ~ t ) p . Usando a hierarquia dos

smbolos lgicos, podemos escrever este argumento suprimindo os parnteses suprfluos da seguinte maneira: ( ~ p q ) ( ~ qr ) ( ~ s ~ r ) ( s q t ) ~ t p .

mdulo 1 : unidade 2
Curso de Licenciatura em Matemtica Disciplina: Lgica e Conjuntos Numricos

Vamos escrever cada uma das proposies compostas a seguir em notao simblica usando letras de proposio para denotar os componentes. a) Se o cavalo estiver descansado, o cavaleiro vencer. b) O cavaleiro vencer apenas se o cavalo estiver descansado e a armadura for forte. c) Um cavalo descansado uma condio necessria para o cavaleiro vencer. d) O cavalo vencer se, e somente se, a armadura for forte. e) Uma condio suficiente para o cavaleiro vencer que a armadura seja forte ou o cavalo esteja descansado. Para escrevermos as proposies acima na linguagem simblica, inicialmente, denotaremos: c: o cavalo est descansado, k: o cavaleiro vencer, a: a armadura forte. Desta forma, podemos responder: a) c k b) k ( c a ) c) k c d) k a e)

( a c) k

mdulo 1 : unidade 2
Curso de Licenciatura em Matemtica Disciplina: Lgica e Conjuntos Numricos

4| Aplicaes
2) Sejam as proposies: p: Bill Gates adora computador q: Ronaldinho Gacho nunca foi campeo de pingue-pongue. Escreva cada proposio abaixo na linguagem natural. a) ~ p b) p q c) p ~ q d) ~ ( p ~ q ) e) ~ p ~ q f) p ~ q g) p ~ q h) p ~ q p i) q ~ p

3) Sejam p, q e r as seguintes proposies: p: As rosas so vermelhas q: Violetas so azuis r: Acar doce. Escreva as proposies compostas a seguir em notao simblica. a) Rosas so vermelhas e violetas so azuis. b) Rosas so vermelhas, e ou bem violetas so azuis ou bem acar doce. c) Sempre que violetas so azuis, rosas so vermelhas e acar doce. d) Rosas so vermelhas apenas se violetas no forem azuis e acar for amargo. e) Rosas so vermelhas e, se acar for amargo, ento ou violetas no so azuis ou acar doce.

4) Use as proposies p, q e r como no exerccio anterior para escrever as seguintes proposies composta em linguagem natural. a) q ~ r mdulo 1 : unidade 2
Curso de Licenciatura em Matemtica Disciplina: Lgica e Conjuntos Numricos

b) ~ q ( p r ) c)

( r ~ p) q ( q ~ r ) p
p ( q ~ r )

d) r ( ~ p q ) e) f) g)

( p q) ~ r

5) Simbolizar as seguintes proposies matemticas: a) A varivel x maior que 5 e menor que 7 ou x no igual a 6 b) Se x menor do que 5 e maior que 3, ento x igual a 4 c) A incgnita x maior que um ou x menor que um e maior que zero d) x R se, e somente se, x 0

e) x = 1 ou x = 0 , se x 2 x = 0

10

mdulo 1 : unidade 2
Curso de Licenciatura em Matemtica Disciplina: Lgica e Conjuntos Numricos

Sntese
Nesta unidade apresentamos a lgica formal como uma sistematizao da nossa comunicao diria em linguagem natural. Ratificamos que a lgica formal certamente a base para o pensamento e o raciocnio cientfico; sendo utilizada muitas vezes ao conclumos at meros raciocnios informais diante das inmeras situaes com que lidamos diariamente. Foram apresentados os smbolos lgicos e seus significados, bem como a formao de proposies compostas atravs destes smbolos. Evidenciamos a converso de afirmaes de linguagem simblica para natural e vice-versa.

11

mdulo 1 : unidade 2
Curso de Licenciatura em Matemtica Disciplina: Lgica e Conjuntos Numricos

Saiba mais

- Livros ALENCAR FILHO, Edgard de. Iniciao Lgica Matemtica. 16 ed. So Paulo: Editora Nobel, 1984. GERSTING, Judith L. Fundamentos Matemticos para a Cincia da Computao. 4 ed. Rio de Janeiro: Livros Tcnicos e Cientficos Editora S. A., 2001. MACHADO, Nilson Jos. Lgica e linguagem cotidiana verdade, coerncia, comunicao, argumentao. Belo Horizonte: Autntica, 2005. MORTARI, Cezar A. Introduo Lgica. So Paulo: Editora da UNESP, 2001.

12

- Revista RPM (Revista do Professor de Matemtica em CD-ROM). Rio de Janeiro. SBM. EUREKA! - A Revista da Olimpada Brasileira de Matemtica http://www.obm.org.br/eureka.htm

mdulo 1 : unidade 2
Curso de Licenciatura em Matemtica Disciplina: Lgica e Conjuntos Numricos

Atividades Atividade 1:
Os alunos devero utilizar o Frum do ambiente Moodle para debater sobre o seguinte assunto: Transformao de linguagem simblica em linguagem natural, e vice-versa. Atividade 2: Os alunos resolvero no ambiente Moodle uma lista de problemas sobre os assuntos desta unidade.

13

mdulo 1 : unidade 2
Curso de Licenciatura em Matemtica Disciplina: Lgica e Conjuntos Numricos