TEORIA DO RACIOCNIO LGICO

Proposio: Proposio ou sentena todo conjunto de palavras ou smbolos que exprimem um pensamento de sentido amplo e completo. Sendo assim, vejamos os exemplos: a) O curso de Computao pertence a cincias exatas. b) O Amazonas um estado da regio Norte. c) A Manaus Energia pertence a Igreja. Claramente voc percebe que as proposies podem assumir os valores falsos(F) ou verdadeiros(V), pois elas expressam a descrio de uma determinada realidade, e tambm observamos que uma proposio representa uma informao que vem enunciada por uma orao e pode ser expressa por distintas oraes, tais como: O Sr.Valdemir maior que a Srta. Josefa , ou podemos expressar tambm por A Srta. Josefa menor que o Sr. Valdemir. Em Suma, temos dois princpios para as proposies: 1 O Princpio da no-contradio: Uma proposio no pode ser verdadeira e falsa ao mesmo tempo. 2 O Princpio do Terceiro Excludo: Uma proposio s pode apresentar dois valores, isto , verdadeiro (V) ou falso (F), no podendo ter outro valor. Logo, voltando ao exemplo anterior temos: a) O curso de Computao pertence a cincias exatas. - Proposio Verdadeira b) O Amazonas um estado da regio Norte. - Proposio Verdadeira c) A Manaus Energia pertence a Igreja. Proposio Falsa As proposio so representadas por letras do alfabeto: a, b, c, . . . , p, q, . . . As proposies simples (ou tomos) combinam-se com outras, ou so modificadas por alguns operadores (conectivos), gerando novas sentenas chamadas de molculas. Os conectivos sero representados da seguinte forma:

 corresponde a: no, negao corresponde a e corresponde a ou

corresponde a ento corresponde a se somente se

Desta forma, a partir de uma proposio podemos construir uma outra correspondente com a sua negao; e com duas ou mais, podemos formar: Conjunes: a b (l-se: a e b) Disjunes: a b (l-se: a ou b) Condicionais: a b (l-se: se a ento b) Bi condicionais: a b (l-se: a se somente se b) Exemplo: Seja a sentena: Se Maria estudiosa ento ela passar na SEDUC
Sejam as proposies: p = Maria estudiosa q = Ela passar na SEDUC Da, poderemos representar a sentena da seguinte forma: Se p ento q ( ou p q )

TABELA VERDADE
Representaremos ento o valor lgico de cada molcula com seu respectivo conectivo.
a. Valor verdade de

P V F F V
, de maneira que se P verdade ento

A negao da proposio P a proposio falso, e vice-versa.

b. Valor verdade de P Q

P V V F F

Q V F V F

PQ V F F F

O valor verdade da molcula P Q tal que VAL (P Q) verdade se somente se

VAL (P) e VAL (Q) so verdades. c. Valor verdade de P Q P Q PQ V V F F V F V F V V V F

O valor verdade da molcula P Q tal que VAL (P Q) falso se somente se VAL

(P) e VAL (Q) so falsos. d. Valor verdade de P Q P Q PQ V V F F V F V F F V V V

O valor verdade da molcula P

Q tal que VAL (P Q) = F se somente se VAL

(P) = V e VAL (Q) = F e. Valor verdade de P Q

P V V F F

Q V F V F

P Q V F F V

O valor verdade da molcula P Q tal que VAL ( P Q ) = V se somente se VAL

(P) e VAL (Q) tem os mesmos valores verdades. Ento teremos a tabela verdade completa da seguinte forma:

Exemplo Determinar o valor verdade da sentena (P Q) R Sabendo que VAL (P) = V, VAL (Q) = V e VAL (R) = F Soluo

Logo analisando a tabela acima temos VAL ((P Q) R) = F