I SEMINARIO DA 2TURMA DE ELETROMECNICA

PROFESSOR

ELCIVAL CHAGAS
ELETRNICA DIGITAL

EQUIPE
EDUARDO ANDR JUCLIO GENEILTON

THIAGO

JUCELINO

LGICA

Quem Usa a Lgica ?

O cientista, o engenheiro, o advogado, o policial, o empresrio, o programador, ... e voc, no seu dia-a-adia.
A Lgica aplicada em situaes que envolvem um discurso correto e coerente, na formao e anlise de argumentos.

Objetivos da Lgica

Criao de uma linguagem formal, que evite as ambigidades existentes na linguagem natural

Criao de instrumentos de clculos lgicos que se contrapem a uma argumentao intuitiva e informal
Formalizao, deduo validade de argumentos e anlise da

Histrico
Sculo IV a.C. - Aristteles com estudos sobre os silogismos, na busca de um instrumento para a compreenso de um mundo real e verdadeiro (lgica concreta) Sculo XVI - Leibniz teve as primeiras vises do que seria uma lgica simblica formal (lgica abstrata) ...

Histrico

Sculo XIX - Boole desenvolveu as bases da lgebra da lgica ... outros pesquisadores Frege, Peano, Whitehead e Russell ... Lgica Modal, Lgica Plurivalente e a Lgica Fraca ...

Finalmente, nas ltimas dcadas, surgiu uma nova Lgica, denominada Lgica Fuzzy (Nebulosa) que estuda as imprecises ...

O CONCEITO DE LGICA
O que Lgica?
Sabemos que ela est ligada ao raciocnio, mas precisamos de uma definio adequada. Para isso, consideremos o seguinte exemplo de raciocnio:

EXEMPLO DE RACIOCNIO

Os insetos possuem seis patas Ora, as abelhas so insetos Logo, as abelhas possuem seis patas

ANLISE DESTE RACIOCNIO

Vejamos agora quais so as principais partes constitutivas deste raciocnio

PARTES CONSTITUTIVAS DO RACIOCNIO

1 PREMISSA 2 PREMISSA => => Os insetos possuem seis patas Ora, as abelhas so insetos Logo, as abelhas possuem seis patas

PARTES CONSTITUTIVAS DO RACIOCNIO

As duas premissas constituem o => ANTECEDENTE do raciocnio =>
Os insetos possuem seis patas Ora, as abelhas so insetos Logo, as abelhas possuem seis patas

PARTES CONSTITUTIVAS DO RACIOCNIO

Os insetos possuem seis patas Ora, as abelhas so insetos A ltima sentena constitui a CONCLUSO => do raciocnio

Logo, as abelhas possuem seis patas

PARTES CONSTITUTIVAS DO RACIOCNIO

Os insetos possuem seis patas Ora, as abelhas so insetos

H tambm uma relao entre o antecedente e a concluso, que se chama INFERNCIA

Logo, as abelhas possuem seis patas

PARTES CONSTITUTIVAS DO RACIOCNIO - RESUMO

=> ANTECEDENTE =>

Os insetos possuem seis patas Ora, as abelhas so insetos

INFERNCIA =>
CONCLUSO =>

Logo, as abelhas possuem seis patas

INFERNCIA
Esta palavra vem do latim inferre, que significa conduzir para:
a relao que permite passar do antecedente para a concluso do argumento

Conceitos Bsicos

Argumentos
Os insetos possuem seis patas. Ora, as abelhas so insetos. Logo, as abelhas possuem seis patas.

Tenta-se provar que as abelhas possuem seis patas, partindo do fato de que os insetos possuem seis patas e ento as abelhas so insetos.

Conceitos Bsicos

O que assegura esta concluso so duas

palavras
Ora que articula as duas primeiras proposies Logo que pelo seu carter conclusivo, estabelece uma espcie de ponto de chegada, .... configurando a terceira proposio como uma conseqncia das duas anteriores.

Conceitos Bsicos

Assim, estamos diante de uma estrutura lingstica determinada, qual poderemos chamar de discurso, em que a primeira parte justifica a segunda.

Conceitos Bsicos

...sendo assim, O QUE UM ARGUMENTO

Pode-se definir ARGUMENTO como um discurso no interior do qual de se extrai uma conseqncia.

Conceitos Bsicos

Neste contexto, pode-se afirmar que um ARGUMENTO sinnimo de RACIOCNIO ! Assim, um ARGUMENTO permite a obteno de uma CONSEQNCIA !

Argumento

o elemento de comunicao que relaciona palavras entre si de modo a estabelecer uma mensagem com sentido completo. formado por sentenas.

Sentena

As sentenas podem ser de vrios tipos:

DECLARATIVOS: IMPERATIVOS: INTERROGATIVOS: EXCLAMATIVOS: O Sol uma estrela. No faa isto! Onde Voc mora ? Parabns !

Argumento

A linguagem natural nem sempre clara e precisa, sendo muito comum a ocorrncia de ambigidades que geram dvidas sobre o significado do que se est falando Um dos objetivos da Lgica estabelecer uma LINGUAGEM FORMAL, onde se possa expressar com clareza, preciso e emitir juzo de VERDADEIRO ou FALSO para determinados argumentos

Exemplos:

O Japo fica na frica. O Brasil banhado pelo Oceano Atlntico. 3+4=7 O Brasil Pentacampeo de Futebol. 5>8

Os exemplos acima so sentenas declarativos (com sujeito e predicado), ao qual pode ser atribudo, sem ambigidade, um dos valores lgicos, Verdadeiro (V) ou Falso (F)

Exemplos

Estas SENTENAS DECLARATIVAS chamam-se PROPOSIES

... a partir desta definio, pense em exemplos que no sejam PROPOSIES

Exemplos
3+4 - no tem predicado

Onde voc vai ?

- sentena interrogativa - o sujeito no est claramente especificado e a sentena no pode ser classificada em V ou F

Os estudantes jogam vlei

LGICA PLURIVALENTE
Significado de Plurivalente adj. Qumica Que pode ter muitas valncias. Que pode receber muitos valores. Lgica plurivalente, lgica, no clssica, que admite mais de dois valores da verdade (por opos. a lgica bivalente).

Lgica Plurivalente

Obs: A partir dos estudos de Frege sobre a lgica emergem sistemas no clssicos como a Lgica Plurivalente de Lukasiewicz.

Lukasiewicz desenvolve uma Lgica Trivalente para trabalhar algumas sentenas. o seguinte exemplo de sentena: amanh vai chover ainda no nem verdadeira nem falsa no momento de sua enunciao. Caso contrrio, tudo j estaria necessariamente determinado antes de acontecer. Isso se chocaria no s com nossa idia de liberdade, mas tambm com a noo de que o evento descrito pela

sentena amanh vai chover contingente e no

necessrio. Assim surge a Lgica Plurivalente.

A lgica Bivalente tradicional pode ser contestada, PINTO

ressalta que os sistemas no-clssicos podem ter tratamento extensional atravs de tabelas plurivalentes, ou seja, podemos criar tabelas com x valores-verdade para encontrar uma lgica x-valente, permitindo que os valores

verdade (as possibilidades) podem ser trs, quatro, cinco

etc...

Descontraindo...

O que LGICA AFINAL????

FIL0476 - Lgica Aplicada Computao

LGICA PLURIVALENTE

Para se chegar a uma correspondncia mtua de informaes foi imprescindvel o aperfeioamento da chamada lgica clssica de dois valores, pois era insuficiente para a compreenso das situaes sob anlise. Assim se equaciona a lgica polivalente.

LGICA PLURIVALENTE

"Esta espcie de lgica foi, de certa forma, desenvolvida, no ltimo sculo, por C.S. Pierce e, independente dele, posteriormente por Lukasiewicz. Ela semelhante lgica das funes verdade, exceto ao reconhecer trs ou mais assim chamados valoresverdade, em vez de verdade e falsidade" (Quine, 1972).

LGICA PLURIVALENTE

As chamadas redes neurais, cujos modelos tiveram como inspirao o sistema nervoso e fundamentados pela lgica plurivalente, em muito contriburam para a idealizao de softwares ditos inteligentes ou, mais especificamente, sistemas especialistas1. Hoje, estas mesmas redes neurais artificiais so utilizadas para se analisar e compreender as redes neurais originrias de comunicao do crebro humano.

LGICA PLURIVALENTE

Um dos segredos para tornar o computador "inteligente" est na chamada "fuzzy logic" (lgica difusa)2, pois permite ao computador processar informaes vagas em termos relativos, como faz o homem. A teoria da "fuzzy logic" foi desenvolvida em 1965 por Lotfi Zadeh e s recentemente comeou a ser explorada pelas indstrias.

LGICA PLURIVALENTE

Alguns aparelhos de consumo j esto sendo adotados com lgica difusa por inmeras indstrias japonesas e americanas, como: aspirador de p, mquina de lavar roupa, cmara fotogrfica, mquina de usinagem, medidor de grandezas eltricas, dentre outros.

TEOREMAS DA ALGEBRA DE BOOLE

A lgebra de Boole um conjunto de postulados e operaes lgicas com variveis binrias desenvolvido pelo matemtico e filsofo ingls George Boole (1815-1864). As operaes bsicas dos circuitos digitais so fundamentadas nos seus conceitos, que inclusive guardam alguma (mas no total) semelhana com a lgebra comum dos nmeros reais.

lgebra Booleana Para descrever os circuitos que podem ser construdos pela combinao de portas lgicas, um novo tipo de lgebra necessrio, uma em que as variveis e funes podem ter apenas valores 0 e 1. Tal lgebra denominada lgebra booleana, devido ao seu descobridor, o matemtico ingls George Boole (1815 - 1864).

Do mesmo modo que existem funes em lgebra "comum", tambm existem funes na lgebra booleana. Uma funo booleana tem uma ou mais variveis de entrada e fornece somente um resultado que depende apenas dos valores destas variveis.

Como uma funo de n variveis possui apenas 2n conjuntos possveis de valores de entrada, a funo pode ser descrita completamente atravs de uma tabela de 2n linhas, cada linha mostrando o valor da funo para uma combinao diferente dos valores de entrada. Tal tabela denominada tabela verdade.

END