Lgica das proposies (Conjuno e disjuno)

O conceito mais elementar no estudo da logica e o de Proposicao. Proposicao vem de propor que
significa submeter a apreciacao; requerer um u!"o. #rata$se de uma sentenca declarativa % algo que
ser& declarado por meio de termos' palavras ou s!mbolos % e cuo conte(do poder& ser considerado
verdadeiro ou falso.
)ntao' se eu afirmar a #erra e maior que a *ua' estarei diante de uma proposicao cuo valor logico
e verdadeiro.
+ica claro que quando falarmos em valor logico estaremos nos referindo a um dos dois poss!veis
u!"os que atribuiremos a uma proposicao, verdadeiro -./ ou falso -+/.
) se alguem disser, +eli" ano novo0' ser& que isso e uma proposicao verdadeira ou falsa1
2en3uma' pois nao se trata de uma sentenca para a qual se possa atribuir um valor logico.
4onclu!mos' pois' que as sentencas abai5o nao sao proposic6es verdadeiras ou falsas e' portanto'
nao serao levadas em conta nos nossos e5erc!cios.
Sentenas exclamativas, 4aramba0 ; +eli" anivers&rio0
Sentenas interrogativas, como e o seu nome1 ; o ogo foi de quanto1
Sentenas imperativas, )stude mais. ; *eia aquele livro.
2ormalmente' as proposic6es sao representadas por letras min(sculas -p' q' r' s' etc/. 7ao outros
e5emplos de proposic6es,
p: Pedro e medico.
q: 8 9 :
r: *u!"a foi ao cinema ontem a noite.
2a linguagem do racioc!nio logico' ao afirmarmos que e verdade que Pedro e medico -proposicao p
acima/' representaremos isso apenas com, .*-p/;.' ou sea' o valor logico de p e verdadeiro. 2o
caso da proposicao q' que e falsa' diremos .*-q/;+. <aver& alguma proposicao que possa' ao
mesmo tempo' ser verdadeira e falsa1 2ao0 =amais0 ) por que nao1 Porque o >acioc!nio *ogico'
como um todo' est& sedimentado sobre alguns princ!pios' muito f&ceis de entender' e que terao que
ser sempre obedecidos. 7ao os seguintes,
?ma proposicao verdadeira e verdadeira; uma proposicao falsa e falsa. -Princ!pio da
identidade/;
2en3uma proposicao poder& ser verdadeira e falsa ao mesmo tempo. -Princ!pio da 2ao$
4ontradicao/;
?ma proposicao ou ser& verdadeira' ou ser& falsa, nao 3& outra possibilidade. -Princ!pio do
#erceiro )5clu!do/.
Proposic6es podem ser simples ou compostas. 7erao proposic6es simples aquelas que v@m
so"in3as' desacompan3adas de outras proposic6es. )5emplos,
#odo 3omem e mortal.
O novo papa e Argentino.
#odavia' se duas -ou mais/ proposic6es v@m conectadas entre si' formando uma so sentenca'
estaremos diante de uma proposicao composta. )5emplos,
=oao e medico e Pedro e dentista.
Baria vai ao cinema ou Paulo vai ao circo.
Ou *u!s e baiano' ou e paulista.
7e c3over aman3a de man3a' entao nao irei a praia.
4omprarei uma mansao se e somente se eu gan3ar na loteria.
2as sentencas acima' vimos em destaque os v&rios tipos de conectivos % ditos conectivos logicos %
que poderao estar presentes em uma proposicao composta. 4onectivos *ogicos sao e5press6es que
servem para unir duas ou mais proposic6es. )studaremos cada um deles a seguir' uma ve" que e de
nosso interesse con3ecer o valor logico das proposic6es compostas.
.eremos que' para determinamos se uma proposicao composta e verdadeira ou falsa' dependeremos
de duas coisas,
do valor logico das proposic6es componentes; e
do tipo de conectivo que as une.
Conectivo e: (conjuno)
Proposic6es compostas em que est& presente o conectivo e sao ditas C!"#$"%&'S.
7imbolicamente' esse conectivo pode ser representado por . )ntao' se temos a sentenca,
Barcos e medico e Baria e estudante
... poderemos represent&$la apenas por, p q. onde, p ; Barcos e medico e q ; Baria e estudante.
4omo se revela o valor logico de uma proposicao conuntiva1 Ca seguinte forma, uma conuncao so
ser& verdadeira' se ambas as proposic6es componentes forem tambem verdadeiras.
)ntao' diante da sentenca Barcos e medico e Baria e estudante' so poderemos concluir que esta
proposicao composta e verdadeira se for verdade' ao mesmo tempo' que Barcos e medico e que
Baria e estudante.
Pensando pelo camin3o inverso' teremos que basta que uma das proposic6es componentes sea
falsa' e a conuncao ser& % toda ela % falsa. Obviamente que o resultado falso tambem ocorrer&
quando ambas as proposic6es componentes forem falsas.
)ssas conclus6es podem ser resumidas em uma pequena tabela. #rata$se da tabela$ verdade' de f&cil
construcao e de f&cil entendimento.
>etomemos as nossas premissas,
p ; Barcos e medico e q ; Baria e estudante.
7e tivermos que ambas sao verdadeiras' a conuncao formada por elas -Barcos e medico e Baria e
estudante/ ser& tambem verdadeira. #eremos,
(arcos ) m)dico (aria ) estudante (arcos ) m)dico e (aria ) estudante
p q p q
. . .
7e for verdade apenas que Barcos e medico' mas falso que Baria e estudante' teremos,
(arcos ) m)dico (aria ) estudante (arcos ) m)dico e (aria ) estudante
p q p q
. + +
Por outro lado' se for verdadeiro que Baria e estudante' e falso que Barcos e medico' teremos,
(arcos ) m)dico (aria ) estudante (arcos ) m)dico e (aria ) estudante
p q p q
+ . +
)nfim' se ambas as sentencas simples forem falsas' teremos que,
(arcos ) m)dico (aria ) estudante (arcos ) m)dico e (aria ) estudante
p q p q
+ + +
Ora' as quatro situac6es acima esgotam todas as possibilidades para uma conuncao. +ora disso nao
3& outras0 4riamos' portanto' a tabela$verdade que representa uma conuncao' ou sea' a tabela$
verdade para uma proposicao composta com a presenca do conectivo e. #eremos,
p q p q
. . .
. + +
+ . +
+ + +
D preciso que a informacao constante da terceira coluna -em destaque/ fique guardada em nossa
memoria, uma conjuno s ser* verdadeira+ quando am,as as partes que a compem
tam,)m -orem verdadeiras. ' -alsa nos demais casos.
?ma maneira de assimilar bem essa informacao seria pensarmos nas sentencas simples como
promessas de um pai a um fil3o, eu te darei uma bola ) te darei uma bicicleta. Ora' pergunte a
qualquer crianca0 )la vai entender que a promessa e para os dois presentes. 4aso o pai nao d@
nen3um presente' ou d@ apenas um deles' a promessa nao ter& sido cumprida. #er& sido falsa0 2o
entanto' a promessa ser& verdadeira se as duas partes forem tambem verdadeiras0
2a 3ora de formar uma tabela$verdade para duas proposic6es componentes -p e q/' saberemos' de
antemao' que essa tabela ter& quatro lin3as. 4omecaremos' entao' fa"endo a seguinte estrutura,
p q
Ca!' a coluna da primeira proposicao ter& sempre a seguinte disposicao, dois -./ v@s seguidos de
dois -+/ efes. Assim,
p q
.
.
+
+
)nquanto a variacao das letras -. e +/ para a premissa p ocorre de duas em duas lin3as' para a
premissa q e diferente, v@s -./ e efes -+/ se alternando a cada lin3a' comecando com um ..
Assim,
p q
p

q

. .
.

. +
+

+ .
+

+ +
+

)ssa estrutura inicial e sempre assim' para tabelas$verdade de duas proposic6es p e q. A terceira
coluna depender& do conectivo que as une' e que est& sendo analisado. 2o caso do conectivo e' ou
sea' no caso da conuncao' & aprendemos a completar a nossa tabela verdade,
7e as proposic6es p e q forem representadas como conuntos' por meio de um diagrama' a
conuncao p e q corresponder& a intersecao do conunto p com o conunto q. #eremos,
Conectivo ou: (disjuno)
>ecebe o nome de /0S#$"%1! toda proposicao composta em que as partes esteam unidas pelo
conectivo ou. 7imbolicamente' representaremos esse conectivo por . Portanto' se temos a
sentenca,
Barcos e medico ou Baria e estudante ... entao a representaremos por, p q.
7eremos capa"es de criar uma tabela$verdade para uma proposicao disuntiva1 4laro0 Easta nos
lembrarmos da tal promessa do pai para seu fil3o0 .eamos, eu te darei uma bola O? te darei uma
bicicleta. 2este caso' a crianca & sabe' de antemao' que a promessa e por apenas um dos
presentes0 Eola ou bicicleta0 Fan3ando de presente apenas um deles' a promessa do pai & valeu0 =&
foi verdadeira0 ) se o pai for abastado e resolver dar os dois presentes1 Pense na cara do menino0
+eli" ou triste1 +elic!ssimo0 A promessa foi mais do que cumprida. 7o 3aver& um caso' todavia' em
que a bendita promessa nao se cumprir&, se o pai esquecer o presente' e nao der nem a bola e nem a
bicicleta. #er& sido falsa toda a disuncao.
Ca!' conclu!mos, uma disjuno ser* -alsa quando as duas partes que a compem -orem am,as
-alsas2 ' nos demais casos+ a disjuno ser* verdadeira2 #eremos as poss!veis situac6es,
3e darei uma ,ola 3e darei uma ,icicleta 3e darei uma ,ola ou te darei uma ,icicleta
p q p.q
. . .
Ou,
3e darei uma ,ola 3e darei uma ,icicleta 3e darei uma ,ola ou te darei uma ,icicleta
p q p.q
. + .
Ou,
3e darei uma ,ola 3e darei uma ,icicleta 3e darei uma ,ola ou te darei uma ,icicleta
p q p.q
+ . .
Ou' finalmente,
3e darei uma ,ola 3e darei uma ,icicleta 3e darei uma ,ola ou te darei uma ,icicleta
p q p.q
+ + +
=untando tudo' teremos,
p q p4q
. . .
. + .
+ . .
+ + +
A promessa inteira so e falsa se as duas partes forem descumpridas0
Observem que as duas primeiras colunas da tabela$verdade acima % as colunas do p e do q % sao
e5atamente iguais as da tabela$verdade da conuncao -p ) q/. Buda apenas a terceira coluna' que
agora representa um ou' a disuncao.