Conectivos ou operadores lgicos Construo de uma tabela verdade

Se uma proposio composta formada por n variveis proposicionais a sua tabela-verdade possuir 2 n linhas N de linhas = 2n proposies Ex: 1 Soluo: n=2 Quantas linhas possuem a tabela-verdade da proposio composta (P ^ Q)? O nmero de proposies simples, variveis proposicionais, igual a 2, ou seja, Ento n de linhas = 22 = 4 linhas. Veja: P V V F F Ex:2 Soluo: = 3, Q V F V F (P ^ Q) V F F F

Quantas linhas possuem a tabela-verdade da proposio composta (P ^ Q) v R ? O nmero de proposies simples, variveis proposicionais, igual a 3, ou seja, n ento n de linhas = 23 = 8 linhas. Veja: 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 F F F F F F (P ^ Q) v R V V V F V F V F

Nmero de valoraes distintas O nmero de valoraes distintas que podem ser obtidas para proposies com n variveis proposicionais igual a 2n de linhas . N de valoraes = 2n de linhas Exemplo: Qual o nmero de valoraes distintas que podem ser obtidas para proposies com exatamente duas variveis proposicionais? Soluo: O nmero de proposies simples, variveis proposicionais, igual a 2, ou seja, n=2, ento temos 22 = 4 linhas

Conjuno Denomina-se conjuno a proposio composta formada por duas proposies quaisquer que estejam ligadas pelo conectivo ^ e Exemplo: P: Jos trabalha no Tribunal Q: Jos mora em Braslia Ento temos : P ^ Q - Jos trabalha no Tribunal e Jos mora em Braslia Quando declaramos que Jos trabalha no Tribunal e Jos mora em Braslia devemos aceitar como verdadeiro que Jos trabalha no Tribunal e mora em Braslia. As possibilidades de que Jos trabalhe exclusivamente no Tribunal e que Jos more exclusivamente em Braslia ou que no trabalhe no tribunal e no more em Braslia representa um conjunto vazio, veja: P V V F F Q V F V F P^Q V F F F

O operador e tem o sentido de ambos, simultaneidade, ao mesmo tempo . O operador e em operaes de conjuntos transmite a idia de interseo e uma idia de multiplicao. Disjuno Inclusiva A disjuno Inclusiva a proposio composta formada por duas proposies simples que estejam ligadas pelo conectivo v ou Exemplo: P: Gosto e lgica Q: Passo no concurso pblico Ento temos: Gosto de lgica ou Passo no concurso pblico Quando declaramos Gosto de lgica ou Passo no concurso pblico devemos aceitar como verdadeiro que gosto exclusivamente de lgica, passo exclusivamente no concurso pblico ou pode ainda gostar de lgica e passar no concurso pblico. A possibilidade de no gostar de lgica e nem passar no concurso pblico representa um conjunto vazio.

P V V F F

Q V F V F

PvQ V V V F

O operador ou tem o sentido de um ou outro, possivelmente ambos. O operador ou em operaes de conjuntos d idia de unio e de soma.

Disjuno Exclusiva Denomina-se disjuno exclusiva a proposio composta formada por duas proposies simples que estejam ligadas pelo conectivo v ou...ou... Exemplo: P: Joo gosta de matemtica Q: Joo gosta de esporte

Ento temos: ou Joo gosta de matemtica ou Joo gosta de esporte Quando declaramos que Ou Joo gosta de matemtica ou Joo gosta de esporte devemos aceitar como verdadeiro que: Joo gosta exclusivamente de matemtica, Joo gosta exclusivamente de esporte. A possibilidade de Joo gostar de matemtica e Joo gostar de esporte representa um conjunto vazio.

P V V F F

Q V F V F

PvQ F V V F

O operador ou...ou... tem o sentido de um ou outro e no de ambos. O operador ou...ou... em operaes de conjuntos d idia de unio dos exclusivos e uma idia da soma dos exclusivos. Quando se utilizar o ou no sentido exclusivo comum adicionar no final a expresso: mas no os dois Condicional Denomina-se condicional a proposio composta formada por duas proposies que estejam ligadas pelo conectivo se..., ento... / quando -

Exemplo: P: Elisa estudiosa Q: Elisa bem sucedida Ento temos: Se Elisa estudiosa, ento Elisa bem sucedida A condicional Se P ento Q / quando P,Q pode se escrita como : PQ . Ao escrevermos Se Elisa estudiosa, ento Elisa bem sucedida devemos aceitar que: Elisa ser estudiosa obrigatoriamente Elisa bem sucedida e que se Elisa no bem sucedida, ento Elisa no estudiosa, veja: P V V F F Q V F V F PQ V F V V

A implicao lgica denotada por P Q pode ser interpretada como uma incluso entre conjuntos, ou seja, como P Q. Observao importante: Condio necessria e condio suficiente P Q - sendo P antecedente e Q consequente P = Condio suficiente Q = Condio necessria Ex: Se o dia estiver claro, ento Jos vai ao comercio P: O dia estiver claro Q: Jos vai ao comrcio Temos: O dia estiver claro condio suficiente para Jos ir ao comercio Jos ir ao comrcio condio necessria para o dia estar claro O operador Se..., ento... d idia de incluso de dois conjuntos, em que P Q => P

Q. Observao importante para o conectivo condicional que este no pode ser comutado.
Bicondicional proposio composta formada por duas proposies que estejam ligadas pelo conectivo se, e somente se Exemplo: P: Gosto de lgica Q: Gosto de matemtica

Ento temos: Gosto de lgica se, e somente se Gosto de matemtica Pode ser escrita da seguinte forma: P Q P se, e somente se, Q. Quando declaramos que esta proposio bicondicional devemos aceitar como verdadeiro que: Se verdade que gosto de lgica, obrigatoriamente, verdade que gosto de matemtica. Se verdade que gosto de matemtica, obrigatoriamente, verdade que gosto de lgica Se falso que gosto de lgica, obrigatoriamente, falso que gosto de matemtica. Se falso que gosto de matemtica, obrigatoriamente, falso que gosto de lgica. Qualquer outra possibilidade representa um conjunto vazio

P V V F F

Q V F V F

PQ V F F V

A=B

Observao importante: Exemplo: Denise danar condio necessria e suficiente para Ana chorar Quando ocorrer uma proposio desta forma condio necessria e suficiente a proposio ser uma bicondicional, ou seja: Denise danar condio necessria e suficiente para Ana chorar igual a Denise danar se e somente se Ana chorar