CURSO ON-LINE PROFESSOR GUILHERME NEVES Ol!

! Neste ponto responderei a dvida de um aluno presencial que poder interessar a todos os estudantes e admiradores da Lgica Formal. Matria importantssima no mundo dos concursos e que tem forte presena nos certames atuais. A dvida desse aluno denominada Problema de Post. Para induzir a pergunta, comearei respondendo uma questo do CESPE-UnB. (BB2/2007/CESPE-UnB) A proposio simblica (PQ)R possui, no mximo, 4 avaliaes V. Para avaliar essa questo, precisamos construir a tabela-verdade da proposio composta (PQ)R. Para quem ainda leigo no assunto, surge a pergunta: o que uma tabela-verdade? Tabelas-verdade so especialmente usadas para determinar os valores lgicos de proposies construdas a partir de proposies simples. As tabelas de valores tm longa histria, mas receberam certo destaque desde os trabalhos (independentes) de Ludwig Wittgenstein (1889-1951) e de Emil L. Post (1897-1954).

Ludwig Wittgenstein

Emil Leon Post

Voltemos ao assunto. Para construir a tabela-verdade da proposio (PQ)R, devemos determinar o valor lgico da proposio (PQ) e em seguida conectar (PQ) com a proposio R atravs do conectivo ou.

CURSO ON-LINE PROFESSOR GUILHERME NEVES Observao: o smbolo do conectivo e e o smbolo do ou. de conhecimento da Lgica que o nmero de linhas de uma tabelaverdade de uma proposio composta por n proposio simples 2n. Como estamos interessados em construir a tabela-verdade da proposio (PQ)R, o nmero de linhas dessa tabela ser 23 = 8. Eis o incio da tabela. PQR VVV VV F V F V V F F F VV F V F F F V F F F

Vamos determinar o valor lgico de PQ. Uma proposio composta pelo conectivo e verdadeira somente quando todas as proposies componentes so verdadeiras. P e Q so ambas verdadeiras nas linhas 1 e 2. P Q R PQ VVV V VV F V V F V F V F F F F VV F F V F F F F V F F F F F Conectando agora a proposio PQ com a proposio R atravs do conectivo ou (colunas 3 e 4), a composta (PQ)R ser verdadeira se ao menos uma delas PQ ou R for verdadeira (linhas 1, 2, 3, 5 e 7) e ser falsa quando ambas PQ e R forem falsas (linhas 4, 6 e 8).

CURSO ON-LINE PROFESSOR GUILHERME NEVES P Q R PQ (PQ)R VVV V V VV F V V V F V F V V F F F F F VV F V F V F F F F F V F V F F F F F Temos ento 5 avaliaes V para a composta (PQ)R e o item est ERRADO. O problema de se construir uma tabela-verdade: dada uma proposio composta e o nosso papel determinar seus possveis valores lgicos, de acordo com os valores lgicos das proposies simples componentes. O problema de Post: Imagine-se dada uma tabela-verdade com as colunas constitudas pelas proposies simples e todas as atribuies de valoraes possveis e uma coluna com valores arbitrariamente colocados. Pergunta-se se ser possvel obter uma proposio composta (com as proposies simples dadas) cujos valores sejam exatamente os propostos. Trata-se de um problema inverso ao da construo de tabelas. Ali eram dadas as proposies compostas e se obtinha a tabela. Agora se d a tabela, procurando-se a proposio composta que deu origem tabela. Vejamos um exemplo: Determinar a proposio composta que tenha os seguintes valores: PQR VVV VV F V F V V F F F VV F V F F F V F F F ? F V V V F V F V
3

CURSO ON-LINE PROFESSOR GUILHERME NEVES A soluo de Post a seguinte: O objetivo ser construir uma proposio composta utilizando apenas a conjuno e () e o operador negao no (~). Examinam-se, na tabela original, os casos com F. A proposio composta deve ser verdadeira em todos os casos, salvo naqueles em que a composta for F. As ocasies em que surge F na ltima coluna so indicadas nas linhas 1, 5 e 7, correspondentes aos casos em que os valores de P, Q e R so respectivamente: PQR VVV F VV F F V ? F F F

Para que tornemos esses valores lgicos em V, devemos negar P, Q ou R em cada um dos casos, pois uma proposio composta pelo conectivo e verdadeira quando todos os componentes forem V. Na primeira linha, temos que P, Q e R so V. Assim, a conjuno PQR verdadeira. Para obtermos uma proposio falsa devemos negar PQR. Assim, a conjuno correspondente primeira linha ~(PQR). Na quinta linha, temos que P F, Q V, R V. Para construirmos uma conjuno verdadeira, devemos negar P. Assim, a composta ~PQR verdadeira. Pois agora ~P V, Q V e R V. J que a composta ~PQR verdadeira, a sua negao ~(~PQR) ser falsa. Na stima linha, temos que P F, Q F e R V. Para construirmos uma conjuno verdadeira, devemos negar P e negar Q. Assim, a composta ~P~QR verdadeira. A sua negao ~(~P~QR) ser falsa. Pois bem, para responder pergunta, basta conectar essas trs proposies obtidas pelo conectivo e. ~(PQR) ~(~PQR) ~(~P~QR)

CURSO ON-LINE PROFESSOR GUILHERME NEVES Essa soluo no nica. Podemos reescrever essa composta utilizando as Leis de De Morgan. As leis de De Morgan dizem que para negar uma proposio composta pelo conectivo e devemos negar as proposies componentes e trocar o conectivo por ou e reciprocamente. Podemos ento dizer que ~(PQR) equivalente a ~P~Q~R. Da mesma maneira, ~(~PQR) equivalente a P~Q~R. Analogamente, ~(~P~QR) equivalente a PQ~R Assim, uma outra soluo para esse problema (~P~Q~R) (P~Q~R) (PQ~R). Exemplo: Determinar a proposio composta que tenha os seguintes valores: PQ? VV F V F V F VV F F F

Devemos prestar ateno naquelas linhas em que a composta falsa. Nesse caso, as linhas 1 e 4. Na primeira linha, temos que P, Q so V. Assim, a conjuno PQ verdadeira. Para obtermos uma proposio falsa devemos negar PQ. Assim, a conjuno correspondente primeira linha ~(PQ). Na quarta linha, temos que P, Q so F. Para construirmos uma conjuno verdadeira, devemos negar P e negar Q. Assim, a composta ~P~Q verdadeira. A sua negao ~(~P~Q) ser falsa. Pois bem, para responder pergunta, basta conectar essas trs proposies obtidas pelo conectivo e. ~(PQ) ~(~P~Q). Essa soluo no nica Podemos reescrever essa composta utilizando as Leis de De Morgan. As leis de De Morgan dizem que para negar uma proposio composta pelo
5

CURSO ON-LINE PROFESSOR GUILHERME NEVES conectivo e devemos negar as proposies componentes e trocar o conectivo por ou e reciprocamente. Podemos ento dizer que ~(PQ) equivalente a ~P~Q. Da mesma maneira, ~(~P~Q) equivalente a PQ, pois a negao de ~P P e a negao de ~Q Q. Assim, uma outra soluo para esse problema (~P~Q) (PQ). Para verificar, eis a tabela verdade dessa proposio composta. P Q ~P ~Q ~P~Q PQ (~P~Q) (PQ) VV F F F V F V F F V V V V F V V F V V V F F V V V F F

Vejamos uma questo em que poderia ser utilizado esse Problema de Post. (ICMS-SP/2006/FCC) Numa proposio composta s , aparecem as proposies simples p , q e r . Sua tabela-verdade :

p q r V VV V V F V F V V F F F VV F V F F F V F F F

s V V F V V V F V

Usando a conjuno ( ) , a disjuno ( ) e a negao (~) , pode-se construir sentenas equivalentes a s . Uma dessas sentenas a) (~ p q ~ r ) ( p q ~ r ) b) ( p q r ) (~ p ~ q r ) c) ( p q ~ r ) ( p ~ q ~ r )
6

CURSO ON-LINE PROFESSOR GUILHERME NEVES d) ( p q r ) (~ p ~ q r ) e) ( p ~ q r ) (~ p ~ q r ) Resoluo I Esta questo muito trabalhosa para ser respondida no curto tempo disponvel em um concurso, pois o candidato obrigado a analisar cada uma das alternativas (todas enormes e trabalhosas). No entanto, o candidato persistente e brasileiro (aquele que no desiste nunca) que comeou a testar pela alternativa A obteve sucesso, pois a alternativa correta. Letra A
p q r ~ p ~ r ~ p q ~ p q ~ r p q p q ~ r (~ p q ~ r ) ( p q ~ r )
V V V V F F F F V V F F V V F F V F V F V F V F F F F F V V V V F V F V F V F V V V F F V V V V V V F V V V V V V V V V V V F F V V V V V V F V V V F V V V F V

Resoluo II A soluo de Post.

p q r V VV V V F V F V V F F F VV F V F F F V F F F

V V F V V V F V

CURSO ON-LINE PROFESSOR GUILHERME NEVES Devemos nos concentrar nas linhas em que a proposio composta falsa. Nesse caso, as linhas 3 e 7. Na terceira linha, temos que p V, q F e r V. Para construirmos uma conjuno verdadeira, devemos negar q. Assim, a conjuno p~qr verdadeira. Para obtermos uma proposio falsa devemos negar p~qr. Assim, a conjuno correspondente primeira linha ~(p~qr). E j que o enunciado pediu para utilizarmos a conjuno (e), a disjuno (ou) e a negao (~), utilizaremos a Lei de De Morgan para construir uma proposio equivalente a essa. Devemos negar as proposies que esto dentro dos parnteses e trocas os conectivos e por ou, obtendo ~pq~r. Na stima linha, temos que p F, q F e r V. Para construirmos uma conjuno verdadeira, devemos negar p e negar q. Assim, a composta ~p ~qr verdadeira. A sua negao ~(~p ~qr) ser falsa. Utilizando novamente a Lei de De Morgan, obtemos pq~r. Assim, a para responder questo, devemos conectar as duas proposies obtidas pelo conectivo e, obtendo assim, (~pq~r) (pq~r). a) (~ p q ~ r ) ( p q ~ r ) Interessante ou no? Um abrao e at o prximo Ponto.

Guilherme Neves Raciocnio Lgico, Matemtica, Matemtica Financeira e Estatstica. guilherme@pontodosconcursos.com.br