CENTRO UNIVERSITRIO CARIOCA

UNICARIOCA

LGICA
MATEMTICA

NOTAS DE AULA

PROFESSOR: JLIO SILVEIRA

VERSO: maio de 2014

 LGICA MATEMTICA PROF. JLIO SILVEIRA
NOTAS DE AULA 1

INTRODUO: O que Lgica? O que a Lgica Matemtica?

Informalmente, podemos afirmar que a Lgica o estudo do pensamento: como podemos partir
de fatos observados ou considerados vlidos, e chegarmos a novas concluses. E tambm de como
garantir que todo este processo mental est correto, validando as concluses obtidas.
A Lgica visa organizar uma linha de raciocnio, que passo a passo se aproxima da soluo de
um problema, garantindo que cada passo est bem fundamentado. Desta forma, podemos assegurar que
todo o raciocnio vlido, e a concluso est correta, sem precisarmos verific-la na realidade.
EXEMPLO 1 - Considere um exemplo bem usual quando se inicia o estudo de Lgica:
Sabemos que TODO Homem mortal.
Scrates Homem
Sabemos que Scrates Homem. ||
CONCLUSO: Scrates mortal. Homem mortal
Este raciocnio est correto: sabemos que o filsofo grego Scrates humano; e como todos os
humanos, sujeito mortalidade. Se as hipteses so verdadeiras, conclui-se que Scrates mortal.
Logo, a conexo lgica entre hipteses e concluso correta, o argumento considerado vlido.
EXEMPLO 2 - Considere outro exemplo semelhante:
Sabemos que TODO Homem mortal.
Scrates Mortal
Sabemos que Scrates mortal. ||
CONCLUSO: Scrates Homem (?) Mortal
? Homem
Este um exemplo de raciocnio incorreto. A 1 hiptese estabelece uma relao de causa/efeito
de seres humanos mortalidade, mas no o inverso: Scrates ser mortal no garante que ele seja um
ser humano. Ateno: certamente o filsofo Scrates humano, mas no podemos deduzir isso apenas
do fato de que ele mortal.
Considere outra situao: Aninha tinha um lindo cozinho chamado Scrates, que morreu num
certo dia. O co Scrates um ser mortal; mas no um ser humano! Logo, a conexo lgica do
EXEMPLO 2 est incorreta: saber que algum mortal no garante que ele seja humano. O argumento
no vlido, e no garante a concluso obtida.
EXEMPLO 3 - Considere este outro exemplo:
A UniCarioca s est contratando professores que tenham cursado Matemtica.
Pedro matemtico ou advogado.
Pedro no cursou a faculdade de Direito.
CONCLUSO: Pedro pode ser contratado pela UniCarioca.

Este um exemplo de raciocnio vlido em Lgica. Neste caso, a partir das hipteses
apresentadas, SO NECESSRIOS DOIS PASSOS para chegarmos concluso, como veremos adiante.
Veremos tambm como expressarmos as conexes lgicas corretas, o que garante a validade do
argumento e de sua concluso.
Portanto, a Lgica define e manipula expresses que podem ser verificadas como verdadeiras ou
falsas. Alm disso, estabelece regras de como podemos concluir novas sentenas, verdadeiras ou
falsas, assegurando-nos de que o processo est correto, e as concluses so vlidas.
 LGICA MATEMTICA PROF. JLIO SILVEIRA
NOTAS DE AULA 2

Nos exemplos anteriores usamos o portugus para especificarmos as sentenas e concluses

obtidas. Porm, uma linguagem de uso geral por vezes leva ambigidades na interpretao de
sentenas, alm de restringir a interpretao de um raciocnio a quem dominar o idioma utilizado.
A Lgica Matemtica uma sistematizao do estudo do pensamento lgico, utilizando uma
linguagem prpria, sem ambigidades. Portanto, a Lgica Matemtica :
Uma linguagem formal: define smbolos e regras sintticas para o agrupamento destes
smbolos, formando sentenas vlidas;
Regras de deduo: que nos permite concluir novas expresses, a partir de sentenas j
conhecidas, validando-as e expandindo o conhecimento;
Semntica: como interpretar ou seja, dar um significado s sentenas formadas, que
descrevem a rea de conhecimento estudada.
A Lgica Matemtica a formalizao da lgica: definindo uma linguagem simblica, como na
Matemtica, e regras bem precisas de criao, manipulao e interpretao das sentenas criadas.

CAPTULO 1. PROPOSIES LGICAS

1.1 PROPOSIO (ou SENTENA) LGICA

Existem vrios tipos de lgica; ou seja, vrias reas dentro da Lgica, com diferentes graus
de abrangncia e profundidade. Porm, todas elas baseiam-se no conceito de proposio lgica (ou
sentena lgica). Os nossos estudos se restringiro chamada Lgica Clssica Proposicional.

DEFINIO DE SENTENA LGICA: Expresso de uma linguagem que pode ser classificada somente
como verdadeira ou falsa, de maneira excludente, num dado
contexto bem definido.

Vejamos, analisando a definio acima, o que uma proposio lgica. A definio afirma que
ela deve expressar algo que possa ser verificado (ou aceito) como verdadeiro ou falso.
Mas o que uma proposio verdadeira? E o que uma proposio falsa? Embora esta questo
remonte s Teorias da Verdade, vamos simplificar um pouco.
Se uma proposio lgica
i. expressa um fato que corresponda (ou seja verificado na) realidade;
ou
ii. emite um juzo aceito por outras pessoas (em um determinado contexto);
ento tal proposio verdadeira.
Caso contrrio, a proposio falsa.
Portanto, uma sentena lgica qualquer dever ser submetida a uma apreciao ou verificao
do seu valor lgico: verdadeiro ou falso. Esta apreciao deve seguir trs princpios racionais:

PRINCPIO DA IDENTIDADE: A A, no pode no ser ser A.

Ex.: Um tringulo um tringulo. Ele no pode no ser um tringulo.
 LGICA MATEMTICA PROF. JLIO SILVEIRA
NOTAS DE AULA 3

Pelo princpio da identidade, temos ento que:

uma proposio verdadeira verdadeira (ou seja, ela no pode no ser verdade);
uma proposio falsa falsa (ela no pode no ser falsa)
Mas seria possvel que uma proposio pudesse ser simultaneamente verdadeira e falsa? Um
segundo princpio racional elucida a questo, afirmando que os valores so excludentes:

PRINCPIO DA NO CONTRADIO: Uma proposio no pode ser verdadeira e falsa simultaneamente.

Ou seja, uma proposio verdadeira:

i. verdadeira, pois pelo princpio da identidade ela no pode no ser verdade;
e tambm
ii. no pode ser falsa, o que viola o princpio da no-contradio.
Mas seria possvel que uma proposio lgica pudesse ter outro valor alm de verdade ou falso?
Como exemplo, se uma chuva est caindo neste exato instante, a proposio Est chovendo
tem valor verdade (e no tem valor falso).
Mas e se a chuva fosse bem fraca? Imagine que podemos dizer que a sentena Est chovendo:
no verdadeira Isto no chuva mesmo! No uma chuva de verdade
no falso Mas, pensando bem, alguma chuvinha est caindo
Se isto fosse possvel, teramos algum outro valor para uma proposio, o que viola o terceiro
princpio racional, enunciado a seguir.

PRINCPIO DO TERCEIRO EXCLUDO: Uma proposio s pode ser Verdadeira ou Falsa. Apenas estes
valores so possveis no se pode definir um TERCEIRO valor.

Algumas consideraes devem ser feitas quanto definio de proposio lgica enunciada no
incio do captulo: o contexto deve ser bem definido. Como exemplo, considere a sentena: Paulo tem
carro. Suponhamos que:
Paulo Ricardo, o filho da dona Joaquina, no nenhum carro;
Paulo Roberto, o sndico do prdio da dona Joaquina, possui dois automveis.

Podemos ver que a expresso Paulo tem carro poderia assumir os valores verdadeiro e falso,
contrariando o princpio da no-contradio.
Uma sentena lgica deve especificar seu contexto, definindo: sujeito, espao, tempo, etc.
Vejamos alguns exemplos:
Especificando o sujeito, temos:
Sobre o Paulo Ricardo: a sentena lgica Paulo tem carro tem valor falso;
Sobre o Paulo Roberto, a sentena lgica Paulo tem carro tem valor verdadeiro.

Especificando o tempo: imaginemos que Paulo Ricardo vendeu seu carro no incio deste ano.
Hoje, a sentena lgica Paulo tem carro tem valor falso;
No ano passado, a sentena lgica Paulo tem carro tinha valor verdadeiro.
 LGICA MATEMTICA PROF. JLIO SILVEIRA
NOTAS DE AULA 4

Especificando o espao: voc conversa com um amigo ao telefone; este afirma que est chovendo, mas
pela janela voc v o dia ensolarado. Temos duas sentenas diferentes:
A sentena lgica est chovendo na sua cidade tem valor falso;
A sentena lgica est chovendo na cidade no seu amigo tem valor verdadeiro;

Estes exemplos ilustram que uma sentena lgica deve ter um contexto bem definido, seguindo
os trs princpios racionais.
Outros exemplos de sentenas lgicas, desde que o contexto esteja bem especificado:
Est chovendo. Desde que o contexto esteja definido
Est chovendo na China. Eu no sei se l est chovendo ou no. Mas um chins certamente
pode dizer qual dos valores lgicos correto: verdadeiro ou falso
Mrio tem carro. Que Mrio? Ah... o Mrio, irmo do Paulo Ricardo! Aquele que
Mrio matemtico e engenheiro. fez faculdade de Matemtica e de Engenharia.
Existe vida em outro planeta. No sabemos se esta sentena verdadeira ou falsa, mas
certamente apenas um dos valores lgicos possvel!
Lula um bom presidente. Devem existir critrios bem objetivos para avaliar o presidente
Expresses que no so sentenas lgicas.
Quem voc?
Ai!
Com licena.
Faam os exerccios.
x>2 sentena aberta. proposio se soubermos o valor de x.

1.2 PROPOSIES SIMPLES E COMPOSTAS

Proposies SIMPLES ou ATMICAS:

Uma proposio simples indivisvel, no contendo nenhuma proposio como parte integrante.
Refere-se a um fato isolado, cujo valor lgico s pode ser verificado imediatamente.
NOTAO: proposies simples so designadas por letras proposicionais minsculas
Exemplos: p: Est chovendo
q: Jlio professor
r: Jlio advogado
s: o Sol frio
t: Joo e Maria so casados (entre si). ou melhor: Joo casou-se com Maria.
Proposies COMPOSTAS OU MOLECULARES
Uma proposio composta contm uma ou mais proposies menores chamadas componentes.
Seu valor lgico depende do(s) valor(es) lgico(s) das suas componentes.
NOTAO: proposies compostas so designadas por LETRAS PROPOSICIONAIS MAISCULAS
Exemplos:
 LGICA MATEMTICA PROF. JLIO SILVEIRA
NOTAS DE AULA 5

P: NO est chovendo
Componente: est chovendo
Q: Jlio professor e advogado; ou ento Jlio professor E Jlio advogado
Componente: Jlio professor
Componente: Jlio advogado
R: Jlio professor ou advogado; ou ento Jlio professor OU Jlio advogado
Componente: Jlio professor
Componente: Jlio advogado
S: Joo e Paulo so casados (com suas esposas): Joo casado E Paulo casado
Componente: Joo casado
Componente: Paulo casado

1.3 VALORES LGICOS DE UMA PROPOSIO LGICA

Simbolicamente, temos duas constantes lgicas: V para verdadeiro

F para falso
Dada uma proposio lgica qualquer (simples ou composta), utilizamos a notao v() para
representar o valor lgico de . De acordo com os exemplos anteriores, temos:
v(p) = ? v(P) = ?
v(q) = V v(Q) = F
v(r) = F v(R) = V
v(s) = F v(S) = ?
NOTAO: podemos escrever v() = ? ou ento v() = I (de Indeterminado) para indicarmos
que no sabemos qual valor lgico assumido pela proposio .

1.4 FORMAO DE PROPOSIES COMPOSTAS

CONECTIVOS: palavras utilizadas para formar proposies compostas escritas na linguagem corrente.
OPERADORES LGICOS: smbolos que representam operaes lgicas, na linguagem simblica

Estudaremos CINCO tipos de proposies compostas (veja tabela a seguir). Veremos que todas as
inmeras formas de escrever sentenas compostas em portugus sero classificadas em apenas um
desses cinco tipos.
 LGICA MATEMTICA PROF. JLIO SILVEIRA
NOTAS DE AULA 6

CONECTIVO OPERADOR LGICO

TIPO
Portugus (linguagem corrente) Linguagem simblica

NEGAO NO ~
CONJUO E
DISJUNO OU
IMPLICAO
(CONDIDIONAL)
SE ENTO
BIIMPLICAO
(BICONDICIONAL)
SE E SOMENTE SE

OBS: Alguns autores utilizam o smbolo como operador da negao

Exemplos:
TIPO PORTUGUS (LINGUAGEM CORRENTE) NOTAO SIMBLICA
SIMPLES p: Est chovendo p
SIMPLES q: Jlio professor q
SIMPLES r: Jlio advogado r
SIMPLES s: O sol frio s

NEGAO P: NO est chovendo P: ~p

CONJUNO Q: Jlio professor E advogado Q: qr
DISJUNO R: Jlio professor OU advogado R: qr
IMPLICAO S: SE est chovendo ENTO o Sol frio S: ps
BIIMPLICAO W: o Sol frio SE E SOMENTE SE Jlio advogado W: sr

1.5 EXERCCIOS

1. Responda se as sentenas a seguir podem ser caracterizadas como uma proposies lgicas.
Caso possam, indique os seus valores lgicos: Verdadeiro ou Falso. Caso voc no saiba qual dos
valores assumir, escreva Indeterminado.

a) Existe um ser humano que mede mais de 2,70m de altura no planeta Terra.
b) Talvez o Botafogo ganhe o campeonato.
c) O Pel foi um craque no futebol.
d) Choveu no dia 15 de janeiro de 1793 na cidade do Rio de Janeiro.
e) O sol frio e mido
f) O Sol frio mas no mido
g) O Sol no frio mas mido
h) O Sol no frio nem mido
i) Voc fez os exerccios?

2. Proponha exemplos de proposies lgicas, simples e compostas, em portugus. Tente usar todos
os conectivos da tabela acima.
 LGICA MATEMTICA PROF. JLIO SILVEIRA
NOTAS DE AULA 7

CAPTULO 2: CLASSIFICAO DAS SENTENAS COMPOSTAS OPERAES LGICAS

As proposies lgicas muitas das vezes estabelecem uma categorizao de determinado objeto;
ou seja, uma relao de pertinncia a algum conjunto.
Considere, por exemplo, a sentena p: Paulo tem carro. Sabemos que esta expressso ser uma
proposio lgica se o sujeito Paulo estiver bem identificado. A sentena p afirma uma relao de
pertinncia: Paulo pertence ao conjunto de pessoas que possuem um automvel, o que ilustrado na
figura (a) abaixo.
Observe que esta afirmao pode ser verdadeira ou falsa. Se de fato Paulo pertence ao conjunto
de donos de automveis, ento v(p) = V. Mas se tal relao no se verificar na realidade, como na
figura (b) abaixo, ento teremos v(p) = F.
Pessoas Pessoas

Donos de carro Donos de carro

Paulo

Paulo

(a) Afirmao p: Paulo tem carro (b) Na realidade, vemos que v(p) = F

Nas sees a seguir, classificaremos as proposies compostas, traduzindo-as para a notao

simblica. Considere ento cada uma das sentenas a seguir como uma proposio simples vlida
(bem como sua letra proposicional). Tais proposies sero utilizadas ao longo deste captulo.
p: Paulo tem carro q: Paulo tem moto
e: Paulo engenheiro a: Paulo advogado
r: a Terra redonda c: Est chovendo
s: o Sol frio n: Esta nevando
x: Joo tem carro y: Joo engenheiro

2.1 NEGAO: a negao tem apenas uma componente, denominada sentena negada.

a) Em portugus, formamos uma negao com o conectivo NO

Forma bsica: NO (sentena negada)
Exemplo:
Paulo no tem carro ou ento Na forma bsica: NO (Paulo tem carro)
falso (afirmar) que Paulo tem carro Sentena Negada: Paulo tem carro
No verdade que Paulo tem carro
No o caso que Paulo tem carro
 LGICA MATEMTICA PROF. JLIO SILVEIRA
NOTAS DE AULA 8

b) Na notao simblica, usamos o operador lgico ~

Exemplo:
Na linguagem corrente: P: Paulo no tem carro
Na Forma Bsica: P: NO (Paulo tem carro)
Na notao simblica: P: ~p

O valor lgico de uma negao depende do valor da sentena negada:

v(~p) = ~ v(p) Tabela-verdade:
Temos ento duas possibilidades: p ~p
~V = F V F
~F = V F V

2.2 CONJUNO: temos duas componentes, chamadas 1 componente e 2 componente

a) Em portugus, formamos uma conjuno com o conectivo E

Forma bsica: 1 componente E 2 componente
Complete os exemplos a seguir:
Paulo tem carro e moto FORMA BSICA: Paulo tem carro E Paulo tem moto
a
1 Componente: Paulo tem carro
2a Componente: Paulo tem moto
Paulo advogado e tem moto FORMA BSICA: ..................................................................
1a Comp.:
2a Comp.:
Paulo tem carro, Joo tambm FORMA BSICA: ..................................................................
1a Comp.:
2a Comp.:
Paulo e Joo so engenheiros FORMA BSICA: ..................................................................
1a Comp.:
2a Comp.:
Est nevando e chovendo FORMA BSICA: ..................................................................
1a Comp.:
2a Comp.:
b) Na notao simblica, usamos o operador lgico
Exemplo:
Na linguagem corrente: P: Paulo tem carro e moto
Na Forma Bsica: P: Paulo tem carro E Paulo tem moto
Na notao simblica: P: p q

Exerccio: traduza as proposioes abaixo para a notao simblica.

 LGICA MATEMTICA PROF. JLIO SILVEIRA
NOTAS DE AULA 9

a) Paulo advogado e tem moto

b) Paulo tem carro, Joo tambm
c) Paulo e Joo so engenheiros
d) Est nevando e chovendo
O valor lgico de uma conjuno depende do valor de suas duas componentes:
v(p q) = v(p) v(q) Tabela-verdade:
Temos ento quatro possibilidades: p q p q
V V = V V V V
V F = F V F F
F V = F F V F
F F = F F F F

2.3 DISJUNO: temos duas componentes, chamadas 1 componente e 2 componente

a) Em portugus, formamos uma conjuno com o conectivo OU

Forma bsica: 1 componente OU 2 componente
Complete os exemplos a seguir:
Paulo tem carro ou moto FORMA BSICA: Paulo tem carro OU Paulo tem moto
a
1 Componente: Paulo tem carro
2a Componente: Paulo tem moto
Paulo advogado ou tem moto FORMA BSICA: ..................................................................
1a Comp.:
2a Comp.:
Est nevando ou chovendo FORMA BSICA: ..................................................................
1a Comp.:
2a Comp.:
b) Na notao simblica, usamos o operador lgico
Exemplo:
Na linguagem corrente: P: Paulo tem carro ou moto
Na Forma Bsica: P: Paulo tem carro OU Paulo tem moto
Na notao simblica: P: p q

Exerccio: traduza as proposioes abaixo para a notao simblica.

a) Paulo advogado ou tem moto
b) Est nevando ou chovendo

O valor lgico de uma disjuno depende do valor de suas duas componentes:

 LGICA MATEMTICA PROF. JLIO SILVEIRA
NOTAS DE AULA 10

v(p q) = v(p) v(q) Tabela-verdade:

Temos ento quatro possibilidades: p q p q
V V = V V V V
V F = V V F V
F V = V F V V
F F = F F F F

PROPOSIES COMPOSTAS E RELAES DE PERTINNCIA

Como j dito, as proposies lgicas muitas das vezes estabelecem uma relao de pertinncia a
algum conjunto. Isto tambm vale para as proposies compostas, como exemplificado a seguir.

Pessoas Pessoas Pessoas

Donos de carro Donos de carro Donos de moto Donos de carro Donos de moto

Paulo Paulo Paulo Paulo

Paulo

P: Paulo no tem carro P: Paulo tem carro e moto P: Paulo tem carro ou moto

VALOR LGICO DE PROPOSIES COMPOSTAS

Nem sempre precisamos saber o valor de todas as componentes ao avaliar uma proposio
composta. Em alguns casos, podemos avaliar a proposio mesmo desconhecendo o valor de alguma
de suas componentes. Veja o exemplo abaixo:
Q: Paulo tem moto e o Sol frio
Tipo: conjuno 1 Compon.: Paulo tem moto
2 Compon.: o Sol frio
Na linguagem simblica:
Q: q s v(q) = ? No foi dito se Paulo tem moto ou no
v(s) = F Sabemos que o sol quente (e no frio)
Assim, temos:
v(q s) = q s
= ? F Examinando a tabela-verdade da conjuno, vemos que

v(q s) = F

EXERCCIOS A SEREM RESOLVIDOS EM SALA:

Para cada proposio abaixo, diga qual o seu tipo, indique suas componentes, escreva na
linguagem simblica, e calcule o seu valor lgico: Verdadeiro, Falso, ou Indeterminado.
 LGICA MATEMTICA PROF. JLIO SILVEIRA
NOTAS DE AULA 11

a) Q: a Terra no redonda
Tipo: negao Sent. Negada: a Terra redonda
Q: ~ r
v(Q) = ~V = F

b) R: Paulo tem moto ou o Sol frio

Tipo: 1 Comp.: Paulo tem moto
2 Comp.: o Sol frio
R: q s
v(R) = ? F = Indeterminado

c) S: Paulo tem carro ou a Terra redonda

Tipo: 1 Comp.:
2 Comp.:
S:
v(S) = =
d) W: Paulo tem carro e a Terra redonda
Tipo: 1 Comp.:
2 Comp.:
W:
v(W) = =

COMBINANDO VRIOS CONECTIVOS:

Podemos combinar vrios conectivos para formar proposies complexas. Ou seja, podemos ter
proposies compostas contendo dois, trs ou mais conectivos diferentes. Porm, ATENO:

Uma proposio composta SOMENTE pode ser classificada em um

NICO TIPO, determinado pelo conectivo ou operador de MAIOR NVEL.

Precedncia entre os operadores da negao, conjuno e disjuno:

MAIOR precedncia MENOR nvel: ~ NEGAO

MENOR precedncia MAIOR nvel: CONJUNO e DISJUNO

Pode-se alterar a ordem de avaliao dos operadores usando-se parnteses. Veja os exemplos a seguir:
~x y tipo: conjuno 1 componente: ~x
2 componente: y
1 negamos a proposio simples x
2 conjuno entre as proposies ~x e y
~(x y) tipo: negao sent. negada: x y
1: conjuno entre as proposies x e y
2: negamos TODA a proposio composta x y
 LGICA MATEMTICA PROF. JLIO SILVEIRA
NOTAS DE AULA 12

EXERCCIOS A SEREM RESOLVIDOS EM SALA:

1. Para cada proposio abaixo, diga qual o seu tipo, indique suas componentes, e escreva na
linguagem simblica, usando as letras proposicionais definidas anteriormente:
a) Paulo no tem carro e moto
Temos dois conectivos: NO e E. O conectivo NO est negando que Paulo tenha o par carro e
moto. Ou seja, o conectivo E est dentro na sentena negada NO; isto o mesmo que afirmar:
NO verdade que (Paulo tenha carro E moto)

Tipo: Negao Sentena Negada: Paulo tem carro e moto

Linguagem simblica: ~ (p q)
b) Paulo no tem carro mas tem moto
Temos os conectivos NO e E: Paulo NO tem carro E Paulo tem moto.
O conectivo NO est sendo usado apenas para negar o carro, no valendo para a moto. Ou seja,
o conectivo no est restrito 1 componente da conjuno.
Tipo: Conjuno 1 Compon.: Paulo no tem carro
2 Compon.: Paulo tem moto
Linguagem simblica: ~ p q
c) Paulo tem carro mas no tem moto
d) Paulo no tem carro nem moto
e) No verdade que Paulo tenha carro e moto
f) O sol no frio, mas Paulo tem moto
g) O sol no frio e Paulo no tem moto
h) No verdade que Paulo seja engenheiro ou advogado
i) Paulo no tem carro ou moto
j) Paulo no tem carro ou tem moto
k) Paulo engenheiro, mas Joo no

GABARITO (apenas dos tipos, falta indicar as componentes e traduzir para a linguagem simblica):

c) conjuno f) conjuno i) negao

d) conjuno g) conjuno j) disjuno
e) negao h) negao k) conjuno
2. Para cada proposio abaixo, diga qual o seu tipo e traduza para linguagem corrente, usando as
letras proposicionais definidas anteriormente:

a) ~ (c n)

b) ~ c n

c) c ~ n

d) ~ c ~ n
 LGICA MATEMTICA PROF. JLIO SILVEIRA
NOTAS DE AULA 14

VALOR LGICO DE PROPOSIES COMPOSTAS:

Ao avaliarmos uma proposio com vrios operadores, devemos obedecer a ORDEM DE

AVALIAO. Primeiro avaliamos os operadores de maior precedncia (cuja ordem j vimos
anteriormente). Esta ordem pode ser alterada apenas com o uso de parnteses. Prosseguimos passo a
passo, avaliando um operador por vez. Veja os exemplos abaixo.

Exemplo 1: ~ ( V F ) Primeiro avaliamos a conjuno

~F Depois avaliamos a negao
V Valor lgico da proposio
Exemplo 2: ~V F Primeiro a negao
F F Depois a conjuno
F
Um erro comum consiste em aplicar a propriedade distributiva inexistente em operadores
lgicos. Veja uma RESOLUO ERRADA do Exemplo 1.

Exemplo 3: ~ ( V F ) A mesma expresso do Exemplo 1.

~F ~V ERRADO: tentamos aplicar a distributividade do operador ~
V F
F ERRADO. Observe que o valor final diferente ao do Ex 1.

Por vezes, no precisamos saber o valor de todas as componentes ao avaliarmos uma expresso.
Veja exemplos abaixo, onde ? significa um valor lgico (V ou F) desconhecido.
Exemplo 4: ~ ( ? F )
~F
V Valor da proposio
Exemplo 5: ~ ( ? F )
~?
? Indeterminado: no d para afirmar se V ou F.
EXERCCIOS A SEREM RESOLVIDOS EM SALA:

3. Para cada proposio abaixo, traduza para a linguagem simblica e determine seu valor lgico:
Verdadeiro, Falso ou Indeterminado.
a) O sol frio ou a Terra redonda e) No est chovendo nem o sol frio
b) No est chovendo nem nevando f) Est chovendo, mas o sol no frio
c) Embora o sol no seja frio, a Terra redonda g) No verdade que a Terra no redonda
d) Joo tem carro e a Terra no redonda
4. Classifique as proposies a seguir: simples, negao, conjuno, disjuno, implicao, ou
biimplicao. Para as proposies compostas, indique suas componentes (veja o exemplo).
a) Carlos no tem dinheiro e namorada
b) Carlos no tem dinheiro nem namorada
c) Carlos no tem dinheiro mas tem namorada
d) Carlos tem namorada, Pedro no
 LGICA MATEMTICA PROF. JLIO SILVEIRA
NOTAS DE AULA 15

e) Carlos no tem dinheiro ou namorada

f) Carlos no tem dinheiro ou tem namorada
g) Carlos no tem namorada, nem Pedro
h) Carlos no tem namorada, mas Pedro tem
i) Carlos e Pedro no tm namorada
j) falso que Carlos e Pedro tm namorada
k) No verdade que Carlos ou Pedro tenham namorada
l) Jlio matemtico, no engenheiro
m) Jlio no matemtico e engenheiro
n) No verdade que Jlio seja matemtico ou engenheiro
o) No verdade que Jlio seja matemtico e que Carlos no seja
GABARITO (contendo apenas os tipos, indiquem tambm as componentes):
a) negao. Sent. Negada: __________________________________________
b) conjuno. 1 comp.: ________________________ 2 comp.: _________________________
c) conjuno. 1 comp.: ________________________ 2 comp.: _________________________
d) conjuno. 1 comp.: ________________________ 2 comp.: _________________________
e) negao. Sent. Negada: __________________________________________
f) disjuno 1 comp.: ________________________ 2 comp.: _________________________
g) conjuno
h) conjuno
i) conjuno
j) negao
k) negao
l) conjuno
m) negao
n) negao
o) negao

2.4 IMPLICAO (ou CONDICIONAL): temos 2 componentes, chamadas antecedente e consequente

a) Em portugus, formamos uma implicao com o conectivo SE ENTO

Forma bsica: SE antecedente ENTO consequente
Observe a figura abaixo. Dizemos que:
o antecedente condio suficiente para o consequente
o consequente condio necessria para o antecedente
Formas alternativas para a sentena SE antec ENTO conseq:
 LGICA MATEMTICA PROF. JLIO SILVEIRA
NOTAS DE AULA 16

SE antec, conseq
conseq
conseq, SE antec
QUANDO antec, conseq
conseq, QUANDO antec antec
antec IMPLICA conseq
antec ACARRETA conseq
PARA antec NECESSRIO conseq
antec SUFICIENTE PARA conseq
conseq, SE antec
antec SOMENTE SE conseq

Exemplos:

SE Paulo tem carro ENTO tem moto

Paulo
antec: Paulo tem carro tem Moto
conseq: Paulo tem moto
SE Paulo tem carro, Paulo tem carro Paulo tem Carro
Paulo tem moto SE tem carro
antec: Paulo tem carro
conseq: Paulo tem moto
QUANDO tem carro, Paulo tem moto
Paulo tem moto QUANDO tem carro
Paulo tem carro IMPLICA que ele tem moto
Paulo tem carro ACARRETA ele ter moto

PARA Paulo ter carro NECESSRIO ter moto

Paulo ter carro SUFICIENTE PARA que tenha moto
Paulo tem moto SE tem carro Relembrando: depois do SE temos o antecedente
Paulo tem carro SOMENTE SE tem moto Relembrando:
depois do SOMENTE SE temos o consequente

Outros Exemplos:
Se Carlos tem namorada ento feliz.
antec: Carlos tem namorada
conseq: Carlos feliz
Carlos tem dinheiro implica que Carlos feliz.
antec: Carlos tem dinheiro
conseq: Carlos feliz
Quando tem dinheiro, Carlos tem namorada.
antec:
conseq:
Carlos feliz se tem dinheiro.
antec:
conseq:
 LGICA MATEMTICA PROF. JLIO SILVEIRA
NOTAS DE AULA 17

Carlos feliz somente se tem dinheiro

anteced:
conseq:

Uma implicao no obriga a existncia de nenhuma conexo lgica entre o antecedente e o

consequente. Por exemplo, a proposio
SE a Terra redonda ENTO Paulo tem moto
uma implicao vlida (independente de ser verdadeira ou falsa), pois o antecedente e o consequente
esto bem caracterizados como sentenas lgicas.
Uma implicao apenas afirma a existncia de uma vinculao entre os valores lgicos do
antecedente e do consequente; qual seja: SE O ANTECEDENTE FOR V, O CONSEQUENTE TAMBM SER V.
Observe que esta vinculao s afirmada para o antecedente Verdadeiro; e desta forma teremos as
seguintes situas:
v(ant) = V e v(cons) = V: a vinculao ocorre na realidade, e a implicao ter valor V;
v(ant) = V e v(cons) = F: a vinculao no foi satisfeita, e a implicao ter valor F;
v(ant) = F: esta condio no obriga a vinculao, e a implicao ter valor V.

b) Na notao simblica, usamos o operador lgico

Exemplo:
Na linguagem corrente: P: Paulo tem moto SE tem carro
Na Forma Bsica: P: SE Paulo tem carro ENTO Paulo tem moto
Na notao simblica: P: p q

O valor lgico de uma implicao depende do valor de suas duas componentes:

v(p q) = v(p) v(q) Tabela-verdade:
Temos ento quatro possibilidades: p q p q
V V = V V V V
V F = F V F F
F V = V F V V
F F = V F F V

Mais uma vez, extrado do livro texto (do autor Edgard de Alencar Filho):
 LGICA MATEMTICA PROF. JLIO SILVEIRA
NOTAS DE AULA 18

2.5 BIIMPLICAO (ou BICONDICIONAL): duas componentes 1 componente e 2 componente

a) Em portugus, formamos uma biimplicao com o conectivo SE E SOMENTE SE

Forma bsica: 1 componente SE E SOMENTE SE 2 componente
O nome biimplicao se deve ao fato de termos duas implicaes implicita e simultaneamente
formadas. Como exemplo, consideremos a sentena abaixo:

Paulo tem carro SE E SOMENTE SE tem moto

A sentena Paulo tem carro se e somente se tem moto pode ser desmembrada em duas implicaes:

Paulo tem carro SE Paulo tem moto Simbolicamente: q p

consequente antecedente

Paulo tem carro SOMENTE SE Paulo tem moto Simbolicamente: p q

antecedente consequente

b) Na notao simblica, usamos o operador lgico para indicar as implicaes nos dois sentidos
Exemplo:
Na linguagem corrente: P: Paulo tem carro SE E SOMENTE SE tem moto
Na Forma Bsica: P: Paulo tem carro SE E SOMENTE SE Paulo tem moto
Na notao simblica: P: p q

O valor lgico de uma biimplicao depende do valor de suas duas componentes, e ser Verdade
apenas se as duas implicaes implcitas forem ambas verdadeiras:
v(p q) = v(p) v(q) Tabela-verdade:
Temos ento quatro possibilidades: p q p q
V V = V V V V
V F = F V F F
F V = F F V F
F F = V F F V

2.6 CLASSIFICAO E AVALIAO DE PROPOSIES COM VRIOS CONECTIVOS/OPERADORES

Tabela completa de precedncia com todos os operadores:

MAIOR precedncia MENOR nvel: ~ NEGAO

CONJUNO e DISJUNO
IMPLICAO
MENOR precedncia MAIOR nvel: BIIMPLICAO

Como j visto, o tipo de uma proposio que contm vrios conectivos/operadores sempre
determinado pelo conectivo/operador de maior nvel, ou seja, o operador que ser avaliado por ltimo.
Vejamos nos exemplos a seguir.
 LGICA MATEMTICA PROF. JLIO SILVEIRA
NOTAS DE AULA 19

EXERCCIOS COMENTADOS:

Alm das proposies j definidas no incio deste captulo, considere tambm as proposies
Paulo tem namorada e Paulo rico. Vejamos todas ento:

p: Paulo tem carro q: Paulo tem moto

e: Paulo engenheiro a: Paulo advogado
u: Paulo tem namorada v: Paulo rico
r: a Terra redonda c: Est chovendo
s: o Sol frio n: Esta nevando
x: Joo tem carro y: Joo engenheiro

5. Baseado nas letras proposicionais definidas acima:

i. Classifique as proposies a seguir, indicando suas componentes;

ii. Escreva-as na linguagem simblica SEM a utilizao de parnteses desnecessrios.

a) Se Paulo tem carro e moto ento tem namorada

i. A sentena comea com a palavra SE, indicativa de implicao. Desta forma, temos:

Tipo: implicao antec: Paulo tem carro e moto

conseq: Paulo tem namorada.

ii. Comeamos com o operador da implicao, e depois escrevemos suas componentes:

p q u

Observe que a conjuno se restringe ao antecedente. Como o operador da conjuno tem

precedncia sobre a implicao, no precisamos utilizar parnteses:
Resp. p q u implicao: o operador deve ser avaliado depois de

b) Paulo tem carro, e se tem moto ento tem namorada

i. Existe uma implicao, mas restrita segunda parte da sentena. Desta forma, temos:

Tipo: conjuno 1 comp.: Paulo tem carro

2 comp.: Se Paulo tem moto ento tem namorada.
ii. Comeamos com o operador da conjuno, depois escrevemos suas componentes:

p qu Vamos observar a ordem de avaliao!

ATENO: a implicao deve ser avaliada antes, e devemos utilizar parnteses para indicar
que a conjuno ser feita posteriormente:
Resp. p (q u) conjuno: o operador deve ser avaliado depois de
 LGICA MATEMTICA PROF. JLIO SILVEIRA
NOTAS DE AULA 20

c) Se Paulo no tem carro ento tem namorada

i. A sentena comea com a palavra SE, indicativa de implicao. Desta forma, temos
Tipo: implicao antec: Paulo no tem carro
conseq: Paulo tem namorada.
ii. Comeamos com o operador da implicao, e depois escrevemos suas componentes:
~p u

Observe que a negao est restrita ao antecedente. Devemos portanto avaliar a negao antes da
implicao. Como a implicao tem menor precedncia, teremos:
Resp. ~p u implicao: o operador deve ser avaliado depois de ~

d) falso que se Paulo tem carro ento tem namorada

i. A sentena comea com a palavra FALSO QUE, indicativa de negao. Observe que a
sentena negada comea com a palavra SE, indicativa de implicao. Desta forma, temos:
Tipo: negao sent. neg: se Paulo tem carro e moto ento tem namorada
ii. Comeamos com o operador da negao, que deve ser avaliado por ltimo. Desta forma,
todos os operadores de menor precedncia devem estar entre parnteses:
Resp. ~(p u) negao: o operador ~ deve ser avaliado por ltimo

e) Se Paulo no tem carro e moto ento tem namorada

i. A sentena comea com a palavra SE, indicativa de implicao. Desta forma, temos
Tipo: implicao antec: Paulo no tem carro e moto
conseq: Paulo tem namorada.

ii. Comeamos com o operador da implicao, e depois escrevemos suas componentes

~(p q) u Observe que o antecedente uma negao!

Observe que a negao est restrita ao antecedente. Devemos portanto avaliar a negao antes
da implicao. Como a implicao tem menor precedncia, teremos:

Resp. ~(p q) u implicao: o operador deve ser avaliado depois de ~

 LGICA MATEMTICA PROF. JLIO SILVEIRA
NOTAS DE AULA 21

f) Se Paulo no tem carro mas tem moto ento tem namorada

i. A sentena comea com a palavra SE, indicativa de implicao. Desta forma, temos

Tipo: implicao antec: Paulo no tem carro mas tem moto

conseq: Paulo tem namorada.

ii. Comeamos com o operador da implicao, e depois escrevemos suas componentes:

~p q u Observe que o antecedente uma conjuno!

Observe que a conjuno est restrita ao antecedente. Devemos portanto avaliar a conjuno
antes da implicao. Como a implicao tem menor precedncia, teremos:

Resp. ~p q u implicao: o operador deve ser avaliado depois de

g) falso que se Paulo tem carro e moto ento tem namorada

i. A sentena comea com a expresso FALSO QUE, indicativa de negao. Depois desta
expresso, temos ento a sentena negada. Observe que a sentena negada comea com a
palavra SE, indicativa de implicao. Desta forma, temos:

Tipo: negao sent. neg.: se Paulo tem carro e moto ento tem namorada

ii. Comeamos com o operador da negao, que deve ser avaliado por ltimo. Desta forma, todos
os operadores de menor precedncia devem estar entre parnteses:

Resp. ~(p q u) negao: o operador ~ deve ser avaliado por ltimo

Agora faa voc:

h) Paulo no tem carro e moto se rico

i) Paulo no tem carro e moto somente se rico
j) Paulo no tem carro e moto se e somente se rico
k) Paulo no tem carro, mas se tem moto ento rico
l) falso que se a Terra redonda ento est chovendo ou nevando
m) Se a Terra no redonda, ento no est chovendo e nevando
n) Se a Terra no redonda, ento no est chovendo mas sim nevando.

AVALIAO DE EXPRESSES COM VRIOS OPERADORES:

Ao avaliarmos uma proposio composta com vrios operadores, devemos primeiro verificar o
valor lgico de cada uma das proposies simples envolvidas.
 LGICA MATEMTICA PROF. JLIO SILVEIRA
NOTAS DE AULA 22

A seguir, devemos avaliar um operador de cada vez, obedecendo sempre a ORDEM DE

AVALIAO. Assim, primeiro avaliamos os operadores de maior precedncia (ou dentro de parnteses),
e prosseguimos passo a passo, at avaliarmos o ltimo operador.
Veja os exemplos abaixo, onde o valor lgico das proposies simples j esto definidos.

1) ~V F F implicao: o operador deve ser avaliado por ltimo

Devemos primeiro avaliar o antecedente, que uma conjuno entre as componentes ~ V e F.
~V F F primeiro avaliamos ~ V
F F F agora devemos avaliar a conjuno
F F = V Por fim, avaliamos a implicao como Verdadeira
2) ~V (F F) conjuno: o operador deve ser avaliado por ltimo
~V (F F) primeiro avaliamos ~ V
F (F F) agora devemos avaliar a implicao
F V = F Por fim, avaliamos a conjuno como Falsa
EXERCCIO COMENTADO:

6. Sejam quatro proposies quaisquer a, b, c e d, tais que v (a c) = V e v (b ~c) = V.

Calcule v (~a d c) = ? VERDADEIRO ( ) FALSO ( ) INDETERMINADO ( )
JUSTIFIQUE SUA RESPOSTA.

i. Sabemos que a c = V, mas nada podemos concluir sobre v(a) ou sobre v(c), porque temos
trs possibilidades para o valor V em uma implicao: antecedente F e consequente V, ou
ambos verdadeiros, ou ambos falsos.
ii. Sabemos que a conjuno b ~c = V. Uma conjuno s verdadeira se ambas as
componentes forem verdadeiras. Logo, temos v(b) = V e v(~c) = V. Consequentemente temos
v(c) = F.
iii. Voltamos agora sentena a c = V. J sabemos que v(c) = F; ou seja, o consequente
falso. Para que a implicao seja verdadeira temos obrigatoriamente v(a) = F.
iv. Concluindo, temos v(a) = F, v(b) = V, v(c) = F, e v(d) = ? nada sabemos sobre d.
v. Tentemos agora calcular o valor lgico de ~a d c, que uma biimplicao:
~a d c
~F ? F
V ? F Observe que a disjuno verdadeira, mesmo desconhecendo v(d)!
V F = FALSO
2.7 EXERCCIOS

1. No Material Didtico do AVA: Lista de Exerccios

2. Na Midiateca do AVA: Exerccios do Livrotexto, Captulo 2.
 LGICA MATEMTICA PROF. JLIO SILVEIRA
NOTAS DE AULA 23

CAPTULO 3. CONSTRUO DE TABELASVERDADE

At aqui, estudamos como classificar proposies compostas, traduz-las para a linguagem

simblica, e tambm avaliar seu valor lgico, a partir dos valores de suas componentes atmicas.
Podemos tambm analisar proposies compostas, mesmo desconhecendo os valores de suas
componentes. Montamos uma tabela onde todas as possibilidades de valorao conjunta de suas
componentes atmicas so listadas, uma em cada linha, e verificamos o valor lgico da proposio
estudada para cada uma das possibilidades. Alguns exemplos do que denominamos tabelaverdade, j
foram vistos quando estudamos os operadores lgicos.
Veremos agora como construir tabelasverdade de proposies lgicas mais complexas, que
contenham vrios operadores lgicos distintos.
3.1 CONSTRUO DE UMA TABELAVERDADE

O primeiro passo para a construo da tabelaverdade identificar o nmero de variveis em

uma proposio. Chamamos de variveis as componentes atmicas distintas que aparecem em uma
proposio composta.
Ex.: P(p,q,r) = p ~q ~r ~q A proposio P funo de 3 variveis: p, q e r.
Enumeramos ento as variveis, uma em cada coluna, e identificamos todas as valoraes
conjuntas das variveis envolvidas, listandoas em linhas subseqentes. Para cada valorao, devemos
calcular cada um dos operadores em colunas adicionais na tabelaverdade. Vejamos alguns exemplos:
EXEMPLOS:

(1) P(p,q) = ~ (p ~ q) p q ~q p ~q ~(p ~q)

V V F F V
3 2 1 V F V V F
F V F F V
F F V F V

Onde x significa a ordem de avaliao do operador avaliado (e tambm a ordem da sua coluna).

(2) P(p,q) = ~ (p q) ~ (q p) p q pq ~(p q) qp ~(q p) ~(p q) ~(q p)

V V V F V F F
2 1 5 4 3 V F F V F V V
F V F V F V V
F F F V V F V

Note que a enumerao dos valores conjuntos de p e q sistemtica. Primeiro consideramos

v(p) = V, variando v(q) entre V e F; depois consideramos v(p) = F, e novamente variamos v(q). Assim,
cobrimos todas as possibilidades de valorao conjunta: Para 2 variveis, temos 4 possibilidades.
A ordem de avaliao dos operadores no necessariamente nica: em alguns casos, podemos
avaliar uma proposio (ou construir sua tabelaverdade) resolvendo seus operadores segundo ordens
alternativas. Tente construir a tabela-verdade do exemplo (2) como sugerido no exerccio a seguir.
 LGICA MATEMTICA PROF. JLIO SILVEIRA
NOTAS DE AULA 24

(2) P(p,q) = ~ (p q) ~ (q p) p q
V V
3 1 5 4 2 V F
F V
F F

Observe que ao construir a tabelaverdade acima, houve apenas um rearranjo na sequncia das
colunas em relao primeira soluo. Vejamos agora um exemplo com 3 variveis, onde a sequncia
das colunas da reflete a ordem de avaliao dos operadores.

(3) P(p,q,r) = p ~r q ~r p q r ~r p ~r q ~r p ~r q ~r
V V V F V F F
V V F V V V V
V F V F V F F
V F F V V F F
F V V F F F V
F V F V V V V
F F V F F F V
F F F V V F F

No exemplo acima, temos 5 operadores a serem avaliados, mas apenas 4 colunas contendo
expresses so apresentadas. Neste caso, a operao ~r, que ocorre duas vezes na expresso de P, no
precisa ser avaliada novamente (gerando apenas uma coluna) no clulo da coluna relativa a q ~r.
3.2 NMERO DE LINHAS DE UMA TABELAVERDADE

Nos primeiros exemplos temos proposies compostas contendo 2 variveis, gerando uma tabela
com 4 linhas. O terceiro exemplo apresenta uma tabela composta com 3 variveis e 8 linhas. Podese
mostrar que, a cada nova varivel, dobrase a quantidade de linhas na tabela.
Como concluso, o nmero de linhas de uma tabelaverdade uma funo da quantidade de
variveis. Podese provar que, para uma proposio com n variveis, sua tabelaverdade contm 2n
linhas. Vejamos mais exemplos, alguns deles propostos como exerccios:
(4) (p q) (q r) (p r)

p q r pq qr (p q) (q r) pr (p q) (q r) (p r)
V V V V V V V V
V V F V F F F V
V F V F V F V V
V F F F V F F V
F V V V V V V V
F V F V F F V V
F F V V V V V V
F F F V V V V V
 LGICA MATEMTICA PROF. JLIO SILVEIRA
NOTAS DE AULA 25

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

p q r
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F

(6) p ~q ~r q

p q r
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F

3.3 EXERCCIOS

1. No Material Didtico do AVA: Lista de Exerccios

2. Na Midiateca do AVA: Exerccios do Livrotexto, Captulo 3, pg 3942.

3. Para as tabelasverdade a seguir, escreva as proposies representadas em linguagem simblica:

p q P Q R p q r X Y
V V F V F V V V V V
V F V V V V V F F F
F V V F V V F V F V
F F V V F V F F F V
F V V V V

a) P(p,q) = F V F V V
F F V V V
b) Q(p,q) = F F F V V

c) R(p,q) =
d) X(p,q,r) =

e) Y(p,q,r) =
 LGICA MATEMTICA PROF. JLIO SILVEIRA
NOTAS DE AULA 26

GABARITO do ex 3.: a) P = ~(p q) ou P = ~p ~q d) X = p qr

b) Q = q p ou P = p ~q e) Y = r
c) R = ~(p q)
COMPLETE VOC!

RESOLUAO: Livro-texto, exerccio 13), pg 41:

41) Sabendo que v (p q) = V determinar o valor lgico das proposies:

a) p r q r = ? RESOLUO:
p q r pr qr prqr pq
V V V V V V ok V
V V F V V V ok V
V F V V V V F
V F F V F F F
F V V V V V ok V
F V F F V V ok V
F F V V V V ok V
F F F F F V ok V

A tabela-verdade da
proposio p r q r tem oito linhas, sendo que sete delas tm valor lgico V, mas uma
Falsa. No poderamos, portanto, afirmar qual o seu valor lgico, que seria Indeterminado.
Entretanto, o problema parte da condio v (p q) = V, que no satisfeita em duas linhas da
tabelaverdade. Temos ento que desconsiderar estas linhas (possibilidades), e apenas verificar
qual o valor de p r q r nas seis linhas onde a condio satisfeita. Em todas estas linhas,
temos o valor V. Logo:
prqr = V
b) p r q r = RESOLVA VOC!

CAPTULO 4. TAUTOLOGIAS, CONTRADIES E CONTINGNCIAS

A partir da construo de tabelasverdade, podemos classificar toda proposio lgica (que

dependa de uma ou mais variveis) como tautologia, contradio ou contingncia.
4.1 TAUTOLOGIA

Uma tautologia uma proposio que sempre verdadeira: para todas as possibilidades de
valorao de suas variveis, esta tem valor lgico V em toda a ltima coluna da sua tabelaverdade.
EXEMPLOS:

(1) P = ~ (p ~ p) p ~p p ~p ~(p ~p)

V F F V
F V F V
 LGICA MATEMTICA PROF. JLIO SILVEIRA
NOTAS DE AULA 27

Podemos concluir que a proposio P do ex (1) uma tautologia sem consultas a tabelaverdade:
a) As proposies p e ~p certamente tm valores lgicos diferentes;
b) A proposio p ~ p uma conjuno entre valores diferentes, um V e um F, ou seja, seu
valor lgico certamente F;
c) P a negao da proposio p ~ p, e seu valor V, independente do valor lgico de p.

(2) P = p ~ p p ~p p ~p
V F V
F V V

Analisando a proposio P, sem construir sua tabelaverdade:

a) As proposies p e ~p certamente tm valores lgicos diferentes;
b) A proposio p ~ p uma disjuno entre valores diferentes, um V e um F. Seu valor lgico
certamente V, independente do valor de p: a proposio P tautolgica.

(3) P = p ~ (p q) p q pq ~(p q) p ~(p q)

V V V F V
V F F V V
F V F V V
F F F V V

Analisando a proposio P (que uma disjuno), sem construir sua tabelaverdade:

a) Se v(p) = V, a disjuno tem sua 1 componente verdadeira, e P tem valor lgico V;
b) Se v(p) = F, a conjuno p q tem valor lgico F, e sua negao ~(p q) tem valor lgico V.
Neste caso, a disjuno tem sua 2 componente verdadeira, e P tem valor lgico V.
c) Para qualquer valor de p, vemos que a proposio P uma tautologia.

(4) P = p q (p q) p q pq pq p q (p q)
V V
V F
F V
F F

Como exerccio, construa a tabelaverdade da proposio acima, e verifique que P tautolgica.

Analisando a proposio P (que uma implicao), sem construir sua tabelaverdade:
a) Se v(p q) = F, o antecedente da implicao Falso, e a implicao tem valor lgico V;
b) Se v(p q) = V, temos obrigatoriamente v(p) = V e v(q) = V. Neste caso, v(p q) = V, e a
proposio P tem valor lgico: v(V V) = V.
c) Em ambos as situaes acima, v(P) = V, sendo P uma tautologia.
 LGICA MATEMTICA PROF. JLIO SILVEIRA
NOTAS DE AULA 28

Como exerccio, construa as tabelasverdade das proposies a seguir; mas tente analisar cada
exemplo sem o uso da tabelaverdade, verificando que cada uma delas tautolgica.
(5) p (q ~q) p p q
V V
V F
F V
F F

Analise a biimplicao (5), verificando que esta tautolgica, SEM USAR a tabelaverdade.
Resp.:

(6) p r ~q r p q r
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F

Analise a proposio (6), verificando que esta tautolgica, SEM USAR a tabelaverdade.
Resp.:

(7) ((p q) r) (p (q r)) p q r

V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
 LGICA MATEMTICA PROF. JLIO SILVEIRA
NOTAS DE AULA 29

Analise a proposio (7), verificando que esta tautolgica, SEM USAR a tabelaverdade.
Resp.:

4.2 CONTRADIO

Uma contradio uma proposio que sempre falsa: para todas as possibilidades de
valorao de suas variveis, esta tem valor lgico F em toda a ltima coluna da sua tabelaverdade.
EXEMPLOS:

(1) P = p ~ p p ~p p ~p
V F F
F V F

Podemos concluir que a proposio P uma contradio sem construir sua tabelaverdade:
a) As proposies p e ~p certamente tm valores lgicos diferentes;
b) A proposio p ~ p uma conjuno entre valores diferentes, um V e um F, sendo ento
seu valor lgico F, independente do valor de p. Logo, P uma contradio.

(2) P = p ~ p p ~p p ~p
V F F
F V F

Analisando a proposio P, sem construir sua tabelaverdade:

a) As proposies p e ~p certamente tm valores lgicos diferentes;
b) A biimplicao p ~ p tem componentes cujos valores so distintos, um V e um F. Seu
valor lgico certamente F, independente do valor de p; e P ento uma proposio
contraditria.

(3) P = (p q) ~(p q) p q
V V
V F
F V
F F

Construa a tabelaverdade da conjuno acima, verificando que P uma contradio.

Analisando a proposio (3) (que uma conjuno), sem construir sua tabelaverdade:
 LGICA MATEMTICA PROF. JLIO SILVEIRA
NOTAS DE AULA 30

a) Se v(p q) = F, a esta 1 componente torna a conjuno falsa;

b) Se v(p q) = V, temos obrigatoriamente v(p) = V e v(q) = V.
Neste caso, a conjuno p q tem valor V, e sua negao ~(p q) falsa.
Neste caso, a conjuno P tambm tem valor lgico F.
c) Em ambos as situaes acima, v(P) = F, sendo P uma contradio.

Como exerccio, construa as tabelasverdade da proposio a seguir; mas tente analisar o

exemplo sem o uso da tabelaverdade, verificando que se trata de uma proposio contraditria.

(4) ~p (p ~q) p q
V V
V F
F V
F F

Analise a proposio acima,

verificando que esta uma contradio, SEM USAR a tabelaverdade.
Resp.:

4.3 CONTINGNCIA

Uma contingncia (ou proposio contingente) pode ser verdadeira ou valsa: sua tabelaverdade
apresenta pelo menos um valor lgico V e pelo menos um valor lgico F. Desta forma, sem outras
informaes sobre os valores lgicos de suas variveis, seu valor Indeterminado.
EXEMPLOS:
(1) P = p ~ p p ~p p ~p
V F F
F V V

Podemos concluir que a proposio P uma contingncia sem construir sua tabelaverdade.
Como p e ~p tm valores distintos, temos duas situaes possveis:
a) Se p verdadeira, temos: v(P) = v(V F) = F;
b) Se p falsa, temos: v(P) = v(F V) = V;
c) Concluso: p ~ p uma contingncia.
 LGICA MATEMTICA PROF. JLIO SILVEIRA
NOTAS DE AULA 31

(2) P = p q p p q
V V
V F
F V
F F

Podemos concluir que a proposio P uma contingncia sem construir sua tabelaverdade. Se
considerarmos v(p) = F, temos duas situaes possveis:
a) Se v(q) = F, a disjuno p q falsa, e temos a implicao F F com valor lgico V;
b) Se v(q) = V, a disjuno p q verdaeira, e temos a implicao v F com valor lgico F;
c) Concluso: a implicao P uma proposio contingente.

4.4 EXERCCIOS

1. No Material Didtico do AVA: Lista de Exerccios

2. Na Midiateca do AVA: Exerccios do Livrotexto, Captulo 4, pg 48.
3. Classifique cada uma das proposies a seguir como tautologia, contradio ou contingncia.
Tente analisar e classificar cada proposio SEM A UTILIZAO de tabelaverdade.
a) pp h) p ~p o) pqpr
b) pp i) pqpq p) p ~p q
c) pqp j) pqpq q) pqqp
d) ppq k) pqqp r) (p q) (q r) (p r)
e) ppq l) p ~p q ~q s) ~(p q) ~p ~q
f) pqp m) pqpq t) ~(p q) ~p ~q
g) p ~p n) pqpr u) p ~p q ~q
GABARITO:

a) CONTINGNCIA h) CONTINGNCIA o) CONTINGNCIA

b) CONTINGNCIA i) TAUTOLOGIA p) TAUTOLOGIA
c) TAUTOLOGIA j) CONTINGNCIA q) CONTINGNCIA
d) CONTINGNCIA k) TAUTOLOGIA r) TAUTOLOGIA
e) TAUTOLOGIA l) CONTRADIO s) CONTINGNCIA
f) CONTINGNCIA m) CONTINGNCIA t) TAUTOLOGIA
g) CONTRADIO n) TAUTOLOGIA u) CONTRADIO
 LGICA MATEMTICA PROF. JLIO SILVEIRA
NOTAS DE AULA 32

CAPTULO 5. IMPLICAO LGICA

Considere as proposies:
P = Joo tem carro E moto; e Q = Joo tem carro OU moto.
Sabemos intuitivamente que, se Joo tem carro e moto, ento podemos afirmar que ele tem carro
ou moto. Ou seja, sempre que P for Verdade, certamente Q tambm ser. Neste caso, dizemos que:
Joo ter carro e moto IMPLICA (ou IMPLICA LOGICAMENTE) Joo ter carro ou moto

Vejamos melhor este exemplo, analisando as proposies em linguagem simblica. Considere as

seguintes letras proposicionais:
p: Paulo tem carro
q: Paulo tem moto
P: Paulo tem carro e moto P=pq
Q: Paulo tem carro ou moto Q=pq

Vamos considerar agora as seguintes situaes:

a) Se v(p q) = V: se a conjuno p q verdadeira, certamente ambas, p e q, so verdadeiras.
Podemos concluir que a disjuno p q tambm verdadeira. Ou seja, podemos afirmar que:
sempre que p q for verdade, certamente p q tambm ser verdade
Neste caso, a implicao P Q verdadeira, pois o antecedente p q e o consequente
p q so ambos verdadeiros.
b) Se v(p q) = F: Neste caso, a implicao P Q verdadeira pois o antecedente falso.
Da anlise acima, conclumos que a afirmao
sempre que p q for verdade, certamente p q verdade
equivale a afirmar que a proposio p q p q uma tautologia
5.1 DEFINIO: IMPLICAO LGICA

Sejam duas proposies P e Q so tais que, sempre que P for verdadeira, Q tambm verdadeira,
dizemos ento que P implica (ou implica logicamente) Q, e notamos:
P Q
Teorema Afirmar que P Q o mesmo que afirmar que P Q uma tautologia.
De fato, se v(P) = V tivermos necessariamente v(P) = V, ento P Q uma tautologia, como j
visto no incio deste captulo.
Pode se tambm demonstrar a recproca. Suponhamos que a implicao P Q tautolgica.
Logo, toda vez que v(P) =V, certamente teremos v(Q) = V, pois se a consequente falsa anularia a
hiptese de que a implicao uma tautologia.
EXEMPLOS:
 LGICA MATEMTICA PROF. JLIO SILVEIRA
NOTAS DE AULA 33

(1) p q p q p q pq pq pq pq pq pq
V V V V V V
p q implica logicamente p q V F F V V F
p q no implica logicamente p q F V F V V F
F F F F V V

No exemplo acima, podemos ver que na

tabelaverdade existem duas possibilidades em que v(p q) = V, mas v(p q) = F. Desta forma, temos
que p q no implica logicamente p q, pois nestes casos o valor lgico da proposio
p q p q F, no sendo uma tautologia.
Podemos analisar o exemplo (2) sem o auxlio da tabelaverdade:
A disjuno p q pode ser verdadeira se v(p) =V e v(q) =F. Mas neste caso, a conjuno
p q seria falsa. Temos portanto que p q NO implica logicamente p q.
Nos exemplos a seguir, verifique as implicaes lgicas atravs da tabelaverdade. Tente
tambm analisar cada um dos exemplos sem o auxlio da tabelaverdade.

(2) P = p q p q P Q P Q Q P
Q= pq V V

P Q ? ______ V F
F V
Q P ? ______
F F

Verifique se existem as implicaes lgicas acima, SEM USAR a tabelaverdade.

PQ? QP?
 LGICA MATEMTICA PROF. JLIO SILVEIRA
NOTAS DE AULA 34

(3) P = p q p q
Q= pq
V V
R= qp
V F
P Q ? ______ F V
Q P ? ______
F F
P R ? ______

Verifique se existem as implicaes lgicas acima, SEM USAR a tabelaverdade.

PQ? QP?

PR?

(4) (p q) ~p q ? ______ p q
V V
V F
F V
F F

Verifique se existe a implicao lgica acima, SEM USAR a tabelaverdade.

5.2 EXERCCIOS: Na Midiateca do AVA: Exerccios do Livrotexto, Captulo 5, pg 54.

 LGICA MATEMTICA PROF. JLIO SILVEIRA
NOTAS DE AULA 35

CAPTULO 6. EQUIVALNCIA LGICA

Considere as proposies:
P = Joo NO tem carro E moto; e Q = Joo NO tem carro OU NO tem moto.
Vejamos as proposies acima em linguagem simblica:
p: Paulo tem carro
q: Paulo tem moto
P: Paulo no tem carro e moto P = ~(p q)
Q: Paulo no tem carro ou no tem moto Q = ~p ~q

Verificando as possveis implicaes lgicas P Q e Q P, vemos que:

(1) P = ~(p q) p q pq P ~p ~q Q P Q Q P P Q
Q = ~p ~q V V V F F F F V V V

PQ pois P Q tautologia V F F V F V V V V V
F V F V V F V V V V
QP pois Q P tautologia
F F F V V V V V V V

Quando duas proposies P e Q so tais que P Q e Q P, dizemos que elas so logicamente

equivalentes. Ou tambm que: P logicamente quivalente a Q ou Q logicamente quivalente a P.
6.1 DEFINIO: EQUIVALNCIA LGICA

Sejam duas proposies P e Q so tais que P implica logicamente Q e Q implica logicamente P,

ou seja P Q e Q P. Neste caso, dizemos que P e Q so logicamente equivalentes, e notamos:
P Q
Teorema Afirmar que P Q o mesmo que afirmar que P Q uma tautologia, ou seja,
que suas tabelasverdade tm os mesmos valores lgicos.
De fato, se P e Q apresentarem valores distintos na tabelaverdade, uma das duas proposies
P Q ou Q P ter valor F. Assim, uma das duas implicaes lgicas P Q ou Q P no
ocorrer. Desta forma, para que P e Q sejam equivalentes, eles dever ter necessariamente os mesmos
valores lgicos.
EXEMPLOS RESOLVIDOS EM AULA:

(2) P = ~(p q) p q pq P ~p ~q Q P Q Q P P Q
Q = ~p ~q V V

P Q ? ______ V F
F V
Q P ? ______
F F
Q P ? ______
Nos exemplos a seguir, verifique as equivalncias lgicas atravs da tabelaverdade. Tente
tambm analisar cada um dos exemplos SEM O AUXLIO da tabelaverdade.
 LGICA MATEMTICA PROF. JLIO SILVEIRA
NOTAS DE AULA 36

(3) p ~~p ? p ~p ~~p

V
F

(4) ~p p p ? p
V
F

(5) p p q p q ? p q
V V
V F
F V
F F

(6) p q ~p q ? p q
V V
V F
F V
F F

6.2 EXERCCIOS: Na Midiateca do AVA: Exerccios do Livrotexto, Captulo 6, pg 64, exerccio 3).
 LGICA MATEMTICA PROF. JLIO SILVEIRA
NOTAS DE AULA 37

CAPTULO 7. LGEBRA DAS PROPOSIES EQUIVALNCIAS

Considere trs proposies p, q e r quaisquer, e duas proposies t e c, sendo t uma tautologia e

c uma contradio (ou seja, v(t) = V e v(c) = F). Podemos verificar as propriedades a seguir.
7.1 PROPRIEDADES DA CONJUNO: verifique as tabelas-verdade das equivalncias a seguir.

a) idempotncia: pp p p p p tautolgica
b) comutatividade: pq qp p q q p tautolgica
c) associatividade: (p q) r p (q r) (p q) r p (q r) tautolgica
d) identidade: pt p pois p V p tautolgica
pc F pois p F uma contradio
7.2 PROPRIEDADES DA DISJUNO: verifique as tabelas-verdade das equivalncias a seguir.

a) idempotncia: pp p p p p tautolgica
b) comutatividade: pq qp p q q p tautolgica
c) associatividade: (p q) r p (q r) (p q) r p (q r) tautolgica
d) identidade: pt V pois p V uma tautologia
pc p pois p F p tautolgica
7.3 PROPRIEDADES DA CONJUNO E DA DISJUNO: verifique as tabelas-verdade.

a) distributividade: i. p (q r) (p q) (p r)
ii. p (q r) (p q) (p r)
b) absoro: i. p (p q) p
ii. p (p q) p
c) Regras de De Morgan: i. ~(p q) ~p ~q Negar que p e q sejam simultaneamente
verdadeiras equivale a afirmar que pelo
menos uma delas falsa.
ii. ~(p q) ~p ~q Negar que ao menos uma dentre p e q so
verdadeiras equivale a afirmar que ambas
so falsas.
7.4 MTODO DEDUTIVO

Todas as implicaes e equivalncias lgicas exemplificadas at aqui (captulos 5, 6 e 7) podem

ser comprovadas atravs de suas respectivas tabelas-verdade, ou mesmo atravs de anlises das
possveis valoraes conjuntas em que estas ocorrem.
Outra forma de demonstrao o chamado Mtodo Dedutivo: implicaes ou equivalncias
lgicas j comprovadas podem ser utilizadas para demonstrar novas implicaes ou equivalncias.
Vejamos alguns exemplos.
 LGICA MATEMTICA PROF. JLIO SILVEIRA
NOTAS DE AULA 38

7.5 NEGAO DA CONDICIONAL: ~(p q) p ~q

No captulo 6, vimos que p q ~p q

Desta forma, temos que:
~(p q) ~(~p q) De Morgan ~~p ~q p ~q

Ou seja, afirmar que a proposio SE Joo tem carro ENTO tem moto uma falsidade
equivale a afirmar que Joo tem carro E Joo NO tem moto.
7.6 FORMA NORMAL (FN) PARA A BICONDICIONAL: p q (p q) (~p ~q)

Como j vimos na definio da biimplicao (captulo 2):

p q (p q) (q p)

Desta forma, temos que:

pq (p q) (q p)
(~p q) (~q p) aplicando a distributividade para (~p q)
( (~p q) ~q ) ( (~p q) p ) aplicando distributividades
( (~p ~q) (q ~q) ) ( (~p p) (q p) eliminando as contradies
(~p ~q) (q p) aplicando comutatividades
(p q) (~p ~q)

Ou seja, afirmar que p e q tm o mesmo valor lgico equivale a afirmar que uma das duas
situaes ocorre: p e q so verdadeiras OU p e q so falsas (~p e ~q so ambas verdadeiras).
Uma proposio lgica est na forma normal se apenas os operadores ~, , ou estiverem
presentes, e no necessariamente todos eles.
7.7 NEGAO DA BICONDICIONAL: ~(p q) (p ~q) (~p q)

Como j vimos na definio da biimplicao:

p q (p q) (q p)

Desta forma, temos que:

~(p q) ~( (p q) (q p) ) De Morgan
~(p q) ~(q p) negao das condicionais item 7.5
(p ~q) (~p q)

Ou seja, afirmar que p e q NO tm o mesmo valor lgico equivale a afirmar que uma das duas
situaes ocorre: p verdadeira E q falsa OU p falsa E q verdadeira.
 LGICA MATEMTICA PROF. JLIO SILVEIRA
NOTAS DE AULA 39

CAPTULO 8. MTODO DEDUTIVO

Como visto no item 7.4, podemos utilizar implicaes e equivalncias lgicas previamente
estabelecidas para demonstrarmos novas implicaes e equivalncias, tcnica conhecida como Mtodo
Dedutivo.
As implicaes lgicas e equivalncias a seguir esto demonstradas no livro-texto (Captulo 8),
assumindo que p, q e r so trs proposies quaisquer, e que as duas proposies t e c representam,
respectivamente, uma tautologia e uma contradio; ou seja, v(t) = V e v(c) = F.
Verifique todas as implicaes e equivalncias a seguir: no livro-texto, Captulo 8, pgs. 78 a 81,
e tente reproduzir todas as demonstraes apresentadas.

8.1 IMPLICAES ELEMENTARES:

a) c p pois F p uma tautologia

b) p t pois p V uma tautologia
8.2 SIMPLIFICAO: se a conjuno entre duas proposies verdadeira, cada uma delas verdadeira.

a) p q p p q p tautolgica
b) p q q p q q tautolgica
Por exemplo, se Joo tem carro E moto verdade, podemos concluir que Joo tem carro.
8.3 ADIO: se uma proposio verdadeira, sua disjuno com outra sentena ser verdadeira.

a) p p q p p q tautolgica
b) q p q q p q tautolgica
Por exemplo, se Joo tem carro verdade, podemos concluir que Joo tem carro OU moto.
8.4 MODUS PONENS: (p q) p q

Por exemplo, se so simultaneamente verdadeiras as proposies

SE Joo tem carro ENTO rico e Joo tem carro
podemos ento podemos concluir que Joo rico.
8.5 MODUS TOLLENS: (p q) ~q ~p

Por exemplo, se so simultaneamente verdadeiras as proposies

SE Joo tem carro ENTO rico e Joo NO rico
podemos ento podemos concluir que Joo NO tem carro.
8.6 SILOGISMO DISJUNTIVO: (p q) ~p q

Por exemplo, se so simultaneamente verdadeiras as proposies

Joo tem carro OU moto e Joo NO tem carro
podemos ento podemos concluir que Joo tem moto.
 LGICA MATEMTICA PROF. JLIO SILVEIRA
NOTAS DE AULA 40

8.7 p q q p

8.8 p q p

8.9 p ~p q

8.10 p q p r q

8.11 REDUO AO ABSURDO: p q p ~q c

8.12 p q p q q

8.13 (p q) (p ~q) ~p

8.14 IMPORTAO-EXPORTAO: p q r p (q r)

8.15 (p r) (q r) p q r

8.16 (p q) (p r) p q

8.17 (p r) (q s) p q r s

8.18 EXERCCIOS: Midiateca do AVA: Livrotexto, Captulo 8, pgs. 85 e 86.