Noes de Lgica Matemtica

Profa. Sabrina Saito 1

NOES DE LGICA MATEMTICA

1. PROPOSIES e CONECTIVOS

Definio: Uma proposio simples uma declarao afirmativa de sentido completo.

Observao:
(i) Geralmente uma proposio formada por um sujeito e um predicado;
(ii) No sero consideradas proposies as sentenas interrogativas, exclamativas e imperativas.

Exemplos:
1. Hoje est chovendo. (proposio)
2. Como o dia est quente! (no proposio)
3. A lua um satlite da terra. (proposio)
4. 3+4 (trs mais quatro) (no proposio)
5. 3 > 4 (trs maior do que quatro) (proposio)
6. Segure firme. (no proposio)
7. Que horas so? (no proposio)
8. Jos de Alencar escreveu Dom Casmurro. (proposio)
9. Ele passar nos exames e repetir de ano. (proposio)

Definio: Chama-se valor lgico de uma proposio de verdade, denotado por V, se a proposio
verdadeira; e este valor ser uma falsidade, denotado por F, se a proposio em questo for falsa.

Nos exemplos anteriores, o item 3) verdadeiro, enquanto 1), 5), 8) e 9) so falsas.

A Lgica Matemtica tem dois axiomas como regras. So eles:

I) Princpio da no contradio: uma proposio no pode ser verdadeira e falsa simultaneamente.
II) Princpio do terceiro excludo: uma proposio ou verdadeira ou falsa, no existindo uma
terceira opo.

De acordo com estes dois axiomas, pode-se afirmar que toda proposio admite um e somente um dos
valores lgicos V ou F.

As proposies podem ser classificadas como simples e compostas.

Definio: Uma proposio dita composta quando ela formada pela combinao de mais de uma
proposio simples. Ela denotada por letras maisculas: P, Q, R,...

Exemplos:

P: Andr usa culos e Maria estudante.
Q: O nmero 27 um cubo perfeito ou Andr usa culos.

Observao: As proposies compostas tambm podem ser denotadas por P(p,q,r,...), isto ocorre
quando queremos dizer por quais proposies simples a proposio composta formada.

O valor lgico de uma proposio simples p ser indicado por V(p). Logo, se p for verdade, ento
V(p) = V, e se for uma falsidade, V(p) = F.
Por exemplo:
p: 1 5 4 =
q: 6 2 . 4 =
Noes de Lgica Matemtica
Profa. Sabrina Saito 2
Neste caso, considerando-se as proposies anteriores p e q, tem-se:

V(p) = V e V(q) = F.

Se o caso considerado for uma proposio composta P, ser denotado por V(P).

Definio: Conectivos so palavras utilizadas na construo de novas proposies (compostas) a partir
de outras proposies (simples) j existentes.

Os conectivos mais usuais so: e, ou, no, se...ento(implica) e se e somente se

Exemplos:
P: A lua amarela e o sol verde.
Q: 9 5 4 = + ou 5 4 = .
R: No est nublado.
S: Se 0 1= x , ento 1 = x .
T: Um retngulo ABCD um quadrado se e somente se tem todos os lados iguais.

Para os conectivos so utilizados os seguintes smbolos:

Conectivos Smbolos
e ^ (conjuno)
ou v (disjuno)
Se ... ento... (condicional)
se, e somente se, (bicondicional)

Assim, considerando as proposies simples:
p: Joo vai ao supermercado.
q: Maria vai feira.
r: Iremos embora s 18 horas.
temos, simbolicamente:

p ^ q: Joo vai ao supermercado e Maria vai feira.
p v q: Joo vai ao supermercado ou Iremos embora s 18 horas.
q r: Se Maria vai feira ento iremos embora s 18 horas.
p q: Joo vai ao supermercado se, e somente se, Maria for a feira.
(p ^ q) r: Se Joo vai ao supermercado e Maria vai feira, ento iremos embora s 18 horas.

Negativa:

~ r: No iremos embora s 18 horas ou No verdade que iremos embora s 18 horas.

Exerccios

1. Quais das seguintes frases so proposies:

a) Belo por do sol!
b) 4 um nmero par?
c) As rosas so brancas.
d) D-me o lucro.
e) 2 um nmero real.
f) O cu cor de rosa.
Noes de Lgica Matemtica
Profa. Sabrina Saito 3

2. Considere as seguintes proposies
p: Matemtica fcil
q: 2 menor que 3
e enuncie as proposies:

a) p ^ q:
b) p v q:
c) ~ (p v q):
d) ~ (p ^ q):
e) ~ p ^ q:
f) (p ^ ~ q) v (~ p ^ q):
g) p q:
h) p q:


2. TABELAS-VERDADES

Toda proposio simples p tem apenas dois valores lgicos: ou verdadeira (V(p) = V) ou falsa
(V(p) = F), isto segundo o Princpio do Terceiro Excludo. Ou seja,

p
V
F

Para encontrar o valor lgico de uma proposio composta deve-se notar que esta proposio depende
unicamente dos valores lgicos das proposies simples componentes, ficando por eles univocamente
determinado. Para aplicar este princpio na prtica utiliza-se um princpio denominado tabela-verdade,
no qual se encontram todos os possveis valores lgicos da proposio composta em questo. Na
construo destas tabelas, utilizaremos o diagrama da rvore.

Nas tabelas-verdade, o nmero linhas da proposio composta determinado pela quantidade de
proposies simples componentes.

Deste modo, podemos enunciar o seguinte:

Teorema: O nmero de linhas de uma tabela-verdade dado por
n
2 , onde n o nmero de
proposies simples componentes.

Neste caso, por exemplo, se uma proposio composta formada por trs proposies simples, ento
ela ter 8 2
3
= linhas.

OPERAES LGICAS SOBRE PROPOSIES

NEGAO

Definio: A negao de uma proposio p, chamada de no p e denotada por ~p (ou p) tem
sempre o valor lgico oposto ao da proposio original, isto , se V(p) = F, ento V(~p) = V e se V(p)
= V, ento V(~p) = F.
A tabela-verdade da negao dada por:


Noes de Lgica Matemtica
Profa. Sabrina Saito 4
p ~p
V F
F V

OBS: Alm de da palavra no, pode-se utilizar tambm: falso que ou no verdade que para
expressar uma negao.

Exemplos:
1) p : O cu verde.
~p :

Neste caso, temos V(p) = F e V(~p) = V.

2) q: Braslia capital do Peru.
~q:

Neste caso, temos V(q) = F e V(~q) = V.

3) r: Joo estudante.
~r:

CONJUNO

Definio: Conjuno de duas proposies p e q , chamada p e q , e denotada por q p . (ou
q p. ) uma proposio composta cujo valor lgico a verdade (V) se p verdade e q tambm
verdade, e a falsidade (F) nos demais casos.

A tabela-verdade da negao dada por:

P q
q p .
V V V
V F F
F V F
F F F

Exemplos:

1) p: 1 2 > . (V)
q: 5 3 = . (V)
q p . :

2) p: O sol azul. (F)
q:
2 2
2 ) 2 ( = . (V)
q p . :

DISJUNO INCLUSIVA

Definio: Disjuno inclusiva de duas proposies p e q, chamada p ou q, e denotada por q p v
(ou q p + ) uma proposio composta cujo valor lgico a verdade (V) se p verdade ou q
verdade, e a falsidade (F) nos demais casos, ou seja, s verdadeira se pelo menos uma das
proposies for verdadeira.
Noes de Lgica Matemtica
Profa. Sabrina Saito 5

A tabela-verdade da disjuno inclusiva dada por:

p q
q p v
V V V
V F V
F V V
F F F

Exemplos:

1) p: 2 1< . (V)
q: 3 3 = . (F)
q p v :

2) p: O sol azul. (F)
q: Paris a capital da Inglaterra. (F)
q p v :

DISJUNO EXCLUSIVA

Definio: Disjuno exclusiva de duas proposies p e q, chamada tambm de p ou q, e denotada
por q pv (ou q p ) uma proposio composta cujo valor lgico a verdade (V) se p verdade ou q
verdade, mas no quando ambas p e q so verdadeiras ao mesmo tempo, e a falsidade (F) quando
ambas so verdadeiras ou ambas so falsas.

Por exemplo, uma proposio exclusiva quando temos:

p: Carlos paulista. (V)
q: Carlos carioca. (V)
q pv :

Neste caso vemos que duas proposies no podem ser verdadeiras, pois resultam em uma proposio
falsa.

A tabela-verdade da disjuno exclusiva dada por:

p q q pv
V V F
V F V
F V V
F F F


CONDICIONAL

Definio: Proposio condicional ou simplesmente condicional de duas proposies p e q, chamada
se p ento q, e denotada por q p uma proposio composta cujo valor lgico a falsidade (F)
somente quando p verdade (V) e q uma falsidade (F), nos demais casos, temos sempre verdade (V).

A tabela-verdade da condicional dada por:
Noes de Lgica Matemtica
Profa. Sabrina Saito 6

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

Exemplos:

1) p: t um nmero irracional. (V)
q: 0 3 = . (V)
q p :

2) p: O cu azul. (V)
q: Paris a capital da Inglaterra. (F)
q p :

BICONDICIONAL

Definio: Proposio bicondicional ou simplesmente bicondicional de duas proposies p e q,
chamada p se e somente se q, e denotada por q p uma proposio composta cujo valor lgico
a falsidade (F) quando p verdade (V) e q uma falsidade (F), ou vice-versa, e uma verdade (V)
quando ambos os valores lgicos so iguais, isto , quando p verdadeira e q verdadeira ou quando p
uma falsidade e q uma falsidade.

A tabela-verdade da bicondicional dada por:

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

Exemplos:

1) p: t um nmero irracional. (V)
q: 3 = t . (F)
q p :

2) p: O cu verde. (F)
q: Paris a capital da Inglaterra. (F)
q p :


OBS: Uma bicondicional ( q p ) tambm pode ser lida da seguinte forma:

i) p condio necessria e suficiente para q
ii) q condio necessria e suficiente para p



Noes de Lgica Matemtica
Profa. Sabrina Saito 7
USO DE PARNTESES

O uso de parntese na simbologia das proposies compostas necessrio para que no haja
ambigidade.
Como exemplo, tem-se a proposio: r q p v . . Com o uso de parnteses, tm-se duas outras
proposies diferentes:

(i) r q p v . ) ( e (ii) ) ( r q p v .

que no tm o mesmo significado, pois em (i), o conectivo principal v (disjuno), e na (ii), o
conectivo principal .(conjuno).

Por outro lado, em muitos casos, os parnteses podem ser suprimidos, a fim de simplificar as
proposies simbolizadas, desde que, no se tenha ambiguidades.

Para suprimir os parnteses faz-se necessrio ter-se em mente algumas convenes:

I) A ordem de procedncia para os conectivos :

(1) ~ (2) . ou v (3) (4)

II) Quando um mesmo conectivo aparece sucessivamente repetido, suprimem-se os parnteses,
fazendo-se associaes da esquerda para a direita.

EXERCCIOS

(1) Considerando as proposies
p: Est frio
q: Est chovendo.
Traduzir para a linguagem corrente
a) p ~ b) q p . c) q p v d) p q e) q p ~
f) q p ~ v g) q p ~ ~ . h) q p ~ i) p q p . ~

(2) Sejam as proposies
p: Jorge rico
q: Carlos feliz.
Traduzir para a linguagem corrente:
a) p q b) q p ~ v c) p q ~ d) q p ~ e) p ~~ f) p q p . ~

(3) Sejam as proposies p: Marcos alto e q: Marcos elegante. Traduzir para a linguagem simblica
as seguintes proposies:

a) Marcos alto e elegante.
b) Marcos alto, mas no elegante.
c) No verdade que Marcos baixo ou elegante.
d) Marcos no nem alto e nem elegante.
e) Marcos alto ou baixo e elegante.
f) falso que Marcos baixo ou que no elegante.

(4) Sejam as proposies p: Suely rica e q: Suely feliz. Traduzir para a linguagem simblica as
seguintes proposies:
a) Suely pobre, mas feliz.
Noes de Lgica Matemtica
Profa. Sabrina Saito 8
b) Suely rica ou infeliz.
c) Suely pobre e infeliz.
d) Suely pobre ou rica, mas infeliz.

(5) Determinar o valor lgico (V ou F) de cada uma das seguintes proposies.
a) 8 3 5 = + e 10 3 7 = +
b) 1 0 > e 7 irracional
c) 0 5 < ou Londres a capital da Esccia
d) 2 4 = ou 1 30 =

sen
e) Se 2 3 < , ento 2 | 4 | =
f) Se 3 2 5 = , ento Paris a capital da Frana
g)
2 2 2
5 4 3 = + se e somente se t racional
h) i = 1 se e somente se 4 > t

4. CONSTRUO DE TABELAS-VERDADE

TABELA-VERDADE DE UMA PROPOSIO COMPOSTA

Para se construir a tabela-verdade de uma proposio composta dada, faz-se o seguinte:

I) Determina-se o nmero de linhas da tabela-verdade que se quer construir;
II) Determina-se a forma das proposies que ocorrem no problema;
III) Aplicam-se as definies das operaes lgicas que o problema exige.

Exemplo 1: Construir a tabela-verdade da proposio
) ~ ( ~ ) , ( q p q p P . = .







Exemplo 2: Construir a tabela-verdade da proposio
) ( ~ ) ( ~ ) , ( p q q p q p P v . = .







Exemplo 3: Construir a tabela-verdade da proposio
r q r p r q p P ~ ~ ) , , ( . v = .







Noes de Lgica Matemtica
Profa. Sabrina Saito 9


Exemplo 4: Construir a tabela-verdade da proposio
). ( ) ( ) ( ) , , ( r p r q q p r q p P . =









Exemplo 5: Construir a tabela-verdade da proposio
)) ~ ( ( ~ )) (~ ( ) , , ( r p q r q p r q p P v . v = .









Exemplo 6: Construir a tabela-verdade da proposio
) ( ~ ) ( ) , ( q p q p q p P v . . = .










VALOR LGICO DE UMA PROPOSIO COMPOSTA

Dada uma proposio composta P(p,q,r,...), pode-se sempre determinar o seu valor lgico (V ou F)
quando so dados ou conhecidos os valores lgicos das respectivas proposies compostas p, q, r,...

Exemplo 7: Sabendo-se que os valores lgicos das proposies p e q so respectivamente V e F,
determinar o valor lgico da proposio.

q p q p q p P ~ ~ ) ( ~ ) , ( . v =

Soluo:
V F F V F V F V F V P V = = . = . v = ~ ~ ~ ) ( ~ ) (




Noes de Lgica Matemtica
Profa. Sabrina Saito 10
TAUTOLOGIA, CONTRADIO e CONTINGNCIA

Definio: Chama-se Tautologia toda proposio composta cuja ltima coluna de sua tabela-verdade
for composta somente por verdades (V).

O exemplo 4, visto anteriormente, um caso de tautologia.

Definio: Chama-se Contradio toda proposio composta cuja ltima coluna de sua tabela-verdade
composta apenas por falsidades (F).

O exemplo 6, visto anteriormente, um caso de contradio.

Definio: Chama-se Contingncia toda proposio composta cuja ltima coluna de sua tabela-
verdade composta por verdades (V) e falsidades (F), contendo ao menos uma de cada.
Os exemplos 1, 2, 3 e 5, vistos anteriormente, so exemplos de contingncia.


EXERCCIOS

(1) Construir as tabelas-verdade das proposies abaixo e classific-las em Tautologias, contradies
ou contingncias.
a) ) ~ ( ~ ) , ( q p q p R v = b) ) ~ ( ~ ) , ( q p q p S =
c) q p q p q p T v . = ) , ( d) q p q p q p U . = ~ ) ~ ( ) , (
e) r q r p r q p P ~ ~ ) , , ( v . = f) r q r p r q p Q ~ ) , , ( v =

(2) Construir as tabelas-verdade das proposies abaixo e classific-las em Tautologias, contradies
ou contingncias.
a) ) ( ) ( ~ ) , ( q p q p q p P v = b) ) ( ) ( ) , , ( r q r p q p r q p Q . . =
c) p q q p q p R = ) ) (( ) , ( d) ) ~ ( ~ ) , ( q p q p q p S v =
e) ) ~ ( ~ ) , ( q p p q p T . . = f) ) ( ) , , ( r q p q p r q p U v . =

(3) Sabendo-se que os valores lgicos das proposies p, q e r so respectivamente V, F e F, determine
o valor lgico (V ou F) de cada uma das seguintes proposies:
a) ) ( ) ( ) , , ( r p q p p r q p P v =
b) ) ) (( ) ~ ( ) , , ( q r p q p r q p Q . v =
c) )) ( ( ) ( ) , , ( r q p r q p r q p S . =

IMPLICAO LGICA

Definio: Uma proposio ,...) , ( q p P implica logicamente uma proposio ,...) , ( q p Q , se ,...) , ( q p Q
verdadeira (V) todas as vezes que ,...) , ( q p P verdadeira (V).

Notao: ,...) , ( q p P ,...) , ( q p Q

OBS: Toda proposio implica uma tautologia e somente uma contradio implica uma contradio.

Propriedades:
(1) Reflexiva: ,...) , ( q p Q ,...) , ( q p Q
(2) Transitiva: Se ,...) , ( q p P ,...) , ( q p Q e ,...) , ( q p Q ,...) , ( q p R , ento ,...) , ( q p P ,...) , ( q p R

Noes de Lgica Matemtica
Profa. Sabrina Saito 11
Exemplo (1) As tabelas-verdade das proposies q p . , q p v e q p so:

p q q p . q p v q p
V V
V F
F V
F F

A proposio q p . verdadeira somente na primeira linha e, nesta linha, as proposies q p v e
q p tambm so verdadeiras. Logo,

q p q p v . e q p q p .

Esta tabelas-verdades tambm mostra as regras de inferncia:

(i) q p p v e q p q v (Adio)
(ii) p q p . e q q p . (Simplificao)

Exemplo (2) As tabelas-verdade das proposies q p , q p e p q so:

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

A proposio q p verdadeira nas linhas 1 e 4 e, nestas linhas, as proposies q p e
p q tambm so verdadeiras. Logo,

q p q p e p q q p

Exemplo (3) Mostrar a Regra do Silogismo disjuntivo, isto , mostrar que a proposio
p q p ~ ) ( . v implica logicamente a proposio q.

A tabela-verdade da proposio p q p ~ ) ( . v dada por:

p q q p v p ~
p q p ~ ) ( . v
V V
V F
F V
F F

E como a proposio p q p ~ ) ( . v verdadeira na linha 3 e, neta linha a proposio q tambm
verdadeira, prova-se o resultado, isto :

q p q p . v ~ ) (

Tem-se ainda outra regra de inferncia desta forma dada por:

Noes de Lgica Matemtica
Profa. Sabrina Saito 12
p q q p . v ~ ) (

Teorema: ,...) , ( q p P ,...) , ( q p Q se e somente se a condicional ,...) , ( q p P ,...) , ( q p Q uma
tautologia.

OBS: Os smbolos e so diferentes, pois o primeiro de uma operao lgica enquanto o
segundo de relao.

Exemplo (4) A condicional ) ( ) ( ) ( r p r q q p . uma tautologia, como vimos. Neste
caso, tem-se a implicao lgica:

) ( ) ( ) ( r p r q q p .

Que denominada Regra do Silogismo hipottico.

Exemplo (5) Mostrar a implicao lgica q p q p . ) ( denominada Regra de Modus ponens,
utilizando o Teorema.

Exemplo (6) Mostrar a implicao lgica p q q p ~ ~ ) ( . denominada Regra de Modus tollens,
utilizando o Teorema.

Exemplo (7) Mostrar que p q p . ) ( implica logicamente q, utilizando o Teorema.

EXERCCIOS

(1) Mostrar que a proposio p implica a proposio q em cada um dos seguintes casos:
a) 3 : > t p ; 1 45 : =

tg q
b) 1 30 : =

sen p ; 3 2 : > q
c) ABCD p : um losango; ABCD q : um paralelogramo
d) ABC p : um tringulo; : q A soma dos ngulos internos A, B e C igual a 180 graus.

(2) Mostrar:
a) q p q
b) p q p q .

(3) Mostrar que q p ~ no implica q p

(4) Mostrar que:
a) p no implica q p .
b) q p v no implica p.


(5) Mostrar:
a) y x x x y x = > . < v = 4 ) 4 ( .
b) 0 ) 0 ( = = . = = x y x y x x .




Noes de Lgica Matemtica
Profa. Sabrina Saito 13
EQUIVALNCIA LGICA

Definio: Uma proposio ,...) , ( q p P logicamente equivalente a uma proposio ,...) , ( q p Q , se as
tabelas-verdade de ,...) , ( q p P e ,...) , ( q p Q so iguais.

Notao: ,...) , ( q p P ,...) , ( q p Q

OBS: Se as proposies ,...) , ( q p P e ,...) , ( q p Q so ambas tautologias ou contradies, ento elas so
equivalentes.

Propriedades:

(1) Reflexiva: ,...) , ( q p P ,...) , ( q p P

(2) Simtrica: Se ,...) , ( q p P ,...) , ( q p Q , ento ,...) , ( q p Q ,...) , ( q p P

(3) Transitiva: Se ,...) , ( q p P ,...) , ( q p Q e ,...) , ( q p Q ,...) , ( q p R , ento ,...) , ( q p P ,...) , ( q p R

Exemplo (1) As proposies p ~~ e p so equivalentes, isto , p p ~~ . Esta equivalncia
denominada Regra da Dupla Negao, e podemos verificar tal fato na tabela-verdade a seguir:

p p ~ p ~~
V
F

A primeira e a ltima coluna so iguais, por isso podemos afirmar que se trata de uma equivalncia
lgica.

Exemplo (2) As proposies p p ~ e p so equivalentes, isto , p p p ~ . Esta
equivalncia denominada Regra de CLAVIUS, e podemos notar tal fato na tabela-verdade a seguir:

p p ~ p p ~
V
F

A primeira e a ltima coluna so iguais, por isso podemos afirmar que se trata de uma equivalncia
lgica.


Exemplo (3) As proposies q p p . e q p so equivalentes, isto , q p q p p . ,
isto, pois suas tabelas-verdades so iguais. a chamada Regra de Absoro.
p q q p . q p p . q p
V V
V F
F V
F F

Exemplo (4) A condicional q p e a disjuno q p v ~ tem tabelas-verdade iguais, logo temos
uma equivalncia lgica, isto , q p q p v ~ . Veja as tabelas:

Noes de Lgica Matemtica
Profa. Sabrina Saito 14
p q q p p ~ q p v ~
V V
V F
F V
F F

Exemplo (5) A bicondicional q p e a disjuno ) ~ (~ ) ( q p q p . v . tem tabelas-verdade
iguais, logo temos uma equivalncia lgica, isto , ) ~ (~ ~ ) ( q p q p q p . . . Veja as tabelas:

p q q p
q p .
p ~ q ~ q p ~ ~ .
) ~ (~ ) ( q p q p . v .
V V V V F F F V
V F F F F V F F
F V F F V F F F
F F V F V V V V

Teorema: ,...) , ( q p P ,...) , ( q p Q se e somente se a bicondicional ,...) , ( q p P ,...) , ( q p Q uma
tautologia.

OBS: Os smbolos e so diferentes, pois o primeiro de uma operao lgica enquanto o
segundo de relao.

Exemplo (6) A bicondicional )) ( ( ) ( r q p r q p . uma tautologia. Portanto, podemos
dizer que as condicionais r q p . e ) ( r q p so equivalentes, isto ,
) ( r q p r q p .
Esta equivalncia lgica denominada Regra de Exportao-ImportaoVeja a tabela-verdade:

Exemplo (7) As proposies 3 1 > v = x x e ) 1 3 ( ~ = . < x x no so equivalentes, pois a
bicondicional
) 1 3 ( ~ 3 1 = . < > v = x x x x
no uma tautologia, como podemos ver na tabela-verdade a seguir:

PROPOSIES ASSOCIADAS A UMA CONDICIONAL

Definio: Dada uma condicional q p , chamam-se proposies associadas a q p as trs
seguintes proposies condicionais:
i) Proposio recproca de q p : p q
ii) Proposio contrria de q p : q p ~ ~
iii) Proposio contra-positiva de q p : p q ~ ~

As tabelas-verdade destas quarto proposies so:

p q q p
p q
q p ~ ~ p q ~ ~
V V
V F
F V
F F
Das tabelas-verdade podemos tirar duas importantes equivalncias lgicas. Como as tabelas-vedade
das proposies q p e p q ~ ~ so iguais, elas so equivalentes, isto ,

Noes de Lgica Matemtica
Profa. Sabrina Saito 15
p q q p ~ ~

Temos tambm que as tabelas-vedade das proposies p q e q p ~ ~ so iguais, elas so
equivalentes, isto ,
q p p q ~ ~

Exemplo (8) Considere a proposio condicional relativa a um tringulo:

: q p Se T eqiltero, ento T issceles.

Sua recproca :
p q :

A proposio q p verdadeira (V), no entanto, a proposio p q falsa (F).

Exemplo (9) Considere a proposio condicional:

: q p Se Carlos professor, ento pobre.

A contra-positiva :
p q ~ ~ :

Exemplo (10) Determinar a contra-positiva da condicional: Se x menor que zero, ento x no
positivo.
Soluo:
Seja p : x menor que zero e q : x positivo. Assim, a condicional dada por: q p ~ . Portanto, sua
contra-positiva



Logo, em linguagem corrente, temos: Se x positivo, ento x no menor que zero.


Exemplo (11) Demonstrar a proposio condicional,

: q p Se
2
x impar, ento x impar.

Soluo:
O que mostra que
2
x par. Portanto, sua contra-positiva verdadeira e concluindo que a condicional
q p tambm verdadeira.

EXERCCIOS

1) Mostrar que as proposies p eq so equivalentes em cada um dos seguintes casos:

a) 1 0 : = sen p e 0 0 cos : = q
b) 1 2 :
0
= p e 4 : < t q
c) p: O tringulo ABC retngulo e
2 2 2
: c b a q + =
d) x p : par e 1 : + x q mpar, ( Z x e )
e) 4 3 1 : = + p e 16 ) 3 1 ( :
2
= + q
Noes de Lgica Matemtica
Profa. Sabrina Saito 16

2) Demonstrar por tabelas-verdade as seguintes equivalncias:
a) q r p r q p ~ ~ ) ( . .
b) p q p p . v ) (
c) q p q p q v
d) r q p r p q p v v ) ( ) (

3) Demonstrar que o conectivo " "v (ou exclusivo) uma equivalncia lgica do seguinte modo:
) ( ~ ) ( q p q p q p . . v v

4) Exprimir a bi-condicional em funo dos trs conectivos, isto , mostrar se as equivalncias lgicas
abaixo so verdadeiras:
a) ) ( ) ( p q q p q p .
b) q p q p v ~
c) p q q p v ~

5) Determinar
a) A contra-positiva da contra-positiva de q p
b) A contra-positiva da recproca de q p
c) A contra-positiva da contrria de q p

6) Determinar
a) A contra-positiva de q p ~
b) A contra-positiva de q p ~
c) A contra-positiva da recproca de q p ~
d) A recproca da contra-positiva de q p ~ ~

BIBLIOGRAFIA
[1] ALENCAR FILHO, EDGARD. Iniciao Lgica Matemtica So Paulo, Editora Nobel,
2002.