Viso geral

Apresentao da disciplina:
A disciplina visa abordar o estudo dos princpios e
fundamentos da lgica clssica, como o clculo
proporcional, as proposies, as principais operaes
lgicas e argumentos vlidos; e alguns tpicos da
matemtica discreta, como a lgebra dos conjuntos, as
principais operaes com conjuntos e as relaes entre
lgebra de conjuntos e a lgebra de proposies. So
discutidos os fundamentos tericos e tambm a
aplicao em exerccios.


Objetivos:
1. Apresentar uma introduo ao estudo da lgica
clssica.
2. Expor os principais conceitos da lgica clssica.
3. Transitar entre a linguagem usual e a linguagem
lgica, utilizando os smbolos adequados.
4. Construir tabelas-verdade.
5. Compreender as equivalncias lgicas principais.
6. Compreender a relao entre a lgebra dos
conjuntos e a lgebra das proposies.

Contedo Programtico:
Classificao da Lgica.
Introduo Lgica Clssica.
Desafios lgicos e tipos de problemas.
Conceito de proposio.
Princpios fundamentais da lgica clssica.
Conectivos lgicos.
Valores lgicos das proposies.
Uso da linguagem lgica.
Construo de tabelas-verdade.
Tautologias, contigncias e contradies.
Resoluo de problemas utilizando a tabela-
verdade.
Equivalncia lgicas principais utilizando a
tabela-verdade.
Principais operaes envolvendo conjuntos.
Relao entre lgebra dos conjuntos e lgebra
das proposies.

Metodologia:

Os contedos programticos ofertados nessa disciplina
sero desenvolvidos por meio das Tele-Aula de forma
expositiva e interativa (chat tira dvidas em tempo
real), Aula Atividade por Chat para aprofundamento e
reflexo e Web Aulas que estaro disponveis no
Ambiente Colaborar, compostas de contedos de
aprofundamento, reflexo e atividades de aplicao
dos contedos e avaliao. Sero tambm realizadas
atividades de acompanhamento tutorial, participao
em Frum, atividades prticas e estudos
independentes (auto estudo) alm do Material do
Impresso por disciplina.



Avaliao Prevista:

O sistema de avaliao da disciplina compreende em
assistir a tele-aula, participao no frum, produo de
texto/trabalho no portflio, realizao de duas
avaliaes virtuais, uma avaliao presencial
embasada em todo o material didtico, tele-aulas e
webaula da disciplina.


WEB AULA 1
Unidade 1 Argumentao
1

Neste primeiro contato, ou seja, nessa primeira undidade, vamos
analisar alguns tpicos introdutrios do estudo da lgica, que visa
complementar e contribuir os assuntos j abordados nas teleaulas.
Muitas vezes as pessoas pensam que estudar lgica uma tarefa
muito difcil, mas vamos perceber que a lgica est presente em
nosso cotidiano e que ela necessria para estruturarmos nossos
pensamentos de forma coerente e transmiti-los de maneira clara e
compreensvel.
Os objetivos fundamentais do estudo da Lgica so basicamente a
busca pela argumentao, pela compreenso das nossas prprias
razes e das razes alheias e as tomadas de posio diante dos
acontecimentos e as escolhas.

Aprofundando o conhecimento: Um pouco de histria...
A lgica teve sua origem como disciplina com Aristteles, entre 300 e
400 anos antes de Cristo. Com Aristteles teve incio a caracterizao
das formas legtimas de argumentao, em contraposio a outras
formas que pareciam corretas, mas que eram inadequadas (as
falcias).


Aristteles 384-322 a. C.

1
Eliane Maria Oliveira Araman, UNOPAR, 2009.

Seu ponto de partida para esses estudos foi a estrutura da lngua
grega e a pressuposio de que precedendo uma argumentao
coerente encontra-se o uso adequado das palavras e das frases, de
modo a evitar as ambigidades e incertzas. De acordo com sua
prprias palavras, um argumento se configura por uma srie de
palavras em que, sendo admitidas certas coisas, delas resultar
necessariamente alguma outra, pela simples razo de se terem
admitido as primeiras.
Seus trabalhos foram posteriormente reunidos em uma obra
denominada Organon.
Na lgica aristotlica h uma delimitao entre a forma e o contedo
de uma argumentao. Como assim? Os contedos das sentenas
que fazem parte de um argumento no so considerados, mas
apenas a forma como esto articulados ou o modo como umas so
deduzidas das outras.
Veja esse exemplo:
Se me garantem que Todo homem feliz e que Djalma um homem,
logo posso concluir que Djalma feliz, e essa concluso depende apenas
da forma da argumentao.
como se eu dissesse: Todo a b e que x a. Disso podemos concluir
que x b, independentemente do que significa a, b ou x.
Aristteles tratou apenas das formas adequadas de argumentao,
por isso seus estudos so conhecidos como Lgica Formal. Por meio
desses estudos, Aristteles procurou explicar leis ou regras que
garantam uma argumetao adequada e competente.

Na lngua corrente usual, normalmante no separamos o contedos
das sentenas. De modo geral, em nosso cotidiano, misturamos
forma com contedo, mas para um estudo introdutrio de lgica
vamos observar a distino entre as formas legtimas de
argumentao das queno so aceitveis, independentemente de
conhecermos ou no a verdade das sentenas envolvidas.


Frases e argumentos
Quantas vezes voc j utilizou a expresso lgico quando estava
conversando a respeito de diversos assuntos, como futebol, sua
marca de refrigerante preferida, sobre economia ou poltica?

Na maioria das vezes, a expresso lgico utilizada por ns
quando queremos nos referir a algo que nos parece evidentemente
certo ou muito fcil de ser defendido. Como por exemplo:
lgico que o Brasil vai ser campeo.
lgico que um avio custa mais que uma bicicleta.
lgico que a Terra no plana.
Aps usarmos uma frase desse tipo, comum aparecer uma srie de
razes que procuram sustentar a CONCLUSO, proferida na
afirmao inicial. Esse encadeamento de razes que conduzem
concluso pode ser considerado um ARGUMENTO. As razes
expressas so as PREMISSAS do argumento.
Veja esse exemplo:

lgico que Juvenal ser aprovado no concurso, pois ele
inteligente e estuda muito e todos as pessoas inteligentes e
estudiosas so aprovadas.

Temos, nesse caso, o seguinte argumento:

CONCLUSO: Juvenal ser aprovado.
RAZES
(PREMISSAS):
Juvenal inteligente.

Juvenal estudioso.

Todas as pessoas inteligentes e estudiosas so
aprovadas.



Os exemplos utilizados foram adaptados de MACHADO (2005).
Podemos concluir: um ARGUMENTO constitudo de uma ou
mais PREMISSAS e de umaCONCLUSO.
Enquanto conversamos na linguagem corrente, a concluso de um
argumento pode serenunciada primeiramente, como no nosso
exemplo, em seguida so enunciadas as premissas. Mas tambm
pode ocorrer de outra forma, com as premissas aparecendo primeiro
e a concluso surgindo logo aps.
Veja mais esse exemplo:
Como a gasolina extrada do petrleo, que importado, e
todos os produtos importados so caros, a gasolina cara.
Temos, nesse caso, o argumento a seguir:
PREMISSAS
A gasolina extrada do petrleo.
O petrleo importado.
Todos os produtos impostados so caros.
CONCLUSO A gasolina cara.

Tambm pode ocorrer que a concluso seja enunciada entre as
premissas, como nesse outro exemplo:
Romilda mdica. Logo, Romilda estudou em uma faculdade
pois todos os mdicos estudaram em faculdades.
PREMISSAS
Romilda mdica.
Todos os mdicos estudaram em faculdades.
CONCLUSO Romilda estudou em uma faculdade.

Uma das primeiras preocupaes que devemos ter ao iniciarmos os
estudos de lgica aprender a diferenciar um argumento de fato de
um mero agrupamento de frases. Para isso, vamos analisar algumas
frases abaixo:
1
Comeou a chover. H pouco, o sol estava brilhando. A meteorologia
no previu chuva alguma.
2
Amanh dever fazer sol porque o servio de meteorologia previu uma
chuva e ele sempre erra em suas previses.
3
Joaquim portugus. Ele dono da padaria do bairro, que fabrica dez
mil pes por dia.
4
Joaquim no portugus pois ele nasceu no Brasil e quem nasce no
Brasil brasileiro.
5 Penso muito na minha vida.
6 Se penso, logo existo.

As frases que correspondem aos nmeros pares so argumentos,
enquanto que as correspondentes aos nmeros mpares so apenas
uma coleo de frases que no caracterizam um argumento. No
difcil distinguir, nos argumentos, a concluso das premissas. Por
exemplo, na frase dois a concluso que Amanh dever fazer sol;
na frase quatro, a concluso Joaquim no portugus; e na seis
temos como concluso Existo.

Para saber mais:

Vamos praticar um pouco. Para isso, nos argumentos a seguir,
indique quais so as premissas e qual a concluso de cada
argumento:
1
lgico que o time A o melhor do atual campeonato uma vez que tal time tem o melhor
ataque, a defesa menos vazada e o maior nmero de pontos ganhos.
2
O nibus da escola dever chegar atrasado amanh porque a meteorologia prev muitas
chuvas para amanh cedo e sempre que chove muito, o nibus chega atrasado.
3
O caf no um produto importado; portanto no deveria ser caro, uma vez que todos os
produtos importados que so caros.
4 Como nenhum rptil voa e as serpentes so rpteis, as serpentes no voam.
5 Todos os alemes so europeus;logo existem europeus que so alemes.
6
Sabe-se que todas as coisas verdes tm clorofila. Como alguns automveis so verdes,
podemos concluir que alguns automveis tm clorofila.
Atividade no frum:
Outro aspecto dos estudos da lgica so os que envolvem a resoluo
de problemas. Existem vrios problemas de lgica de vrios nveis de
dificuldade, mas que so muito divertidos. Apresento abaixo dois
desafios que para serem resolvidos no necessrio nenhum
conhecimento prvio de matemtica, apenas o raciocnio lgico
mesmo.
Para acessar os jogos, clique nos anexos "Desafio dos
Sapinhos" e "Desafio dos Canibais". O jogo vai se abrir e voc
pode jogar vontade. Veja se consegue resolver os desafios e faa a
postagem no frum de como voc conseguiu resolv-los.

Para saber mais:
Existem na internet muitos desafios lgicos que voc pode acessar. O
mais famoso de todos o desafio de Einstein. Voc encontra esse
desafio com uma animao que facilita a soluo no site abaixo.
Acesse e confira!
http://www.profcardy.com/desafios/aplicativos.php?id=11

Bibliografia:
MACHADO, N.J.; DA CUNHA, M.O. Lgica e linguagem cotidiana:
verdade, coerncia, comunicao, argumentao. Coleo
Tendncias em Educao Matemtica, Autntica, 2005.
WEB AULA 1
Unidade 2 Argumentao e verdade
Nesta aula, ns daremos continuidade aos assuntos que comeamos
a abordar na web aula anterior, quando vimos como se d a
construo de um argumento. Agora, porm, vamos analisar a
verdade ou a falsidade de um argumento.
Ento vamos comear. Em nosso dia-a-dia usamos muitas frases que
podem ser consideradas falsas ou verdadeiras, como nos exemplo a
seguir:
VERDADEIRAS:
Um ano tem doze meses.
Trs vezes dois igual a seis.
Quito a capital do Equador.
FALSAS:
Uma semana tem doze dias.
Dois mais dois igual a cinco.
La Paz a capital da Argentina.
Entretanto, existem muitas outras frases que no podem ser
classificadas dessa forma:
Hoje vai chover?
No faa isso.

Dessas observaes podemos concluir: uma frase que pode ser
classificada como VERDADEIRA ouFALSA, no podendo ser as duas
coisas ao mesmo tempo, chamada de PROPOSIO.
Nem todas as frases que dizemos so consideradas proposies. Uma
proposio uma sentena declarativa que pode ser considerada
verdadeira ou falsa. De modo geral, apenas frases declarativas
podem ser assim consideradas.
Quando decidimos defender uma concluso em uma argumetao
porque tal concluso uma proposio e pretendemos que ela seja
verdadeira. Para fazer essa defesa, encadeamos uma srie de razes,
chamadas premissas, que fundamentam a concluso, permitindo que
o argumento seja construdo.
Quando fazemos um argumento bem construdo, as premissas devem
evidenciar razes suficientes para que aceitemos a concluso. Em um
argumento mal construdo, mesmo que a concluso seja verdadeira,
as premissas no so razes suficientes para garanti-la.
Agora, quando entre as premissas e a concluso existe uma ligao
de tal forma que impossvel termos, simultaneamente, as premissas
verdadeiras e a concluso falsa, o argumento bem construdo e
podemos consider-lo VLIDO ou COERENTE.
Entretanto, quando possvel termos todas as premissas verdadeiras
e a concluso falsa, podemos considerar que o argumento no bem
construdo e dizemos que ele NO VALIDO, ou NO
COERENTE, ou ainda que uma FALCIA ou um SOFISMA.
Vamos agora analisar alguns exemplos:
ARGUMENTO COERENTE
PREMISSAS
Todos os cariocas so brasileiros.
Jos carioca.
CONCLUSO Jos brasileiro.

Nesse exemplo podemos notar que sendo as duas premissas
verdadeiras simultaneamente, segue-se inevitavelmente, a verdade
da concluso. Dessa forma, impossvel termos as premissas
verdadeiras e a concluso falsa.
ARGUMENTO NO COERENTE
PREMISSAS
Todos os cariocas so brasileiros.
Jos no carioca.
CONCLUSO Jos no brasileiro.

Nesse caso, as premissas no so suficientes para garantirem a
concluso.
possvel que termos as duas premissas verdadeiras e a concluso
falsa, com por exemplo se Jos fosse mineiro.
Mas tambm poderia ocorre de Jos ser alemo e isso nos daria uma
concluso verdadeira, mas ainda assim o argumento no seria vlido,
pois a verdade da concluso no seria consequncia da verdade das
premissas.
Vamos relembrar o que estudamos at aqui:
Nem toda frase ou sentena que usamos na linguagem corrente
uma proposio.
Para ser uma proposio necessrio que exista a possibilidade
de ser classificada como verdadeira ou falsa, no podendo
haver uma terceira opo, nem a possibilidade de ser
considerada ao mesmo tempo verdadeira e falsa.
Um argumento uma construo cujos elementos so
proposies, em que existe uma concluso que sustentada
por uma ou mais premissas.
Argumentar significa garantir a verdade da concluso tendo por
base a verdade das premissas.
Um argumento no pode ser considerado verdadeiro ou falso.
Verdadeiras ou falsas so as premissas e a concluso. Um
argumento vlido ou no vlido, coerente ou no coerente,
dependendo da relao que se estabelece entre as premissas e
a concluso.

Argumentao e verdade
Quando construmos um argumento, nossa inteno justificar a
verdade da concluso a partir da verdade das premissas. Ento
encontramos duas condies necessrias para garantir a verdade de
uma concluso: a verdade das premissas e um argumento coerente.
Se ao menos uma das premissas for falsa, mesmo o argumento
estando construdo de forma coerente, no podemos garantir a
verdade da concluso. Ainda se partirmos de premissas verdadeiras e
recorremos a uma argumentao no coerente, a verdade da
concluso no pode ser garantida.

Vamos analisar algumas situaes:
1) Partir de PREMISSAS FALSAS;
usar um SOFISMA;
e chegar a uma CONCLUSO FALSA.
Exemplo:
Existem cubanos que so europeus. (F)
Existem mexicanos que so cubanos. (F)
Logo, existem mexicanos que so europeus.(F)
2) Partir de PREMISSAS FALSAS;
usar um SOFISMA;
e chegar a uma CONCLUSO VERDADEIRA.
Exemplo:
Existem cubanos que falam espanhol.(V)
Existem mexicanos que so cubanos.(F)
Logo, existem mexicanos que falam espanhol. (V)
3) Partir de PREMISSAS FALSAS;
usar um ARGUMENTO COERENTE;
e chegar a uma CONCLUSO FALSA.
Exemplo:
Todo cubano europeu.(F)
Todo mexicano cubano. (F)
Logo, todo mexicano europeu. (F)
4) Partir de PREMISSAS FALSAS;
usar um ARGUMENTO VLIDO;
e chegar a uma CONCLUSO VERDADEIRA.
Exemplo:
Todos os cubanos falam ingls. (F)
Existem americanos que so cubanos. (F)
Logo, existem americanos que falam ingls. (V)
5) Partir de PREMISSAS VERDADEIRAS;
usar um SOFISMA;
e chegar a uma CONCLUSO FALSA.
Exemplo:
Alguns automveis so verdes. (V)
Algumas coisas verdes so comestveis. (V)
Logo, alguns automveis so comestveis. (F)
6) Partir de PREMISSAS VERDADEIRAS;
usar um SOFISMA;
e chegar a uma CONCLUSO VERDADEIRA.
Exemplo:
Alguns brasileiros so ricos. (V)
Alguns ricos so desonestos. (V)
Logo, alguns brasileiros so desonestos. (V)
7) Partir de PREMISSAS VERDADEIRAS;
usar um ARGUMENTO VLIDO;
e chegar a uma CONCLUSO VERDADEIRA.
Exemplo:
Todo pernambucano brasileiro.(V)
Todo recifense pernambucano.(V)
Logo, todo recifense brasileiro. (V)

Os exemplos apresentados foram retirados de MACHADO; DA CUNHA(2005)

Como pudemos perceber, partindo de premissas verdadeiras, um
argumento vlido nunca conduz a uma concluso falsa e isso que
garante a confiabilidade nos resultados da cincia. Resumindo, para
termos a garantia de que uma concluso verdadeira, temos que
observar dois aspectos: as premissas devem ser verdadeiras e o
argumento deve ser coerente.

Aprofundando o conhecimento:
Agora vamos aplicar um pouco do que foi visto at aqui. Faa as
atividades a seguir e faa a postagem no frum dos resultados
encontrados por voc para discusso, bem como suas dvidas. No
se preocupe, os exerccios no so difceis. Vamos tentar!
1) Das frases abaixo, diga quais so proposies:
a) Feliz aniversrio!
b) O cu est claro neste lugar onde estamos.
c) No desista!
d) A Lua feita de queijo.
e) Ser que a Lua feita de queijo?
f) Direita, volver!

2) Classifique as proposies abaixo em verdadeira ou falsa:
a) O Sol um satlite da Terra.
b) Buenos Aires a capital do Brasil.
c) As aranhas tm oito patas.
d) Chile um pas da Amrica do Sul.
e) A raiz quadrada de 144 12.
f) Os cavalos so rpteis.

3) Nos argumentos a seguir, analise as premissas e a construo do
argumento e diga se so vlidos ou no vlidos:
a) Todos os alemes so europeus.
Nietzsche era alemo.
Logo, Nietzsche era europeu.
b) Todos os alemes so europeus.
O prncipe Charles no alemo.
Logo, o prncipe Charles no europeu.
c) Alguns brasileiros so pobres.
Alguns pobres so mendigos.
Logo, todos os brasileiros so mendigos.
d) Todos os apinags so ndios e no existem ndios carecas.
Logo, nenhum apinag careca.

Influente filsofo alemo que viveu no sculo XIX.
Para refletir:

muito comum a associao entre o raciocnio lgico e o pensamento
matemtico, mas, como vimos anteriormente, as origens aristotlicas
da lgica encontram-se nas estruturas da lngua grega.
Podemos perceber com certa facilidade que o primeiro momento de
organizao do pensamento ocorre quando recorremos lngua,
mesmo de forma oral.

A influncia da matemtica na tematizao das regras ou das leis do
pensamento lgico muito relevante, mas posterior. O que pode
explicar esta associao to forte entre a lgica e a matemtica o
fato que num estudo inicial da lgica admitimos a possibilidade de
separao entre a forma e o contedo de uma argumentao. Assim:
Todo a b e todo b c acarreta que todo a c, qualquer que
seja o significado dos termos representados por a, b e c.
Esta separao faz com que a lgica formal se parea mais com a
amtemtica do que com a lngua.

Bibliografia:

MACHADO, N.J.; DA CUNHA, M.O. Lgica e linguagem
cotidiana: verdade, coerncia, comunicao,
argumentao. Coleo Tendncias em Educao
Matemtica, Autntica, 2005.