Professional Documents
Culture Documents
Na lgica, uma estrutura (ou estrutura de interpretao) um objeto que d significado semntico ou interpretao aos smbolos definidos pela
assinatura de uma linguagem. Uma estrutura
possui diferentes configuraes, seja em lgicas
de primeira ordem, seja em linguagens lgicas
superior.
Compreender poli-sortidas ou de ordem estruturas lgicas , antes de tudo, compreender o que
so proposies. Chama-se proposio toda sentena declarativa qual podemos atribuir um dos
valores lgicos: verdadeiro ou falso, nunca ambos. Trata-se, portanto, de uma sentena fechada.
Exemplos:
p: 2 um n primo. (V)
q: 2 + 3 >( 2+3 ) .(F).
r: Foi publicado o Edital do TRE/MG 2008. (V)
s: (x)(x R)(x + 3 = 9 ) (F)
t: (3x)(x R)(x + 3 = 9) (V)
Trata-se de um tipo de sistema na qual as premissas fornecem indcios suficientes para permitir
estimar uma determinada concluso. Diferente da
deduo, a resposta no obtida absolutamente,
mas busca-se a melhor probabilidade de resposta, que pode ser posteriormente anulada sob novos indcios.
Por exemplo:
Ambas so sentenas afirmativas, porm somente a 2 tem sentido completo. O pronome Ele, na
frase 1, provoca uma indeterminao. Concluso:
somente a frase 2 classificada como proposio.
Analogia
Relao de semelhana (comparao) estabelecida entre diferentes conjuntos de argumentos
que obedecem a uma mesma estrutura lgica
(isto , organizao dos argumentos).
Por exemplo: A luz est para o dia como a escurido est para a noite uma analogia no qual se
estabelece que para uma fase do dia h um nvel
de intensidade luminosa utilizada. Ento pode-se
estabelecer uma nova fase (p.ex.tarde) e um
nvel de luminosidade (meia-luz) para estabelecer uma frase que permita fazer analogia com
antiga frase a meia-luz est para tarde.
Exemplo: P Q V R.
Proposies
As proposies so determinadas por sentenas
declarativas, pertencentes a uma certa linguagem, que formam um conjunto de palavras ou
smbolos e expressam uma ideia. As sentenas
declarativas so afirmaes que podem receber
apenas dois valores, Verdadeiro ou Falso. As
proposies devem seguir os seguintes princpios:
1.
Princpio da identidade: garante que uma
proposio igual a ela mesma.
2.
Princpio da no-contradio: uma proposio no pode ser verdadeira e falsa.
3.
Princpio do terceiro excludo: uma proposio verdadeira ou falsa.
Exemplos:
O cachorro um animal. - Verdadeiro
Com isso, usar parnteses fundamental. A expresso do exemplo poderia ficar assim: (P Q)
V R ou P (Q V R).
A ordem da precedncia de operadores :
1.
(),, {}
2.
3.
V, , V
4.
5.
Tabela Verdade
A tabela verdade construda para determinar o
valor lgico de uma proposio composta. Segue
uma excelente estratgia para a construo da
mesma.
2 + 2 = 7 - Falso
Qualquer sentena que no puder receber a atribuio de verdadeira ou falsa no uma proposio. Sentenas interrogativas, exclamativas e
imperativas no so proposies, pois no possvel dizer se so verdadeiras ou falsas.
Limpe a cozinha.
p q pq
Proposies compostas
Esta a estrutura da tabela, agora para a preencher com os devidos valores lgicos utiliza-se a
seguinte tcnica: at a metade da primeira coluna
coloca-se Verdadeiro, na outra metade Falso. J
na segunda coluna, intercala-se V e F. Desta
forma adquira-se a seguinte tabela:
pq
V V Resultado
V F
Resultado
~p
V F
F
V Resultado
Exemplo:
Resultado
Esta uma das melhores estratgias para a montagem de uma tabela verdade.
Conectivos Lgicos
Proposies podem ser ligadas entre si por meio
de conectivos lgicos. Conectores que criam novas sentenas mudando ou no seu valor lgico
(Verdadeiro ou Falso). Exemplos dos principais
conectores lgicos:
ou ~ (negao);
(conectivo e);
V (conectivo ou);
V (conectivo ou exclusivo);
Conector e ()
O conectivo e, tambm conhecido como AND e
representado pelo smbolo ^ junta proposies
as quais somente resultaro em Verdadeiro se
todos os valores forem Verdadeiros.
Exemplo:
Considere
es p e q (Conjuno).
p
as
proposi-
pq
V V V
V F
V F
Conector ou (V)
Exemplo:
pq
Exemplo:
V V V
Considere as proposies p e q (Disjuno).
p
V F
pVq
V V V
V F
F
V F
V V
Ou exclusivo (V)
Conector condicional ()
O conectivo condicional, tambm conhecido
como implica e representado pelo smbolo
une proposies criando uma estrutura condicional onde apenas uma das possibilidades resulta
em F o valor lgico da expresso.
Exemplo:
Considere
as
Se p ento q
pVq
V V F
V F
proposies p e q (Condio).
F
V V
pq
V V V
V F
V V
Exemplo: p q (p q) p v q.
Conector bi-condicional ()
O conectivo bi-condicional, lido como se, e
somente se e representado pelo smbolo ,
ele une proposies onde o resultado lgico da
pq
V V F
V F
V V
pq
V V F
V F
F
F p (F ento p)
Fp
V V
V F
Neste outro caso tambm se obteve uma tautologia, devido ao fato da ltima coluna da tabela
(resultado da expresso) ter somente Verdadeiro.
V
p
~p p ^ ~p
V F
Exemplo:
Exemplo:
p v ~p (p OU no p)
p V q (p OU q)
~p p V ~p
pVq
V F
V V V
V F
F
F
Equivalncia Lgica
V V
F
Percebe-se que a ltima coluna no possui apenas um valor lgico, por isso a determinamos
uma proposio contingente, ou indeterminada.
V V
V F
pq pVq
V V V
V F
V F
P Q PQ QP
V V
V F
Exemplo: P V Q implica P Q?
pVq pq
V V V
V F
V V
pq qp
~p ~q p q ~p ~q
V V F
V F
V V
Contra Positiva: a contra positiva da preposio p q ~q ~p. Para encontramos a contra positiva basta juntar os passos da recproca e
da contrria,ou seja, deve se inverter os lugares
do antecedente e do consequente e negar ambos. A proposio contra positiva tem o mesmo
resultado que a proposio original.
p
~p ~q p q ~q ~p
V V F
V F
V V
V V V
V F
V V
Exemplo: Se a Maria feia ento todos so feios. A contra positiva seria: Se todos no so
feios ento Maria no feia.
Leis de Morgan
Conjunto de operaes para simplificar expresses lgicas criado pelo matemtico Augustus
DeMorgan.
Quando trabalhamos com expresses lgicas
muito grandes ou complexas, pode ser necessrio substituir uma determinada expresso por uma
logicamente equivalente (isto , cujos elementos
possam ser reordenados de tal forma que possam produzir o mesmo resultado lgico- VERDADEIRO ou FALSO).
Prova:
Se a = V e b = F, ento:
No (a e b) = no (V e F) = no (F) = V
significa que
Desta forma:
Comparando:
No (a) ou no (b) = no (V) ou no (F) = F ou V
=V
Segunda lei de De Morgan
"a negao de uma disjuno entre duas proposies a conjuno da negao de cada
proposio"
Ou ainda:
Axiomas.
Os axiomas considerados aqui so os axiomas lgicos que fazem parte do clculo de predi-
, tem a seguinte
, onde
2.
um conjunto de smbolos chamados de constantes;
3.
um conjunto de
smbolos ditos sinais funcionais;
4.
um conjunto de
smbolos ditos sinais relacionais ou predicativos;
6.
los de pontuao.
1.
um conjunto enumervel de variveis;
5.
conjunto de smbolos ditos sinais lgicos;
o conjunto de smbo-
As constantes, sinais funcionais e sinais predicativos constituem a coleo de sinais ditos smbolos no lgicos.
H diversas variaes menores listadas abaixo:
for ux e x
as variveis
Ocorrncias
oposio a
5.
Clusula de fechamento: Nada mais
uma FBF.
0, x, y so termos atmicos
+ (x, y), + (x, + (y, (z))) so termos, escritos geralmente como x + y, x + (y + (z))
10
Notao e Representao
A notao dos conjuntos feita mediante a utilizao de uma letra maiscula do nosso alfabeto e
a representao de um conjunto pode ser feita de
diversas maneiras, como veremos a seguir.
Listagem dos Elementos
Apresentamos um conjunto por meio da listagem
de seus elementos quando relacionamos todos os
elementos que pertencem ao conjunto considerado e envolvemos essa lista por um par de chaves.
Os elementos de um conjunto, quando apresentados na forma de listagem, devem ser separados
por vrgula ou por ponto-e-vrgula, caso tenhamos
a presena de nmeros decimais.
Exemplos
Seja A o conjunto das cores da bandeira brasileira, ento:
A = {verde, amarelo, azul, branco}
Seja B o conjunto das vogais do nosso alfabeto,
ento:
B = {a, e, i, o, u}
Seja C o conjunto dos algarismos
decimal de numerao, ento:
do
C = {0, 1, 2, 3, 4, 5, 6, 7,
Uma Propriedade de seus elementos
sistema
8,
9}
11
O conjunto A no est contido em B quando existe pelo menos um elemento de A que no pertence a B. Indicamos que o conjunto A no est contido em B desta maneira:
Relao de Pertinncia
Quando queremos indicar que um determinado
elemento x faz parte de um conjunto A, dizemos
que o elemento xpertence ao conjunto A e indicamos:
Em que o smbolo
uma verso da letra grega
psilon e est consagrado em toda matemtica
como smbolo indicativo de pertinncia. Para indicarmos que um elemento x no pertence ao conjunto A, indicamos:
Exemplo
Consideremos o conjunto: A = {0, 2, 4, 6, 8}
O algarismo 2 pertence ao conjunto A:
Obs. Podemos encontrar em algumas publicaes uma outra notao para a relao de incluso:
12
Uma cidade um conjunto de pessoas que representam os moradores da cidade, porm uma
cidade um elemento do conjunto de cidades
que formam um Estado.
Conjuntos Especiais
Embora conjunto nos oferea a idia de reunio
de elementos, podemos considerar como conjunto agrupamentos formados por um s elemento
ou agrupamentos sem elemento algum.
A equao 2x 5x 4x + 3 = 0 apresenta:
Exemplos
Conjunto dos nmeros primos, pares e positivos:
{2}
Conjunto dos satlites naturais da Terra: {Lua}
Conjunto das razes da equao x + 5 = 11: {6}
Chamamos de conjunto vazio aquele formado por
nenhum elemento. Obtemos um conjunto vazio
considerando umconjunto formado por elementos
que admitem uma propriedade impossvel.
Conjunto de Partes
Dado um conjunto A, dizemos que o seu conjunto
de
partes,
representado
por P (A),
Exemplos
Conjunto das razes reais da equao:
2
x +1=0
Conjunto:
Vamos observar, com o exemplo a seguir, o procedimento que se deve adotar para a determinao do conjunto de partes de um
dado conjunto A. Seja o conjunto A = {2, 3, 5}. Para
obtermos o conjunto de partes do conjunto A,
basta escrevermos todos os seus subconjuntos:
Subconjunto vazio:
, pois o conjunto vazio
subconjunto de qualquer conjunto.
Subconjuntos com um elemento: {2}, {3}, {5}.
O conjunto vazio est contido em qualquer conjunto e, por isso, considerado subconjunto de qualquer conjunto, inclusive dele mesmo.
Demonstrao
Vamos admitir que o conjunto vazio no esteja
contido num dado conjunto A. Neste caso, existe
um elemento x que pertence ao conjunto vazio e
que no pertence ao conjunto A, o que
um absurdo, pois o conjunto vazio no tem elemento algum. Concluso: o conjunto vazio est
contido no conjunto A, qualquer que seja A.
Conjunto Universo
13
B.
A B = {x / x A e x B}
Unio
A unio de A com B o conjunto formado por
todos os elementos pertencentes a A ou a B.
Notao
A
U
B.
A U B = {x / x A e x B}
Diferena
A diferena entre A e B o conjunto formado
pelos elementos que pertencem a A e no pertencem
a
B.
Notao
A
B.
A B = {x / x A e x B}
Exemplo 1
Observao
A
U
B
A
B A = {6}
B
=
=
{1,
2,
=
{2,
3,
4,
{1,
4}
6}
3}
Exemplo 2
Conjunto e seus elementos retirados do site Mundo Educao
Podemos fazer algumas relaes entre conjunto
com conjunto, entre conjunto e elemento de um
conjunto. Essas relaes possuem caractersticas
especficas e representaes prprias. Vamos
caracterizar cada uma delas.
Conjunto pode ser definido como uma coleo de
elementos, reunio das partes que formam um
todo, aglomerao, grupo, srie. Como exemplo
de conjunto pode destacar as seguintes situaes: o conjunto de estados do Brasil, o conjunto
de alunos de uma escola, o conjunto das equipes
do campeonato brasileiro, o conjunto dos nmeros naturais, dos nmeros inteiros, racionais, irracionais, reais, primos entre outras situaes que
envolva
a
reunio
de
elementos.
Existem algumas operaes que podem ser realizadas entre conjuntos, so elas: interseco,
unio e diferena.
B
=
(conjunto
vazio)
A U B = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14,
15}
A B = {1, 2, 3, 4, 5, 6, 7, 8, 9}
B A = {10, 11, 12, 13, 14, 15}
Progresso Aritmtica e Progresso Geomtrica
Progresso Geomtrica
Podemos definir progresso geomtrica, ou simplesmente P.G., como uma sucesso de nmeros
reais obtida, com exceo do primeiro, multiplicando o nmero anterior por uma quantidade
fixa q, chamada razo.
Podemos calcular a razo da progresso, caso
ela no esteja suficientemente evidente, dividindo
entre si dois termos consecutivos. Por exemplo,
na sucesso (1, 2, 4, 8,...), q = 2.
Interseco
Numa progresso geomtrica de razo q, os termos so obtidos, por definio, a partir do primeiro, da seguinte maneira:
14
a1 a2
a3
... a20
2
... an
19
a1xq
...
n-1
...
n-1
n-1
Exemplo:
Se quisermos calcular o valor do termo para n =
5, substituindo-o na frmula, obtemos:
a5 = 2 x (1/2)
5-1
= 2 x (1/2) = 1/8
Exemplo:
Resolva a equao: x + x/2 + x/4 + x/8 + x/16 + ...
=100
O primeiro membro uma PG de primeiro termo x
e razo 1/2. Logo, substituindo na frmula, vem:
15
2
4
8
16
=
=
=
=
2
2
2
2
Exemplo 3
Considerando os dados do exemplo 2, determine
a soma dos 20 primeiros elementos dessa PG.
a3 = a1 * q
a5 = a1 * q
a10 = a1 * q
49
a50 = a1*q
Exemplo 4
99
a100 = a1*q
Exemplo 1
Em uma progresso geomtrica, temos que o 1
termo equivale a 4 e a razo igual a 3. Determine
o 8 termo dessa PG.
a8 = 4 * 3
a8 = 4 * 2187
Maro: 101,96
a8 = 8748
Abril: 104,00
Maio: 106,08
Exemplo 2
Calcule o gasto anual dessa dona de casa, considerando que em todos os meses o ndice inflacionrio
foi
constante.
a20 = 3 * 1.162.261.467
a20 = 3.486.784.401
19
16
Termo geral da PA
A partir da definio, podemos escrever os elementos da PA(a1, a2, a3, ..., an ) da seguinte
forma:
a1 = a1
a2 = a1 + r
a3 = a2 + r = a1 + 2r
Progresso Aritmtica
Denomina-se progresso aritmtica (PA) a sequncia em que cada termo, a partir do segundo,
obtido adicionando-se uma constante r ao termo
anterior. Essa constante r chama-se razo da
progresso aritmtica.
- A soma de dois termos eqidistantes dos extremos igual soma dos extremos.
Na PA (1,3,5,7,9,11,13,15,17,19,21,23), temos:
a1 = 2
3+21 = 1+23 = 24
a2 = 2+5 = 7
5+19 = 1+23 = 24
a3 = 7 +5 = 12
7+17 = 1+23 = 24
a4 = 12 + 5= 17
9+15 = 1+23 = 24
11+13 = 1+23 = 24
Se r < 0, a PA decrescente
17
a) (1,3,5,7,9,11...)
b) (40,35,30,25,20,15,10,5,0,-5,-10,...)
Soma dos termos de uma PA finita
entre
os
termos
chamado
1.
Incio
2.
3.
4.
5.
6.
Logo pode-se deduzir que para um termo qual-
Nmero de
casais de
coelhos
quer
18
19