Apostila de Lógica Proposicional

Unidade 1 Sentenas e Representao simblica
Unidade 1 Sentenas, Representao Simblica,

Tautologia, Contradio e Contingncia.
1 Introduo e Conceitos Iniciais:
Geralmente nos expressamos, em portugus, atravs de gestos da fala e da escrita. No caso
da escrita utilizamos interrogaes, exclamaes e conjunes expressadas em sentenas, que por
sua vez, podem ser verdadeira ou falsa. Existem sentenas do tipo:
A nota obtida em lgica depende do nmero de questes que acertar.

Dez menor do que sete.
Existem formas de vida em outros planetas.
Ou seja, observa-se que as sentenas so passveis de serem verdadeiras ou falsas. E

justamente a interpretao da veracidade de sentenas que a lgica trata.
Na lgica matemtica temos duas regras fundamentas:
I Princpio da no contradio: Uma proposio no pode ser verdadeira e falsa ao
mesmo tempo.
II Princpio do terceiro excludo: Uma proposio falsa ou verdadeira, no havendo
um terceiro caso.
Proposio: um conjunto de smbolos que exprimem um pensamento de sentido
completo. Ou simplesmente, uma frase que pode ser apenas verdadeira ou falsa. Exemplos:
A lua um satlite da terra. (verdadeira)

5 . (falsa)
Vasco da Gama descobriu o Brasil. (falsa)
Valores lgicos de uma proposio: O valor lgico de uma proposio V se a proposio

for verdadeira e F se ela for falsa.
Proposies simples e composta: Proposio simples aquela que expressa uma nica
idia, ou seja, no contm nenhuma outra proposio como parte integrante de si mesma. Em geral
so referenciadas por letras minsculas. J uma proposio composta aquela formada por uma
combinao de mais de uma proposio simples, estas so em geral referenciadas por letras
maisculas. Exemplo:
q: Pedro estudante.
r: 25 quadrado perfeito.
Q: Carlos careca e Pedro estudante.

R: Se carlos careta, ento feliz.
Quando deseja-se destacar que uma proposio composta P formada pela combinao de
proposies simples q, r, s, ...; ento escreve-se:
P q , r , s ,
2 Conectivos Lgicos:
Os conectivos so expresses utilizadas para compor novas proposies. Exemplos:
P:
Q:
R:
S:
T:
O nmero 6 par e o nmero 8 cubo perfeito.

No est chovendo.
O tringulo retngulo ou issceles.
O tringulo equiltero se e somente se equingulo.
Se Jorge engenheiro, ento sabe clculo.
Assim, na lgica, destaca-se os conectivos usuais

e
no
ou
se e somente se
se ... ento
3 Tabela Verdade:
No caso de proposies compostas recorre-se ao uso da tabela verdade para verificar o valor
lgico da proposio, ou seja, a tabela retrata todos os possveis valores lgicos.
Exemplos:
1. Considerando a proposio pq , r tm-se:
q
V
V
F
F
r
V
F
V
F
Temos 2 2 4 combinaes
2. Considerando agora a proposio pq , r , s tm-se:

q
V
V
V
V
F
F
F
F
r
V
V
F
F
V
V
F
F
s
V
F
V
F
V
F
V
F
3. Considerando agora a proposio pq , r , s , t tm-se:

q
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
r
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
s
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
t
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
A notao mais usual para o valor lgico de uma proposio P V(P), assim se P
verdadeira os falsa escreve-se; V(P) = V ou V(P) = F.
Por exemplo, a proposio:
R: 2 raiz da equao x 2 3 x 4 0
tm valor lgico V(R) = F.
4 Exerccios:
1. Determinar o valor lgico de cada uma das seguintes proposies:
a) O nmero 17 primo. resp: verdadeiro b) Tiradentes morreu afogado. resp: falso
c) 0,13131313... uma dzima peridica. d) As diagonais de um paralelogramo so
resp: Verdadeiro
iguais. resp: Falso
e) sen2 30 sen2 60 2 . resp: Falso
f) 0, 4 e -4 so razes da equao
x 3 16x 0 . resp: verdadeiro
g) 3 5 3 2 5 2 . resp: Falso
2
i)
h) b) 1 7 . resp: falso
Todo nmero divisvel por 5 termina j) O nmero 125 cubo perfeito. resp:
por 5. resp: Falso
k) tg
tg
verdadeiro
. resp: Falso
l) O produto de dois nmeros mpares um

nmero mpar. resp: verdadeiro
5 Operaes Lgicas Sobre Proposies:

Negao (~): A negao da proposio P representada por ~P, cuja tabela verdade fica:
P
V
F
Exemplo:
1. P: 2 3 5
~P
F
V
~P: 2 3 5
2. R: Carlos mecnico
~R: Carlos no mecnico
3. S: todos os homens so elegantes
~S: Nem todos os homens so elegantes
4. T: Nenhum homem elegante
~T: Algum homem elegante
Conjuno ( , .): Dadas duas proposies P e Q, a conjuno representada por P Q ou

P.Q cuja tabela verdade fica:
P
V
V
F
F
Exemplo:
1. P: A neve branca
Q
V
F
V
F
PQ
V
F
F
F
P Q : A neve branca e 2 5
Q: 2 5
2. R: 4
S: sen
R S: 4 e sen
Disjuno ( , +): Dadas duas proposies P e Q, a disjuno representada por P Q ou

P + Q cuja tabela verdade fica:
P
V
V
F
F
Exemplo:
1. P: A neve branca
Q: 2 5
Q
V
F
V
F
PQ
V
V
V
F
P Q : A neve ou branca e 2 5
2. R: 4
S: sen
R S: 4 ou sen
Disjuno Exclusiva ( , ): Dadas duas proposies P e Q, a disjuno exclusiva
representada por P Q ou P Q cuja tabela verdade fica:
A tabela verdade de duas proposies H e K, da disjuno exclusiva fica:

P
P Q
V
V
F
F
V
F
V
F
F
V
V
F
Exemplo:
1. Considere as proposies P e Q abaixo:
P: Carlos mdico ou professor.
Q: Mrio alagoano ou gacho.
Em P, Carlos pode ser mdico; pode ser professor ou ainda pode ser mdico e professor.
Mas em Q, Mrio alagoano ou gacho. Assim em P temos a disjuno inclusiva (ou simplesmente
disjuno) enquanto que em Q temos a disjuno exclusiva.
Condicional ( ): Dadas as proposies P e Q, a condicional representada por P Q
cuja tabela verdade fica:
P
V
V
F
F
Exemplo:
1. P: O ms de maio tm 31 dias
Q: A Terra plana
2. R: Dante escreveu os lusadas
S: Cantor criou a teoria dos
Q
V
F
V
F
P Q
V
F
V
V
P Q : Se o ms de maio tm 31 dias, ento a

terra plana
R S: Se Dante escreveu os lusadas, ento
Cantor criou a teoria dos conjuntos.
Conjuntos
OBS: Uma condicional P Q no afirma que o consequente Q se deduz ou consequncia
do antecedente P. O que o condicional afirma uma relao entre os valores lgicos de P e
Q de acordo com a tabela verdade.
Bicondicional ( ): Dadas as proposies P e Q, o bicondicional representado por

P Q cuja tabela verdade fica:
P
V
V
F
F
Q
V
F
V
F
PQ
V
F
F
V
O bicondicional tambm pode ser lido da seguinte maneira:

i) P condio necessria e suficiente para Q, e
ii) Q condio necessria e suficiente para P
Exemplo:
1. P: Lisboa a capital de Portugal
Q: tg
somente se tg
R S: A terra plana se e somente se
2. R: A terra plana
S:
P Q : Lisboa a capital de Portugal se e
2 um nmero racional
2 um
nmero racional
6 Exerccios:
1. Sejam as proposies,
P: Est frio
Q: Est chovendo
Traduzir para a linguagem corrente as seguintes proposies.
(a) ~ P
No est frio.
(b) P Q
Est frio e est chovendo.
Est frio e chovendo.
(c) P Q
Est frio ou est chovendo.
Est frio ou chovendo.
(d) Q P
Est chovendo se e somente se est frio.

(a) 3 2 7 e 5 5 10
Resp: F
(b) 1 0 2 2 4
Resp: V
(c) Roma a capital da Frana ou tg 45 1
Resp: V
(d) 5 2 10 racional
Resp: F
(e) Se 3 2 6 ento 4 4 9
Resp: V
(f)
3 2 20 2
Resp: F
(g) tg 1 se e somente se sen 0

(h)
Resp: F
1 1 2 2
Resp: V
(i) No verdade que 12 um nmero mpar.
Resp: V
(j) 2 2 4 3 3 7 1 1 4
Resp: V
(k) ~ sen 0 0 ou cos 0 1
Resp: F
(l) ~ 2 3 8 e 4 2 4 3
Resp: F
3. Determinar V p em cada um dos seguintes casos:

(a) V q F
e V p q F
Resp: V p V ou V p F
(b) V q F
e V p q F
Resp: V p F
4. Determinar V p e V q em cada um dos seguintes casos:

(a) V p q V
e V p q F
Resp: V p F e V q V
(b) V p q V
e V p q V
Resp: V p V e V q V
7 Tabela Verdade de Uma Proposio Composta:

Com as proposies simples do tipo p, q, r, s, ... e fazendo uso dos conectivos
~, , , , possvel construir proposies compostas tais como:
P p , q ~ p ~ q
onde, com o emprego da tabela verdade possvel verificar todas as possibilidades de V e F.
Exemplo:
1. Construir a TV das proposies seguintes.
a) P p, q ~ p ~ q
~q
P ~q
V
V
F
F
V
F
V
F
F
V
F
V
F
V
F
F
~ p ~ q
V
F
V
V
b) P p, q , r p ~ r q ~ r
~r
p ~r
q ~r
p ~r q ~r
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
F
V
F
V
F
V
F
V
V
V
V
V
F
V
F
V
F
V
F
F
F
V
F
F
F
V
F
F
V
V
V
F
8 Valor Lgico de Uma Proposio Composta:

Dada uma proposio P p, q , r , s ,... pode-se determinar seu valor lgico conhecendo, a
priori, os valores lgicos de p, q, r, s, ...
Exemplo:
1. Sabendo que V p V e V q F , determinar V P , onde
P p, q ~ p q ~ p ~ q .
Resoluo:
Mediante os valores lgicos de p e q pode-se obter:
V P ~ V F ~ V ~ F ~ V F V F F V
2. Sejam as proposies p : 3
q : sen
proposio: P p, q p q p p q .
0 . Determine o valor lgico da
Resoluo:
Como V P F e V q F ento tm-se:
V P F F F F F V F F V V V
9 Precedncia e Eliminao de Parntesis:

O uso de parntesis se faz necessrio para evitar qualquer ambiguidade, assim, por exemplo,
a proposio p q r pode ser escrita como:
1) p q r
2) p q r
que no tm o mesmo significado (basta construir a TV de ambas ).
A ordem de precedncia para os conectivos

1) ~, o mais fraco
2) e
3)
4) , o mais forte,
portanto se tivssemos a proposio p q s r , concluiramos que ela bicondicional. Para
convert-la numa condicional ou numa conjuntiva deve-se escrev-las respectivamente nas formas:
p q s r
p q s r .
Pode-se fazer a eliminao de parntesis quando um mesmo conectivo aparece
sucessivamente repetido, fazendo associao a partir da esquerda, por exemplo,
~ ~ p q ~ p
~ ~ p q ~ p
~~ p q ~ p
p ~ q r ~ p
10 Exerccios:
P: Est frio
Q: Est chovendo
(a) P ~ Q
Se est frio, ento no est chovendo.
(b) P ~ Q
Est frio ou no est chovendo.
(c) ~ P ~ Q
No est frio e no est chovendo.
(d) P ~ Q
Est frio se e somente se no est chovendo.
(e) P ~ Q P
Se est frio e no est chovendo, ento est frio.
P: Joo gacho
Q: Jaime paulista
(a) ~ P ~ Q
No verdade que Joo gacho e Jaime no paulista.
(b) ~~ P
No verdade que Joo no gacho.
(c) ~ ~ P ~ Q
No verdade que Joo no gacho ou que Jaime no
paulista.
(d) P ~ Q
Se Joo gacho, ento Jaime no paulista.
(e) ~ P ~ Q
Joo no gacho se e somente se Jaime no paulista.
(f) ~ ~ Q P
No verdade que, se Jaime no paulista, ento Joo
gacho.
P: Marcos alto
Q: Marcos elegante
Traduzir para a linguagem simblica as seguintes proposies.
(a) Marcos alto e elegante.
P Q
(b) Marcos alto, mas no elegante.
P ~ Q
(c) No verdade que marcos baixo ou elegante.
~ ~ P Q
(d) Marcos no nem alto e nem elegante.
~ P ~ Q
(e) Marcos alto ou baixo e elegante.
P ~ P Q
(f) falso que Marcos baixo ou que no elegante.
~ ~ P ~ Q
4. Construir a T.V. das seguintes proposies:

(a) P ~ Q P
(b) ~ P ~ Q
(c) ~ ~ P ~ Q
11 Lista de Exerccios. 1
P: Suely rica
Q: Suely feliz
Traduzir para a linguagem simblica as seguintes proposies.
(a) Suely pobre e infeliz.
Resp: ~ P ~ Q
(b) Suely pobre ou rica, mas infeliz.
Resp: ~ P P ~ Q
2. Traduzir para a linguagem simblica as seguintes proposies matemticas.

(a) x y 0 e z 0 ou z 0
Resp: x y 0 z 0 z 0
(b) x 0 e y z x ou z 0
Resp: x 0 y z x z 0
(c) x 0 ou x 0 e y 0
Resp: x 0 x 0 y 0
(d) x y e z t ou x y e z 0 Resp: x y z t x y z 0
(e) Se x 0 ento y 2
Resp: x 0 y 2
(f) Se x y 2 ento z 0
Resp: x y 2 z 0
3. Determinar o valor lgico (V ou F) da proposio p q ~ r , sabendo que

V p V r V .
Resoluo:
Em
termos
de
valor
lgico
temos
que:
Se
ento
V q V ,
V p q ~ r V V ~ V V V F V F F . Mas, se V q F , ento
V p q ~ r V F ~ V V F F V F F . Portanto, independentemente do
valor lgico de q a proposio ser sempre falsa.
4. Suprimir o maior
q r q p ~ ~ q .
nmero
possvel
de
parntesis
na
Resoluo:
q r q p ~ ~ q
q r q p ~~ q
q r q p ~ ~ q
proposio
5. Determinar o valor lgico (V ou F) das seguintes proposies:

a) p q p r , sabendo que V p V r V .
Resp: Verdadeira
b) p ~ q ~ p r , sabendo que V q F e V r V .
Resp: Verdadeira
6. Suprimir o maior nmero possvel de parntesis nas proposies:

a)
p ~ ~ q q r q
Resp: p ~~ q q r q
b)
p q ~ r ~ q r q
Resp: p q ~ r ~ q r q
7. Sabendo que as proposies x 0 e x y so verdadeiras e que as proposies

y z e y t so falsas, determinar o valor lgico de cada uma das seguintes
proposies:
a) x 0 x y y z
Resp: Verdadeira
b) x y y z y t
Resp: Falsa
8. Sabendo que os valores lgicos das proposies p e q so respectivamente F e V,

determinar o valor lgico da proposio p ~ q p ~ p ~ q q ~ p .
Resp: falsa
12 Tautologia, Contradio e Contingncia:

Tautologia toda proposio composta que verdadeira independentemente dos valores
verdade das proposies simples que h compem.
Exemplo:
1. Construir a TV das seguintes proposies:
a) ~ p ~ p
~p p ~p
V
F
F
V
F
F
~ p ~ p
V
V
tautologia
b) p q ~ q p
~q
q ~q
V
V
F
F
V
F
V
F
F
V
F
V
F
F
F
F
p q ~ q
V
V
F
F
p q ~ q p
V
V
V
V
tautologia
Observao: Se P p, q , r , ... uma tautologia, ento P P0 , Q0 , R0 , ... tambm

tautologia, quaisquer que sejam as proposies P0 , Q0 , R0 .
Contradio toda proposio cujo valor lgico no tautolgico, ou seja, a ltima coluna
sempre falsa.
Exemplo
1. Construir a TV das seguintes proposies:
a) p ~ p
p
V
F
~p p ~p
F
V
F
F
contradio
b) ~ p p ~ q
~q
p ~ q
~p
V
V
F
F
V
F
V
F
F
V
F
V
F
V
F
F
F
F
V
V
~ p p ~ q
F
F
F
F
contradio
Observao: Se P p, q , r , ... uma contradio, ento P P0 , Q0 , R0 , ... tambm

contradio, quaisquer que sejam as proposies P0 , Q0 , R0 .
Contingncia toda proposio composta que no tautolgica nem contradio.
Exemplo:
3. Construir a TV da seguinte proposio:
x 3 x y x 3
x 3
V
V
F
F
xy
V
F
V
F
x3
F
F
V
V
xy x3
F
V
V
V
x 3 x y x 3
F
V
F
F
contingncia
13 - Exerccio:
1. Determinar quais das seguintes proposies so tautolgicas, contraditrias, ou
contingentes:
a) p ~ p q
b) ~ p q p q
c) p q q p
d)
e) p ~ q p ~ q
f) ~ p ~ q p q
g) p p q r
h) p q p q r
Resp: (a), (b), (c), (g), (h) tautolgicas
p q q p
(d), (e), (f) contingncias
14 Implicao lgica:
A palavra implicar significa: Originar, produzir como conseqncia, ser causa de: ...uma
filosofia definitiva, ...implicaria a imobilidade do pensamento humano (Antero de Quental).
[ DICMAXI Michaelis Portugus - Moderno Dicionrio da Lngua Portuguesa ]
(Teorema):
P p, q , r , ... Q p, q , r , ...
P p, q , r , ... Q p, q , r , ... tautolgica.
se
somente
se
condicional,
Aqui, deve-se reforar que: os smbolos e so distintos pois,
O condicional o resultado de uma operao lgica. Por exemplo, se

considerarmos as proposies p e q, pode-se obter uma nova proposio expressa
por p q .
J a implicao, estabelece uma relao. Por exemplo, que a condicional p q
tautologia.
Exemplo:
1. Demonstre, mediante o teorema acima descrito, que p ~ p q .
Resoluo:
Para provarmos que p ~ p q deve-se mostrar que p ~ p q tautolgica, ou seja; da
T. V. tm-se:
p
V
V
F
F
q
V
F
V
F
~p
F
F
V
V
p ~ p
F
F
F
F
p ~ p q
V
V
V
V
tautologia
assim pelo teorema tm-se que p ~ p q .
2. Considere a proposio x y x 4 x 4 , o que se poderia concluir a respeito de
xey?
Resoluo:
xy
x4
xyx4
x4
x y x 4 x 4
V
V
F
F
V
F
V
F
V
V
V
F
F
V
F
V
F
V
F
F
Mediante a T. V. pode-se dizer que
x y x 4 x 4 x y
x y x 4 x 4 x y
15 Equivalncia Lgica
A palavra equivalncia significa: Igualdade de valor, estimao entre duas coisas;
correspondncia. [DICMAXI Michaelis Portugus - Moderno Dicionrio da Lngua Portuguesa]
(Teorema):
P p, q , r , ... Q p, q , r , ...
P p, q , r , ... Q p, q , r , ... tautolgica.
se
somente
se
bicondicional,
importante lembrar que os smbolos e so distintos pois,
O bicondicional o resultado de uma operao lgica, enquanto que a

equivalncia estabelece uma relao. Por exemplo, que a condicional p q
tautologia.
Exemplo:
1. Demonstre, mediante o teorema acima descrito, que a proposio bicondicional
p ~ q c p q uma equivalncia; onde V c F .
Resoluo:
Para provarmos que p ~ q c p q representa p ~ q c p q deve-se
mostrar que p ~ q c p q tautolgica, ou seja; da T. V. tm-se:
p
~q
p ~ q
p ~ q c
p q
p ~ q c p q
V
V
F
F
V
F
V
F
F
F
F
F
F
V
F
V
F
V
F
F
V
F
V
V
V
F
V
V
V
V
V
V
assim pelo teorema tm-se que p ~ q c p q .
tautologia
2. Considerando as seguintes proposies verifique a equivalncia mediante a T. V:

a) ~~ p p
Resoluo: A T. V. para a proposio dada como:
p
V
F
~p
F
V
~~ p
V
F
idnticas
b) ~ p p p
p
V
F
~pp
V
F
~p
F
V
idnticas
c) p q ~ p q
p
V
V
F
F
q
V
F
V
F
~ pq
V
F
V
V
~p
F
F
V
V
p q
V
F
V
V
idnticas
OBS: Esta equivalncia de grande importncia, pois aqui a condicional pode ser trocada
por uma disjuno !
d) p q p q q p
p
p q
qp
p q q p
pq
V
V
F
F
V
F
V
F
V
F
V
V
V
V
F
V
V
F
F
V
V
F
F
V
idnticas
OBS: Esta equivalncia tambm de grande importncia, pois aqui a bicondicional pode ser
trocada por uma conjuno !
16 Exerccios
1. Mostre que as equivalncias so verdadeiras
a) p q r p q r verdadeira.
Resoluo:
p
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
pq
pq r
qr
V
V
F
F
F
F
F
F
V
F
V
V
V
V
V
V
V
F
V
V
V
F
V
V
p q r
V
F
V
V
V
V
V
V
p q r p q r
V
V
V
V
V
V
V
V
tautologia
b) p q p q ~ p ~ q
p
pq
pq
~p
~q
~ p ~ q
p q ~ p ~ q
V
V
F
F
V
F
V
F
V
F
F
V
V
F
F
F
F
F
V
V
F
V
F
V
F
F
F
V
V
F
F
V
idnticas
OBS: Esta equivalncia importante, pois a bicondicional pode ser trocada por uma disjuno !
17 Lista de Exerccios. 2
1. Sejam as proposies P: Carlos fala Francs, Q: Carlos fala Ingls, R: Carlos fala
Alemo. Traduzir para a linguagem simblica as seguintes proposies:
a) Carlos fala Francs ou Ingls, mas no fala Alemo.
b) Carlos fala Francs e Ingls, ou no fala Francs e Alemo.
c) falso que Carlos fala Francs mas que no fala Alemo.
d) falso que Carlos fala Ingls ou Alemo mas que no fala Francs.
2. Traduzir para a linguagem simblica as seguintes proposies matemticas.
a) Se x 1 ou z 2 ento y 1.
b) Se Z 5 ento x 1 e x 2 .
c) Se x y ento x z 5 e y z 5 .
a) 2 7 9 e 4 8 12
b) 0 1 3 irracional
c) 2 2 sen
tg
d) Se 1 0 ento sen
e) tg
1
2
3 22
f) 1 sen
cos
4. Determinar V p em cada um dos seguintes casos:

a) V q F
e V p q V
b) V q V
e V p q F
5. Determinar V p e V q em cada um dos seguintes casos:

(a) V p q V
e V p q F
(b) V p q F
e V ~ p q V
6. Construir as tabelas verdade das seguintes proposies:

a) ~ p ~ q
b)
p ~ q q p
c) q ~ q p
d) p r q ~ r
7. Sejam as proposies P : tg x ctgx e Q : 2 . Determinar o valor lgico de
cada uma das seguintes proposies:
a) ~ p q ~ p ~ q
b)
p ~ p q ~ p ~ q
8. Sabendo que a condicional p q verdadeira, determinar o valor lgico da condicional

pr q r.
9. Mostrar que:
a) q p q
b) q p q p
c) x 0 x y x y x 0
10. Mostre que p ~ q no implica p q .

11. Mostre que as proposies p e q so equivalentes em cada um dos seguintes casos:
a)
b)
c)
d)
e)
p : 1 3 4;
q : 1 3 16
p : sen 0 1;
cos 0 0
p : x y;
q : x z y z x , y , z R
p : a b;
q : ba
p : O tringulo ABC retngulo em A;
2
12. Demonstre por tabela verdade as seguintes equivalncias:

a) p p q p
b) p q r p ~ r ~ q
c) p q p r p q r
q : a2 b2 c 2
Unidade 2 Lgica Proposicional (lgebra das Proposies)
Unidade 2 Lgica Proposicional (lgebra das

Proposies)
1 Introduo:
A lgebra das proposies constitui-se numa ferramenta matemtica de grande importncia,
pois atravs dela pode-se operar sobre proposies utilizando-se de equivalncias notveis.
Uma de suas aplicaes consiste no fato da simplificao de trechos de cdigos
computacionais, pois quanto mais simples o cdigo mais simples ser de ser entendido e poder ser
executado com maior rapidez.
2 Propriedades da Conjuno:
Considerando as proposies p, q e r ; e sejam as proposies t e c tal que V t V e
V c F . Assim so vlidas as seguintes propriedades:
a) INDEPOTENTE: p p p
Ex.: x 1 x 1 x 1
Obs.: Dizer por exemplo, que vlida a propriedade indepotente o mesmo que verificar o
teorema relativo equivalncia (pgina 19), ou seja:
p
V
F
pp
V
F
pp p
V
V
como p p p tautolgica, ento pelo teorema da equivalncia temos que p p p .

Daqui por diante, para as prximas propriedades, as equivalncias descritas so vlidas, uma
vez que sua validade pode ser aferida segundo o mesmo raciocnio descrito para a propriedade
indepotente.
b) COMUTATIVA: p q q p
Ex.: 3 4 4 3
c) ASSOCIATIVA: p q r p q r
Ex.: x 0 x 1 x 3 x 0 x 1 x 3
d) IDENTIDADE: p t p e p c c
Elemento neutro
Elemento absorvente
Ex.: x 1 x 0 x 1 e x 1 x 0 x 0
3 Propriedades da Disjuno:
Considerando novamente as proposies p, q e r ; e ainda t e c onde V t V e
V c F , ento so vlidas as seguintes propriedades:
a) INDEPOTENTE: p p p
Ex.: x 1 x 1 x 1
b) COMUTATIVA: p q q p
Ex.: a b b c b c a b
c) ASSOCIATIVA: p q r p q r
Ex.: x 1 x 2 x 4 x 1 x 2 x 4
d) IDENTIDADE: p t t e p c p
Elemento neutro
Elemento absorvente
Ex.: x 1 x 0 x 0 e x 0 x 2 0 x 0
4 Propriedades da Conjuno e Disjuno:

Sejam as proposies p, q e r ; ento tm-se que:
a) DISTRIBUTIVAS:
(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 (1806-1871):

(i) ~ p q ~ p ~ q
(ii) ~ p q ~ p ~ q
5 Negao da Condicional e da Bicondicional:

Dadas as proposies p, q tm-se que a negao da condicional :
~ p q p ~ q
e a negao da bicondicional ser;
~ p q p ~ q ~ p q .
6 Exerccios:
1. Dar a negao em linguagem corrente da proposio:
Rosas so vermelhas e violetas so azuis.
Resoluo:
Denotando p : rosas so vermelhas e q : violetas so azuis, ento teremos que a prop.
Composta :
P pq
logo a negao de P ser:
~ P ~ p q ~ p ~ q
Portanto em linguagem corrente teremos
Rosas no so vermelhas ou violetas no so azuis
2. Demonstrar as seguintes regras de DE MORGAN para trs proposies:
a) ~ p q r ~ p ~ q ~ r
b) ~ p q r ~ p ~ q ~ r
3. Simplifique a expresso condicional, abaixo, de um trecho de programa pascal, aps reescreva o

comando.
IF (FLUXOEXT>FLUXOINT) AND NOT ( (FLUXOEXT>FLUXOINT) AND (PRESSO<1000) ) THEN
COMANDO 1
ELSE
COMANDO 2.
Resoluo:
Denotando a : fluxoext fluxo int; b : presso 1000 , ento teremos que a expresso
condicional ser dada por
E a ~ a b
que pode ser simplificada conforme:
E a ~ a b a ~ a ~ b a ~ a a ~ b F a ~ b a ~ b
portanto teremos que
E a ~ b
que equivalente a expresso original.
4. Considere o seguinte fragmento de um programa pascal:

for contador := 1 to 5 do
begin
read (a);
if a 5.0 and 2 * a 10.7 or sqrt 5.0 * a 5.1 then
writeln (a);
end;
Os valores de entrada para a so 1.0, 5.1, 2.4, 7.2 e 5.3. Quais so os valores de sada ?
Resoluo:
Sadas:
5. Reescreva o programa pascal a seguir com uma expresso condicional simplificada:

if not valor 1 valor 2 or odd numero
or not valor 1 valor 2 and odd numero

comando1
else
comando2;
6. (a) Verifique que A B equivalente a A B . (b) usando a parte (a) e outras equivalncias,
escreva a negao da sentena Se Pedro passar em seu curso de fsica, ento ele se formar.
7 Regras de inferncia para a lgica Proposicional:

Dadas as proposies P1 , P2 , P3 ,..., Pn e Q (proposies quaisquer), denomina-se
argumento , a toda afirmao de que; dada a sequncia
P1 , P2 , P3 ,..., Pn
tm-se como consequncia uma proposio final Q .
As proposies P1 , P2 , P3 ,..., Pn so denominadas premissas do argumento e Q
denominada concluso do argumento. Em geral indica-se um argumento como:
P1 , P2 , P3 ,..., Pn Q
ou na forma mais usual
P1
P2
P3
Pn
Q
e este vlido se e somente se a concluso Q verdadeira toda vez que as premissas
P1 , P2 , P3 ,..., Pn so verdadeiras, logo dizemos que a verdade das premissas incompatvel com a
falsidade da concluso.
OBSERVAO: As premissas so verdadeiras ou admitidas como tal, a lgica s se preocupa com
a validade dos argumentos e no com a verdade ou falsidade das premissas e das concluses. A
validade de um argumento depende exclusivamente da relao existente entre as premissas e a
concluso. Portanto dizer que um argumento vlido significa afirmar que as premissas esto
relacionadas de tal modo com a concluso que no possvel ter a concluso falsa se as premissas
so verdadeiras.
Teorema: Um argumento P1 , P2 , P3 ,..., Pn Q vlido se e somente se a condicional
P1 , P2 , P3 ,..., Pn Q tautolgica.
Para demonstrar o argumento P1 , P2 , P3 ,..., Pn Q , pode-se fazer uso da T. V. e do

teorema anterior. Se tivssemos cinco proposies simples compondo um argumento,
necessitaramos construir uma T. V. de 2 5 32 linhas, tarefa esta muito trabalhosa, porm correta.
Para contornar este tipo de problema, faz-se a validao de uma argumentao atravs das regras de
inferncia, minimizando assim o trabalho a ser desenvolvido.
Uma outra considerao a ser comentada : Considerando o argumento
P1
P2
P3
p ~ q, p ~ r , q ~ s ~ r s
chamamos de condicional associada a forma p ~ q p ~ r q ~ s ~ r s .

Por outro lado, se considerarmos a condicional associada
p q r ~ s q r s s p ~ q
o argumento correspondente a esta condicional ser
p q r ,~ s,q r s s p ~ q ,
que tambm pode ser expressado sob a forma
pqr
~s
qr s
.
s p ~ q
8 Argumentos vlidos Fundamentais:

Os argumentos vlidos fundamentais so utilizados para executar passo a passo uma
deduo ou demonstrao de um outro argumento mais complexo. Os argumentos fundamentais
so:
1) Adio (AD)
i)
p
pq
2) Simplificao (SIMP)
pq
i)
p
ii)
p
qp
ii)
pq
q
3) Conjuno (CONJ)
p
q
i)
pq
p
q
ii)
qp
4) Absoro (ABS)
pq
p p q
5) Modus Ponens (MP)
pq
p
q
6) Modus Tollens (MT)
pq
~q
~p
7) Silogismo Disjuntivo (SJ)
pq
~p
i)
q
8) Silogismo Hipottico (SH)
pq
qr
pr
9) Dilema Construtivo (DC)
pq
r s
pr
qs
10) Dilema Destrutivo
pq
r s
~ q ~ s
~ p ~ r
pq
~q
ii)
p
A validade dos 10 argumentos pode ser facilmente verifica mediante o teorema anterior, por
exemplo, a seguir verificada a validade do argumento Silogismo Hipottico
p
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
pq
q r
pr
p q q r
p q q r p r
V
V
F
F
V
V
V
V
V
F
V
V
V
F
V
V
V
F
V
F
V
V
V
V
V
F
F
F
V
F
V
V
V
V
V
V
V
V
V
V
Com o auxlio das regras de inferncia pode-se deduzir outras regras, ou demonstrar a
validade de outras regras, por exemplo; o que se pode concluir, abaixo, a partir das premissas
dadas ?
P1 : p q r
P2 :
q r s
P3 : ~ r ~ r s
Q : ~ p q ~ q
DD
Exemplo: Verifique a validade do argumento: p q, p r q .
1 pq
2 pr
3
p
4
q
2, SIM
1,2, MP
9 Exerccios de Aprendizagem:
1. Demonstre a validade dos seguintes argumentos:
a) p q, p r s p s
b) p q r , p q, p r
c) e s, ~ t ~ j , e j t s
d) p q . r , p, t q , t s s
2. O argumento abaixo vlido ?
x y x z, x y x z, x z y z, y z x z y z
3. Prove que o argumento seguinte vlido:

Admitindo a linguagem assembly.
Se usamos a linguagem asssembly, ento o programa ser executado mais rapidamente.
Se usamos a linguagem asssembly, o programa ter mais linhas de cdigo.
Portanto o programa ser executado mais rapidamente e ter mais linhas de cdigo
4. Verifique a validade dos seguintes argumentos:
Se x y 16 e y x 16, ento x y
xy
a)
Logo, x y 16 ou y x 16
Se trab alho no posso estudar .

b) Trab alho ou serei aprovado em lgica. Trab alhei.
Por tan to , fui reprovado em lgica.
10 Lista de Exerccios:
1. Usando todas as equivalncias j estudadas at o momento e as propriedades da lgebra de
proposies simplifique as seguintes proposies:
a) ~ ~ p ~ q , sugesto use a equivalncia
b) ~ p q ~ p q
c) ~ p ~ q
d) ~ ~ p q
e) ~ ~ p ~ q
f)
h)
p q ~ p
p p q p ~ q
g) p q ~ p q
2. Provar t dadas as premissas:
1.
2.
3.
4.
ps
p .q
s .r t
qr
2. Prove que os seguintes argumentos so vlidos

a) t r , ~ r , t s s
b)
s .q t q t r r s
3. Provar que x y 5 dadas as premissas

1. 3 x y 11 3 x 9
2. 3 x 9 3 x y 11 y 2
3. y 2 x y 5
Resposta:
1. (a) ~ p q
(f) ~ p q
(b) ~ p
(c) ~ p q
(g) q
(h) F (falsa)
(d) p q
(e) p q
Unidade 3 Quantificadores, Predicados e validade

1 Introduo:
Considere a sentena dada por para todo x , x 0 , admitindo que seja verdadeira sobre
inteiros, no possvel expressar a sentena, apenas, atravs de proposies e ou conectivos
lgicos. Pois ela contm dois elementos novos que so: para todo x e x 0 .
O elemento para todo denominado quantificador e o elemento x 0 denominado
predicado. O quantificador para todo mais precisamente denominado como quantificador
universal e simbolizado por , este pode ser expresso tambm como qualquer que seja ou
para todo o valor de.
Portanto a sentena para todo x , x 0 pode ser simbolizada como x x 0 , j uma
expresso genrica, relacionada ao quantificador universal, pode ser simbolicamente escrita na
forma x P x , onde P x um predicado qualquer.
Considere agora a sentena existe x tal que x 0 , admitindo que seja verdadeira
tambm sobre inteiros, no possvel expressar a sentena, apenas, atravs de proposies e ou
conectivos lgicos, devido ao fato de conter tambm dois elementos novos; existe x e x 0 .
O quantificador existe denominado quantificador existencial e simbolizado por , este
equivalente tambm a, existe um ou para pelo menos um ou ainda para algum.
Sendo assim, a sentena existe x , x 0 pode ser simbolizada sob a forma x x 0 ,
j uma expresso genrica pode ser expressada por x P x , onde P x um predicado
qualquer.
2 Quantificadores:
Quantificador Universal:
Seja P x uma sentena em um conjunto no vazio A e seja VP o seu conjunto verdade,
onde VP x / x A P x . Quando VP A , isto , todos os elementos do conjunto A
satisfazem a sentena P x , pode-se afirmar que:
x
VP A
para todo elemento x de A , P x verdadeira;
ou, qualquer que seja o elemento x de A , P x verdadeira;
simbolicamente indica-se tal fato por
x A P x VP A .
Quando A um conjunto finito, isto , A a1 , a2 , a3 , a4 , ..., an tm-se que
x A P x P a1 P a2 P a3 P a4 ... P an .
Exemplo:
1) Seja A 3 , 5 , 7 e P x : x primo, descreva como a expresso predicada
x Ax primo
2) Verifique a veracidade das proposies

a) n N n 5 3
c) x R x 2 0
b) n N n 3 7
Quantificador Existencial:
Seja P x uma sentena em um conjunto no vazio A e VP o seu conjunto verdade onde
VP x / x A P x . Quando VP no vazio, ento pelo menos um elemento do conjunto A

satisfaz a sentena P x , assim pode-se afirmar que:
A
VP
existe pelo menos um elemento x de A tal que P x verdadeira;
ou que para algum elemento x de A , P x verdadeira;
simbolicamente indica-se tal fato por
x A P x VP .
Quando A um conjunto finito, isto , A a1 , a2 , a3 , a4 , ..., an tm-se que
x A P x P a1 P a2 P a3 P a4 ... P an .
Exemplo:
3) Seja A 3 , 5 , 7 e P x : x par , descreva como a expresso predicada
x Ax par
a) n N n 4 8
b) n N n 5 3
c) x R x 2 0
Quantificador de Existncia e Unicidade:

Considere a seguinte sentena em R ;
i) x 2 16
ii) x 3 27 .
Os valores em R que satisfazem (i) so: a 4 e b 4 , ento podemos escrever,
a, b R a2 16 b2 16 a b
Agora, o valor em R que satisfaz (ii) c 3 , logo escrevemos
c R c 3 27.
Como o nico valor que satisfaz o quantificador acima c 3 , ento dizemos que existe
um nico nmero real. Desta forma a expresso quantificada (ii) expressa na forma
! x R x 3 27 .
Existem muitas proposies que enunciam afirmaes de existncia e unicidade, assim por
exemplo, no universo R , verdadeiro afirmar que
m 0 n ! x mx n .
Exemplo:
a) ! x N x 2 9 0
b) ! x Z 1 x 1
c) ! x R x 0
3 Negao de Proposies Quantificadas

Sejam as proposies;
i) Toda pessoa fala ingls;
ii) Algum foi a lua.
A negao dessas proposies dada por

i) Nem toda pessoa fala ingls;
ii) Ningum foi a lua.
assim a negao de proposies quantificadas expressa como:
~ x A px x A ~ px
~ x A px x A ~ px
que so denominadas como segundas regras de De Morgan.
Exemplos:
1) D a negao das seguintes proposies:
a)
b)
c)
n N n 2 8
x R 3x 5 0
x R senx 0
4 Lista de Exerccios
1. Sendo R o conjunto dos nmeros reais, determinar o valor lgico de cada uma das seguintes
proposies:
c) x R x 0
a) x R x x
b) x R x 2 x
d) x R x 2 x
e) x R x 1 x
f) x R x 2 x
2. Sendo A 1, 2, 3, 4, 5, determinar o valor lgico de cada uma das seguintes proposies:

a) x Ax 3 10
b) x Ax 3 10
d) x Ax 3 7
e) x A 3x 72
c) x Ax 3 5
f) x A x 2 2x 15
3. Dar a negao das proposies abaixo:
c) x R x 0
a) x R x x
b) x R x 2 x
d) x R x 2 x
e) x R x 1 x
f) x R x 2 x
4. Sendo A 1, 2, 3, 4, 5, dar a negao das proposies abaixo

a) x Ax 3 10
b) x Ax 3 10
d) x Ax 3 7
e) x A 3x 72
c) x Ax 3 5
f) x A x 2 2x 15
5 Contra - Exemplo
Para mostrar que uma proposio da forma x A px falsa basta mostrar que a sua
negao, x A ~ px , verdadeira. Isto , que existe pelo menos um elemento x0 A tal que
px0 uma proposio falsa. O elemento x 0 chamado de contra exemplo para a proposio
x A px .
Exemplos:
1. Mostre que as proposies abaixo so falsas, exibindo um contra exemplo:
c) x R x
a) n N 2n n2
2
b) x R x 0
d) x R x 2 x 2 4
2
6 Lista de Exerccios
1. Sendo A 2, 3, 4, 5,..., 9, dar um contra exemplo para cada uma das seguintes proposies:
a) x Ax 5 12
b) x Ax primo
e) x A 0x 0
d) x Ax par
c) x A x 2 1
2. Sendo A 1, 2, 3, 4, 5, dar a negao das proposies abaixo

a) x Ax 3 10
b) x Ax 3 10
d) x Ax 3 7
e) x A 3x 72
c) x Ax 3 5
f) x A x 2 2x 15
3. Sendo A um conjunto qualquer, dar a negao de cada uma das seguintes proposies:
a) x A px x A qx
b) x A px x A qx
c) x A ~ px x A ~ qx
d) x A px x A ~ qx
4. Dar a negao de cada uma das seguintes sentenas:
a) x x 2 7 x x 2 1 3
b) x A x 2 9 x 2x 5 7
7 Quantificao de Sentenas Abertas com Mais de Uma Varivel

Quantificao Parcial
Considere o conjunto A 1, 2, 3, 4, 5 o universo das variveis x , y e considere tambm a
seguinte sentena,
x A2 x y 7.
Essa sentena no pode ser considerada uma proposio, pois o seu valor lgico no
depende da varivel x (varivel aparente), mais sim da varivel y (varivel livre). Desta forma
chama-se essa sentena de sentena aberta em y; cujo conjunto verdade 1, 2, 3, 4, pois somente
para y 5 no existe x A tal que 2 x y 7 .
Analogamente, seja o conjunto A 1, 2, 3, 4, 5 o universo das variveis x , y e considere
tambm a seguinte sentena,
y A2 x y 10 .
Essa sentena tambm no pode ser considerada uma proposio, pois o seu valor lgico no
depende da varivel y (varivel aparente), mais sim da varivel x (varivel livre). Assim, temos
que essa sentena na verdade uma sentena aberta em x; cujo conjunto verdade 1, 2 , pois
somente para x 1 ou x 2 se tem 2 x y 10 para todo y A .
Quantificao Mltipla
Toda sentena aberta precedida de quantificadores, um para cada varivel, uma
proposio, pois assume um dos valores lgicos V ou F. So exemplos de proposies as
seguintes expresses:
x Ay Bpx , y
x Ay Bpx , y
x Ay Bz C px , y , z
Exerccios:
1) Considere os conjuntos H Jorge ,Claudio , Paulo, M Suely ,Carmen e seja
p x , y a sentena aberta em H M : x irmo de y. Discuta o significado das proposies:
A : x H y M px , y
2) Interprete, e discuta a equivalncia
B : y M x H px , y
x N y N x y 2 x 2 y 2 x , y N x y 2 x 2 y 2
3) Verifique o valor lgico de
x y 2 x 2 y 2 , x , y N
x y 2 x 2 y 2 , x , y R
4) Considere os conjuntos A 1, 2, 3, 4 e B 0, 2, 4, 6, 8 e a sentena aberta em
A B : 2 x y 8 . Verifique o valor lgico das proposies:
S : x Ay B 2 x y 8
M : y B x A2 x y 8
N : y B x A2 x y 8
T : x Ay B 2 x y 8
Operaes Sobre Quantificadores

Quantificadores de mesma espcie podem ser comutados, ou seja,
x y px , y y x px , y
x y px , y y x px , y .
Quantificadores de espcies diferentes no podem em geral ser comutados;
Exemplo: Seja x, y variveis no universo dos nmeros naturais. A proposio
x y y x
verdadeira, mas a proposio
y x y x
falsa .
Exerccio:
4) Sendo A 1, 2, 3, ..., 9, 10 , determinar o valor lgico de cada uma das seguintes
proposies:
M : x Ay Ax y 14
N : y Ax Ax y 14
Negao de Proposies com Quantificadores

A negao de proposies com mais de um quantificador se obtm mediante a aplicao
sucessiva das regras de negao para proposies com um nico quantificador, assim tm-se, por
exemplo que;
1) ~ x y px , y x ~ y px , y x y ~ px , y
5) ~ x y z px , y , z x ~ y z px , y , z x y z ~ px , y , z
etc. ...
8 - Lista de Exerccios
1) Sendo 1, 2, 3, 4, 5 o universo das variveis x e y, determinar o conjunto verdade de cada uma
das seguintes sentenas abertas:
a) y 2 x y 7
b) x 2 x y 10
2) Sendo 1, 2, 3 o universo das variveis x e y, determinar o valor lgico de cada uma das
seguintes proposies:
c) x y x
e) x y x
g) x y x
d) x y x
f) x y x
a) x y x 2 y 1
2
2y 10
2y 10
b) x y x 2 y 2 12
2y 10
2y 10
y 2 12
3) Sendo 1, 2, 3 o universo das variveis x, y e z, determinar o valor lgico de cada uma das
seguintes proposies:
a) x y z x 2 y 2 2z 2
b) x y z x 2 y 2 2z 2
4) Sendo R o conjunto dos nmeros reais, determinar o valor lgico de cada uma das seguintes
proposies:
a) y R x R x y y
b) x R y R x y 0
c) x R y R x . y 1
d) y R x R y x
5) Dar a negao de cada uma das seguintes proposies:

a) x y px qy
b) x y px ~ qy
c) y x px ~ qy
d) x y px , y qy
e) x y px , y qx , y
6) Indique o valor verdade de cada uma das proposies abaixo onde o domnio consiste nos
estados do Brasil;
Qx , y : x ao norte de y
P x : x comeacom a letra p e
a Paran .
a) x P x
b) x y z Qx , y Qy , z Qx , z
c) y x Qy , x
d) x y P y Qx , y
e) y Qa, y

Apostila de Lógica Proposicional

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Apostila de Lógica Proposicional

Enviado por

Direitos autorais:

Formatos disponíveis

Unidade 1 Sentenas e Representao simblica

Unidade 1 Sentenas, Representao Simblica,

A nota obtida em lgica depende do nmero de questes que acertar.

Ou seja, observa-se que as sentenas so passveis de serem verdadeiras ou falsas. E

A lua um satlite da terra. (verdadeira)

Valores lgicos de uma proposio: O valor lgico de uma proposio V se a proposio

Q: Carlos careca e Pedro estudante.

Unidade 1 Sentenas e Representao simblica

O nmero 6 par e o nmero 8 cubo perfeito.

Assim, na lgica, destaca-se os conectivos usuais

2. Considerando agora a proposio pq , r , s tm-se:

Unidade 1 Sentenas e Representao simblica

3. Considerando agora a proposio pq , r , s , t tm-se:

iguais. resp: Falso

e) sen2 30 sen2 60 2 . resp: Falso

l) O produto de dois nmeros mpares um

Unidade 1 Sentenas e Representao simblica

5 Operaes Lgicas Sobre Proposies:

~R: Carlos no mecnico

3. S: todos os homens so elegantes

~S: Nem todos os homens so elegantes

4. T: Nenhum homem elegante

~T: Algum homem elegante

Conjuno ( , .): Dadas duas proposies P e Q, a conjuno representada por P Q ou

Disjuno ( , +): Dadas duas proposies P e Q, a disjuno representada por P Q ou

Unidade 1 Sentenas e Representao simblica

Disjuno Exclusiva ( , ): Dadas duas proposies P e Q, a disjuno exclusiva

representada por P Q ou P Q cuja tabela verdade fica:

A tabela verdade de duas proposies H e K, da disjuno exclusiva fica:

P Q : Se o ms de maio tm 31 dias, ento a

Unidade 1 Sentenas e Representao simblica

Bicondicional ( ): Dadas as proposies P e Q, o bicondicional representado por

O bicondicional tambm pode ser lido da seguinte maneira:

R S: A terra plana se e somente se

P Q : Lisboa a capital de Portugal se e

Est frio e est chovendo.

Est frio e chovendo.

Est frio ou est chovendo.

Est frio ou chovendo.

Est chovendo se e somente se est frio.

2. Determinar o valor lgico de cada uma das seguintes proposies:

(c) Roma a capital da Frana ou tg 45 1

Unidade 1 Sentenas e Representao simblica

(g) tg 1 se e somente se sen 0

(i) No verdade que 12 um nmero mpar.

(k) ~ sen 0 0 ou cos 0 1

3. Determinar V p em cada um dos seguintes casos:

4. Determinar V p e V q em cada um dos seguintes casos:

7 Tabela Verdade de Uma Proposio Composta:

Unidade 1 Sentenas e Representao simblica

8 Valor Lgico de Uma Proposio Composta:

0 . Determine o valor lgico da

9 Precedncia e Eliminao de Parntesis:

Unidade 1 Sentenas e Representao simblica

A ordem de precedncia para os conectivos

Se est frio, ento no est chovendo.

Est frio ou no est chovendo.

No est frio e no est chovendo.

Est frio se e somente se no est chovendo.

Se est frio e no est chovendo, ento est frio.

Unidade 1 Sentenas e Representao simblica

No verdade que Joo gacho e Jaime no paulista.

No verdade que Joo no gacho.