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.


1 BLOCO ........................................................................................................................................................................................... 2
I. Proposio ......................................................................................................................................................................... 2
II. Quantificadores Lgicos ..................................................................................................................................................... 2
III. Propriedade das Proposies ............................................................................................................................................ 2
IV. Negao (NO P =~P =P) ............................................................................................................................................. 3
V. Lei da Dupla Negao ........................................................................................................................................................ 3
VI. Tipos de Proposio ........................................................................................................................................................... 3
VII. Conectivo Lgico ................................................................................................................................................................ 3
2 BLOCO ........................................................................................................................................................................................... 4
I. Tabelas Verdades .............................................................................................................................................................. 4
3 BLOCO ........................................................................................................................................................................................... 6
I. Equivalncia Lgica ............................................................................................................................................................ 6
II. Negao das Proposies Compostas ............................................................................................................................... 7
4 BLOCO ........................................................................................................................................................................................... 8
I. Tautologia ........................................................................................................................................................................... 8
II. Contradio ........................................................................................................................................................................ 8
III. Contingncia ...................................................................................................................................................................... 8
IV. Relao Entre Todo, Algum e Nenhum .............................................................................................................................. 8
5 BLOCO ........................................................................................................................................................................................... 9
I. Exerccios Relativos ao Encontro ....................................................................................................................................... 9


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, porm 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 a torna
uma proposio - verdadeira)
x, x +2 =10 (observe que com os quantificadores conseguimos classificar a sentena aberta, o que a torna
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 contradi o: uma proposio no pode ser verdadeira e falsa ao mesmo tempo.
Ex:
p: essa frase falsa. (observe que se voc classific-la como verdadeira, ela se tornar 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 vice-
versa. 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 J aneiro 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 proposi es compostas possuem conectivos lgicos.
Conectivos lgicos so operadores lgicos que se ligam s 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
Servem 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 de linhas da tabela = 2
n
; 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, resolva primeiro as negaes, depois as conjunes e disjunes (na
ordem que aparecer primeiro), depois os condicionais e por ltimo o bicondicional.
DEMONSTRAO: A ^ B ~B V ~A

TABELA DA CONJUNO: E (^)

Obs.: uma proposio composta por conjuno s ser verdadei ra se todas as proposies si mpl es 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 exclusi va sempre ser verdadei ra quando os valores lgi cos das
proposies simpl es que a compem forem diferentes, caso contrario ser falsa.
TABELA DO BICONDICIONAL: SE, SOMENTE SE ()

Obs.: a proposio composta por bicondicional ser verdadeira sempre que as proposies simpl es que a
compem tiverem valores lgicos iguai s, 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 di sso: p (antecedente) (condio suficiente) q (consequente) (condio necessria)
RESOLVENDO A DEMONSTRAO: A ^ B ~B V ~A


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

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


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.


II. NEGAO DAS PROPOSIES COMPOSTAS
Outras formas de equivalncia, porm, como negaes de proposies.
~ (p ^ q) = ~p v ~q: para negar a conjuno, negam-se as proposies simples e troca-se o conectivo e (^) por ou
(v).

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

~ (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 condi cional, mantm o antecedente e nega-se o consequente.


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. 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, a, 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, a, 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, a, diz-se que ocorre ento uma contingncia.
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.

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. EXERCCIOS RELATIVOS AO ENCONTRO
1. Considere as proposies simples:
p: Maly usuria do Metr; e
q: Maly gosta de dirigir automvel;
A negao da proposio composta p ~q :
a) Maly no usuria do Metr ou gosta de dirigir automvel.
b) Maly no usuria do Metr e no gosta de dirigir automvel.
c) No verdade que Maly no usuria do Metr e no gosta de dirigir automvel.
d) No verdade que, se Maly no usuria do Metr, ento ela gosta de dirigir automvel.
e) Se Maly no usuria do Metr, ento ela no gosta de dirigir automvel.
2. Uma afirmao equivalente afirmao Se bebo, ento no dirijo :
a) Se no bebo, ento no dirijo.
b) Se no dirijo, ento no bebo.
c) Se no dirijo, ento bebo.
d) Se no bebo, ento dirijo.
e) Se dirijo, ento no bebo.
3. Considere as seguintes premissas:
p: Estudar fundamental para crescer profissionalmente.
q: O trabalho enobrece.
A afirmao Se o trabalho no enobrece ento estudar no fundamental para crescer profissionalmente , com
certeza, FALSA quando:
a) p falsa e q falsa.
b) p verdadeira e q verdadeira.
c) p falsa e q verdadeira.
d) p verdadeira e q falsa.
e) p falsa ou q falsa.
4. Considere a seguinte proposio:
Se uma pessoa no faz cursos de aperfeioamento na sua rea de trabalho, ento ela no melhora o seu
desempenho profissional.
Uma proposio logicamente equivalente proposio dada :
a) falso que, uma pessoa no melhora o seu desempenho profissional ou faz cursos de aperfeioamento na sua
rea de trabalho.
b) No verdade que, uma pessoa no faz cursos de aperfeioamento profissional e no melhora o seu
desempenho profissional.
c) Se uma pessoa no melhora seu desempenho profissional, ento ela no faz cursos de aperfeioamento na sua
rea de trabalho.
d) Uma pessoa melhora o seu desempenho profissional ou no faz cursos de aperfeioamento na sua rea de
trabalho.
e) Uma pessoa no melhora seu desempenho profissional ou faz cursos de aperfeioamento na sua rea de
trabalho.

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.


5. Durante uma sesso no plenrio da Assembleia Legislativa, o presidente da mesa fez a seguinte declarao,
dirigindo-se s galerias da casa: Se as manifestaes desrespeitosas no forem interrompidas, ento eu no
darei incio votao. Esta declarao logicamente equivalente afirmao:
a) se o presidente da mesa deu incio votao, ento as manifestaes desrespeitosas foram interrompidas.
b) se o presidente da mesa no deu incio votao, ento as manifestaes desrespeitosas no foram
interrompidas.
c) se as manifestaes desrespeitosas forem interrompidas, ento o presidente da mesa dar incio votao.
d) se as manifestaes desrespeitosas continuarem, ento o presidente da mesa comear a votao.
e) se as manifestaes desrespeitosas no continuarem, ento o presidente da mesa no comear a votao.
O conhecido Problema dos Quatro Cartes, proposto em 1966 pelo psiclogo ingls Wason, apresentado e
comentado por Nilson J os Machado em seu livro Matemtica e Lngua Materna. A verso original deste problema
tem o seguinte enunciado: Os quatro cartes abaixo tm uma letra numa face e um nmero inteiro na outra.

6. Considere a seguinte proposio: Se h uma vogal em uma face, ento h um nmero par na outra. Indique os
cartes que precisam ser necessariamente virados para que se determine se a proposio acima verdadeira
ou falsa.
Qual a resposta correta a esse problema?
a) Apenas o carto 1.
b) Apenas os cartes 1 e 4.
c) Apenas os cartes 1 e 3.
d) Apenas os cartes 1, 2 e 3.
e) Todos os cartes.
GABARITO
1 - D
2 - B
3 - E
4 - C
5 - E
6 - C