Beruflich Dokumente
Kultur Dokumente
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.
3 BLOCO ........................................................................................................................................................................................... 9
I.
4 BLOCO ......................................................................................................................................................................................... 12
I.
Tautologia ............................................................................................................................................................................ 12
II.
Contradio.......................................................................................................................................................................... 12
III.
Contingncia ........................................................................................................................................................................ 12
IV.
5 BLOCO ......................................................................................................................................................................................... 15
I.
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.
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.
I.
II.
III.
IV.
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:
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:
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:
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:
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.
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)
~ (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.
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.
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.
3.
a)
b)
c)
d)
e)
4.
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)
1-B
2 - CORRETO
3-B
4-C
I.
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);
1.
a)
b)
c)
d)
e)
2.
"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)
Considerando a proposio acima, que tem por base o art. 167, inciso V, da Constituio Federal de 1988,
julgue o item seguinte.