CENTRO POLITCNICO

TREINAMENTO, ENSINO E PESQUISA LTDA.

Rua Olegrio Maciel, 12 2 Andar Patos de Minas MG | Telefax: (34) 3821-5911 Professor: Edinilson da Silva Vida

________________________________________________________________________________

LGICA PROPOSICIONAL

A Lgica Proposicional um sistema formal para representao do conhecimento em termos de expresses declarativas que expressam proposies. Chama-se proposio todo conjunto de palavras ou smbolos que exprimem um pensamento completo. As premissas e a concluso de um argumento so sempre proposies declarativas, pois elas podem ser facilmente declaradas como V (verdade) ou F (falsidade). As proposies interrogativas (Quantos alunos faltaram hoje aula de lgica?), imperativas e exclamativas (Passamos no vestibular!) (No falte s aulas de lgica.) no so vlidas.

Exemplo: So proposies declarativas as afirmaes seguintes: P: O aluno receptivo. Q: 3 + 2 = 5.

VALORES LGICOS DAS PROPOSIES

Chama-se valor lgico de uma proposio a verdade, se a proposio verdadeira, e a falsidade, se a proposio falsa. Os valores lgicos verdade e falsidade so abreviados pelas letras V e F, respectivamente. Exemplos: P: O mercrio mais pesado que a gua. Q: 3/5 um nmero inteiro. R: A Lua um satlite natural da Terra. Notao: V (P) = V Notao: V (Q) = F Notao: V (R) = V

O valor lgico das proposies P e R a verdade (V) e o valor lgico da proposio Q a falsidade (F).

As seguintes sentenas no so apropriadas para a lgica proposicional: Possivelmente, irei ao clube. Pgina | 1 de 8

CENTRO POLITCNICO
TREINAMENTO, ENSINO E PESQUISA LTDA.
Rua Olegrio Maciel, 12 2 Andar Patos de Minas MG | Telefax: (34) 3821-5911 Professor: Edinilson da Silva Vida

________________________________________________________________________________ Todos os alunos so estudiosos. Poucos funcionrios do colgio possuem filhos. Os diagnsticos do Dr. Antnio esto quase sempre corretos. Algumas pessoas so alems.

1.1

PROPOSIES SIMPLES E PROPOSIES COMPOSTAS

As proposies so classificadas em simples e compostas. Sendo: Proposies simples: Chama-se de proposio simples aquela que no contm nenhuma outra proposio como parte integrante de si mesma. Proposies simples so declaradas pelas letras P, Q, R, etc.

Exemplos: P: A lmpada da cozinha est acesa. Q: Rafael tcnico. R: Gilmar estudante. Proposies compostas: Chama-se de proposio composta aquela formada pela combinao de duas ou mais proposies. Proposies compostas so formadas com proposies simples utilizando-se conectivos.

Exemplos: P: Rafael tcnico e Gilmar estudante. Q: 3 < 5 e 8 <10. R: No est chovendo. S: Aline receptiva ou Alisson nervoso. T: Se Eduardo estuda informtica ento ele gosta de lgica. U: Carlos careca se e somente se Pedro estudante.

1.2

CONECTIVOS LGICOS Pgina | 2 de 8

CENTRO POLITCNICO
TREINAMENTO, ENSINO E PESQUISA LTDA.
Rua Olegrio Maciel, 12 2 Andar Patos de Minas MG | Telefax: (34) 3821-5911 Professor: Edinilson da Silva Vida

________________________________________________________________________________

Conectivos so palavras ou smbolos os quais obtemos novas proposies a partir de proposies j existentes. So conhecidos tambm como operadores lgicos. Os conectivos so representados da seguinte forma: Corresponde a no Corresponde a e Corresponde a ou

Corresponde a ento Corresponde a se e somente se

1.3

FORMALIZAO MATEMTICA

O processo de formalizao converte uma sentena ou argumento em uma forma sentencial composta de letras sentenciais e operaes lgicas. Sendo assim, a partir de uma proposio podemos construir uma outra correspondente com a sua negao; e com duas ou mais, podemos formar:

Conjunes Disjunes Condicionais

PQ PQ

L-se: P e Q L-se: P ou Q

PQ L-se: se P ento Q

Bicondicionais PQ L-se: P se e somente se Q

Exemplo: Seja a sentena: Se Cacilda estudiosa ento ela passar no concurso. Sejam as proposies: P: Cacilda estudiosa Q: Ela passar no concurso Da, poderemos representar a sentena da seguinte forma: Pgina | 3 de 8

CENTRO POLITCNICO
TREINAMENTO, ENSINO E PESQUISA LTDA.
Rua Olegrio Maciel, 12 2 Andar Patos de Minas MG | Telefax: (34) 3821-5911 Professor: Edinilson da Silva Vida

________________________________________________________________________________ Se P ento Q a mesma coisa que PQ.

1.4

FRMULA

Uma frmula da lgica proposicional uma sequncia qualquer de elementos do vocabulrio definido acima. Para distinguir sequncias sem sentido das frmulas significativas introduziremos o conceito de frmula. Este conceito definido pelas regras de formao, que constituem a gramtica da lgica proposicional. As frmulas proposicionais so constitudas de 3 conjuntos de smbolos:

1. Letras sentenciais: Qualquer letra. 2. Operadores lgicos: , , , , . 3. Parnteses: ( e ).

E como regras de formao, tem-se o seguinte: Toda letra sentencial uma frmula. Se P uma frmula, ento P tambm . Se P e Q so frmulas, ento (PQ), (PQ) (PQ) (PQ) tambm so.

1.5

TABELA VERDADE A tabela verdade apresenta todos os possveis valores lgicos da proposio composta

correspondentes a todas as possveis atribuies de valores lgicos s proposies simples correspondentes. Toda proposio simples P verdadeira ou falsa, isto , tem valor lgico V (verdade) ou o valor lgico F (falsidade). Representaremos ento o valor lgico de cada proposio com seu respectivo conectivo. O nmero de linhas da tabela determinado pelo nmero de letras sentenciais na frmula considerada. O nmero de linhas da tabela verdade de uma proposio composta est em funo do nmero de proposies simples que a compem. A tabela verdade de uma proposio composta com n proposies simples contm 2n linhas. Portanto, podemos observar:

Pgina | 4 de 8

CENTRO POLITCNICO
TREINAMENTO, ENSINO E PESQUISA LTDA.
Rua Olegrio Maciel, 12 2 Andar Patos de Minas MG | Telefax: (34) 3821-5911 Professor: Edinilson da Silva Vida

________________________________________________________________________________ a) Para uma proposio simples P, o nmero de linhas da tabela verdade ser: 21 = 2, representando na tabela verdade:

P V F Toda proposio simples P V ou F.

b) Para uma proposio composta, cujas proposies simples componentes so P e Q, o nmero de linhas da tabela verdade ser: 22 = 4, que ser representada:

P Q V V V F F F V F

As nicas possveis atribuies de valores lgicos a P e a Q so estas. Observe 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 (Q).

c) Para uma proposio composta, cujas proposies simples componentes so P, Q e R, o nmero de linhas da tabela verdade ser: 23 = 8, que ser representada:

P V V V V F F

Q V V F F V V

R V F V F V F Pgina | 5 de 8

CENTRO POLITCNICO
TREINAMENTO, ENSINO E PESQUISA LTDA.
Rua Olegrio Maciel, 12 2 Andar Patos de Minas MG | Telefax: (34) 3821-5911 Professor: Edinilson da Silva Vida

________________________________________________________________________________ F F F F V F

Observe 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).

1.6

OPERAES LGICAS SOBRE PROPOSIES

1.6.1. Operao lgica de negao () Chama-se negao de uma proposio P a proposio representada por P, cujo valor lgico a verdade (V) quando P falsa e a falsidade (F) quando P verdadeira. A tabela verdade representada por:

P P V F F V

A negao da proposio P a proposio P, de maneira que se P verdade ento P falso, e vice-versa.

1.6.2. Operao lgica de conjuno () Chama-se conjuno de duas proposies P e Q a proposio representada por PQ, cujo valor lgico a verdade (V) quando as proposies P e Q so ambas verdadeiras e a falsidade (F) nos demais casos. A tabela verdade representada por: P Q PQ V V V F F F V F V F F F

O valor de PQ ser verdadeiro somente quando os dois valores forem verdadeiros. Pgina | 6 de 8

CENTRO POLITCNICO
TREINAMENTO, ENSINO E PESQUISA LTDA.
Rua Olegrio Maciel, 12 2 Andar Patos de Minas MG | Telefax: (34) 3821-5911 Professor: Edinilson da Silva Vida

________________________________________________________________________________

1.6.3. Operao lgica de disjuno () Chama-se disjuno de duas proposies P e Q a proposio representada por PQ, 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. A tabela verdade representada por: P Q PQ V V V F F F V F V V V F

O valor de PQ ser falso somente quando os dois valores forem falsos. 1.6.4. Operao lgica de condicional ()

Chama-se proposio condicional de duas proposies P e Q a proposio representada por PQ, cujo valor lgico a falsidade (F) no caso em que a proposio P verdadeira e Q falsa e a verdade (V) nos demais casos. A tabela verdade representada por: P Q PQ V V V F F F V F V F V V

O valor de PQ ser falso apenas quando o valor de P for verdadeiro e Q for falso. 1.6.5. Operao lgica de bicondicional ()

Pgina | 7 de 8

CENTRO POLITCNICO
TREINAMENTO, ENSINO E PESQUISA LTDA.
Rua Olegrio Maciel, 12 2 Andar Patos de Minas MG | Telefax: (34) 3821-5911 Professor: Edinilson da Silva Vida

________________________________________________________________________________ Chama-se proposio bicondicional uma proposio representada por (PQ), cujo valor lgico a verdade (V) quando P e Q so ambas verdadeiras ou ambas falsas, e a falsidade (F) nos demais casos. A tabela verdade representada por:

P Q PQ V V V F F F V F V F F V

O valor de PQ ser verdadeiro somente quando os dois valores forem iguais.

A tabela verdade completa apresentada na sequncia: P Q P Q PQ PQ PQ PQ V V V F F F V F F F V V F V F V V F F F V V V F V F V V V F F V

Pgina | 8 de 8