Marisa Gaspar - Lgica Matemtica

http://mjgaspar.sites.uol.com.br/logica/logica

Introduo Lgica Matemtica

Curso de Tecnlogo em Processamento de Dados Professora Marisa Gaspar

Pgina em constante atualizao .............................

Entre aqui !

Assuntos abordados
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

Introduo Lgica Matemtica

1 de 23

26-07-2012 14:36

Marisa Gaspar - Lgica Matemtica

http://mjgaspar.sites.uol.com.br/logica/logica

PROGRAMA DE DISCIPLINA CURSO: TECNLOGO REA DE CINCIAS EXATAS DA TERRA DISCIPLINA: INTRODUO LGICA PERODO: 1 CDIGO: CM 3-454 CARGA HORRIA SEMANAL: 76

EMENTA: Proposies, conectivos. Operaes Lgicas sobre proposies. Anlise lgica da linguagem cotidiana. Sentido lgico-matemtico convencional dos conectivos. Simbolizao de sentenas da linguagem cotidiana. Tabela-verdade : 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; Codicar a mensagem de acordo com o contexto e com o nvel sociocultural do receptor; Expressar-se com uncia, 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 reete em grande parte, acha-se ligada experincia. Ter capacidade de lidar com incertezas; Ter exibilidade 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 .

CARGA HORRIA 08

10

10

2 de 23

26-07-2012 14:36

Marisa Gaspar - Lgica Matemtica

http://mjgaspar.sites.uol.com.br/logica/logica

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. Denio 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 Denio de um argumento. Validade de um argumento. Critrio de validade de um argumento. Argumentos vlidos fundamentais. Regras de inferncia. O uxograma para demonstrar a validade de um argumento. lgebra dos interruptores ( Circuito de Chaveamento ) Circuito de chaveamento: Construo e interpretao. Circuitos em srie e paralelo. Simplicao de circuitos. 14 22 12

Bibliograa recomendada
ALENCAR FILHO, Iniciao Lgica Matemtica. Ed. Nobel JACCOB DAGHLIAN. Lgica e lgebra de Boole. Ed. Atlas MENDELSON. lgebra Booleana e Circuitos de Chaveamento. Ed. McGraw-Hill do Brasil

Sites recomendados sobre Lgica Matemtica.

1. Links da Disciplina de Lgica Matemtica LGICA MATEMTICA. Notas de Aula. Listas de Exerccios. Notas das Avaliaes. Alguns Links Interessantes.... URL: www.ime.usp.br/~simardi/disciplina/logica/logica.html 2. Clculo de Predicados Clculo de... URL: www.lmc.fc.ul.pt/~jnsilva/logica97/node15.html 3. Fontini Apostila sobre Lgica http://www.angelre.com/bc/fontini/logica.html

3 de 23

26-07-2012 14:36

Marisa Gaspar - Lgica Matemtica

http://mjgaspar.sites.uol.com.br/logica/logica

Histria da Lgica
A histria da lgica comea com os trabalhos do lsofo 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, armativas ou negativas, isto , dos tipos seguintes: A : Todos os animais so mortais universal armativa E : Nenhum animal imortal universal negativa I : Alguns homens so sbios particular armativa 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 dene 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. 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 Begrisschrift, 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.

4 de 23

26-07-2012 14:36

Marisa Gaspar - Lgica Matemtica

http://mjgaspar.sites.uol.com.br/logica/logica

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 denio semntica de verdade, que tem aplicaes em numerosos campos da Matemtica, com repercusses na Filosoa. 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 Filosoa, caminhando pela Lingstica, Matemtica e Cincia da Computao.

A Lgica na Cincia da Computao

Segundo John Nolt (et al., 1991), "A lgica pode ser estudada de dois pontos de vista: a formal e a informal. Lgica formal o estudo das formas de argumento, modelos abstratos comuns a muitos argumentos distintos. Lgica informal o estudo de argumentos particulares em linguagem natural e do contexto no qual eles ocorrem." Cabe aqui ressaltar que os dois pontos de vista no so opostos, mas se complementam. Do ponto de vista da cincia da computao, que se trabalha com o sentido semntico dos operadores lgicos (princpio de bivalncia - verdade, falso) a lgica formal predomina. Esta disciplina nos introduzir no mundo da lgica computacional (Cincia da Computao). Assim, veremos alguns conceitos e teremos a idia da abrangncia do mesmo. Segundo o dicionrio Aurlio, lgica signica "coerncia de raciocnio, de idias. Modo de raciocinar peculiar a algum, ou a um grupo. Seqncia coerente, regular e necessria de acontecimentos, de coisas." Um outro conceito seria: a cincia das leis ideais do pensamento e a arte de aplic-los corretamente no processo de investigao e demonstrao da verdade. No nosso dia a dia nos deparamos com vrios problemas, nos quais, usamos a "lgica" de forma "consciente" para resolv-los, isto , um raciocnio detalhista, minucioso, com bastante clareza, ou, raciocinamos de forma lgica sem tomarmos conhecimento, intuitivamente. Para que que claro, criemos uma situao !!! Voc est viajando e fura um pneu de seu carro. Encosta-o e para. Ser que voc capaz de descrever todos os passos desde a parada do carro at o pneu trocado? D um tempo! Tente ... pegue uma folha e descreva passo a passo ... depois prossiga a leitura. Se voc tentou, agora responda algumas perguntas:

5 de 23

26-07-2012 14:36

Marisa Gaspar - Lgica Matemtica

http://mjgaspar.sites.uol.com.br/logica/logica

Voc desligou o carro? Voc ligou o alerta? Voc tirou o sinto de segurana? Voc abriu a porta do carro? Voc puxou o freio de mo? Voc levou a chave para abrir o porta-malas? Voc vericou se o socorro estava cheio? Teramos N detalhes que muitas vezes zemos 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

UNIDADE I - Proposies e conectivos

6 de 23

26-07-2012 14:36

Marisa Gaspar - Lgica Matemtica

http://mjgaspar.sites.uol.com.br/logica/logica

Proposio - todo o conjunto de palavras ou smbolos que exprimem um pensamento de sentido completo, isto , armam fatos ou exprimem juzos que formamos a respeito de determinados entes. Exemplo: a) a lua um satlite da Terra; b) O sol amarelo; c) Braslia a capital do Brasil.

Princpios Adotados como Regras Fundamentais do Pensamento, na Lgica Matemtica

Princpio da no contradio - uma proposio no pode ser verdadeira e falsa ao mesmo tempo. Princpio do terceiro excludo - toda proposio ou verdadeira ou falsa, esto , verica-se sempre um destes casos e nunca um terceiro. Valores Lgicos das Proposies Chama-se valor lgico de uma proposio a verdade se a proposio verdadeira e a falsidade se a proposio falsa. Valor Lgico Verdade Falsidade Smbolo de Designao V 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.

7 de 23

26-07-2012 14:36

Marisa Gaspar - Lgica Matemtica

http://mjgaspar.sites.uol.com.br/logica/logica

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). p V F Proposio composta - O valor lgico de qualquer proposio composta depende unicamente dos valores lgicos das proposies simples componentes, cando por eles univocamente determinados. Tabela-Verdade um dispositivo prtico muito usado para a determinao do valor lgico de uma proposio composta. Neste dispositivo guram 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
8 de 23 26-07-2012 14:36

Marisa Gaspar - Lgica Matemtica

http://mjgaspar.sites.uol.com.br/logica/logica

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 V(q) = V V(r) = F
Voltar ao incio

9 de 23

26-07-2012 14:36

Marisa Gaspar - Lgica Matemtica

http://mjgaspar.sites.uol.com.br/logica/logica

UNIDADE II - Operaes lgicas sobre proposies

Operaes Lgicas Fundamentais
Quando pensamos, efetuamos muitas vezes certas operaes sobre proposies, chamadas operaes lgicas. As operaes lgicas obedecem regras de um clculo, denominado clculo proposicional, semelhante ao da aritmtica sobre nmeros Negao Chama-se negao de uma proposio p a proposio representada por "no p", cujo valor lgico verdade (V) quando p falso e falsidade quando p verdadeiro. Assim, "no p" tem valor lgico oposto daquele de p. Simbolicamente, a negao de p indicada com notao "~ p", que se l "no p". O valor lgico da negao de uma proposio , portanto, denido pela seguinte tabela-verdade: p V F ou seja, pelas igualdades ~V=Fe~F=V V (~ p) = ~ V(p) O valor lgico da negao de p igual negao do valor lgico de p. Em linguagem comum a negao efetua-se nos casos mais simples, antepondo o advrbio "no" ao verbo da proposio dada. Exemplo: p : o sol uma estrela ~p : o sol no uma estrela Outra maneira de efetuar a negao consiste em antepor proposio dada expresses tais como "no verdade que", " falso que". Exemplo: q : Carlos engenheiro ~q : falso que Carlos engenheiro; ~q : no verdade que Carlos engenheiro. ~q : no acontece que Carlos engenheiro. Conjuno Chama-se conjuno de duas proposies p e q a proposio representada por "p e q", cujo valor lgico a verdade (V) quando as proposies p e q so verdadeiras e a falsidade (F) nos demais casos.
10 de 23 26-07-2012 14:36

~p F V

Marisa Gaspar - Lgica Matemtica

http://mjgaspar.sites.uol.com.br/logica/logica

p V V F F Disjuno

q V F V F

pq V 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 q V F V F pq V F V V q V F V F pq F V V F q V F V F pq V V V F

11 de 23

26-07-2012 14:36

Marisa Gaspar - Lgica Matemtica

http://mjgaspar.sites.uol.com.br/logica/logica

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 F F V

UNIDADE III - Tabelas-verdade: Tautologia, Contradio e Contingncia

Construo de Tabelas - Verdade
Dada vrias proposies simples p, q, r , ..., podemos combin-las pelos conectivos lgicos: Negao Conjuno Disjuno Condicional Bicondicional e construir proposies compostas, tais como: P(p,q) = ~ p (p q) Q(p,q) = (p ~ q) q R(p,q,r) = (p ~ q r ) ~ (q (p ~ r)) Tabela Verdade de uma Proposio Composta Ento, com o emprego das tabelas verdade das operaes lgicas fundamentais possvel construir a tabela verdade esta que mostrar exatamente os casos em que a proposio composta ser verdadeira (V) ou falsa (F), admitindo-se, como sabido, que o seu valor lgico s depende dos valores lgicos das proposies simples componentes. Nmeros de Linhas de uma Tabela Verdade O nmero de linhas da tabela verdade de uma proposio composta depende do nmero de proposies simples que a integram, sendo dado pelo seguinte teorema: A tabela-verdade de uma proposio composta, com n proposies simples componentes, contm 2 elevado a n linhas. Para se construir a tabela-verdade de uma proposio composta dada, procede-se da seguinte maneira: ~

12 de 23

26-07-2012 14:36

Marisa Gaspar - Lgica Matemtica

http://mjgaspar.sites.uol.com.br/logica/logica

a. determina-se o nmero de linhas da tabela- verdade que se quer construir; b. observa-se a precedncia entre os conectivos, isto , determina-se a forma das proposies que ocorrem no problema; c. aplicam-se as denies das operaes lgicas que o problema exigir. Exemplo Construir a tabela-verdade da proposio: P(p,q) = ~ (p ~ q) p V V F F q V F V F ~q F V F V p~q F V F F ~ (p ~ q) V F V V

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 signicado lgico, pois na (i) o conectivo principal " ", e na (ii), o conectivo principal " ". Por outro lado, em muitos casos, parntesis podem ser suprimidos, a m de simplicar as proposies simbolizadas, 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.

13 de 23

26-07-2012 14:36

Marisa Gaspar - Lgica Matemtica

http://mjgaspar.sites.uol.com.br/logica/logica

Exemplo: ((~ (~ (p q))) (~ p) ca 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 F F ~ (p ~ q) V V

b) A proposio "p ~ p" (Princpio do terceiro excludo) uma tautologia. p V F ~p F V p~ p V 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 F p V F ~p F V ~p F V p~p F F p~p F F

Contingncia - Chama-se contingncia toda a proposio composta em cuja ltima coluna

14 de 23

26-07-2012 14:36

Marisa Gaspar - Lgica Matemtica

http://mjgaspar.sites.uol.com.br/logica/logica

de sua tabela-verdade guram 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

UNIDADE IV -lgebra das proposies

Equivalncia Lgica
Diz-se que uma proposio P (p, q, r, ...) logicamente equivalente ou apenas equivalente a uma proposio Q (p, q, r, ...), se as tabelas-verdade destas duas proposies so idnticas. Indica-se que a proposio P (p, q, r, ...) equivalente a proposio Q (p, q, r, ...) com a notao P (p, q, r, ...) Q (p, q, r, ...) Em particular, se as proposies P (p, q, r, ...) e Q (p, q, r, ...) so ambas tautolgicas ou so ambas contradies, ento so equivalentes.

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 q V pq V qp V pqq p V pp V F ppp V V

15 de 23

26-07-2012 14:36

Marisa Gaspar - Lgica Matemtica

http://mjgaspar.sites.uol.com.br/logica/logica

V F F

F V F

F F F

F F F

V V V

(c) Associativa : (p q) r p (q r) 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 V F F F F F F F q r V F F F V F F F p (q r) V F F F F F F F (p q) r p (q r) V V V V V V V V

As colunas 5 e 7 so equivalentes (d) Identidade : p t p e p c c p V F t V V c F F pt V F pc F F pt p V V pcc 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
16 de 23 26-07-2012 14:36

pp V F

ppp V V

Marisa Gaspar - Lgica Matemtica

http://mjgaspar.sites.uol.com.br/logica/logica

p V V F F

q V F V F

pq V V V F

qp V V V F

pqq p V V V V

(c) Associativa : (p q) r p (q r) 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 p q V V V V V V F F (p q) r V V V V V V V F q r V V V F V V V F p (q r) V V V V V V V F (p q) r p (q r) V V V V V V V V

As colunas 5 e 7 so equivalentes (d) Identidade : p t t e p c p p V F t V V c pt F F V V pc pt p V F V V pc c V V

As colunas equivalentes so 1, 5 e 2, 4.

Propriedades da Conjuno e da Disjuno

(a) Distributivas (i) p (q r) (p q) (p r) p q r q r p (q r) p q p r (p q) (p r)

17 de 23

26-07-2012 14:36

Marisa Gaspar - Lgica Matemtica

http://mjgaspar.sites.uol.com.br/logica/logica

V V V V V F V F V V F F F V V F V F F F F V F F

V V V F V V V F

V V V F F F F F

V V F F F F F F

V F V F F F F F

V V V F F F F F

As colunas 5 e 8 so equivalentes (ii) p (q r) (p q) (p r) p q r q r V F F F V F F F p (q r) V V V V V F F F p q V V V V V V F F p r V V V V V F V F (p q) (p r) V V V V V F F F

V V V V V F V F V V F F F V V F V F F F F V F F

As colunas 5 e 8 so equivalentes (b) Absoro (i) p (p q) p p V V F F q V F V F p q V V V F p (p q) V V F F p (p q) p V V V V

18 de 23

26-07-2012 14:36

Marisa Gaspar - Lgica Matemtica

http://mjgaspar.sites.uol.com.br/logica/logica

As colunas 1 e 4 so equivalentes (ii) p (p q) p p V V F F q V F V F p q V F F F p (p q) V V F F p (p q) p V V V V

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 p q 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

As colunas 4 e 7 so equivalentes (ii) ~ (p q) ~ p ~ q p V V F F q V F V F p q V V V F ~ (p q) F F F V ~ p F F V V ~ q F V F V ~p~q F F F V

As colunas 4 e 7 so equivalentes

Condicional
pq~pq

19 de 23

26-07-2012 14:36

Marisa Gaspar - Lgica Matemtica

http://mjgaspar.sites.uol.com.br/logica/logica

p V V F F

q V F V F

p q V F V V

~ p F F V V

~pq V F V V

As colunas 3 e 5 so equivalentes
Voltar ao incio

UNIDADE V - Argumentos e suas validades

Representao de argumentos usando o uxograma
Introduo A quem interessa o estudo da lgica? Aos lsofos? Aos matemticos? Aos homens de cincias? Proposta: analise as mensagens abaixo e seus argumentos. Ou voc a favor do presidente ou voc contra a reeleio. Voc no a favor do presidente. Conclui-se que: Voc contra a reeleio.

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 armar que o estudo da lgica interessa a todos. Denio de Argumento Consideremos a informao extrada da seo Cincia, do Jornal do Brasil,

20 de 23

26-07-2012 14:36

Marisa Gaspar - Lgica Matemtica

http://mjgaspar.sites.uol.com.br/logica/logica

de 5 de julho de 1997, a respeito do pouso da sonda Pathnder, em Marte. "Um sinal de rdio emitido pela nave para euforia dos cientistas que acompanhavam a misso do centro de controle indicou que a Pathnder 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). (O sinal de rdio) indicou que a Pathnder havia penetrado com sucesso a atmosfera marciana. Os cientistas caram eufricos. Notemos nesta reconstituio que a armao "Os cientistas caram eufricos" decorre das declaraes anteriores. Temos, a, um argumento. Sejam P1, P2,...,Pn e Q proposies quaisquer, simples ou compostas. Chama-se argumento toda a armao de que uma dada seqncia nita P1, P2,...,Pn de proposies tem como conseqncia ou acarreta uma proposio nal Q. As proposies P1, P2,..., Pn dizem-se as premissas do argumento, e a proposio nal Q diz-se a concluso do argumento. Um argumento de premissas P1, P2,...,Pn e de concluso Q indica-se por: P1, P2,...,Pn a Q, onde se l: "P1P2,...,Pn acarretam Q". Na forma padronizada as premissas invocadas para "servir de justicativa", 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,...,Pn a Q diz-se vlido se e somente se a concluso Q verdadeira todas as vezes que as premissas P1,P2,...,Pn 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 sosma. Deste modo, todo argumento tem um valor lgico, digamos V se vlido(correto, legtimo) ou F se um sosma(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, armar que um dado argumento vlido signica

21 de 23

26-07-2012 14:36

Marisa Gaspar - Lgica Matemtica

http://mjgaspar.sites.uol.com.br/logica/logica

armar que as premissas so verdadeiras. Regras de inferncia usadas para demonstrar a validade dos argumentos Regra de adio (AD): Regra de simplicao (SIMP): Regra da conjuno (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):

Regra modus Regra do tollens(MT): silogismo disjuntivo(SD):

i)

ii)

Com o auxlio destas dez regras de inferncia pode-se demonstrar a validade de um grande nmero de argumento mais complexos. A validade de qualquer argumento pode ser demonstrada, vericada e testada mediante Tabelas-verdade, Regra de Inferncia, Equivalncias e Fluxogramas. Nos deteremos, agora, nos uxogramas. O uxograma constitui um mtodo alternativo para as Tabelas-verdade na vericao da validade de um argumento, no qual se ilustra o raciocnio utilizado. Neste mtodo, para vericao 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 denies 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 uxograma 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.

22 de 23

26-07-2012 14:36

Marisa Gaspar - Lgica Matemtica

http://mjgaspar.sites.uol.com.br/logica/logica

mjgaspar@uol.com.br

Voltar ao incio

Informaes de copyright. ltima reviso: Janeiro 28, 2000.

23 de 23

26-07-2012 14:36