1 Bloco

I.
II.
III.
IV.
V.
VI.

Conceito de Proposio;
Quantificadores Lgicos;
Propriedades das Proposies;
Negao de Proposio e Dupla-Negao;
Tipos de Proposio;
Conectivos Lgicos.

2 Bloco

I.

Tabelas Verdades.

3 Bloco

I.
II.

Equivalncia Lgica;
Negao das Proposies Compostas.

4 Bloco

I.
II.
III.
IV.

Tautologia;
Contradio;
Contingncia;
Relao Entre Todo, Algum e Nenhum.

5 Bloco

I.

Exerccios Relativos ao Encontro.

Lei do Direito Autoral n 9.610, de 19 de Fevereiro de 1998: Probe a reproduo total ou parcial desse material ou divulgao com fins
comerciais ou no, em qualquer meio de comunicao, inclusive na Internet, sem autorizao do Alfa Concursos Pblicos Online.

I.

PROPOSIO
Toda declarao (afirmao ou negao), que pode ser CLASSIFICADA em V (verdadeiro) ou F (falso).

A representao das proposies so letras do alfabeto, maisculas ou minsculas.

Ex:
p: 7 + 2 = 9. (proposio)
b: Teresina a capital do Maranho. (proposio)
q: Lula foi presidente do Brasil. (proposio)
D: qual o seu nome? (pergunta - no proposio)
S: que dia lindo! (exclamao - no proposio)
F: feche a porta. (ordem - no proposio)
w: x + 3 = 7 (sentena aberta - no proposio)
Z: y 4 = 17 (sentena aberta - no proposio)
Obs. 1: perguntas (sentenas interrogativas), ordens (sentenas imperativas) e exclamaes (sentenas
exclamativas) no so proposies.
Obs. 2: as sentenas abertas (com variveis) tambm no so proposies, porem elas podem se transformar em
uma proposio, atravs dos quantificadores lgicos, como veremos adiante.
II.

QUANTIFICADORES LGICOS

Servem para transformar uma sentena aberta em proposio, so eles:

= para todo; qualquer que seja; todos;

= existe; existe pelo menos um; existe um;

= no existe; nenhum;

Exemplo:

x + 2 = 10 (sentena aberta)
x, x + 2 = 10 (observe que com os quantificadores conseguimos classificar a sentena aberta, o que torna ela uma
proposio - verdadeira)

x, x + 2 = 10 (observe que com os quantificadores conseguimos classificar a sentena aberta, o que torna ela uma
proposio - falsa)
III.

PROPRIEDADE DAS PROPOSIES

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)

No contradio: uma proposio no pode ser verdadeira e falsa ao mesmo tempo.

Ex:
p: essa frase falsa. (observe que se voc classificar ela como verdadeira, ela fica falsa tambm)

Terceiro excludo: uma proposio s admite os valores de verdadeiro ou falso, no existindo outros valores.

Lei do Direito Autoral n 9.610, de 19 de Fevereiro de 1998: Probe a reproduo total ou parcial desse material ou divulgao com fins
comerciais ou no, em qualquer meio de comunicao, inclusive na Internet, sem autorizao do Alfa Concursos Pblicos Online.

IV. NEGAO (NO P = ~P = P)

Serve para alterar o valor lgico das proposies. Logo, transforma uma proposio verdadeira em falsa, ou viceversa. Tambm conhecido como modificador lgico.
Ex:
p: este livro de matemtica
~p: este livro no de matemtica
p: no verdade que esse livro de matemtica
V.

LEI DA DUPLA NEGAO

~(~p) = p
Ex:
p: este livro de matemtica
~p: este livro no de matemtica
~(~p): no verdade que esse livro no de matemtica
Logo, p: esse livro de matemtica.
VI. TIPOS DE PROPOSIO

Simples: proposio nica, que no pode ser dividida.

Ex:
a: Rio de Janeiro conhecida como a cidade maravilhosa

Composta: formada por mais de uma proposio, ligadas entre si por conectivos lgicos, podendo ser dividida.

Ex:
p: 4 par e 7 impar (composta)
T: se So Paulo a terra da garoa, ento So Paulo uma cidade quente (composta)
Obs.:

Somente as proposies compostas possuem conectivos lgicos

Conectivos lgicos so operadores lgicos que se ligam as proposies simples para formar as proposies
compostas.

O valor lgico de uma proposio composta depende do valor das proposies simples que a compem, assim
como do conectivo utilizado.

VII. CONECTIVO LGICO

Serve para unir as proposies simples, formando proposies compostas. So eles:
e: conjuno (^)
ou: disjuno (v)
ou..., ou: disjuno exclusiva (v)
se..., ento: condicional ()
se, somente se: bi condicional ()

Lei do Direito Autoral n 9.610, de 19 de Fevereiro de 1998: Probe a reproduo total ou parcial desse material ou divulgao com fins
comerciais ou no, em qualquer meio de comunicao, inclusive na Internet, sem autorizao do Alfa Concursos Pblicos Online.

I.

TABELAS VERDADES

Serve para avaliar o valor lgico das proposies compostas.

Obs.: o nmero de linhas da tabela verdade depende da quantidade de proposies simples que existem na
proposio composta.
n

N de linhas da tabela = 2 ; onde n o nmero de proposies simples que compem a proposio composta (o
nmero de linha esta associado a todas as relaes possveis de V ou F das proposies simples que formam a
proposio composta).
Demonstrao:

Observe que temos 3 proposies simples, logo uma tabela com 8 linhas, e que aps o preenchimento dessas linhas
com V e F, temos todas as relaes possveis de V e F dessas 3 proposies.

Dica: para uma melhor construo da tabela verdade, comece sempre pelas partes menores, seguindo pelas
partes intermediarias, ate chegar ao todo.

Regras: resolva primeiro o que tiver dentro dos parnteses, colchetes e chaves, respectivamente. Caso no
tenha parnteses, colchetes ou chaves faam primeiro as negaes, depois as conjunes e disjunes (na
ordem que aparecer primeiro), depois os condicionais e por ultimo o bi condicional.

Demonstrao: a ^ b ~b v ~a

Tabela da conjuno: e (^)

Obs.: uma proposio composta por conjuno s ser verdadeira se todas as proposies simples que a
compem forem verdadeiras, caso contrario ser falsa.
Tabela da disjuno: ou (v)

Obs.: uma proposio composta por disjuno s ser falsa se todas as proposies simples que a compem
forem falsa, caso contrario ser verdadeira.
Lei do Direito Autoral n 9.610, de 19 de Fevereiro de 1998: Probe a reproduo total ou parcial desse material ou divulgao com fins
comerciais ou no, em qualquer meio de comunicao, inclusive na Internet, sem autorizao do Alfa Concursos Pblicos Online.

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

Obs.: 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.
Tabela do bi condicional: se, somente se ()

Obs.: a proposio composta por bicondicional ser verdadeira sempre que as proposies simples que a
compem tiverem valores lgicos iguais, caso contrario ser falsa.
Tabela do condicional: se..., ento ()

Importante: nessa situao do condicional, a primeira proposio (antecedente) condio suficiente para a
segunda proposio (consequente), e o consequente condio necessria para o antecedente.
Obs.: a proposio composta por condicional s ser falsa se o antecedente (primeira proposio) for verdadeiro e o
consequente (segunda proposio) for falso, caso contrario ser verdadeira.
Lembrem disso: p (antecedente) (condio suficiente) q (consequente) (condio necessria)
Resolvendo a demonstrao: a ^ b ~b v ~a

I.

EQUIVALNCIA LGICA

Duas proposies compostas so logicamente equivalentes quando so formadas pelas mesmas proposies
simples e o resultado de suas tabelas verdades so idnticos.
Ex:
1. p ^ q = q ^ p

Lei do Direito Autoral n 9.610, de 19 de Fevereiro de 1998: Probe a reproduo total ou parcial desse material ou divulgao com fins
comerciais ou no, em qualquer meio de comunicao, inclusive na Internet, sem autorizao do Alfa Concursos Pblicos Online.

2. p v q = q v p

3. p v q = q v p

4. pq = qp

5. pq = ~q~p

6. pq = ~p v q

II.

NEGAO DAS PROPOSIES COMPOSTAS

Outras formas de equivalncia, porem como negaes de proposies.

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

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

Lei do Direito Autoral n 9.610, de 19 de Fevereiro de 1998: Probe a reproduo total ou parcial desse material ou divulgao com fins
comerciais ou no, em qualquer meio de comunicao, inclusive na Internet, sem autorizao do Alfa Concursos Pblicos Online.

~ (p v q) = pq: para negar a disjuno exclusiva, basta transformar em um bicondicional.

~(pq) = p v q: para negar o bicondicional, basta transformar em uma disjuno exclusiva.

~ (pq) = p ^ ~q: para negar o condicional, mantm o antecedente e nega-se o consequente.

I.

TAUTOLOGIA

quando em uma tabela verdade o resultado final sempre verdadeiro, ou seja, quando uma proposio
composta sempre verdadeira, independente dos valores lgicos das proposies simples que a compem, ai diz-se
que ocorre uma tautologia.
Ex: a (a v b).

II.

CONTRADIO

quando em uma tabela verdade o resultado final sempre negativo, ou seja, quando uma proposio composta
sempre falsa, independente dos valores lgicos das proposies simples que a compem, ai diz-se que ocorre uma
contradio.
Ex: (a ^ b) ^ (~a ^ ~b).

III.

CONTINGNCIA

quando em uma tabela verdade no ocorre uma tautologia e nem uma contradio, ou seja, quando a
proposio composta no tautologia nem contradio, ai diz-se que ocorre ento uma contingncia.

Lei do Direito Autoral n 9.610, de 19 de Fevereiro de 1998: Probe a reproduo total ou parcial desse material ou divulgao com fins
comerciais ou no, em qualquer meio de comunicao, inclusive na Internet, sem autorizao do Alfa Concursos Pblicos Online.

Ex: p (p ^ q).

IV. RELAO ENTRE TODO, ALGUM E NENHUM

Relao de equivalncia:

Todo A B = Nenhum A no B
Nenhum A B = Todo A no B
Ex:
Todo Alberto Beto = Nenhum Alberto no Beto
Nenhum Aluno Burro = Todo Aluno no Burro

Relao de negao:

Todo A B = Algum A no B
Algum A B = Nenhum A B
Ex:
Todo estudante esforado = Algum estudante no esforado.
Algum aluno preguioso = Nenhum aluno preguioso.

I.

EXERCCIOS RELATIVOS AO ENCONTRO

1. Entre as frases apresentadas a seguir, identificadas por letras de A a E, apenas duas so proposies.
a)
b)
c)
d)
e)

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.

2. Acerca de proposies, considere as seguintes frases.

I.

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

II.

O que o CT-Amaznia?

III.

Preste ateno ao edital!

IV. 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.

Lei do Direito Autoral n 9.610, de 19 de Fevereiro de 1998: Probe a reproduo total ou parcial desse material ou divulgao com fins
comerciais ou no, em qualquer meio de comunicao, inclusive na Internet, sem autorizao do Alfa Concursos Pblicos Online.

3. Considere as seguintes sentenas.

I.

Apresente ao diretor da escola, em tempo hbil, todos os documentos que ainda no foram assinados.

II.

Carlos, como secretrio escolar, coordena e executa as tarefas decorrentes dos encargos da Secretaria.

III.

Organize e mantenha em dia as cpias de leis, regulamentos, diretrizes, portarias e todos os outros documentos.

correto afirmar que, entre as sentenas apresentadas, apenas uma delas proposio.
4. Considerando as proposies simples que compem a frase A msica nos conecta a ns mesmos, aos outros e
alma do Brasil, correto afirmar que a tabela-verdade da proposio referente a essa frase tem 8 linhas.
5. Considere que A, B e C sejam proposies simples, distintas, e que a proposio D seja definida por
D = [A B] [A] C. Nesse caso, a tabela-verdade da proposio D tem 16 linhas.
2

6. Considere a seguinte sentena aberta: x um nmero real e x > 5. Nesse caso, se x = 2, ento a proposio
ser F, mas, se x = -3, ento a proposio ser V.
7. Considere as seguintes proposies: x, y e z so nmeros reais tais que x + y + z = 1 e 2x + y + z = 0. Nesse
caso, se essa proposio for V, ento ser V tambm a seguinte proposio x = -1 e y + z = 2.
8. Independentemente dos valores lgicos atribudos s proposies A e B, a proposio [(A B) ^ (B)] (A)
tem somente o valor lgico F.
9. As proposies Se o delegado no prender o chefe da quadrilha, ento a operao agarra no ser bemsucedida e Se o delegado prender o chefe da quadrilha, ento a operao agarra ser bem-sucedida so
equivalentes.
10. A negao da proposio O carto de Joana tem final par ou Joana no recebe salrio mnimo O carto de
Joana tem final mpar e Joana recebe acima do salrio mnimo.
11. Se A for a proposio Todos os policiais so honestos, ento a proposio A estar enunciada corretamente
por Nenhum policial honesto.
GABARITO
1 - CORRETO
2-A
3 - CORRETO
4 - CORRETO
5 - ERRADO
6 - CORRETO
7 - CORRETO
8 - ERRADO
9 - ERRADO
10 - CORRETO
11 - ERRADO

Lei do Direito Autoral n 9.610, de 19 de Fevereiro de 1998: Probe a reproduo total ou parcial desse material ou divulgao com fins
comerciais ou no, em qualquer meio de comunicao, inclusive na Internet, sem autorizao do Alfa Concursos Pblicos Online.