Documente Academic
Documente Profesional
Documente Cultură
http://mjgaspar.sites.uol.com.br/logica/logica
Entre aqui !
Introduo Lgica Matemtica Proposies e conectivos Operaes lgicas sobre proposies Tabela-verdade: Tautologia, Contradio e Contingncia lgebra das proposies Argumentos e suas validades Notas e comunicados
1 de 18
17/10/2011 21:15
http://mjgaspar.sites.uol.com.br/logica/logica
EMENTA: Proposies, conectivos. Operaes Lgicas sobre proposies. Anlise lgica da linguagem cotidiana. Sentido lgico-matemtico convencional dos conectivos. Simbolizao de sentenas da linguagem cotidiana. Tabelaverdade : Tautologias, contradies e contingncias. lgebra das proposies dos interruptores. Argumentos e suas validades. Regras de inferncia. Noes sobre a lgebra de Boole OBJETIVOS GERAIS: Capacitar o aluno para: Ampliar a capacidade de, como emissor, organizar a mensagem em pensamentos lgicos e completos; Codificar a mensagem de acordo com o contexto e com o nvel sociocultural do receptor; Expressar-se com fluncia, argumentando e discutindo pontos de vista sobre o assunto em geral; Investigar as relaes entre a razo e a lgica, bem como o modo pelo qual a atividade racional, que a lgica reflete em grande parte, acha-se ligada experincia. Ter capacidade de lidar com incertezas; Ter flexibilidade para aceitar mudanas; Criar e explorar sistematicamente novas oportunidades.
CONTEDO PROGRAMTICO
Proposies e conectivos Conceito de proposio. Valores Lgicos das proposies. Proposies simples e compostas. Conectivos. Converso de proposio na forma de linguagem corrente para linguagem simblica lgica e vice-versa. Operaes Lgicas sobre proposies Negao. Conjuno. Disjuno. Condicional. Bicondicional Tabelas verdade: Tautologias, contradies e contingncias . Construo da tabela verdade de uma proposio composta. Nmero de linhas de uma tabela verdade. Valor Lgico de uma proposio composta. Uso de parnteses . Ordem de precedncia. Tautologia. Contradio e Contingncia. lgebra das proposies. Definio de Equivalncia Lgica. Propriedades e equivalncia lgicas fundamentais. Propriedades da: Conjuno, disjuno, conjuno e disjuno associadas, negao da condicional e negao da bicondicional. Argumentos e sua validades Definio de um argumento. Validade de um argumento. Critrio de validade de um argumento. Argumentos vlidos fundamentais. Regras de inferncia. O fluxograma para demonstrar a validade de um argumento. lgebra dos interruptores ( Circuito de Chaveamento ) Circuito de chaveamento: Construo e interpretao. Circuitos em srie e paralelo. Simplificao de circuitos.
CARGA HORRIA 08
10
10
12
22
14
Bibliografia recomendada
ALENCAR FILHO, Iniciao Lgica Matemtica. Ed. Nobel
2 de 18
17/10/2011 21:15
http://mjgaspar.sites.uol.com.br/logica/logica
JACCOB DAGHLIAN. Lgica e lgebra de Boole. Ed. Atlas MENDELSON. lgebra Booleana e Circuitos de Chaveamento. Ed. McGraw-Hill do Brasil
Histria da Lgica
A histria da lgica comea com os trabalhos do filsofo grego Aristteles (384-322 a.C.) de Estagira (hoje Estavro), na Macednia, no se conhecendo precursores de sua obra, no mundo antigo. Mais tarde, foram reunidos os trabalhos na obra denominada Organon, onde encontramos no captulo Analytica Priora a parte essencial da Lgica. Para Aristteles, o raciocnio (dedutivo) reduz-se essencialmente ao tipo determinado que se denomina silogismo. Os componentes do silogismo aristotlico so sentenas universais ou particulares, afirmativas ou negativas, isto , dos tipos seguintes: A : Todos os animais so mortais universal afirmativa E : Nenhum animal imortal universal negativa I : Alguns homens so sbios particular afirmativa O: Alguns homens no so sbios particular negativa Os silogismo aristotlicos constam de duas premissas e uma concluso: Num premissa "todo X Y", X e Y so termos. Ainda na antiguidade grega, temos a Lgica da escola dos esticos e megricos (Euclides de Megara 400 A.C.). Esta lgica apresenta-se de modo diferente da aristotlica, pois, esta se liga ao Clculo dos Predicados, ao passo que aquela se refere ao Clculo Proposicional. Desenvolve aspectos no encontrados em Aristteles. Pertence a essa escola, Zeno (336-204 A . C. ) que fundou o estoicismo. Crisipo foi o lgico mais frtil dessa poca. Filo, tambm, dessa escola, ensinou que um condicional verdadeiro a que no tem antecedente verdadeiro e consequente falso, denominada, tambm, implicao material. Nesta escola, foram ainda dadas as diferenas entre "ou" inclusivo e o "ou" exclusivo e que "se..ento.." se define em funo de "no" e do "ou". A Lgica moderna iniciou-se com a obra Investigation of the Laws of Thougt, de George Boole (1815 1864). Com isto deu novos rumos lgebra da Lgica. Paralelamente, Augustus De Morgan (1806-1871) desenvolveu, tambm, a lgebra da Lgica.
3 de 18
17/10/2011 21:15
http://mjgaspar.sites.uol.com.br/logica/logica
As idias de Boole e De Morgan foram objetos de publicaes importantes de Chales Sanders Peirce (1839-1914), nos Estados Unidos. Surge, ento, Gottlob Frege (1848-1925), "o maior lgico dos tempos modernos", segundo Alonzo Church, com sua obra Begriffsschrift, onde pela primeira vez desenvolvido axiomaticamente o Clculo Sentencial, usando negao e implicao com conceitos primitivos, seis axiomas e regras de modus ponens e de substituio. Muitas idias de Frege tratadas de maneira menos sistemtica encontram-se em Peirce. A seguir vem Bertrand Russel a A.N. Witehead (1861-1947), com uma das mais importantes obras deste sculo Principia Matemtica, em trs volumes. Entre o grande nmero de lgicos atuais, mencionamos, Kurt Godel e Alfred Tarski. A Godel deve-se a primeira demonstrao de completividade da Lgica elementar e da incompletividade de sistemas mais complexos, como a impossibilidade da existncia de um sistema axiomtico completo e consistente para a Aritmtica usual. A Tarski deve-se muito no que respeita ao progresso dos estudos lgicos. Dentre as suas contribuies, destaca-se, a definio semntica de verdade, que tem aplicaes em numerosos campos da Matemtica, com repercusses na Filosofia. difcil dar hoje uma idia da ampliao do campo de estudos da lgica, quanto s pesquisas e possibilidades, mas o que certo que um conhecimento preliminar ainda que intuitivo necessrio em quase todos os ramos de conhecimento. Sabe-se que a lgica teve sua maior desenvoltura na Filosofia, caminhando pela Lingstica, Matemtica e Cincia da Computao.
4 de 18
17/10/2011 21:15
http://mjgaspar.sites.uol.com.br/logica/logica
Voc abriu a porta do carro? Voc puxou o freio de mo? Voc levou a chave para abrir o porta-malas? Voc verificou se o socorro estava cheio? Teramos N detalhes que muitas vezes fizemos intuitivamente e no nos preocupamos com isso, no entanto, quando os descrevemos chegamos a esquecer muitos deles. A lgica seria a seqncia detalhada e clara do fato. Quando algum pergunta qual a soma de 20 + 30, o resultado multiplicado por 4 e este resultado dividido por dois, voc faz os clculos "de cabea", no entanto voc geralmente segue um raciocnio, uma lgica, como: - Primeiro, obter o resultado da soma (20+30=50) que chamaremos de resultado 1. - Segundo, pegar o resultado 1 que 50 e multiplica por 4 (50*4=200) assim, chamaremos este de resultado 2. - Terceiro, pegar o resultado 2 que 200 e dividir por 2 (200/2=100) que chamaremos de resultado 3. - Quarto, responder o resultado 3 para quem o perguntou, que neste caso 100.
Raciocnio Lgico
Veja a seguinte charada !!! Existe um rio a ser atravessado por trs pessoas que pesam 50, 50 e 100 Kg. Para atravessar este rio, as trs pessoas dispe de uma canoa que leva no mximo 100 Kg por viagem. Esta canoa tem que ser conduzida, isto , ela no anda sozinha. Eis a questo, como estas pessoas chegam no outro lado da margem? um problema com resoluo simples. Depois de resolver este problema ou algum lhe mostrar a soluo, voc capaz de resolver problemas semelhante a este ou outros do gnero e at mais complexos. Esta uma forma de "despertar" o Raciocnio Lgico. impossvel algum lhe ensinar a lgica, pois ela j est em voc, o mximo que se pode fazer torn-la consciente.
Voltar ao incio
5 de 18
17/10/2011 21:15
http://mjgaspar.sites.uol.com.br/logica/logica
falsa. Valor Lgico Smbolo de Designao Verdade V Falsidade F Toda proposio tem um e um s dos valores V , F ( de acordo os dois princpios supracitados). Exemplo: a) o mercrio mais pesado que a gua; valor lgico da proposio : verdade (V) b) o sol gira em torno da Terra; valor lgico da proposio : falsidade (F)
Tipos de Proposio
Simples ou Atmicas - a proposio que no contm nenhuma outra proposio como parte integrante de si mesma. As proposies simples so geralmente designadas por letras minsculas p, q, r, s ..., chamadas letras proposicionais. Observao: Pode ser usada qualquer letra do alfabeto minsculo para representar uma proposio simples. Exemplo: p : Oscar prudente; q : Mrio engenheiro; r : Maria morena. Composta ou Molecular - a proposio formada pela combinao de duas ou mais proposies. So habitualmente designadas por letras maisculas P, Q, R, S ..., tambm denominadas letras proposicionais. Exemplo: p : Walter engenheiro E Pedro estudante; q : Mauro dedicado OU Pedro trabalhador; r : SE Flvio estudioso ENTO ser aprovado. Observao: As proposies compostas so tambm denominadas frmulas proposicionais ou apenas frmulas. Quando interessa destacar que uma proposio composta P formada pela combinao de proposies simples, escreve-se: P ( p, q, r ...); Conectivos - so palavras que se usam para formar novas proposies a partir de outras. Exemplo: P : 6 par E 8 cubo perfeito; Q : NO vai chover; R : SE Mauro mdico, ENTO sabe biologia; S : o tringulo ABC issceles OU equiltero; T : o tringulo ABC equiltero SE E SOMENTE SE equiltero. So conectivos usuais em lgica Matemtica as palavras que esto grifadas, isto "e", "ou", "no", "se ... ento", "... se e somente se ..."
Tabela Verdade
Proposio simples - Segundo o princpio do terceiro excludo, toda proposio simples p, verdade ou falsa, isto , tem o valor lgico verdade (V) ou o valor lgico falso (F).
6 de 18
17/10/2011 21:15
http://mjgaspar.sites.uol.com.br/logica/logica
p V F Proposio composta - O valor lgico de qualquer proposio composta depende unicamente dos valores lgicos das proposies simples componentes, ficando por eles univocamente determinados. Tabela-Verdade um dispositivo prtico muito usado para a determinao do valor lgico de uma proposio composta. Neste dispositivo figuram todos os possveis valores lgicos da proposio composta, correspondentes a todas as possveis atribuies de valores lgicos s proposies simples componentes. Proposio Composta - 02 proposies simples Assim, por exemplo, no caso de uma proposio composta cujas proposies simples componentes so p e q, as nicas possveis atribuies de valores lgicos a p e a q so: p V V F F q V F V F
Observe-se que os valores lgicos V e F se alternam de dois em dois para a primeira proposio p e de um em um para a segunda proposio q, e que, alm disso, VV, VF, FV e FF so os arranjos binrios com repetio dos dois elementos V e F. Proposio Composta - 03 proposies simples No caso de uma proposio composta cujas proposies simples componentes so p, q e r as nicas possveis atribuies de valores lgicos a p, a q e a r so: p V V V V F F F F q V V F F V V F F r V F V F V F V F
Analogamente, observe-se que os valores lgicos V e F se alternam de quatro em quatro para a primeira proposio p, de dois em dois para a segunda proposio q e de um em um para a terceira proposio r, e que, alm disso, VVV, VVF, VFV, VFF, FVV, FVF, FFV e FFF sos os arranjos ternrios com repetio dos dois elementos V e F. Notao O valor lgico de uma proposio simples p indica-se por V(p). Assim, exprime-se que p verdadeira (V), escrevendo: V(p) = V. Analogamente, exprime-se que p falsa (F), escrevendo: V(p) = F. Exemplos: p : o sol verde; q : um hexgono tem nove diagonais; r : 2 raiz da equao x + 3x - 4 = 0 V(p) = F
7 de 18
17/10/2011 21:15
http://mjgaspar.sites.uol.com.br/logica/logica
V(q) = V V(r) = F
Voltar ao incio
8 de 18
17/10/2011 21:15
http://mjgaspar.sites.uol.com.br/logica/logica
V F F Disjuno
F V F
F F F
Chama-se disjuno de duas proposies p e q a proposio representada por p ou q, cujo o valor lgico a verdade (V) quando ao menos uma das proposies p e q verdadeira e a falsidade (F) quando as proposies p e q so ambas falsas. p V V F F Disjuno Exclusiva Chama-se disjuno exclusiva de duas proposies p e q a proposio representada simbolicamente por p V q, que se l: "ou p ou q" ou "p ou q, mas no ambos", cujo valor lgico a verdade (V) somente quando p verdadeira ou q verdadeira, mas no quando p e q so ambas verdadeiras, e a falsidade (F) quando p e q so ambas verdadeiras ou falsas. p V V F F Condicional Chama-se proposio condicional ou apenas condicional uma proposio representada por "se p ento q", cujo valor lgico a falsidade (F) no caso em que p verdadeira e q falsa e a verdade (V) nos demais casos. p V V F F Bicondicional Chama-se proposio bicondicional ou apenas bicondicional uma proposio representada por "p se e somente q", cujo valor lgico a verdade(V) quando p e q so ambas verdadeiras ou ambas falsas, e a falsidade (F) nos demais casos. p V V F F
Voltar ao incio
q V F V F
pq V V V F
q V F V F
pq F V V F
q V F V F
pq V F V V
q V F V F
pq V F F V
http://mjgaspar.sites.uol.com.br/logica/logica
O uso de parnteses
bvia a necessidade de usar parntesis na simbolizao das proposies, que devem ser colocados para evitar qualquer tipo de ambigidade. Assim, por exemplo, a expresso p q r d lugar, colocando parntesis, s duas seguintes proposies: (i) (p q) r (ii) p ( q r) que no tm o mesmo significado lgico, pois na (i) o conectivo principal " ", e na (ii), o conectivo principal " ". Por outro lado, em muitos casos, parntesis podem ser suprimidos, a fim de simplificar as proposies simbolizadas,
10 de 18
17/10/2011 21:15
http://mjgaspar.sites.uol.com.br/logica/logica
desde que, naturalmente, ambigidade alguma venha a aparecer. A supresso de parntesis nas proposies simbolizadas se faz mediante algumas convenes, das quais so particularmente importante as duas seguintes: A "ordem de precedncia" para os conectivos : (1) ~ ; (2) e ; (3) ; (4) Portanto o conectivo mais "fraco" "~" e o conectivo mais "forte" " ". Assim, por exemplo, a proposio: p q s r uma bicondicional e nunca uma condicional ou uma conjuno. Para convert-la numa condicional h que usar parntesis: p (q s r) e para convert-la em uma conjuno: (p q s) r Quando um mesmo conectivo aparece sucessivamente repetido, suprimem-se os parntesis, fazendo-se a associao a partir da esquerda. Exemplo: ((~ (~ (p q))) (~ p) fica como ~ ~ (p q ) ~ p Tautologias, Contradies e Contingncias Tautologia - Chama-se tautologia toda a proposio composta cuja ltima coluna de sua tabela-verdade encerra somente a letra V (verdadeira). Em outros termos, Tautologia toda proposio composta P(p, q, r, ...) cujo valor lgico sempre (V) verdade, quaisquer que sejam os valores lgicos das proposies simples componentes. Exemplos: a) A proposio "~ (p ~ p)" (Princpio da no contradio) tautolgica, conforme se v pela sua tabela-verdade: p V F ~p F V p ~ p ~ (p ~ q) F V F V
Contradio - Chama-se contradio toda a proposio composta cuja ltima coluna da sua tabela-verdade encerra somente a letra F (falsidade). Em outros termos, contradio toda proposio composta P(p, q, r,...) cujo valor lgico sempre F (falsidade), quaisquer que sejam os valores lgicos das proposies simples componentes p, q, r, ... Como uma tautologia sempre verdadeira (V), a negao de uma tautologia sempre falsa (F), ou seja, uma contradio, e vice-versa. p V ~p F p~p F
11 de 18
17/10/2011 21:15
http://mjgaspar.sites.uol.com.br/logica/logica
F p V F
V ~p F V
F p~p F F
Contingncia - Chama-se contingncia toda a proposio composta em cuja ltima coluna de sua tabela-verdade figuram as letras V e F cada uma pelo menos uma vez. Em outros termos, contingncia toda proposio composta que no tautologia nem contradio. As contingncias so tambm denominadas proposies contingentes ou proposies indeterminadas. p V F
Voltar ao incio
~p F V
p~p F V
Equivalncias Notveis
Propriedades da Conjuno Sejam p, q e r proposies simples quaisquer e sejam t e c proposies tambm simples cujos valores lgicos respectivos so V (verdade) e F (falsidade). (a) Idempotente : p p p p V F (b) Comutativa : p q q p p V V F F q V F V F pq V F F F q p V F F F pqqp V V V V pp V F p p p V V
(c) Associativa : (p q) r p (q r)
12 de 18
17/10/2011 21:15
http://mjgaspar.sites.uol.com.br/logica/logica
p V V V V F F F F
q V V F F V V F F
r V F V F V F V F
pq V V F F F F F F
(p q) r q r p (q r) V F F F F F F F V F F F V F F F V F F F F F F F
(p q) r p (q r) V V V V V V V V
As colunas equivalentes so 1, 4 e 3, 5. Propriedades da Disjuno Sejam p, q e r proposies simples quaisquer e sejam t e c proposies tambm simples cujos valores lgicos respectivos so V (verdade) e F (falsidade). (a) Idempotente : p p p p V F (b) Comutativa : p q q p p V V F F q V F V F pq V V V F qp V V V F pqqp V V V V pp V F ppp V V
(c) Associativa : (p q) r p (q r) p V V V q V V F r V F V pq V V V (p q) r V V V q r V V V p (q r) V V V (p q) r p (q r) V V V
13 de 18
17/10/2011 21:15
http://mjgaspar.sites.uol.com.br/logica/logica
V F F F F
F V V F F
F V F V F
V V V F F
V V V V F
F V V V F
V V V V F
V V V V V
As colunas equivalentes so 1, 5 e 2, 4.
V V V F F V F F
V V V F F V F F
V V V F F V F F
V V V F F V
14 de 18
17/10/2011 21:15
http://mjgaspar.sites.uol.com.br/logica/logica
As colunas 5 e 8 so equivalentes (b) Absoro (i) p (p q) p p V V F F As colunas 1 e 4 so equivalentes (ii) p (p q) p p V V F F As colunas 1 e 4 so equivalentes (c) Regras de DE MORGAN (1806 1871) (i) ~ (p q) ~ p ~ q p V V F F q V F V F pq V F F F ~ (p q) F V V V ~p F F V V ~q F V F V ~p~q F V V V q V F V F p q p (p q) V F F F V V F F p (p q) p V V V V q V F V F p q p (p q) V V V F V V F F p (p q) p V V V V
As colunas 4 e 7 so equivalentes
Condicional
15 de 18
17/10/2011 21:15
http://mjgaspar.sites.uol.com.br/logica/logica
q V F V F
pq V F V V
~p F F V V
~pq V F V V
Criana que tem brinquedo roletrex feliz. A criana feliz. Conclui-se que: A criana tem brinquedo roletrex. O primeiro argumento tem um erro de falsa dicotomia e o segundo induz a pensar que o antecedente segue do conseqente, ou o contrrio. Vivemos no nosso dia-a-dia recebendo mensagens publicitrias atravs dos mais diversos meios e argumentando com nossos interlocutores a respeito dos mais diversos assuntos. Para que no caiamos prisioneiros de argumentos enganosos (as falcias) ou de frases ambguas, faz-se necessrio um mnimo de conhecimento de lgica. Assim, podemos afirmar que o estudo da lgica interessa a todos. Definio de Argumento Consideremos a informao extrada da seo Cincia, do Jornal do Brasil, de 5 de julho de 1997, a respeito do pouso da sonda Pathfinder, em Marte. "Um sinal de rdio emitido pela nave para euforia dos cientistas que acompanhavam a misso do centro de controle indicou que a Pathfinder havia penetrado com sucesso na atmosfera marciana..." Podemos reconstituir esta informao da seguinte maneira: Alguns cientistas acompanhavam a misso do centro de controle (NASA). Um sinal de rdio foi emitido pela nave (para o centro de controle).
16 de 18
17/10/2011 21:15
http://mjgaspar.sites.uol.com.br/logica/logica
(O sinal de rdio) indicou que a Pathfinder havia penetrado com sucesso a atmosfera marciana. Os cientistas ficaram eufricos. Notemos nesta reconstituio que a afirmao "Os cientistas ficaram eufricos" decorre das declaraes anteriores. Temos, a, um argumento. Sejam P1, P2,...,P n e Q proposies quaisquer, simples ou compostas. Chama-se argumento toda a afirmao de que uma dada seqncia finita P1, P2,...,P n de proposies tem como conseqncia ou acarreta uma proposio final Q. As proposies P1, P2,..., Pn dizem-se as premissas do argumento, e a proposio final Q diz-se a concluso do argumento. Um argumento de premissas P1, P2,...,Pn e de concluso Q indica-se por: P1, P2,...,P n a Q, onde se l: "P1P2,...,P n acarretam Q". Na forma padronizada as premissas invocadas para "servir de justificativa", acham-se sobre o trao horizontal e a concluso do argumento estar sob o mesmo trao horizontal. Validade de um Argumento Um argumento P1,P2,...,P n a Q diz-se vlido se e somente se a concluso Q verdadeira todas as vezes que as premissas P1,P 2,...,P n so verdadeiras. Portanto, todo argumento vlido goza da seguinte caracterstica: A verdade das premissas incompatvel com a falsidade da concluso. Um argumento no-vlido diz-se um sofisma. Deste modo, todo argumento tem um valor lgico, digamos V se vlido(correto, legtimo) ou F se um sofisma(incorreto, ilegtimo). As premissas dos argumento so verdadeiras ou, pelo menos admitidas como tal. Alis, a Lgica s se preocupa com a validade dos argumentos e no com a verdade ou falsidade das premissas e das concluses. A validade de um argumento depende exclusivamente da relao existente entre as premissas e a concluso. Portanto, afirmar que um dado argumento vlido significa afirmar que as premissas so verdadeiras. Regras de inferncia usadas para demonstrar a validade dos argumentos Regra de adio (AD): Regra de simplificao Regra da conjuno (SIMP): (CONJ): Regra da absoro(ABS): Regra modus ponens(MP):
i)
ii)
i)
ii) i) ii) Regra do dilema construtivo(DC): Regra do dilema destrutivo(DD): Regra do silogismo hipottico(SH):
i)
ii)
Com o auxlio destas dez regras de inferncia pode-se demonstrar a validade de um grande nmero de argumento mais complexos.
17 de 18
17/10/2011 21:15
http://mjgaspar.sites.uol.com.br/logica/logica
A validade de qualquer argumento pode ser demonstrada, verificada e testada mediante Tabelas-verdade, Regra de Inferncia, Equivalncias e Fluxogramas. Nos deteremos, agora, nos fluxogramas. O fluxograma constitui um mtodo alternativo para as Tabelas-verdade na verificao da validade de um argumento, no qual se ilustra o raciocnio utilizado. Neste mtodo, para verificao da validade de um argumento ou prova de um teorema, procede-se da seguinte maneira: 1. consideram-se as premissas verdadeiras; 2. aplicam-se as definies dos conectivos lgicos para determinar o valor lgico da concluso que dever se a verdade(V), para que o argumento seja vlido ou o teorema provado; Caso ocorram situaes em que no se possa determinar o valor lgico da concluso, ou em que F = V(contradio), o argumento no vlido. O teste de validade de argumentos ou prova de teoremas mediante o uso do fluxograma pode ser feito pelo mtodo direto ou indireto (por absurdo).
Voltar ao incio
Notas e comunicados
Sua opinio sobre esta pgina muito importante. Atravs do e-mail envie suas sugestes e dvidas.
mjgaspar@uol.com.br
Voltar ao incio
18 de 18
17/10/2011 21:15