Escolar Documentos
Profissional Documentos
Cultura Documentos
Proposições Simples e Compostas
Proposições Simples e Compostas
Proposies simples
Observe as seguintes sentenas:
Os gatos no voam.
Como o seu nome?
Saia j daqui!
No se esquea de estudar.
Que dia lindo!
Embora todas as sentenas anteriores faam parte da nossa linguagem
usual, aqui estamos interessados apenas naquelas que possam ser classificadas em verdadeiras ou falsas. As sentenas que admitem tal classificao so
chamadas de sentenas declarativas.
Entre as sentenas citadas, somente a primeira delas (Os gatos no
voam) pode ser classificada em verdadeira ou falsa. Para as demais, no faz
muito sentido classific-las dessa forma.
Quando uma sentena verdadeira, dizemos que seu valor lgico verdadeiro (V), e quando falsa, que seu valor lgico falso (F). A definio de
proposio considera apenas um desses dois possveis valores:
Uma proposio uma sentena declarativa que admite um e somente
um dos dois valores lgicos V ou F.
Observe alguns exemplos de proposies:
Curitiba a capital do Paran.
Traduz um desejo. Logo, no uma proposio e, portanto, no podemos atribuir um valor lgico.
3 + 4 = 7
1 > 2
7 2
x > 3
Ele mdico.
Ana fisioterapeuta.
12
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
Paradoxos
Existem proposies, entretanto, chamadas de paradoxos, que no admitem um nico valor lgico, apesar de serem declarativas. Segundo o dicionrio Aurlio, paradoxo um conceito que ou que parece contraditrio ao
comum; contra-senso, absurdo ou disparate. Ele reflete a impossibilidade da
existncia simultnea de duas situaes.
Exemplo 1:
Observe a sentena:
Essa sentena falsa.
A frase anterior verdadeira ou falsa?
Vamos tentar classific-la em apenas um dos valores possveis. Se a frase
anterior for verdadeira, a concluso de que ela falsa, pois isso o que
afirma a prpria sentena. Se a frase for falsa, a concluso de que ela verdadeira, pois isso contraria a prpria sentena. As concluses so:
A frase falsa se, e somente se, ela verdadeira.
A frase verdadeira se, e somente se, ela falsa.
Estamos diante de um paradoxo, pois a sentena no pode ser verdadeira e falsa simultaneamente. Tais paradoxos no se limitam apenas Lgica,
estando presentes na Qumica, Fsica, Matemtica, Filosofia e outras reas do
conhecimento.
Exemplo 2:
Se Joo afirma:
Sou mentiroso!
Essa declarao seria verdadeira ou falsa? Em outras palavras, Joo ou
no mentiroso?
Analisando a frase, consideramos duas hipteses: ou a frase verdadeira
ou falsa.
13
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
Negao
Estudamos anteriormente que uma proposio pode ser classificada em
apenas um dos dois valores lgicos V ou F. A negao de uma proposio
utilizada para alterar seu valor lgico, dando ideia contrria.
Assim, se p uma proposio verdadeira, a negao de p, indicada por
~p, uma proposio falsa. Da mesma forma, se p uma proposio falsa,
~p uma proposio verdadeira.
A prxima tabela conhecida como tabela-verdade. Ela relaciona uma
proposio com a respectiva negao:
p
~p
Exemplos:
A Alemanha um pas europeu.
Proposio p cujo valor lgico V.
A Alemanha no um pas europeu.
14
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
~p
~(~p)
Equivalentes
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
15
AC
Exemplo 1:
Considere a propriedade:
p: gostar de gatos
Conjunto U formado por todas as pessoas:
ou
Ac = {x/ x U e x A}
Exemplo 2:
Considerando a propriedade p: ser alegre
Proposies compostas
Em nossa comunicao diria, frequentemente utilizamos mais de uma
declarao objetivando criar uma ideia mais complexa. Da mesma forma, em
Lgica, duas ou mais proposies podem ser associadas (ou interligadas) formando uma proposio composta.
17
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
Conectivo: e
Conectivo: ou
Conectivo e
O conectivo e ser utilizado sempre para dar uma ideia de simultanei
dade.
Considere as seguintes proposies simples:
p: Jos completou 20 anos.
q: Jos no sabe dirigir.
Interligando as proposies atravs do conectivo e podemos obter a
proposio composta p q:
p q: Jos completou 20 anos e no sabe dirigir.
A proposio composta p
18
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
Essa conjuno tem o valor lgico F, pois a primeira proposio verdadeira e a segunda falsa.
Essa conjuno tem valor lgico V, pois ambas as proposies componentes so verdadeiras.
A tabela a seguir, conhecida como tabela-verdade da proposio composta, apresenta todos os possveis valores lgicos e permite determinar o
valor lgico da proposio composta a partir dos valores lgicos das proposies simples componentes.
19
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
p q
A B
A
B={x / xA ^ xB}
Exemplo 1:
Observe a relao existente entre uma conjuno e a interseco de dois
conjuntos.
Considere as propriedades p e q:
p: ler revistas
q: morar em Braslia
20
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
Conjunto A
ou
B = {x / x A x B}
Exemplo 2:
Sendo A= {1;2;5} e B= {2; 5; 7; 8}, obtenha A
A
B= {1;2;5}
B= {2; 5}
B:
{2; 5; 7; 8}
Elementos de A e de B
A
2
5
7
8
A B
Conectivo ou
A palavra ou, em Lgica, pode ser utilizada em dois sentidos distintos: no
sentido inclusivo ou no sentido exclusivo.
Sentido inclusivo do ou
Na linguagem usual, quando utilizamos a palavra ou normalmente queremos nos referir a acontecimentos exclusivos, ou seja, acontecimentos em
que quando um ocorre, o outro no ocorre. A exclusividade reside no fato de
apenas um deles ocorrer.
21
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
Em Lgica, entretanto, o conectivo ou, ocorrendo uma nica vez na proposio composta, ser utilizado no sentido de incluso. A incluso abrange
as possibilidades em que pelo menos uma das proposies simples ocorre
podendo ocorrer as duas.
Para exemplificar, observe as seguintes proposies simples:
p: Pedro alto.
q: Pedro joga basquete.
Interligando-as por meio do conectivo ou podemos obter a proposio
composta p q:
p q: Pedro alto ou joga basquete.
A proposio composta p q lida p ou q.
O que se pretende dizer que Pedro alto, ou Pedro joga basquete, ou
Pedro alto e joga basquete. Nada impede que Pedro, ao mesmo tempo,
seja alto e jogue basquete.
Portanto, o conectivo ou est sendo utilizado no sentido inclusivo (pelo
menos um ocorre), e no no exclusivo (s um deles ocorre).
Quando duas proposies simples so interligadas por meio do conectivo ou, a proposio composta ser denominada disjuno. A disjuno de
p e q ser representada por p q.
Quando uma disjuno ser falsa?
Uma disjuno p q ser falsa apenas no caso de p e q serem ambas falsas.
Caso uma das proposies simples seja verdadeira ou as duas sejam verdadeiras, a proposio composta p q ser verdadeira.
Observe alguns exemplos de disjunes:
Uma semana tem 8 dias ou o esporte mais praticado na Venezuela o
beisebol.
Essa disjuno tem o valor lgico V, pois a segunda proposio
verdadeira.
Roma a capital italiana ou 7 . 6 = 42.
Essa disjuno tem valor lgico V, pois ambas as proposies componentes so verdadeiras.
22
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
p q
Sentido exclusivo do ou
O conectivo ou pode ser utilizado tambm no sentido exclusivo. Nesse
caso, necessrio que seja utilizado mais de uma vez. Para exemplificar, considere as seguintes proposies compostas:
p: caso
q: compro uma bicicleta
A proposio composta contendo um ou exclusivo ser representada
por p q e ter a seguinte forma:
p q: ou caso ou compro uma bicicleta
O que se pretende dizer ou caso, ou compro uma bicicleta, mas no
ambos. Portanto, no sentido exclusivo (s um deles ocorre), e no no inclusivo (pelo menos um deles ocorre), que o conectivo ou foi utilizado nesse
caso. Assim, quando o ou utilizado na forma ou p ou q, significa que
apenas uma das proposies deve ser verdadeira, e no as duas.
23
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
p q
A B
A B = {x / xA xB}
Exemplo 1:
Considere as propriedades p e q:
p: beber refrigerante
q: praticar tritlon
Conjunto A das pessoas que tm a propriedade p:
24
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
Conjunto A
ou
B = { x / x A x B}
Exemplo 2:
Sendo A = {1; 2; 5} e B = {7; 8; 9}, obtenha A
A
B = {1; 2; 5}
B = {1; 2; 5; 7; 8; 9}
B:
{7; 8; 9}
Elementos de A ou de B
1
5
1 2 7
8
5
9
A B
B) (A
B)
ou
A B = (A B)
(B A)
25
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
AB
Observe na ilustrao que os elementos que constituem a diferena simtrica so formados pelos elementos que so ou exclusivos de A ou exclusivos de B.
Como o conjunto resultante da diferena simtrica entre os conjuntos A e
B formado apenas pelos elementos exclusivos, sejam pertencentes apenas
a A, sejam pertencentes apenas a B, o conectivo ou exclusivo est relacionado a essa operao.
Exemplo 1:
Considere as propriedades p e q:
p: ler livros
q: ir a teatros
Conjunto A das pessoas que tm a propriedade p:
26
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
q: passear
Conjunto A das pessoas que tm a propriedade p:
A = {x/ x uma pessoa que estuda}
Conjunto B das pessoas que tm a propriedade q:
B = {x/ x uma pessoa que passeia}
Conjunto A B das pessoas que tm a propriedade p q (ou p ou q):
A B = {x/ x estuda ou x passeia, mas no ambos}
ou
A B = {x / (x (A B)) (x (A B))}
Tabelas-verdade
As tabelas-verdade apresentam todos os valores lgicos possveis das
proposies compostas a partir dos valores lgicos das proposies simples
componentes e dos conectivos utilizados.
Para proposies compostas no extensas e com poucos conectivos,
podemos encontrar o valor lgico resultante de forma quase imediata. Entretanto, medida que aumenta a complexidade da proposio composta,
com mais proposies simples e mais conectivos, cada vez mais as tabelas-verdade tornam-se teis na determinao de valores lgicos.
As tabelas-verdade constituem-se, portanto, numa forma sistemtica e
organizada de obter o valor lgico de uma proposio composta para cada
uma das combinaes possveis dos valores lgicos das proposies simples
componentes.
Construo da tabela-verdade
Para a construo de tabelas-verdade imprescindvel o conhecimento dos valores lgicos de proposies compostas. Nos prximos exemplos
construiremos algumas tabelas-verdade:
Exemplo 1:
27
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
V
V
F
F
~q
V
F
V
F
p ~q
Nas duas primeiras colunas, foram dispostas todas as possveis combinaes de valores lgicos de p e q.
p
V
V
F
F
~q
V
F
V
F
p ~q
F
V
F
V
V
V
F
F
~q
V
F
V
F
F
V
F
V
~q
V
V
F
V
V
V
F
F
V
F
V
F
~p
~q
~p ~q
Nas duas primeiras colunas, foram dispostas todas as possveis combinaes de valores lgicos de p e q.
28
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
~p
~q
~p ~ q
~p
~q
~p~q
V
V
F
F
V
F
V
F
F
F
V
V
F
V
F
V
F
F
F
V
29
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
~r
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
F
V
F
V
F
V
F
V
q
V
V
F
F
F
F
F
F
(p
q) ~r
V
V
F
V
F
V
F
V
Proposies especiais
Existem proposies que merecem ateno especial pelas caractersticas
que apresentam. So elas: a proposio tautolgica, a proposio contraditria e a proposio contingencial.
Tautologia
Analise a seguinte proposio:
Paulo dentista ou no dentista.
Qual o valor lgico dessa proposio?
As sentenas Paulo dentista e Paulo no dentista so contraditrias.
Isso significa que, se uma for verdadeira, a outra ser falsa. No possvel que
ambas sejam verdadeiras, nem que ambas sejam falsas. Por isso, independentemente de quem seja Paulo e de qual seja a real profisso dele, a proposio
Paulo dentista ou no dentista deve ser necessariamente verdadeira.
Uma proposio composta que apresenta sempre o valor lgico V, independente dos valores lgicos das suas proposies simples componentes,
denominada tautologia ou proposio tautolgica.
Considerando p: Paulo dentista e ~p: Paulo no dentista, observe como
podemos construir a tabela-verdade da proposio composta p ~p:
30
~p
p ~p
V
F
F
V
V
V
Tautologia
Essa tabela-verdade tem apenas duas linhas, pois existe apenas uma
nica proposio simples que p. A primeira coluna da tabela apresenta os
dois valores possveis para p. A segunda coluna mostra os valores lgicos
contrrios, pois ~p a negao de p. E a ltima coluna a disjuno entre as
proposies p e ~p.
Portanto, a proposio p ~p um exemplo de tautologia ou proposio
tautolgica. As afirmaes amanh vai chover ou no vai e x A ou x A
so exemplos de tautologias, pois ambas tm sempre o valor lgico V.
Contradio
Sendo p uma proposio lgica, vamos construir a tabela-verdade da proposio composta p ~p:
p
~p
p ~p
F
Contradio
Essa tabela tem apenas duas linhas e as duas primeiras colunas contm os
dois valores possveis para a proposio lgica p. A ltima coluna tem como
resultado a conjuno entre os valores lgicos das duas primeiras colunas.
Observe que a ltima coluna formada apenas pelo valor F.
Uma proposio composta que apresenta sempre o valor lgico F, independente dos valores lgicos das suas proposies simples componentes,
denominada contradio ou proposio contraditria.
Qual o valor lgico da proposio Paulo dentista e no dentista?
Sendo p: Paulo dentista, a proposio em destaque tem a forma p ~p.
Observe que essa proposio composta no pode ter um valor lgico V, pois
isso somente ocorreria no caso em que p e ~p tivessem ambas o valor lgico
V, o que impossvel.
A proposio p ~p um exemplo de contradio ou proposio contraditria. As declaraes hoje domingo e hoje no domingo e A B e A B
so exemplos de contradies, pois ambas tm sempre o valor lgico F.
31
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
Contingncia
Observe o seguinte conceito:
Uma proposio composta que apresenta valores V e F em linhas diferentes para algumas combinaes dos valores lgicos das suas proposies simples componentes denominada contingncia ou proposio contingencial.
Como exemplo, vamos analisar o valor lgico da proposio composta p
~q por meio da construo da correspondente tabela-verdade:
p
~q
p ~q
V
V
F
F
V
F
V
F
F
V
F
V
V
V
F
V
Contingncia
32
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
Equivalncias lgicas
Anteriormente, observamos algumas proposies que so logicamente
equivalentes, tais como uma proposio qualquer p e a sua respectiva dupla
negao:
p
~p
~(~p)
V
F
F
V
V
F
Equivalentes
~(~p)
~p
~q
p q
~(p q)
V
V
F
F
V
F
V
F
F
F
V
V
F
V
F
V
V
V
V
F
F
F
F
V
~p
~q
F
F
F
V
Equivalentes
A tabela foi construda a partir das duas primeiras colunas que contm
as quatro possibilidades de valores lgicos para as proposies p e q. Pela
tabela, observa-se que as colunas correspondentes s proposies ~(p q)
e ~p ~q so idnticas. Assim como os valores lgicos de ambas as proposies compostas so iguais para cada possvel valor lgico de p e q. A concluso a de que ~(p q) e ~p ~q so logicamente equivalentes, ou seja,
~(p q) ~p ~q.
33
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
Observao:
Em geral, para negarmos proposies compostas por conectivos (e/ou)
basta negarmos cada uma das proposies simples componentes e substituirmos os conectivos por , e por . Assim, por exemplo, a negao da
proposio p q, representada por ~(p q), dada por:
~(p q) ~p ~q
A negao da proposio p q, representada por ~(p q), dada por:
~(p q) ~p ~q
A negao da proposio ~p q, representada por ~(~p q), dada por:
~(~p q) ~(~p) ~q p ~q
Exemplo:
Por meio da tabela-verdade, vamos provar que as proposies ~(p q) e
~p ~q so equivalentes:
p
~p
~q
p q
~(p q)
~p ~q
V
V
F
F
V
F
V
F
F
F
V
V
F
V
F
V
V
F
F
F
F
V
V
V
F
V
V
V
q) ~p ~q ou ~(p q)
~p ~q
Equivalncia
Tautologia
Dupla negao
~(~p)
Comutao
Associao
(p p)
p
p q
q p
p q
q p
p (q r)
(p q) r
p (q r)
(p q) r
34
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
Nome
Distribuio
De Morgan
Equivalncia
p (q r)
(p q) (p r)
p (q r)
(p q) (p r)
~(p q)
~p ~q
~(p q)
~p ~q
Atividades de aplicao
1. Indique quais sentenas so proposies, atribuindo-lhes o valor lgico correspondente. Caso a sentena no seja uma proposio, marque
um X.
a) ( ) Zero um nmero par.
b) ( ) 7 + 3
c) ( ) Todos os brasileiros so cariocas.
d) ( ) Amanh chover?
e) ( ) Charlie dentista ou no dentista.
f) ( ) Felicidades!
g) ( ) x > 2
h) ( ) Todos os meses do ano tm 28 dias.
i) ( ) x = 3 raiz de x2 3x = 0
2. Um avio caiu em uma rea no coberta pelo radar. Apenas o piloto se
salvou, conseguindo alcanar a praia de uma ilha. Nessa ilha morava
um aborgene que mentia s teras, quartas e quintas-feiras, e falava
a verdade nos outros dias da semana. Um dia o piloto encontrou o
aborgene, que lhe disse: Ontem foi um dos meus dias de mentir.
c) ( ) p q
d) ( ) r p
e) ( ) q ~r
4. Trs senhoras, Dona Branca, Dona Rosa e Dona Violeta, passeavam
pelo parque, quando Dona Rosa disse:
38
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
Frase
Ana
Bruno
Carlos
Diego
Referncias
ABELARDO, Pedro. Lgica para Principiantes. Petrpolis: Vozes, 1994.
ALENCAR FILHO, Edgard de. Iniciao Lgica Matemtica. So Paulo: Nobel,
2003. 203 p.
ARISTTELES. Tpicos. So Paulo: Abril Cultural, 1973. (Coleo Os Pensadores).
_____. Organon. So Paulo: Nova Cultural, 1999. (Coleo Os Pensadores).
BOLL, Marcel; REINHART, Jacques. A Histria da Lgica. Lisboa: Edies 70, 1982.
127 p.
CASTRUCCI, Benedito. Introduo Lgica Matemtica. 6. ed. So Paulo: Nobel,
1986. 158 p.
DESCARTES, Ren. Discurso do Mtodo. 4. ed. So Paulo: Martins Fontes, 2003.
102 p.
KELLER, Vicente; BASTOS, Cleverson L. Aprendendo Lgica. 12. ed. Petrpolis:
Vozes, 2000. 179 p.
KOPNIN, P. V. A Dialtica como Lgica e Teoria do Conhecimento. Rio de Janeiro, 1978. 353 p.
LAUSCHNER, Roque. Lgica Formal. 4. ed. rev. Porto Alegre: Sulina/ Unisinos,
1984. 207 p.
LIARD, L. Lgica. 6. ed. So Paulo: Cia. Editora Nacional, 1965. 211 p.
LIPSCHULTZ, Seymour. Teoria dos Conjuntos. So Paulo: McGraw-Hill, 1972. 337
p.
MACHADO, Nilson Jos. Matemtica 1 por Assunto lgica, conjuntos e funes. So Paulo: Scipione, 1988. 240 p.
_____. Lgica? Lgico! So Paulo: Scipione, 2000. 49 p. (Coleo Vivendo a
Matemtica).
MARITAIN, Jacques. Elementos de Filosofia II: a ordem dos conceitos, lgica
menor. Rio de Janeiro: Agir, 1980. 318 p.
40
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
NAHRA, Cnara; WEBER, Ivan Hingo. Atravs da Lgica. 5. ed. Petrpolis: Vozes,
1997. 174 p.
OLIVEIRA, Augusto J. Franco de. Lgica Aritmtica. Braslia: UnB, 2004. 241 p.
SALMON, Wesley C. Lgica. 4. ed. Rio de Janeiro: Zahar, 1978. 142 p.
SRATES, Jonofon. Raciocnio Lgico. 8. ed. Braslia: Jonofon, 1998. 432 p. v. 1.
_____. Raciocnio Lgico. 8. ed. Braslia: Jonofon, 1998. 467 p. v. 2.
SMULLYAN, Raymond. Alice no Pas dos Enigmas. Rio de Janeiro: Jorge Zahar,
2000. 191 p.
SOARES, Edvaldo. Fundamentos da Lgica elementos da Lgica Formal e Teoria
da Argumentao. So Paulo: Atlas, 2003. 187 p.
TELLES JR., Goffredo. Curso de Lgica Formal. 3. ed. So Paulo: Edusp, 1973. 367
p.
41
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
Gabarito
1.
a) V
b) X
c) F
d) X
e) V
f) X
g) X
h) V
i) V
2. Tera-feira ou sexta-feira.
3.
a) V
b) F
c) F
d) F
e) F
4.
Dona Rosa
Dona Violeta
vestido rosa
Dona Branca
vestido violeta
vestido branco
5. Continuar a fumar.
6. O presente est na caixa 2.
42
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
7. Deise.
8. Duas verdades.
9. Carlos.
10. Tabela-verdade:
~p
~q
p q
V
V
F
F
V
F
V
F
F
F
V
V
F
V
F
V
V
F
F
F
~(p q) ~p ~q
F
V
V
V
F
V
V
V
43
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br