INTRODUO LGICA MATEMTICA

Universidade Estcio de S Curso de Sistemas de Informao Disciplina: Lgica Matemtica Professor: Celso L. M. Pieroni Resumo do livro: Iniciao Lgica Matemtica Ttulo: Iniciao Lgica Matemtica Autor: Edgard de Alencar Filho Editora: Nobel

OBSERVAO: O material abaixo tem como finalidade apenas orientar o aluno durante as aulas que sero ministradas.

Proposies. Conectivos 1. Conceito de proposio 2. Valores Lgicos das Proposies 3. Proposies Simples e Proposies Compostas 4. Conectivos 5. Tabela-Verdade 6. Notao Operaes Lgicas sobre Proposies 1. Negao (~) 2. Conjuno () 3. Disjuno () 4. Disjuno Exclusiva () 5. Condicional () 6. Bicondicional () Construo de Tabelas-Verdade 1. 2. 3. 4. Tabela-Verdade de uma Proposio Composta Nmero de Linhas de uma Tabela-Verdade Exemplificao Valor Lgico de uma Proposio Composta

5. Uso de Parntesis 6. Outros Smbolos para os Conectivos Tautologias, Contradies e Contingncias 1. Tautologia 2. Contradio 3. Contingncia Implicao Lgica 1. Definio de Implicao Lgica 2. Propriedades da Implicao Lgica 3. Exemplificao 4. Tautologias e Implicao Lgica Equivalncia Lgica 1. Definio de Equivalncia Lgica 2. Propriedades da Equivalncia Lgica 3. Exemplificao

4. Tautologias e Equivalncia Lgica 5. Proposies Associadas a uma Condicional 6. Negao Conjunta de duas Proposies 7. Negao Disjunta de duas Proposies Mtodo dedutivo Regras de Inferncia 1. Exemplificao 2. Forma normal das proposies 3. 4. 5. 6. Forma normal conjuntiva (FNC) Forma normal disjuntiva (FND) Definio de argumento Validade de um argumento

7. Critrio de validade de um argumento 8. Argumentos vlidos fundamentais / Regras de inferncia Sentenas abertas 1. Sentenas abertas com uma varivel 2. Conjunto verdade de uma sentena aberta com uma varivel 3. Sentenas abertas com n variveis 4. Conjunto verdade de uma sentena aberta com n variveis Operaes com Sentenas abertas 1. Sentenas abertas com uma varivel 2. Conjunto verdade de uma sentena aberta com uma varivel 3. Sentenas abertas com n variveis 4. Conjunto verdade de uma sentena aberta com n variveis 5. Operaes lgicas sobre sentenas abertas 6. Quantificadores Quantificadores 1. Quantificador universal 2. Quantificador existencial 3. Quantificador existencial e unicidade 4. Negao de proposies com quantificador 5. Quantificao mltipla 6. Comutatividade dos quantificadores 7. Negao de proposies com quantificadores

Proposies. Conectivos
1. Conceito de proposio Chama-se proposio todo o conjunto de palavras e smbolos que exprimem um pensamento de sentido completo. As proposies transmitem pensamentos, isto , afirmam fatos ou exprimem juzos que formamos a respeito de determinados entes. Assim, por exemplo, so proposies: (a) (b) A Lua um satlite da Terra

> 5

A Lgica Matemtica adota como regras fundamentais do pensamento os dois seguintes princpios (ou axiomas): (I) Princpio da no contradio: Uma proposio no pode ser verdadeira e falsa ao mesmo tempo. (II) Princpio do terceiro excludo: Toda a proposio ou verdadeira ou falsa, isto , verifica-se sempre um destes casos e nunca um terceiro. 2. Valores Lgicos das Proposies Chama-se valor lgico de uma proposio a verdade de a proposio verdadeira e a falsidade de a proposio falsa. Os valores lgicos verdade e falsidade de uma proposio designam-se abreviadamente pelas letras V e F, respectivamente. Assim, o que os princpios da no contradio e do terceiro excludo afirmam que: Toda proposio tem um, e um s, dos valores V, F. Consideremos, por exemplo, as proposies: (a) (b) O mercrio mais pesado que a gua O Sol gira em torno da Terra

O valor lgico da proposio (a) a verdade (V) e o valor lgico da proposio (b) a falsidade (F).

3. Proposies Simples e Proposies Compostas As proposies podem ser classificadas em simples ou atmicas e compostas ou moleculares. Proposio simples: chama-se proposio simples ou atmica aquela que aquela que no contm nenhuma outra proposio como parte integrante de si mesma. As proposies simples so geralmente designadas pelas letras latinas minsculas p, q, r, s, ..., chamadas letras proposicionais. Assim, por exemplo, so proposies simples as seguintes: p: Pedro estudante q: O nmero 25 quadrado perfeito Proposio composta: chama-se proposio composta ou molecular aquela formada pela combinao de duas ou mais proposies. As proposies compostas so habitualmente designadas pelas letras latinas maisculas P, Q, R, S,..., tambm chamadas letras proposicionais. Assim, por exemplo, so proposies compostas as seguintes: P: Carlos careca ou Pedro estudante; Q: Se Carlos careca, ento infeliz visto que cada uma delas formada por duas proposies simples. As proposies compostas tambm costumam frmulas proposicionais ou apenas frmulas. ser chamadas de

As proposies simples e as proposies compostas tambm so chamadas respectivamente de tomos e molculas. 4. Conectivos Chamam-se conectivos, palavras que se usam para formar novas proposies a partir de outras. Assim, por exemplo, nas seguintes proposies compostas: P: O nmero 6 par e o nmero 8 cubo perfeito Q: O tringulo ABC retngulo ou issceles

R: No est chovendo S: Se Jorge engenheiro, ento sabe matemtica. T: O tringulo ABC equiltero se e somente se equingulo so conectivos usuais em Lgica Matemtica as palavras que esto grifadas, isto : e, ou, no, se ... ento, ... se e somente se ... 5. Tabela-Verdade Segundo o Princpio do terceiro excludo, toda proposio simples p verdadeira ou falsa, isto , tem valor lgico V (verdade) ou F (falsidade). Em se tratando de uma proposio composta, a determinao do seu valor lgico, conhecidos os valores lgicos das proposies simples componentes, se faz com base no seguinte princpio: O valor lgico de qualquer proposio composta depende unicamente doa valores lgicos das proposies simples componentes, ficando por eles univocamente determinado. Admitindo este princpio, para aplic-lo na prtica determinao do valor lgico de uma proposio composta dada, recorre-se quase sempre a um dispositivo denominado tabela-verdade, na qual figuram todos os possveis valores lgicos da proposio composta correspondentes a todas as possveis atribuies de valores lgicos as proposies simples correspondentes. Assim, por exemplo, no caso de uma proposio composta cujas proposies simples so p e q, as nicas possveis atribuies de valores lgicos a p e a q so: V p q 1 V V V q 2 V F F 3 F V p V F F

F q F

6. Notao O valor lgico de uma proposio simples p indica-se por V(p). Assim, exprime-se que p verdadeira (V), escrevendo-se: V(p) = V. Analogamente, exprime-se que p falsa (F) escrevendo: V(p) = F. Sejam, por exemplo, as proposies simples: p: O Sol verde q: Um hexgono tem 9 diagonais r: 2 raiz da equao x 2 + 3 x 4 = 0 Temos: V(p) = F,

V(q) = V,

V(r) = F

Do mesmo modo, o valor lgico de uma proposio composta P indicase por V(P).

Exerccios propostos 1. Verifique, justificando se as seguinte frases so ou no proposies atmicas. i. ii. iii. iv. v. vi. vii. viii. ix. Eu estudo informtica; Se a > 0 ento a um inteiro positivo. Flamengo o melhor time do mundo. Oxidao remoo de eltrons. A casa no est gelada. Joo trabalha ou estuda. Reduo acrscimo de eltrons. O ar condicionado ser consertado suficiente para ser ligado. Pascal uma linguagem de programao.

2. Verifique, justificando se as seguintes frases so ou no proposies compostas: i. ii. iii. iv. v. vi. Se o co est latindo, o co est na casa. Pedro filho de Paula. O gato no subiu na rvore. O ar condicionado ser consertado suficiente para ser ligado. No o caso que o Brasil seja pequeno. Paulo no mente se a pergunta for de matemtica.

vii. viii. ix. x.

Pessoas de crebros so intelectuais. Scrates pensador ou no o caso que Scrates seja filsofo. Se o aluno estudar ento ele no ir ficar reprovado. Ana estuda na Universidade Estcio de S.

3. Determinar as partculas lgicas que ocorrem em cada uma das sentenas a seguir: i. ii. iii. iv. v. vi. vii. Flamengo campeo e Vasco segundo colocado. Ana no uma aluna estudiosa. No esta chovendo mas no esta nevando. Duas retas se interceptam se no so paralelas. Se est chovendo e nevando ento esta chovendo. No esta chovendo nem fazendo sol. Joo trabalha ou estuda.

Operaes Lgicas sobre Proposies

Quando pensamos, efetuamos muitas vezes certas operaes sobre proposies, chamadas operaes lgicas. Estas obedecem regra de um clculo, denominado clculo proposicional, semelhante ao da aritmtica sobre nmeros. Estudaremos a seguir as operaes lgicas fundamentais. 1. Negao (~) Chama-se negao de uma proposio p a proposio representada por no p, cujo valor lgico a verdade (V) quando p falsa e a falsidade (F) quando p verdadeira. Assim, no p tem o valor lgico oposto daquele de p. Simbolicamente, a negao de uma proposio , portanto, definida pela seguinte tabela-verdade: p ~p V F F V ou seja, pelas igualdades: Exemplo: ~V = F, ~F = V e V(~p) = ~V(p)

p: 2 + 3 = 5 (V) e ~p: 2 + 3 5 (F) V(~p) = ~V(p) = ~V = F

Na linguagem comum, a negao efetua-se, nos casos mais simples, antepondo o advrbio no ao verbo da proposio dada. Assim, por exemplo, a negao da proposio: 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. Assim, por exemplo, a negao da proposio: q: Carlos mecnico ~q: No verdade que Carlos mecnico ou ~q: falso que Carlos mecnico 9

Observa-se, entretanto, que a negao de Todos os homens so elegantes Nem todos os homens so elegantes e a de Nenhum homem elegante Algum homem elegante. 2. Conjuno () Chama-se de 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 ambas verdadeiras e a falsidade (F) nos demais casos. Simbolicamente, a conjuno de duas proposies p e q indica-se com a notao: p q, que se l: p e q. O valor lgico da conjuno de duas proposies , portanto, definido pela seguinte tabela-verdade: p V V F F ou seja, pelas igualdades: V V = V, e V F = F, F V = F, FF=F q V F V F pq V F F F

V(p q) = V(p) V(q)

Exemplo: p: A neve branca (V) q: 2 < 5 (V) p q: A neve branca e 2 < 5 (V) V(p q) = V(p) V(q) = V 3. Disjuno () Chama-se disjuno de duas proposies p e q a proposio representada por p ou q, cujo 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. Simbolicamente, a disjuno de duas proposies p e q indica-se com a notao: p q, que se l p ou q.

10

O valor lgico da disjuno de duas proposies , portanto, definido pela seguinte tabela-verdade: p V V F F ou seja, pelas igualdades: V V = V, e V(pq) = V(p) V(q) Exemplo: p: Cames escreveu os Lusadas (V) q: 9 4 = 3 (F) p q: Cames escreveu os Lusadas ou 9 4 = 3 (V) V(p q) = V(p) V(q) = V F = V 4. Disjuno Exclusiva () Na linguagem comum a palavra ou tem dois sentidos. Assim, por exemplo, consideremos as duas seguintes proposies compostas: P: Carlos mdico ou professor Q: Mrio alagoano ou gacho Na proposio P se est a indicar que pelo menos uma das proposies Carlos mdico, Carlos professor verdadeira, podendo ser ambas verdadeiras: Carlos mdico e professor. Mas, na proposio Q, se est a precisar que uma e somente uma das proposies Mrio alagoano, Mrio gacho seja verdadeira, pois, no possvel ocorrer Mrio alagoano e gacho. Na proposio P diz-se que ou inclusivo, enquanto que, na proposio Q, diz-se que ou exclusivo. Em Lgica Matemtica usa-se habitualmente o smbolo para ou inclusivo e o smbolo para ou exclusivo. V F = V, F V = V, FF=F q V F V F pq V V V F

11

Assim sendo, a proposio P a disjuno inclusiva ou apenas disjuno das proposies simples Carlos mdico, Carlos professor, isto : P: Carlos mdico Carlos professor ao passo que a proposio Q a disjuno exclusiva das proposies simples Mrio alagoano, Mrio gacho, isto : Q: Mrio alagoano gacho De um modo geral, chama-se disjuno exclusiva de suas proposies p e q a proposio representada simbolicamente por p 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 ambas falsas. Logo, o valor lgico da disjuno exclusiva de duas proposies definido pela seguinte tabela verdade: p V V F F ou seja, pelas igualdades: V V = F, e V(pq) = V(p) V(q) 5. 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 nos demais casos. Simbolicamente, a condicional de duas proposies p e q indica-se com a notao: p q, que tambm se l de uma das seguintes maneiras: (I) p condio suficiente para q (II) q condio necessria para p V F = V, F V = V, FF=F q pq V F F V V V F F

12

Na condicional p q, diz-se que p o antecedente e q o conseqente. O smbolo chamado smbolo de implicao. O valor lgico da condicional de duas proposies , portanto, definido pela seguinte tabela-verdade: p V V F F ou seja, pelas igualdades: V V = V, e V(pq) = V(p) V(q) Portanto, uma condicional verdadeira todas as vezes que o seu antecedente for uma proposio falsa. Exemplo: p: Galois morreu em duelo (V) q: um nmero real (V) p q: Se Galois morreu em duelo, ento um nmero real (V) V(p q) = V(p) V(q) = V V = V NOTA: Uma condicional p q no afirma que o conseqente q se deduz ou conseqncia do antecedente p. Assim, por exemplo, as condicionais: 7 um nmero mpar Braslia uma cidade 3 + 5 = 9 Santos Dumont nasceu no Cear no esto a afirmar, se modo nenhum, que o fato de Braslia ser uma cidade se deduz do fato de 7 ser um nmero mpar ou que a proposio Santos Dumont nasceu no Cear a conseqncia da proposio 3 + 5 = 9. O que uma condicional afirma unicamente uma relao entre os valores lgicos do antecedente e do conseqente de acordo com a tabela-verdade anterior. V F = F, F V = V, FF=V q pq V V F F V V F V

13

6. Bicondicional () Chama-se proposio bicondicional ou apenas bicondicional uma proposio representada por p se e somente se q, cujo valor lgico a verdade (V) quando p e q so ambas verdadeiras ou ambas falsas, e a falsidade (F) nos demais casos. Simbolicamente, a bicondicional de duas proposies p e q indica-se com a notao: p q, que tambm se l de uma das seguintes maneiras: (I) p condio necessria e suficiente para q (II) q condio necessria e suficiente para p O valor lgico da bicondicional de duas proposies , portanto, definido pela seguinte tabela-verdade: p q pq V V V V F F F V F F F V ou seja, pelas igualdades: V V = V, e V(pq) = V(p) V(q) Portanto, uma bicondicional verdadeira somente quando o so as duas condicionais: pq e pq Exemplo: p: Roma fica na Europa q: A neve branca p q: Roma fica na Europa se e somente se a neve branca (V) V(p q) = V(p) V(q) = V V = V V F = F, F V = F, FF=V

14

Exerccios Propostos 1. Sabendo que as proposies x = 0 e x = y so verdadeiras e que as proposies y = z e y = t so falsas, determinar o valor lgico de cada uma das seguintes proposies: i. ii. iii. iv. v. x x x x x =0x=yyz 0y=ty=z yyzy=t 0xyyz = 0 (x y y t)

2. Determine V(p) e V(q) em cada um dos seguintes casos, sabendo que: i. ii. iii. iv. v. V V V V V ( ( ( ( ( p ~q ) = V e V ( p q ) = F pq)=V e V(qp)=F ~p ~q ) = V e V ( p q ) = V pq)=V e V(pq)=V pq)=F e V(pq)=V

3. Determine o valor de cada um dos itens abaixo supondo: V(p)=V, V(q)=V, V(r)=F e V(s)=V. i. ii. iii. iv. v. vi. vii. viii. ix. x. (p ^ ( p q ) ) q (~q ^( p q ) ) ~p ( p ^ (q ^ ~ q) ) r ( p ^q ) ( r ~ r ) ( ( p ^ q ) ^ ( r ^ s ) ) p s ((pq)^(pr))(p(q ^r)) ~(p q) (p q) (p q) (p ^ r q ^ r) (p q) (p r q r) p ^ q (p q r)

15

Construo de Tabelas-Verdade
1. Tabela-Verdade de uma Proposio Composta: Dadas vrias proposies simples p, q, r, ..., podemos combin-las pelos conectivos lgicos: ~, , , , 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)) Ento, com o emprego das tabelas-verdade das operaes lgicas fundamentais: ~p, p q, p q, p q, p p possvel construir a tabela-verdade correspondente a qualquer proposio composta dada, 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 depende s depende dos valores lgicos das proposies simples componentes. 2. Nmero 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 proposies simples componentes contm 2n linhas. 3. Exemplificao (1) Construir a tabela-verdade da proposio: P(p, q) = ~(p ~q) Resoluo: Forma-se em primeiro lugar, o par de colunas correspondentes s duas proposies simples componentes p e q. Em seguida, forma-se a coluna para ~q. Depois, forma-se a coluna para p~q. Ao final, forma-se a coluna relativa aos valores lgicos da proposio composta dada. com n

16

p V V F F

q ~q p ~q ~(p ~q) V F F V F V V F V F V F F V F V

(2) Construir a tabela-verdade da proposio: P(p, q)=~(pq)~(q p) p V V F F q p q q p ~(p q) ~(q p) ~(p q) ~(q p) F F F V V V F V V V F F V V V V F F F V F V F V

4. Valor Lgico de uma Proposio Composta Dada uma proposio composta P(p, q, r,...), pode-se sempre determinar o seu valor lgico (V ou F) quando so dados ou conhecidos os valores lgicos respectivos das proposies componentes p, q, r, ... Exemplos: (1) Sabendo que os valores lgicos das proposies p e q so respectivamente V e F, determinar o valor lgico (V ou F) da proposio: P(p, q) = ~(p q) ~p ~q Resoluo: Temos, sucessivamente: V(P) = ~(V F) ~V ~F = ~V F V = F F = V (2) Sabendo que V(p)=V, V(q) = F e V(r) = F, determinar o valor lgico (V ou F) da proposio: P(p, q, r) = (q (r ~p)) ((~q p) r) Resoluo: Temos, sucessivamente: V(P) = (F (F ~V)) ((~F V) F) = = (F (F F)) ((V V) F) = = (F V) (V F) = =FF=F (3) Sabendo que V(r) = V, determinar o valor lgico de (V ou F) da proposio: p ~q r

17

Resoluo: Como r verdadeira (V), a disjuno ~q r verdadeira (V). Logo, a condicional dada verdadeira (V), pois, o seu conseqente verdadeiro (V). 5. Uso de Parentesis obvia a necessidade de usar parntesis na simbolizao das proposies, que devem ser colocadas 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 e (ii) p (q r)

que no tm o mesmo significado, pois, na (i), o conectivo principal , e na (ii) o conectivo principal , isto , a (i) uma disjuno e a (ii) uma conjuno. Analogamente, a expresso p q r s d lugar, colocando parntesis, s seguintes proposies: (i) ((p q) r ) s (iv) p (q (r s)) (ii) p ((q r) s) (v) (p q) (r s) (iii) (p (q r)) s

Tais que, duas quaisquer delas no tm o mesmo significado. Por outro lado, em muitos casos, parntesis podem ser suprimidos, a fim de simplificar 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 importantes as duas seguintes: (I) A ordem de precedncia para os conetivos : (i) ~; (ii) e ; (iii) ; (iv) Portanto, o conectivo mais fraco ~ e o conectivo mais forte . Assim, por exemplo, a proposio: pqsr

18

 uma bicondicional e nunca uma condicional ou uma conjuno. Para convert-la numa condicional temos que usar parntesis: p (q s r) e, analogamente, para convert-la numa conjuno: (p q s) r. O conseqente da condicional uma bicondicional. Desejando-se converter este conseqente numa conjuno, cumpre escrever: p ((q s) r) Tambm so bicondicionais as trs seguintes proposies: (i) p q r s (ii) p q r s (iii) p q ~r s

(II) Quando um mesmo conectivo aparece sucessivamente repetido, suprimem-se os parntesis, fazendo-se a associao a partir da esquerda. Segundo estas duas convenes, as quatro seguintes proposies: (i) ((~(~(p q))) (~p)) (iii) (((p (~p)) r) (~p)) (ii) ((p (~q)) (r (~p))) (iv) ((~p) (q (~(p r))))

Escrevem-se mais simplesmente assim: (i) ~~(p q) ~p (iii) (p ~p) r ~p (ii) (p ~q) (r ~p) (iv) ~p (q ~(p r))

6. Outros Smbolos para os Conectivos Nos livros de Lgica, usam-se diferentes smbolos para os conectivos. Assim, por exemplo, so freqentemente usados os smbolos: para negao (~) e & para a conjuno () (ferradura) para a condicional ()

19

Tautologias, Contradies e Contingncias

1. Tautologia: Chama-se tautologia toda a proposio composta cuja ltima coluna de sua tabela-verdade encerra somente a letra V (verdade). 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 p, q, r, ... As tautologias so tambm denominadas proposies tautolgicas ou proposies logicamente verdadeiras. imediato que as proposies p p e p p so tautolgicas (Princpio de identidade para as proposies). Exemplos: (1) A proposio ~(p ~p) (Princpio da no contradio) tautolgica, conforme se v pela sua tabela-verdade: p ~p p ~p ~( p ~p) F V F V F F V V Portanto, dizer que uma proposio no pode ser simultaneamente verdadeira e falsa sempre verdadeiro. (2) A proposio p ~p (Princpio do terceiro excludo) tautolgica, como imediatamente se v pela sua tabela-verdade: p ~p p ~p V F V V F V Portanto, dizer que uma proposio ou verdadeira ou falsa sempre verdadeiro. (3) A proposio p ~(p q) tautolgica, conforme se v pela sua tabela-verdade:

20

p V V F F 2. Contradio

q p q ~(p q) p ~(p q) V V V V F F F V V F F V F F V V

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 p, q, r, ... Como uma tautologia sempre verdadeira (V), a negao de uma tautologia sempre falsa(F), ou seja, uma contradio, e vice-versa. Portanto, P(p, q, r, ...) uma tautologia se e somente se ~ P(p, q, r, ...) uma contradio, e P(p, q, r, ...) uma contradio se e somente se ~ P(p, q, r, ...) uma tautologia. As contradies so tambm denominadas proposies contravlidas ou proposies logicamente falsas. Para as contradies vale um Princpio de substituio anlogo ao que foi dado para as tautologias: Se P(p, q, r, ...) uma contradio, ento P(P0, Q0, R0, ...) tambm uma contradio, quaisquer que sejam as proposies P0, Q0, R0, ... Exemplo: (1) A proposio p ~p uma contradio, conforme se v pela sua tabela-verdade: p ~p p ~p V F F F V F Portanto, dizer que uma proposio pode ser simultaneamente verdadeira e falsa sempre falsa. (2) A proposio (p q) ~(p q) uma contradio, conforme se v pela sua tabela-verdade:

21

p V V F F

q p q p q ~(p q) (p q) ~(p q) V V V F F F F V F F V F V F F F F F V F

3. Contingncia Chama-se contingncia toda proposio composta cuja ltima coluna da 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. Exemplo: (1) A proposio p ~p uma contingncia, conforme se v na sua tabela-verdade: p ~p p ~p V F F F V V (2) A proposio p q p uma contingncia, conforme mostra sua tabela-verdade: p V V F F q pq pqp V V V F V V V V F F F V

22

Exerccios Propostos 1. Construir as tabelas-verdade das seguintes proposies. Diga se as mesmas so tautologia, contingncia ou contradio. i. ii. iii. iv. v. vi. vii. viii. ix. x. (p ^ ( p q ) ) q (~q ^ ( p q ) ) ~p ( p ^ (q ^ ~ q) ) r (p^q)(r~r) ( ( p ^ q ) ^ ( r ^ s ) ) p s ((pq)^(pr))(p(q^r)) ~(p q) (p q) (p q) (p ^ r q ^ r) (p q) (p r q r) p ^ q (p q r)

23

Implicao Lgica
1. Definio de Implicao Lgica Diz-se que uma proposio P(p, q, r, ...) implica logicamente ou apenas implica uma proposio Q(p, q, r, ...), se Q(p, q, r, ...) verdadeira (V) todas as vezes que P(p, q, r, ...) verdadeira (V). Em outros termos, uma proposio P(p, q, r, ...) implica logicamente ou apenas implica uma proposio Q(p, q, r, ...) todas as vezes que nas respectivas tabelas-verdade dessas duas proposies no aparece V na ltima coluna de P(p, q, r, ...) e F na ltima coluna de Q(p, q, r, ...), com V e F em uma mesma linha, isto , no ocorre P(p, q, r, ...) e Q(p, q, r, ...) com valores simultneos respectivamente V e F. Indica-se que a proposio P(p, q, r, ...) implica a proposio Q(p, q, r, ...) com a notao: P(p, q, r, ...) Q(p, q, r, ...) Em particular, toda proposio implica uma tautologia e somente uma contradio implica uma contradio. 2. Propriedades da Implicao Lgica imediato que a relao de implicao lgica entre proposies goza das propriedades reflexiva (R) e transitiva (T), isto , simbolicamente: (R) P(p, q, r, ...) Q(p, q, r, ...) (T) Se P(p, q, r, ...) Q(p, q, r, ...) e Q(p, q, r, ...) R(p, q, r, ...), ento P(p, q, r, ...) R(p, q, r, ...) 3. Exemplificao (1) As tabelas-verdade das proposies: p q, p q e p q so: p V V F F q p q p q p q V V V V F F V F V F V F F F F V

24

A proposio p q verdadeira somente na linha 1 e, nesta linha, nas proposies p q e p q tambm so verdadeiras. Logo, a primeira proposio implica cada uma das outras duas proposies, isto : pq pq e pq pq As mesmas tabelas-verdade tambm demonstram as importantes regras de inferncia: (i) p p q e q p q (adio) (ii) p q p e p q q (simplificao) (2) As tabelas-verdade das proposies: p q, p q e q p so: p V V F F q pq pq qp V V V V F F F V V F V F F V V V

A proposio p q verdadeira nas linhas 1 e 4, nestas linhas, as proposies p q e q p tambm so verdadeiras. Logo, a primeira proposio implica cada uma das outras duas proposies, isto : pqpq e pqqp (3) A tabela-verdade da proposio: (p q) ~p : p V V F F q p q ~p (p q) ~p V V F F F V F F V V V V F F V F

Esta proposio verdadeira somente na linha 3 e, nesta linha, a proposio q tambm verdadeira. Logo, subsiste a implicao lgica: (p q) ~p q denominada Regra do Silogismo disjuntivo.

25

Outra forma desta importante Regra de inferncia : (p q) ~q p (4) A tabela-verdade da proposio (p q) p : p V V F F q p q (p q) p V V V F F F V V F F V F

Esta proposio verdadeira somente na linha 1 e, nesta linha, a proposio q tambm verdadeira. Logo, subsiste a implicao lgica: (p q) p q denominada Regra Modus ponens. (5) As tabelas-verdade das proposies (p q) ~q e ~p so: q p q ~q (p q) ~q ~p V V F F F F F V F F V V F F V F V V V V

p V V F F

A proposio (p q) ~q verdadeira somente na linha 4 e, nesta linha, a proposio ~p tambm verdadeira, Logo, subsiste a implicao lgica: (p q) ~q ~p 4. Tautologias e implicao Lgica Teorema: A proposio P(p, q, r, ...) implica a proposio Q(p, q, r, ...), isto : P(p, q, r, ...) Q(p, q, r, ...) se e somente se tautologia. P(p, q, r, ...) Q(p, q, r, ...)

Colorrio: Se P(p, q, r, ...) Q(p, q, r, ...), ento, tambm se tem: P(P0, Q0, R0, ...) Q(P0, Q0, R0, ...) quaisquer que sejam as proposies P0, Q0, R0, ... 26

NOTA: Os smbolos e so distintos, pois, o primeiro de operao lgica (aplicado, por exemplo, s proposies p e q d a nova proposio p q) enquanto que o segundo de relao (estabelece que a condicional P(p, q, r, ...) Q(p, q, r, ...) tautologia). Exemplo: (1) A condicional (p q) (q r) (p r) tautolgica, pois a ltima coluna da sua tabela-verdade encerra somente a letra V. logo, subsiste a implicao lgica: (p q) (q r) p r denominada Regra do Silogismo hipottico. (2) A condicional p ~p q tautolgica, pois a ltima coluna da sua tabela-verdade encerra somente a letra V: p V V F F q V F V F ~p F F V V p ~p p ~p q F V F V F V F V

Logo, subsiste a implicao lgica: p ~p q. Assim, de uma contradio p ~p se deduz qualquer proposio q (Princpio da inconsistncia).

Exerccios propostos 1. Dadas as proposies p, q e r, verificar a validade ou no dos seguintes argumentos, usando tabela-verdade: (Implicao Lgica) i. ii. iii. iv. v. (p q) ^ ~ p q (Regra do Silogismo disjuntivo) ( p q ) ^ ~q ~ p (Regra Modus Tollens) ( p q ) ^ ( q r ) p r (Regra do Silogismo hipottico) (p q), q ~ r, ~ r ~ p ~(p ^ q) (p q), ~r ~ q, ~ r ~ p ~ p

27

Equivalncia Lgica
1. Definio de 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 tabelasverdade dessas 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. 2. Propriedades da Equivalncia Lgica imediato que a relao de equivalncia lgica entre proposies goza das propriedades reflexiva(R), simtrica(S) e transitiva(T), isto , simbolicamente: (R) P(p, q, r, ...) Q(p, q, r, ...) (S) Se P(p, q, r, ...) Q(p, q, r, ...), ento Q(p, q, r, ...) P(p, q, r, ...) (T) Se P(p, q, r, ...) Q(p, q, r, ...) e Q(p, q, r, ...) R(p, q, r, ...), ento P(p, q, r, ...) R(p, q, r, ...) 3. Exemplificao (1) As proposies ~~p e p so equivalentes, isto , simbolicamente: ~~p p (Regra da dupla negao). Realmente o que demonstra a tabela-verdade: p ~p ~~p V F V F V F Portanto, a dupla negao equivale afirmao. (2) As proposies ~p p e p so equivalentes, isto , simbolicamente: ~p p p (Regra de Clavius). Realmente, o que demonstra a tabela-verdade: 28

p ~p ~p p V F V F V F (3) As condicionais p p q e p q tm tabelas-verdade idnticas: p q pq ppq pq V V V V V V F F F F F V F V V F F F V V Por conseqncia, estas condicionais so equivalentes, isto , subsiste a equivalncia lgica: ppqpq denominada Regra de absoro. 4. Tautologias e Equivalncia Lgica Teorema: A proposio P(p, q, r, ...) equivalente proposio Q(p, q, r, ...), isto : P(p, q, r, ...) Q(p, q, r, ...) se e somente se a bicondicional: P(p, q, r, ...) Q(p, q, r, ...) tautolgica. Colorrio: Se P(p, q, r, ...) Q(p, q, r, ...), ento, tambm se tem: P(P0, Q0, R0, ...) Q(P0, Q0, R0, ...) quaisquer que sejam as proposies P0, Q0, R0, ... NOTA: Os smbolos e so distintos, pois o primeiro de operao e lgica (aplicado, por exemplo s proposies p e q d a nova proposio p q), enquanto que o segundo de relao (estabelece que a bicondicional P(p, q, r, ...) Q(p, q, r, ...) tautolgica). Exemplos: (1) A bicondicional (p ~q c) (p q), onde c uma proposio cujo valor lgico F(falsidade), tautolgica, pois, a ltima coluna da sua tabela-verdade encerra somente a letra V(verdade):

29

p V V F F

q V F V F

(p V V F F

~q F F V V V F F F V F V V

c) F F F F

V V V V

(p V V F F

V F V V

q) V F V F

Portanto, as proposies p ~q c e p q so equivalentes, isto , simbolicamente: p ~q c p q Nesta equivalncia consiste o Mtodo de demonstrao por absurdo. (2) A bicondicional (p q r) (p (q r)) tautolgica, pois, a ltima coluna da sua tabela-verdade encerra somente a letra V(verdade): (p q r) (p (q r)) V V V V V V V V V V V V V V F F V V F V F F V F F V V V V V F V V V F F F F V V V F V F F V V V V V F V V V V F V V F F V F V V F F F F F V V V F V F V V F F F F F V F V F V F Portanto, as condicionais p q r e p (q r) so equivalentes, isto , simbolicamente: p q r p (q r) Esta importante equivalncia Exportao-Importao. lgica denominada Regra de

5. Proposies Associadas a uma Condicional Dada uma condicional p q, chamam-se proposies associadas a p q as trs seguintes proposies condicionais que contm p e q: (i) Proposio recproca de p q: q p (ii) Proposio contrria de p q: ~p ~q (iii) Proposio contrapositiva de p q: ~q ~p As tabelas-verdade destas quatro proposies so:

30

p V V F F

q p q q p ~p ~q ~q ~p V V V V V F F V V F V V F F V F V V V V

e demonstram as duas importantes propriedades: (I) A condicional p q e a sua contrapositiva ~q ~p so equivalentes, isto , simbolicamente: p q ~q ~p (II) A recproca q p e a contrria ~p ~q da condicional p q so equivalentes, isto , simbolicamente: q p ~p ~q As mesmas tabelas-verdade tambm demonstram que a condicional p q e a sua recproca q p ou a sua contrria ~p ~q no so equivalentes. A contrria de p q tambm denominada inversa de p q e a contrapositiva de p q outra coisa no que a contrria sa recproca de p q e por isso tambm denominada contra-recproca de p q. Tambm se diz que p q a direta em relao s associaes. Exemplos: (1) Seja a condicional relativa a um tringulo T: p q: Se T equiltero, ento T issceles A recproca desta proposio : q p: Se T issceles, ento T equiltero Aqui, a condicional p q verdadeira (V), mas a sua recproca q p falsa (F) (2) A contrapositiva da condicional: p q: Se Carlos professor, ento pobre : ~q ~p: Se Carlos no pobre, ento no professor.

31

6. Negao Conjunta de duas Proposies Chama-se negao conjunta de duas proposies p e q a proposio no p e no q, isto , simbolicamente ~p ~q. A negao conjunta de duas proposies p e q tambm se indica pela notao p q. Portanto, temos: ~p ~q p q Como a proposio ~p ~q verdadeira somente no caso em que p e q so ambas falsas, ento, a tabela-verdade de p q a seguinte: p V V F F q pq V F F F V F F V

7. Negao Disjunta de duas Proposies Chama-se a negao disjunta de duas proposies p e q a proposio no p ou no q, isto , simbolicamente ~p ~q. A negao disjunta de duas proposies p e q tambm se indica pela notao ~p ~q. Portanto, temos: ~p ~q p q Como a proposio ~p ~q falsa somente no caso em que p e q so ambas verdadeiras, ento, a tabela-verdade de p q a seguinte: p V V F F q pq V F F V V V F V

Os smbolos e so chamados conectivos de Scheffer.

32

Nota: Sumrio de equivalncia lgica Comutatividade Associatividade Distributividade Identidade Negao Dupla negao Idempotente De Morgan Limite universal Absoro Negaes
Exerccios propostos 1. Dadas as proposies p, q e r, verificar a validade ou no dos seguintes argumentos: (Equivalncia Lgica) i. ii. iii. iv. p ^ q r p (q r) (Regra de Exportao-Importao) (p r) (p s) p ^ q r s (p q) p q q ((pq)^(pr))(p(q ^r))

pqqp (pq)r p(qr) p(qr) (pq)(pr) ptp p ~p t ~( ~p ) p ppp

pqqp (pq)r p ( q r) p(qr) ( p q ) (p r) pcp p ~p c

ppp

~ ( p q ) ~p ~q ~ ( p q ) ~p ~q ptt p(pq)p ~t c pcc p(pq)p ~c t

33

MDOTO DEDUTIVO REGRAS DE INFERNCIA

Todas as implicaes e equivalncias foram demonstradas atravs de tabelas-verdade. Agora usaremos um mtodo denominado mtodo dedutivo. 1. Exemplificao (1) Demonstrar a implicao a seguir: p ^ q p (SIMPLIFICAO) Temos: p ^ q p ~(p ^ q) v p (~p v ~q) v p (~p v p) v ~q T v ~q T (2) Demonstrar a implicao a seguir: p p v q (ADIO) Temos: p p v q ~p v (p v q) (~p v p) v q T v q T (3) Demonstrar a implicao a seguir: (pq)^p q (MODUS PONENS) Temos: (pq)^p p v (~p v q) (p ^ ~p) v (p ^ q) C v (p ^ q) p^qp (4) Demonstrar a implicao a seguir:(pq)^~q~p(MODUS TOLLENS) Temos:(p q) ^ ~q (~p v q) ^ ~q (~p ^ ~q) v (q v ~q) (~p ^ ~q) v C ~p ^ ~q ~p (5) Demonstrar a implicao a seguir: (pq) p^rq Temos: (pq) (p^rq) ~(pq) v (p ^ r q) ~(~p v q) v (~(p ^ r) v q) (~~p ^ ~q) v ((~p v ~r) v q) (p ^ ~q) v ((~p v q) v ~r) ((p ^ ~q) v ~(p ^ ~q)) v ~r T v ~r T (5) Demonstrar a implicao a seguir: (pq) ((pp) q) ((pp) q) Temos: pq ~p v q ~(p ^~q) ~(~~p ^ ~q) ~(~p q) (~p q) (~p q) ((p p) q) ((p p) q)

34

2. Forma normal das proposies Diz-se que uma proposio est na forma normal (FN) se e somente se, quando muito, contm os conectivos ~, ^, v. Exemplo: Esto na forma normal (FN) as seguintes proposies: (i) ~p ^ ~q (ii) ~(~p v ~q) (iii) (p^q) v (~qvr). Toda a proposio pode ser levada para uma FN equivalente pela eliminao do conectivos e . 3. Forma normal conjuntiva (FNC) Diz-se que uma proposio est na forma normal conjuntiva (FNC) se e somente se so verificadas as seguintes condies: (i) Contm, quanto muito, os conectivos ~, ^, v; (ii) ~ no aparece repetido (como ~~) e no tem alcance sobre ^e v; (iii) v no tem alcance sobre ^ (isto , no existe componentes do tipo p v (q ^ r)). Exemplo: Esto na FNC as seguintes proposies: (i) ~p ^ ~q (ii) ~p ^ q ^ r (iii) (~p v q) ^ (~q v ~r). Determinamos a FNC de uma proposio ~(((p v q) ^ ~q) v (q ^ r)) como: Resoluo: ~((p v q) ^ ~q) ^ ~(q ^ r) (~(p v q) v ~~q) ^ (~q v ~r) ((~p ^ ~q) v q) ^ (~q v ~r) (~p v q)^(~q v q)^(~q v ~r) (~p v q) ^ (~q v ~r)

35

4. Forma normal disjuntiva (FND) Diz-se que uma proposio est na forma normal disjuntiva (FND) se e somente se so verificadas as seguintes condies: (i) contm, quanto muito, os conectivos ~, ^, v; (ii) ~ no aparece repetido (como ~~) e no tem alcance sobre ^e v; (iii) ^ no tem alcance sobre v (isto , no existe componentes do tipo p ^ (q v r)). Exemplo: Esto na FND as seguintes proposies: (i) ~p v ~q (ii) ~p v q v r (iii) (~p ^ q) v (p ^ ~q ^ ~r). Determinamos a FND de uma proposio ~(((p v q) ^ ~q) v (q ^ r)) como: Resoluo: ~((p v q) ^ ~q) ^ ~(q ^ r) (~(p v q) v ~~q) ^ (~q v ~r) ((~p ^ ~q) v q) ^ (~q v ~r) (((~p^~q) v q) ^ ~q) v (((~p ^ ~q ^ ~r) v (q ^ ~r) (~p ^ ~q ^ ~q) v (q ^ ~q) v (~p ^ ~q ^ ~r) v (q ^ ~r) (~p ^ ~q) v (~p ^ ~q ^ ~r) v (q ^ ~r)

5. Definio de argumento Sejam P1, P2, ..., Pn (n1) e Q proposies quaisquer, simples ou compostas. Chama-se argumento toda a afirmao de que uma dada seqncia finita P1, P2,..., Pn (n1) 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 concluso do argumento. Um argumento de premissas P1, P2,..., Pn e de concluso Q indica-se por: P1, P2,..., Pn |-- Q

36

e se l de uma das seguintes maneiras: (i) P1, P2,..., Pn acarretam Q (ii) Q decorre de P1, P2,..., Pn (iii) Q se deduz de P1, P2,..., Pn (iv) Q se infere de P1, P2,..., Pn Um argumento que consiste em duas premissas e uma concluso chama-se silogismo.

6. Validade de um argumento Um argumento P1, P2, ..., Pn |-- 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 propriedade caracterstica: A verdade das premissas incompatvel com a falsidade da concluso. 7. Critrio de validade de um argumento Teorema: Um argumento P1, P2, ..., Pn |-- Q vlido se e somente se a condicional: (P1^P2^...^Pn) Q tautolgica. 8. Argumentos vlidos fundamentais / Regras de inferncia 1. Regra da Adio (AD): (i)

p pq

(ii)

q q p

2. Regra de Simplificao (SIMP): (i)

pq p

(ii)

pq q

3. Regras da Conjuno (CONJ):

37

p q (i) pq

q p (ii) q p

4. Regra da Absoro (ABS):

pq p ( p q)

5. Regra Modus ponens (MP):

pq p q

6. Regra Modus tollens (MT):

pq ~q ~ p

7. Regra do Silogismo disjuntivo (SD):

pq ~ p (i) q pq ~q (ii) p

8. Regra do Silogismo Hipottico (SH):

pq qr pr

9. Regra do Dilema Construtivo (DC):

pq rs pr qs

10. Regra do Dilema destrutivo (DD): 38

pq rs ~ q ~ s ~ p ~ r

Com auxlio destas 10 regras de inferncia pode-se demonstrar a validade de um grande nmero de argumentos mais complexos. Exemplos: (1) Verificar que vlido o argumento: pq, p^r |-- q Resoluo: (1) pq Prem (2) p^q Prem ______________ (3) p 2 SIMP (4) q 1,3 MP (2) Verificar que vlido o argumento: p^q, pvrs |-- p^s Resoluo: (1) p^q Prem (2) pvr s Prem ______________ (3) p 2 SIMP (4) pvr 3 AD (5) s 2,4 MP (6) p^q 3,5 CONJ

(3) Verificar que vlido o argumento: pvqr, rvq(p(st)), p^s |-- st Resoluo: (1) pvqr Prem (2) rvq(p(st)) Prem (3) p^s Prem

39

______________ (4) p 3 SIMP (5) pvq 4 AD (6) r 1,5 MP (7) rvq 6 AD (8) p(st) 2,7 MP (9) st 4,8 MP (4) Verificar que vlido o argumento: pq, pv(~~r^~~q), s~r, ~(p^q) |-- ~sv~q Resoluo: (1) pq Prem (2) pv(~~r^~~q) Prem (3) s~r Prem (4) ~(p^q) Prem ______________ (4) pp^q 1 ABS (5) ~p 4,5 MT (6) ~~r^~~q 2,6 SD (7) ~~r 7 SIMP (8) ~s 3,8 MT (9) ~sv~q 9 AD

(5) Verificar que vlido o argumento: pq, qr, rs, ~s, pvt |-- t Resoluo: (1) pq (2) qr (3) rs (4) ~s (5) pvt ______________ (4) pq (5) ps (6) ~p (7) t Prem Prem Prem Prem Prem 1,2 SH 3,6 SH 4,7 MT 5,8 SD

40

NOTA: COMPLEMENTAO DAS REGRAS DE INFERNCIA H muitos argumentos cuja validade no se pode demonstrar, verificar ou testar com uso exclusivo das dez regras de inferncia dadas anteriormente, sendo necessrio recorrer a um princpio de inferncia adicional, a REGRAS DE SUBSTITUIO: 1. Idempotncia (ID): (i) p p p (ii) p p p

2. Comutao(COM): (i) p q q p (ii) p q q p

3. Associao (ASSOC): (i) p (q r ) ( p q ) r (ii) p (q r ) ( p q ) r 4. Distribuio (DIST): (i) p (q r ) ( p q ) ( p r ) (ii) p (q r ) ( p q ) ( p r ) 5. Dupla Negao (DN): (i) p ~~ p 6. De Morgan (DM): (i) ~ ( p q ) ~ p ~ q (ii) ~ ( p q ) ~ p ~ q 7. Condicional (COND): (i) p q ~ p q 8. Bicondicional (BICOND): (i) p q ( p q ) (q p ) (ii) p q ( p q ) (~ p ~ q )

41

9. Contraposio (CP): (i) p q ~ q ~ p

10. Exportao-Importao (EI): (i) p q r p (q r ) Exemplos: (1) Verificar que vlido o argumento: p~q, q |-- ~p Resoluo: (1) p~q Prem (2) q Prem ______________ (3) ~~q~p 1 CP (4) q~r 3 DN (5) ~p 2,4 MP (2) Verificar que vlido o argumento: (pvq)(r^s), ~s |-- ~q Resoluo: (1) (pvq)(r^s) Prem (2) ~s Prem ______________ (3) ~r v ~s 2 AD (4) ~(r^s) 3 DM (5) ~(pvq) 1,4 MT (6) ~p^~q 5 DM (7) ~q 6 SIMP (3) Verificar que vlido o argumento: pq, qs, t v(r^~s) |-- pt Resoluo: (1) pq (2) qs (3) t v(r^~s) Prem Prem Prem 42

______________ (4) (qs) ^ (sq) (5) qs (6) ps (7) (t v r) ^ (t v ~s) (8) t v ~s (9) ~s v t (10) st (11) pt

2 BICOND 4 SIMP 1,5 SH 3 DIST 2,7 MP 4,8 MP 9 COND 6, 10 SH

Exerccios propostos 1. Use o Mtodo dedutivo para demonstrar: i. ii. iii. p ^ q r p (q r) (Regra de Exportao-Importao) (p q) p q q ((pq)^(pr))(p(q ^r))

2. Mostre se os argumentos so equivalentes logicamente: Argumento 1: ( s ( p ~r )) (( p ( r q )) s ) Argumento 2: ( p q ~r s ) ~( p s ) 3. Demonstrar: p q ((pp) (qq)) ((pp) (qq)) 4. Verifique que os argumentos so vlidos: (a) pr, qs,~r, (pvq)^(rvs) |-- s (b) 1. x=yx=z Prem 2. x=zx=t Prem 3. x=y v x=0 Prem 4. x=0x+u=1 Prem 5. x+u1 Prem ___________________________ x=t (c) p~q, ~~q, ~pr |-- r (d) pq, pr, p |-- q^r (e) p^q, pr, r^s~t, qs |-- ~t 43

(f) p(~q^r), p, sq, s v t |-- t (g) 1. x=yxy+3 Prem 2. x=y+3 v x+2=y Prem 3. x+2y ^ x=5 Prem ___________________________ x=5 ^ xy (h) p~q, ~~q, ~p r v s |-- r v s (i) p v (q^r), ps, sr |-- r (j) p^q~r, r v (s^t), pq |-- ps

44

SENTENAS ABERTAS
1. Sentenas abertas com uma varivel Chama-se sentena aberta com uma varivel em um conjunto A ou apenas sentena aberta em A, uma expresso p(x) tal que p(a) falsa (F) ou verdadeira (V) para todo a A. Se a A tal que p(a) uma proposio verdadeira (V), diz-se que a satisfaz ou verifica p(x). Exemplo: So sentenas abertas em ={1,2,3, . . . ,n, . . . }(conjunto dos nmeros naturais) as seguintes expresses: (a) x+1>8 (c) x + 5 = 9 (e) x primo (b) x2 - 5x + 6 = 0 (d) x diviso de 10 (f) x mltiplo de 3

2. Conjunto verdade de uma sentena aberta com uma varivel Chama-se conjunto verdade de uma sentena aberta p(x) em um conjunto A, o conjunto de todos os elementos a A tais que p(a) uma proposio verdadeira (V). Este conjunto representa-se por Vp. Portanto, simbolicamente, temos: Vp = {x| xA p(x) V} Ou seja, mais simplismente: Vp = {x| xA p(x)} ou Vp = {xA | P(x)}

Obviamente, o conjunto-verdade Vp de uma sentena aberta p(x) em A sempre um subconjunto do conjunto A (Vp A). Exemplos: Seja a sentena aberta x+1>8 em naturais). O conjunto verdade : (conjunto dos nmeros

45

Vp = {x|x x + 1 > 8}={8,9,10, . . . } Para a sentena aberta x divisor de 10 em , temos: Vp = {x|x x divisor de 10} = {1,2,5,10} O conjunto verdade da sentena aberta x2 - 2x > 0 em (conjunto dos nmeros inteiros) : Vp = {x| x x2 2x > 0} = {0,1,2} 3. Sentenas abertas com n variveis Consideremos os n conjuntos A1, A2, . . ., An e o seu produto cartesiano A1 x A2 x . . . x An. Chama-se sentena aberta com n variveis em A1 x A2 x . . . x An ou apenas sentena aberta A1 x A2 x . . . x An ,uma expresso p(x1, x2, . . .,xn ) tal que p(a1, a2, . . . , an) falsa (F) ou verdadeira (V) para toda n-upla (a1, a2, . . . ,an) A1 x A2 x . . . x An. 4. Conjunto-verdade de uma sentena aberta com n variveis Chama-se conjunto-verdade de uma sentena aberta p(x1, x2, . . . , xn ) em A1 x A2 x . . . x An, o conjunto de todas as n-uplas (a1, a2, . . ., an) A1 x A2 x . . . x An tais que p(a1, a2, . . ., an) uma proposio verdadeira (V). Portanto, simbolicamente temos: Vp={(x1, x2, ..., xn)|x1 A1 x2 A2 ... xn An ou seja, mais simplesmente: Vp={(x1, x2, ..., xn) A1 x A2 x . . .x An | p(x1, x2, ...,xn)} Exemplo: O conjunto-verdade da sentena aberta 18x 7y + 13z = 39 em x x , sendo o conjunto dos nmeros inteiros, : Vp={(x1, x2, x3)|x1, x2, x3 18x7y+13z=39} = {(1,-3,0), (4,1,-2), (3,4,1), (6,8,-1), ...}

p(x1, x2, ... xn)}

46

OPERAES COM SENTENAS ABERTAS

1. Conjuno O conjunto-verdade Vp q da sentena aberta p(x) q(x) em A a interseo () dos conjuntos-verdade Vp e Vq das sentenas abertas p(x) e q(x) em A. Temos, pois, simblicamente: Vpq = Vp Vq = {xA | p(x)} {xA | q(x)} Exemplificando, sejam as sentenas abertas em (conjunto dos nmeros inteiros): p(x): x2 + x 2 = 0 q(x): x2 4 = 0 Temos: Vpq ={x | x2 + x 2 =0} {x | x2 4 =0}={-2,1}{-2,2}={-2} 2. Disjuno O conjunto-verdade Vpq da sentena aberta p(x) q(x) em A a reunio () dos conjuntos-verdade Vp e Vq das sentenas abertas p(x) e q(x) em A. Temos, pois, simbolicamente: Vpq = Vp Vq = {xA | p(x)}{xA | q(x)} Exemplificando, sejam as sentenas abertas em (conjunto dos nmeros inteiros): p(x): x2 + x 2 = 0, q(x): x2 4 = 0 Temos: Vpq ={x | x2 + x 2 =0}{x | x2 4 = 0}={-2,1}{-2,2}={-2} Para as sentenas abertas em (conjunto dos nmeros reais): 47

p(x): x < 0, q(x): x > 0 temos: 3. Negao O conjunto-verdade V~p da sentena aberta ~p(x) em A o complemento em relao a A do conjunto-verdade Vp da sentena aberta p(x) em A. Temos, pois, simbolicamente: V~p = CA Vp = CA{xA | p(x)} Exemplificando, seja A o conjunto dos nmeros naturais divisveis por 5, isto , A = {5k | k } = {5, 10, 15, 20, . . .}. Para a sentena aberta em A: p(x): x termina por 5 temos: V~p = CA{xA | x termina por 5} = {xA | x termina por 0} 4. Condicional Por ser p(x) q(x) ~p(x) q(x), segue-se que o conjunto-verdade Vpq da sentena aberta p(x) q(x) em A coincide com o conjuntoverdade da sentena aberta ~p(x) q(x) em A e, portanto, a reunio () dos conjuntos-verdade V~p e Vq das sentenas abertas ~p(x) e q(x) em A. Temos, pois, simbolicamente: Vpq = V~p Vq = CA Vp Vq ou seja: Vpq = CA{xA | p(x)} {xA | q(x)} (conjunto dos Vpq = {x | x < 0} {x | x>0}=
*

+*=

Exemplificando, sejam as sentenas abertas em nmeros naturais): p(x): x|12, q(x): x|45 Temos: 48

Vpq = C {x | x|12} {x | x|45} = C {1, 2, 3, 4, 6, 12} {1, 3, 5, 9, 15, 45} = {2, 4, 6, 12}

5. Bicondicional Por ser p(x) q(x)( p(x) q(x) q(x) p(x)), segue-se que o conjunto-verdade Vpq da sentena aberta p(x) ) q(x) em A coincide com o conjunto-verdade da sentena aberta em A: (p(x) q(x) q(x) p(x)) e, portanto, a interseo () dos conjuntos-verdade Vpq e Vqp das sentenas abertas em A: p(x)q(x) e q(x)p(x). Temos, pois, simbolicamente: Vpq=Vpq Vqp =(V~p Vq) (V~q Vp) = (CA Vp Vq ) (CA Vq Vp) ou seja: Vpq=[CA{xA| p(x)} {xA| q(x)}] [CA{xA| q(x)} {xA| p(x)}] Exemplificando, sejam as sentenas abertas em nmeros naturais): p(x): x|6, Temos: C Vp Vq = C {1, 2, 3, 6} {1, 3, 5, 15} = {2, 6} C Vq Vp = C {1, 3, 5, 15} {1, 2, 3, 6} = {5, 15} e, portanto: Vpq = [ {2, 6}] [ {5, 15}] = {2, 5, 6, 15} q(x): x|15 (conjunto dos

49

Exerccios propostos 1. Determinar o conjunto-verdade em X = {0, 1, 2, 3, 4, 5} de cada uma das seguintes sentenas abertas compostas: i. ii. iii. iv. x2 3x = 0 x2 = x x par x2 < 16 x impar (x + 5) X x2 16 x2 6x + 5 = 0

2. Sejam as sentenas abertas em (conjunto dos nmeros reais): p(x) : 2x 3 0 e q(x) : x + 1 0 Determinar Vpq e Vpq 3. Sejam as sentenas abertas em (conjunto dos nmeros reais): p(x) : 15x2 + 2x 8 = 0 Determinar Vp q e Vpq e q(x) : 5x2 + 19x + 12 = 0

4. Sejam as sentenas abertas em (conjunto dos nmeros reais): p(x) : -4x + 3 0 Determinar Vpq e V~p e q(x) : 5x + 2 > 0

5. Sejam as sentenas abertas em A = {1, 2, 3, 4, 5, 6, 7, 8, 9 }: p(x) : x2 A Determinar Vpq, Vqp, Vpq 6. Sejam p(x), q(x), e r(x) sentenas abertas em um mesmo conjunto A. Achar a expresso do conjunto-verdade de cada uma das sentenas abertas compostas abaixo em funo de Vp, Vq, Vr: i. ii. iii. iv. ~(p(x) q(x)) ~p(x) ~q(x) p(x) (~r(x) q(x)) (p(x) q(x)) (q(x) r(x)) e q(x) : x mpar

50

QUANTIFICADORES
1. Quantificador universal Seja p(x) uma sentena aberta em A e seja Vp o seu conjunto verdade: Vp = {x| xA p(x)}. Quando Vp=A, isto todos os elementos de A satisfazem a sentena p(x), ento afirmamos: i. ii. Para todo elemento xA, p(x) verdadeira. Qualquer que seja o elemento x de A, p(x) verdadeira.

ou seja, i. ii. Para todo x de A, p(x). Qualquer que seja x de A, p(x).

Simbolicamente, podemos escrever as afirmaes acima das seguintes maneiras. 1. (x A)( p ( x) ) ; 2. x A, p ( x ) ; 3. x A : p ( x ) . Temos ento a equivalncia:

(x A)( p(x )) Vp = A
Em outras palavras, dada uma sentena aberta p(x) em um conjunto A, o smbolo , referido varivel x, representa uma operao lgica que transforma a sentena aberta p(x) numa proposio, verdadeira ou falsa, conforme p(x) exprime ou no uma condio universal em A. A esta operao lgica d-se o nome de quantificao universal e ao respectivo smbolo o de quantificador universal. Exemplos: (com uso do quantificador) 1. A proposio: (n )(n + 5 > 3) verdadeira, pois, o conjunto verdade da sentena aberta p(n ) : n + 5 > 3 51

: Vp = {x|n n + 5 > 3}={1,2,3, . . . } = . 2. A proposio: (n )(n + 3 > 7 ) falsa, pois o conjunto-verdade da sentena aberta :Vp = {n|n n + 3 > 7}={5,6,7, . . . } . 2. Quantificador existencial Seja p(x) uma sentena aberta em A e seja Vp o seu conjunto verdade: Vp = {x| xA p(x)}. Quando Vp no vazio, ento, um elemento, pelo menos, do conjunto A satisfaz a sentena p(x), ento afirmamos: i. ii. Existe pelo menos elemento xA tal que p(x) verdadeira. Para algum x de A, p(x) verdadeira.

p(n ) : n + 3 > 7

ou seja, i. ii. Existe x de A, p(x). Para algum x de A, p(x).

Simbolicamente, podemos escrever as afirmaes acima das seguintes maneiras. 1. (x A)( p ( x) ) ; 2. x A, p( x ) ; 3. x A : p( x ) . Temos ento a equivalncia:

(x A)( p(x )) Vp / /0
Em outras palavras, dada uma sentena aberta p(x) em um conjunto A, o smbolo , referido varivel x, representa uma operao lgica que transforma a sentena aberta p(x) numa proposio, verdadeira ou falsa, conforme p(x) exprime ou no uma condio possvel em A. A

52

esta operao lgica d-se o nome de quantificao existencial e ao respectivo smbolo o de quantificador existencial. Exemplos: (com uso do quantificador) 1. A proposio: (n )(n + 4 < 8) verdadeira, pois, o conjunto verdade da sentena aberta p(n ) : n + 4 < 8 : Vp = {x|n n + 4 < 8}={1,2,3} . 2. A proposio: (n )(n + 5 < 3) falsa, pois o conjunto-verdade da sentena aberta :Vp = {n|n n + 5 < 3}={5,6,7, . . . }= . 3. Quantificador existencial e unicidade Considere em a sentena aberta x 3 = 27 . Temos duas proposies: (i) (x ) x 3 = 27 (ii) x 3 = 27 y 3 = 27 x = y

p(n ) : n + 5 < 3

A primeira proposio diz que existe pelo menos um x que x = 27( x = 3) : uma afirmao de existncia.
3

tal

A segunda proposio diz que no pode existir mais de um x tal que

x 3 = 27 : uma afirmao de unicidade.

A conjuno das duas proposies diz que existe um x e um s tal que x 3 = 27 . Para simbolizar esta afirmao usamos a seguinte notao:

( ! x )(x 3 = 27 )
onde o smbolo ! chamado quantificador existencial de unicidade e se l: Existe um e um s .

53

Exemplos: (de existencial e unicidade)

( ! x )(x 2 9 = 0) (ii) ( ! x )( 1 < x < 1) (iii) ( ! x )( x = 0 )

(i) 4. Negao de proposies com quantificador Podemos inserir antes de qualquer quantificador universal ou existencial o smbolo de negao (~). De modo geral, a negao de uma proposio (x A)( p ( x )) equivalente a afirmao de que, para ao menos um xA, falsa ou ~p(x) verdadeira. Logo, subsiste a equivalncia:

~ [(x A)( p( x ))] (x A)(~ p(x ))

Analogamente, a negao da proposio (x A)( p( x )) equivalente a afirmao de que, para todo xA, p(x) falsa ou ~p(x) verdadeira. Logo, subsiste a equivalncia:

~ [(x A)( p(x ))] (x A)(~ p( x ))

Exemplos: (1) ~ (x ) x 2 < 0 (x ) x 2 0 (2) ~ (x )(3x 5 = 0 ) (x )(3 x 5 0 ) (3) ~ (x )( x 0 ) (x )(senx 0 ) 5. Quantificao mltipla Toda a sentena aberta precedida de quantificadores, um para cada varivel, isto , com todas as variveis quantificadas, uma proposio, pois, assume um dos valores lgicos V ou F. Assim, so proposies as seguintes expresses:

54

(i) (x A)(y B )( p ( x, y ) ) (ii) (x A)(y B )( p ( x, y ) ) (iii) (x A)(y B )(z C )( p ( x, y, z ) ) Exemplos: (1) A proposio: (x )(y ) ( x + y ) > x 2 + y 2
2

se pode ler: Quaisquer que sejam x e y pertencentes a , (x+y)2 maior que x2+y2. Esta proposio tambm 2 2 2 (x + y ) > x + y , x, y . pode ser escrita da forma:

A proposio acima verdadeira nos e falsa nos . (2) Considere os conjuntos A={1,2,3,4} e B={0,2,4,6,8} e a sentena aberta em AxB: 2x+y=8. A proposio:

(x A)(y B )(2 x + y = 8)
verdadeira (V), pois, para x=1, 2, 3, 4 temos y=6, 4, 2, 0B.

A proposio:

(y B )(x A)(2 x + y = 8)
falsa (F), pois, para y=8, temos x=0 A. A proposio:

(y B )(x A)(2 x + y = 8)
tambm falsa (F), pois, no existe um yB tal que pata todo xA seja 2x+y=8. Analogamente, tambm falsa (F) a proposio:

55

(x A)(y B )(2 x + y = 8)
6. Comutatividade dos quantificadores Quantificadores de mesma espcie podem ser comutados:

(x )(y )( p( x, y)) (y )(x )( p( x, y) ) (x )(y )( p( x, y)) (y )(x )( p( x, y )) .

Quantificadores de espcies diferentes no podem em geral ser comutados. Exemplificando, seja a sentena aberta y>x, o universo das variveis x e y sendo o conjunto dos nmeros naturais. A proposio:

(x )(y )( y > x )
verdadeira (V), mas a proposio:

(y )(x )( y > x ) .
7. Negao de proposies com quantificadores A negao de proposies com mais de um quantificador se obtm mediante a aplicao sucessiva das regras para negao de proposies com um nico quantificador. Exemplos: (1) Negao de proposies com dois quantificadores da mesma espcie:

~ (x )(y )( p( x, y ) ) (x )(~ y )( p ( x, y ) ) (x )(y )(~ p ( x, y ) ) ~ (x )(y )( p ( x, y ) ) (x )(~ y )( p ( x, y ) ) (x )(y )(~ p ( x, y ) ) .

(2)

Negao de proposies com dois quantificadores de espcies diferentes:

~ (x )(y )( p ( x, y ) ) (x )(~ y )( p ( x, y ) ) (x )(y )(~ p ( x, y ) )

56

~ (x )(y )( p ( x, y ) ) (x )(~ y )( p ( x, y ) ) (x )(y )(~ p ( x, y ) ) .

(3) Negao de proposio com trs quantificadores:

~ (x )(y )(z )( p( x, y, z ) ) (x )(~ y )(z )( p ( x, y, z ) ) (x )(y )(z )(~ p ( x, y, z ) ) .

Exerccios propostos 1. Considere o conjunto dos nmeros reais. Determinar o valor lgico (V ou F) de cada uma das seguintes proposies: i. ii. iii. iv. v. ( x R) (x2 1 > 0) ( x R) (x2 + 1 = 0) ( x R) (4x 4 = 1 x) ( x R) (x2 + 3x + 2 = 0) ( x R) (x + 2)2 = x2 + 4x + 4)

2. Considere o seguinte conjunto X = { 1, 2, 3, 4, 5}. Determinar o valor lgico (V ou F) de cada uma das seguintes proposies: i. ii. iii. iv. v. ( x X) (x + 5 = 10) ( x X) (x + 4 < 5) ( x X) (x + 6 < 10) ( x X) (x + 3 8) ( x X) (x2 + 2x = 15)

3. Considere o conjunto U = {2, 4, 6, 8, 10, 12, 14, 16, 20} o universo das variveis x , y e z. Determinar o valor-verdade (V ou F) de cada uma das seguintes proposies: i. ii. iii. iv. v. vi. vii. viii. ix. x. xi. xii. (x) (y) (x + 7 < y + 11) (x) (y) (x * y no impar) (y) (x) (x * y no impar) (x) (y) (x2 > 2y) (x) (y) (x2 > 2y) (x) (y) (x2 > 2y) (x) (y) (z) (x * y < z) (x) (y) (z) (x + 2y >3 z) (x) (y) (z) (2x + y < z) (x) (y) (z) (x + y > z) (x) (y) (z) (x y > z) (x) (y) (z) (2x + 3y >4 z)

57

xiii.

(x) (y) (z) (x + y = z)

4. Fazer a negao de cada uma das proposies do exerccio anterior.

58