1 BLOCO ...........................................................................................................................................................................................

2
I.

Proposio ............................................................................................................................................................................. 2
Princpios das Proposies................................................................................................................................................ 2
Sentenas Abertas............................................................................................................................................................. 2
Negao de Proposio (~p) ou (p)................................................................................................................................. 2
Tipos de Proposio .......................................................................................................................................................... 3

2 BLOCO ........................................................................................................................................................................................... 5
I.

Tabelas Verdade .................................................................................................................................................................... 5

Valores Lgicos das Proposies Compostas ................................................................................................................... 5

3 BLOCO ........................................................................................................................................................................................... 9
I.

Equivalncia Lgica ............................................................................................................................................................... 9

Negao das Proposies Compostas ............................................................................................................................ 10

4 BLOCO ......................................................................................................................................................................................... 12
I.

Tautologia ............................................................................................................................................................................ 12

II.

Contradio.......................................................................................................................................................................... 12

III.

Contingncia ........................................................................................................................................................................ 12

IV.

Relao entre TODO, ALGUM E NENHUM ......................................................................................................................... 12

5 BLOCO ......................................................................................................................................................................................... 15
I.

Resumo e Dicas das Proposies........................................................................................................................................ 15

I.

PROPOSIO

Proposio: toda declarao (com sujeito definido, verbo e sentido completo), que pode ser CLASSIFICADA em
V (verdadeiro) ou F (falso).
Ex.:
p: O mensalo fez muitas vtimas. (proposio)
A: O Alfacon tem os melhores professores de concurso do Brasil. (proposio)
m: 4 + 7 = 15. (proposio)
Obs. 1: A representao das proposies so letras do alfabeto, maisculas ou minsculas.
Obs. 2: perguntas (sentenas interrogativas), exclamaes (sentenas exclamativas), ordens (sentenas
imperativas) e sentenas abertas (aquelas com variveis sujeito indefinido) no so proposies.
Ex.:
Qual o seu nome? (pergunta - no proposio)
Que dia lindo! (exclamao - no proposio)
Feche a porta. (ordem - no proposio)
14 + x = 42 (sentena aberta - no proposio)
PRINCPIOS DAS PROPOSIES
I.
no contradio: uma proposio no pode ser verdadeira e falsa ao mesmo tempo.
Ex.:
p: essa frase falsa.
II.
identidade: uma proposio verdadeira sempre ser verdadeira, assim como uma proposio falsa sempre ser
falsa.
Ex.:
2 + 2 = 4 (verdadeira sempre)
3 x 3 = 6 (falsa sempre)
III.
terceiro excludo: uma proposio s admite os valores ou verdadeiro ou falso, no existindo quaisquer outros
valores para as proposies.
SENTENAS ABERTAS
As sentenas abertas no so proposies, porm elas podem se tornar uma proposio, atravs dos
quantificadores lgicos, como veremos.
Quantificadores Lgicos: servem para transformar uma sentena aberta em proposio, so eles:
= para todo; qualquer que seja; todos;
= existe; existe pelo menos um; algum;
= no existe; nenhum.
Ex.:
x + 13 = 18 (sentena aberta)
x, x + 13 = 18 (l-se: existe x tal que x mais 13 igual a 18)
Observe que com o quantificador conseguimos classificar a sentena, o que faz dela uma proposio verdadeira.
x, x + 13 = 18 (l-se: para todo x, x mais 13 igual a 18)
Observe que com o quantificador conseguimos classificar a sentena, o que faz dela uma proposio falsa.
NEGAO DE PROPOSIO (~P) OU (P)
Serve para mudar o valor lgico das proposies. Assim, faz uma proposio verdadeira se tornar falsa, ou uma
falsa se tornar verdadeira. Tambm conhecido como modificador lgico.
Ex.:
p: Daniel rico.
~p: Daniel no rico.
p: Daniel pobre.

Dupla Negao [~(~p) = p]: faz com que a proposio no se altere.

Ex.:
p: 2 par.
~p: 2 no par.
~(~p): 2 no mpar.
Com isso voltamos a proposio inicial: p: 2 par.
TIPOS DE PROPOSIO
As proposies so apenas de dois tipos:
Simples ou Atmica: proposio nica, sem conectivos lgicos e que no pode ser dividida.
Ex.:
a: Luiza est brincando.
Composta ou Molecular: formada por mais de uma proposio, ligadas entre si por conectivos lgicos, podendo
ser dividida.
Ex.:
p: se Luiza est brincado, ento Lo fez o almoo.
Conectivo Lgico: unem as proposies simples e formam as proposies compostas. So eles:
e: conjuno (^)
Sinnimos: mas; porem; nem = e no; a vrgula
ou: disjuno (v)
ou..., ou: disjuno exclusiva (v)
se..., ento:

se, somente se:

Obs.:
somente as proposies compostas possuem conectivos lgicos
o valor lgico de uma proposio composta depende do valor das proposies simples que a compem, assim
como do conectivo utilizado.
EXERCCIOS
1.
a)
b)
c)
d)
e)
2.
a)
b)
c)
d)
e)

Entre as frases apresentadas a seguir, identificadas por letras de A a E, apenas duas so proposies.
Pedro marceneiro e Francisco, pedreiro.
Adriana, voc vai para o exterior nessas frias?
Que jogador fenomenal!
Todos os presidentes foram homens honrados.
No deixe de resolver a prova com a devida ateno.
Em lgica, pelo princpio do terceiro excludo:
uma proposio falsa pode ser verdadeira e uma proposio verdadeira pode ser falsa.
uma proposio verdadeira pode ser falsa, mas uma proposio falsa sempre falsa.
uma proposio ou ser verdadeira, ou ser falsa, no h outra possibilidade.
uma proposio verdadeira verdadeira e uma proposio falsa falsa.
nenhuma proposio poder ser verdadeira e falsa ao mesmo tempo.

3.

Acerca de proposies, considere as seguintes frases.

I.
II.
III.
IV.

Os Fundos Setoriais de Cincia e Tecnologia so instrumentos de financiamento de projetos.

O que o CT-Amaznia?
Preste ateno ao edital!
Se o projeto for de cooperao universidade-empresa, ento podem ser pleiteados recursos do fundo setorial
verde amarelo.

So proposies apenas as frases correspondentes aos itens:

a)
b)
c)
d)
e)

I e IV.
II e III.
III e IV.
I, II e III.
I, II e IV.
GABARITO

1-C
2-C
3-A

I.

TABELAS VERDADE

Dispositivo prtico que serve para avaliar o valor lgico das proposies compostas.
Obs. 1: o numero de linhas da tabela verdade depende da quantidade de proposies simples que existem na
proposio composta.
n
N de linhas da tabela = 2 ;
Cujo n o numero de proposies simples que compem a proposio composta
Obs. 2: Esse nmero de linha esta associado a todas as relaes possveis de V ou F das proposies simples que
formam a proposio composta.
Demonstrao:

Regras para o preenchimento da Tabela:

1) Comece sempre pelas proposies simples e suas negaes, se houver;
2) Resolva primeiro o que tiver dentro dos parnteses, colchetes e chaves, respectivamente, se houver; (igual
expresso numrica);
3) Resolva primeiro as conjunes e disjunes, depois os condicionais e por ltimo os bicondicionais;
4) A ltima coluna da tabela ser a da proposio toda.
Demonstrao (1 parte):

VALORES LGICOS DAS PROPOSIES COMPOSTAS

Tabela da conjuno: e ( )
Uma proposio composta por conjuno s ser verdadeira se todas as proposies simples que a compem
forem verdadeiras, caso contrario ser falsa.

Ex.: ser servidor pblico de carreira.

Representando em forma de conjuntos temos a seguinte situao:

Tabela da disjuno: ou (v)

Uma proposio composta por disjuno s ser falsa se todas as proposies simples que a compem forem
falsa, caso contrario ser verdadeira.
Ex.: passar num concurso.
Representando em forma de conjuntos temos a seguinte situao:

Tabela da disjuno exclusiva: ou..., ou (v).

A proposio composta por disjuno exclusiva sempre ser verdadeira quando os valores lgicos das
proposies simples que a compem forem diferentes, caso contrario ser falsa.
Ex.: tomar posse num cargo pblico de dedicao exclusiva.
Representando em forma de conjuntos temos a seguinte situao:

Tabela do condicional: se..., ento ( )

A proposio composta por condicional s ser falsa se o antecedente (antes do conectivo) for verdadeiro e o
consequente (depois do conectivo) for falso, caso contrario ser verdadeira.
Importante: no condicional, a proposio antes do conectivo chamada de antecedente ou condio suficiente
enquanto que a proposio depois do conectivo chamada de consequente ou condio necessria.
Lembre-se disso:
Ex.: observe a proposio: Se servidor publico estvel, ento passou no concurso.
Representando em forma de conjuntos temos a seguinte situao:

Tabela do bicondicional: se, somente se (

A proposio composta por bicondicional ser verdadeira sempre que as proposies simples que a
compem tiverem valores lgicos iguais, caso contrario ser falsa.
Obs.: No bicondicional as proposies so suficientes e necessrias ao mesmo tempo.
Ex.: casal apaixonado.
Representando em forma de conjuntos temos a seguinte situao:

Demonstrao (resoluo):
a

EXERCCIOS
1.

Considerando que R e T so proposies lgicas simples, julgue o item a seguir, acerca da construo de
tabelas-verdade.

2.

Considerando que os smbolos

representem as operaes lgicas ou, no, condicional,
bicondicional e e, respectivamente, julgue o item a seguir, acerca da proposio composta P:
r), em que p, q e r so proposies distintas.

O nmero de linhas da tabela-verdade de P igual a 16.

3.
a)
b)
c)
d)
e)

Sejam p e q proposies e ~p e ~q, respectivamente, suas negaes. Se p uma proposio verdadeira

e q, uma proposio falsa, ento verdadeira a proposio composta:
p^q
~p ^ q
~p v q
~p v ~q
GABARITO

1 - ERRADO
2 - ERRADO
3-D

I.

EQUIVALNCIA LGICA

Duas ou mais proposies compostas so logicamente equivalentes quando so formadas pelas mesmas
proposies simples e o resultado de suas tabelas verdades so sempre iguais.
Ex.:
p ^ q = q ^ p (chamada de reciproca)

p v q = q v p (chamada de reciproca)

p v q = q v p (chamada de reciproca)
p v q = ~p v ~q (chamada de contrria)
p v q = ~q v ~p (chamada de contra positiva)
p v q = (p ^ ~q) v (~p ^ q)

(chamada de reciproca)
(chamada de contraria)
(chamada de contra positiva)

 positiva)

NEGAO DAS PROPOSIES COMPOSTAS

Outra forma de equivalncia das proposies.
~ (p ^ q) = ~p v ~q: para negar a conjuno, basta negar as proposies simples e troca-se o conectivo e (^)
por ou (v).

~ (p v q) = ~p ^ ~q: para negar a disjuno, basta negar as proposies simples e troca-se o conectivo ou (v)
por e (^).

~ (p v
disjuno exclusiva, basta transformar em um bicondicional.
~ (p v q) = ~p v q: para negar a disjuno exclusiva, nega-se uma das proposies simples.
~ (p v q) = p v ~q: para negar a disjuno exclusiva, nega-se uma das proposies simples.

v q: para negar o bicondicional, basta transformar em uma disjuno exclusiva.

para negar o bicondicional, nega-se uma das proposies simples
para negar o bicondicional, nega-se uma das proposies simples

para negar o condicional, mantm o antecedente e nega o consequente.

EXERCCIOS
1.
a)
b)
c)
d)
e)

Se Marcos levanta cedo, ento Jlia no perde a hora. possvel sempre garantir que:
se Marcos no levanta cedo, ento Jlia perde a hora.
se Marcos no levanta cedo, ento Jlia no perde a hora.
se Jlia perde a hora, ento Marcos levantou cedo.
se Jlia perde a hora, ento Marcos no levantou cedo.
se Jlia no perde a hora, ento Marcos levantou cedo.

As afirmaes que podem ser julgadas como verdadeiras (V) ou falsas (F), mas no ambas, so chamadas
proposies. As proposies so usualmente simbolizadas por letras maisculas: A, B, C etc. A expresso
lida, entre outras formas, como "se A ento B", uma proposio que tem valorao F quando A V e B F, e tem
valorao V nos demais casos. Uma expresso da forma ~A, lida como "no A", uma proposio que tem valorao
V quando A F, e tem valorao F quando A V. A expresso da forma A B, lida como "A e B", uma proposio
que tem valorao V apenas quando A e B so V, nos demais casos tem valorao F. Uma expresso da forma AvB,
lida como "A ou B", uma proposio que tem valorao F apenas quando A e B so F; nos demais casos, V. Com
base nessas definies, julgue o item que se segue.
2.

Uma expresso da forma ~(A ~B) uma proposio que tem exatamente as mesmas valoraes V ou F da
proposio
.

3.

A proposio "um nmero inteiro par se e somente se o seu quadrado for par" equivale logicamente
proposio:

a) se um nmero inteiro for par, ento o seu quadrado par, e se um nmero inteiro no for par, ento o seu
quadrado no par.
b) se um nmero inteiro for mpar, ento o seu quadrado mpar.
c) se o quadrado de um nmero inteiro for mpar, ento o nmero mpar.
d) se um nmero inteiro for par, ento o seu quadrado par, e se o quadrado de um nmero inteiro no for par,
ento o nmero no par.
e) se um nmero inteiro for par, ento o seu quadrado par.
GABARITO
1-D
2 - CORRETO
3-A

I.

TAUTOLOGIA

quando uma proposio composta sempre verdadeira, independente dos valores lgicos das proposies
simples que a compem.
Ex.: (a ^

II. CONTRADIO
quando uma proposio composta sempre falsa, independente dos valores lgicos das proposies simples
que a compem.
Ex.: (a v

III. CONTINGNCIA
quando a proposio composta no tautologia nem contradio.

IV. RELAO ENTRE TODO, ALGUM E NENHUM

Relao de equivalncia:
Todo A B = Nenhum A no B
Ex.:
Todo diretor bom ator = Nenhum diretor mau ator.
Nenhum A B = Todo A no B
Ex.:
Nenhuma mulher compreensiva = Toda mulher no compreensiva.

Relao de negao:
Todo A B = Algum A no B
Ex.:
Todo policial honesto = Algum policial no honesto.
Algum A B = Nenhum A B
Ex.:
Alguma ave mamfera = Nenhuma ave mamfera.
Temos tambm a representao em forma de conjuntos, que :
Todo A B

Algum A B

Nenhum A B

EXERCCIOS
1.

Considere a seguinte proposio:

(i) Todos os alunos assistiram ao filme.

A negao da proposio (i) :

a)
b)
c)
d)
2.

Nenhum aluno assistiu ao filme.

Algum aluno no assistiu ao filme.
Alguns alunos assistiram ao filme.
Todos os alunos no assistiram ao filme.
B) uma tautologia.

3.
a)
b)
c)
d)
e)
4.

Na lgica proposicional, uma tautologia uma frmula proposicional que:

falsa para todas as possveis valoraes de suas variveis proposicionais.
verdadeira para todas as possveis valoraes de suas variveis proposicionais.
pode ser falsa ou verdadeira para todas as possveis valoraes de suas variveis proposicionais.
falsa para algumas das possveis valoraes de suas variveis proposicionais.
verdadeira para algumas das possveis valoraes de suas variveis proposicionais.
A declarao abaixo foi feita pelo gerente de recursos humanos da empresa X durante uma feira de
recrutamento em uma faculdade:

Todo funcionrio de nossa empresa possui plano de sade e ganha mais de R$ 3.000,00 por ms.
Mais tarde, consultando seus arquivos, o diretor percebeu que havia se enganado em sua declarao. Dessa forma,
conclui-se que, necessariamente:
a)
b)
c)
d)
e)

dentre todos os funcionrios da empresa X, h um grupo que no possui plano de sade.

o funcionrio com o maior salrio da empresa X ganha, no mximo, R$ 3.000,00 por ms.
um funcionrio da empresa X no tem plano de sade ou ganha at R$ 3.000,00 por ms.
nenhum funcionrio da empresa X tem plano de sade ou todos ganham at R$ 3.000,00 por ms.
alguns funcionrios da empresa X no tm plano de sade e ganham, no mximo, R$ 3.000,00 por ms.
GABARITO

1-B
2 - CORRETO
3-B
4-C

I.

RESUMO E DICAS DAS PROPOSIES

1) Proposio: declarao que pode ser classificada ou em verdadeiro (V) ou em falso (F).
2) Negao de proposio:
Muda o valor lgico da proposio.
3) Tipos de proposio: simples (sem conectivo) e compostas (com conectivo e que podem ser divididas).
4) Conectivos lgicos:
e = ^ = conjuno (sinnimos: mas; porm; nem = e no).
ou = v = disjuno.
ou..., ou = v = disjuno exclusiva.

5) Tabela verdade: nmero de linhas da tabela = 2n, cujo n o nmero de proposies simples que compem a
proposio composta.
6) Valores lgicos das proposies compostas:

7)
I.
II.
III.
IV.
V.
VI.
VII.
VIII.
IX.
X.
XI.
XII.
8)

Equivalncias lgicas:
p ^ q = q ^ p (troca de posio);
p v q = q v p (troca de posio);
p v q = q v p (troca de posio);
p v q = ~p v ~q (nega as proposies);
p v q = ~q v ~p (troca de posio e nega as proposies);
p v q = (p ^ ~q) v (~p ^ q);

Negaes de proposies compostas:

~ (p ^ q) = ~p v ~q (Leis de Morgan);
~ (p v q) = ~p ^ ~q (Leis de Morgan);
~ (p v
~ (p v q) = ~p v q;
~ (p v q) = p v ~q;
v q;

9) Tautologias, Contradies e Contingncias:

Tautologias: proposio composta toda verdadeira.
Contradio: proposio composta toda falsa.
Contingncia: proposio composta que no tautologia nem contradio.
10) Relao entre TODO, ALGUM E NENHUM:

Outra relao que temos :

Todo A B = Algum B A
Ex.:
Todo professor artista = Algum artista professor.
EXERCCIOS

1.
a)
b)
c)
d)
e)
2.

Para que valores de p, q, r, s e t, respectivamente, a proposio acima verdadeira?

V, V, V, V, V
V, F, V, F, F
F, F, V, F, F
F, V, F, V, F
F, F, V, V, V
Considere a seguinte proposio composta:

"Voc no pode dirigir um trator se tiver menos que 1m, a no ser que tenha habilitao especial.", em que:
"^" representa "e"
"v" representa "ou"
"" representa "negao"
" " representa "implicao"
"
" representa "equivalncia"
Proposies primitivas:
P: "Voc pode dirigir um trator"
Q: "Voc tem menos de 1m"
R: "Voc tem habilitao especial"
Qual alternativa simboliza corretamente a proposio?
a)
b)
c)
d)
e)

(Q^R) P
(Qv) P
(Q^R) P
(QvR)
P
(Q^R)
P

3.
a)
b)
c)
d)
e)

A negao de " noite, todos os gatos so pardos" :

De dia, todos os gatos so pardos.
De dia, nenhum gato pardo.
De dia, existe pelo menos um gato que no pardo.
noite, existe pelo menos um gato que no pardo.
noite, nenhum gato pardo.

P: Se no h autorizao legislativa ou indicao dos recursos financeiros correspondentes, ento, no h abertura

de crditos suplementares ou de crditos especiais.
4.

Considerando a proposio acima, que tem por base o art. 167, inciso V, da Constituio Federal de 1988,
julgue o item seguinte.

A proposio P logicamente equivalente proposio Se h abertura de crditos suplementares ou de crditos

especiais, ento h autorizao legislativa ou indicao dos recursos financeiros correspondentes.
GABARITO
1-C
2-A
3-D
4 - CORRETO