Apontamentos Logica v02 2011 Cangussu

ROGRIO CANGUSSU DANTAS CACHICHI
4 ano - Filosofia
APONTAMENTOS DE LGICA MATEMTICA ANOTAES DE AULA E RESOLUO COMENTADA DE EXERCCIOS De Aluno para Aluno
(verso 2011)
Londrina/2011
A Henrique Castelo Perez
NDICE
Apresentao (verso 2011).................................................................................................6 Apresentao ........................................................................................................................7 Cap. 1 1.1 Clculo Proposicional ..........................................................................................8 Introduo ..............................................................................................................8
1.2 Sintaxe I..................................................................................................................8 1.2.1 Alfabeto ...........................................................................................................9 1.2.2 Definies: expresso, frmula atmica, frmula .........................................10 1.2.2.1 Expresso ...............................................................................................10 1.2.2.1.1 Exerccios dados em sala no ano de 2009 ......................................11 1.2.2.1.1.1 Resposta comentada ...............................................................12 1.2.2.2 Frmula..................................................................................................12 1.2.2.2.1 rvore de Formao.......................................................................14 1.2.2.2.2 Exerccios dados em sala no ano de 2009 ......................................14 1.2.2.2.2.1 Resposta comentada ...............................................................15 1.3 Semntica .............................................................................................................22 1.3.1 Introduo......................................................................................................22 1.3.2 Definio de valorao ..................................................................................23 1.3.3 Tabelas de verdade ........................................................................................28 1.3.4 Noo de modelo, consistncia, consequncia lgica e de validade..............33 1.3.4.1 Noo de valorao modelo...................................................................34 1.3.4.2 Noo de conjunto consistente...............................................................36 1.3.4.3 Noo de consequncia lgica ...............................................................37 1.3.4.4 Noo de tautologia, contradio e contingncia...................................38 1.3.4.5 Exerccios dados em sala no ano de 2009 ..............................................40 1.3.4.5.1 Resposta comentada ao exerccio 1................................................44 1.3.4.5.2 Resposta comentada ao exerccio 2................................................55 1.3.4.5.3 Resposta comentada ao exerccio 3................................................66 1.3.4.5.4 Resposta comentada ao exerccio 4................................................71 Cap. 2 2.1 Clculo de Predicados de 1 ordem...................................................................82 Introduo ............................................................................................................82
2.2 Sintaxe I................................................................................................................83 2.2.1 Alfabeto .........................................................................................................83 2.2.2 Definies: expresso, frmula atmica, frmula .........................................84 2.2.2.1 Exerccios dados em sala no ano de 2009 ..............................................86 2.2.2.1.1 Resposta comentada .......................................................................87 2.3 Semntica .............................................................................................................90 2.3.1 Definio de estrutura....................................................................................90 2.3.1.1 Par ordenado ..........................................................................................90
2.3.1.2 Tipos de relao .....................................................................................90 2.3.1.3 Estrutura.................................................................................................91 2.3.2 Noo de atribuio, verdade, valorao, modelo, consistncia, consequncia lgica e de validade de argumento ....................................................................................................95 2.3.3 rvore de refutao .....................................................................................100 2.3.3.1 Regras da rvore de refutao ..............................................................100 2.3.3.1.1 Uma tentativa de compreenso das regras....................................100 2.3.3.1.2 Regras para quantificadores .........................................................103 2.3.3.1.3 Sntese para memorizao das regras ...........................................106 2.3.3.2 Procedimento de verificao por rvore de refutao ..........................107 2.3.3.2.1 Para verificar o status semntico de frmulas ..............................107 2.3.3.2.2 Para verificar consistncia de conjuntos de frmulas...................108 2.3.3.2.3 Para descobrir consequncias lgicas...........................................108 2.3.3.2.4 Vejamos passo a passo do procedimento .....................................109 2.3.3.2.5 Outros exemplos comentados.......................................................112 2.3.4 Exerccios dados em sala no ano de 2009....................................................124 2.3.4.1 Resposta comentada ao exerccio 1......................................................127 2.3.4.2 Resposta comentada ao exerccio 2......................................................140 2.3.4.3 Resposta comentada ao exerccio 3......................................................146 2.3.4.4 Resposta comentada ao exerccio 4......................................................156 Cap. 3 3.1 Sintaxe II em clculo proposiconal e clculo de predicados .........................183 Introduo ..........................................................................................................183
3.2 Regras primitivas de deduo natural DN ......................................................185 3.2.1 Incluso do operador & ...............................................................................186 3.2.2 Excluso do operador & ..............................................................................186 3.2.3 Incluso do operador v.................................................................................186 3.2.4 Excluso do operador v ...............................................................................187 3.2.5 3.2.6 3.2.7 Incluso do operador ...............................................................................187 Excluso do operador ..............................................................................189 Incluso do operador ..............................................................................189
3.2.8 Excluso do operador .............................................................................189 3.2.9 Incluso do operador ~ ................................................................................190 3.2.10 Excluso do operador ~ .............................................................................190 3.2.11 3.2.12 3.2.13 Incluso do quantificador .......................................................................190 Excluso do quantificador ......................................................................192 Incluso do quantificador .......................................................................193
3.2.14 Excluso do quantificador ......................................................................193 3.2.15 Algumas dicas sobre as regras primitivas ..................................................195 3.2.15.1 Regras que abrem hipteses ...............................................................195 3.3 Regras derivadas de deduo natural DN ......................................................196 3.3.1 Silogismo disjuntivo SD ...........................................................................196 3.3.2 Modus Tollens MT ...................................................................................197 3.3.3 Silogismo hipottico SH ...........................................................................197
3.3.4 Dilema Construtivo DC ............................................................................198 3.3.5 Leis de De Morgan DM ............................................................................199 3.3.6 Implicao material IM.............................................................................201 3.3.7 Dupla negao DN....................................................................................202 3.3.8 Contradio CT.........................................................................................203 3.3.9 Algumas dicas na DN ..................................................................................203 3.3.9.1 Dicas do prof. Mortari..........................................................................204 3.3.9.2 Outras dicas..........................................................................................205 3.4 Resoluo comentada de exerccios na deduo natural (sintaxe II) ................208
Referncias bibliogrficas ...............................................................................................236 ndice Remissivo...............................................................................................................237
Apresentao
(verso 2011)
Depois da verso inicial deste material1, como j antecipado em seu bojo mesmo, alguns aprimoramentos foram levados a efeito, especialmente quanto semntica do clculo de predicados (cf. item 2.3). Outrossim, incluram-se na parte de sintaxe II algumas sugestes, que chamamos de dicas, para melhor desenvolvimento no trato com as regras de deduo natural (cf. item 3.3.9). Foram corrigidos alguns equvocos presentes na primeira verso (cf. item 2.3.1.3). Ademais, a verso atual traz a resoluo comentada de vrios exerccios apenas mencionados na verso passada, alm de novas observaes e comentrios a respeito de exerccios j resolvidos anteriormente e outros exerccios mais. Essa a razo pela qual a segunda verso ficou bem mais extensa, o que espero no desestimular os colegas. Afora isso, o texto agora vem acompanhado ao final de ndice remissivo elaborado com o escopo de facilitar ainda mais o manejo deste material. Uma vez mais agradecemos enfaticamente a gentileza e dedicao do Prof. Carlos Manholi. O mesmo agradecimento direcionamos ao Prof. Joaquim Jos de Moraes Neto, que disponibilizou esse material na pgina do Projeto Acrpolis, de sua coordenao: http://www.uel.br/projetos/acropolis, simplificando o acesso ao material. Cuido que agora se tenha uma verso, se ainda no livre de imperfeies, ao menos mais completa e melhorada que, certo, trar maior benefcio aos colegas aos quais me dirijo com o respeito e a estima de sempre. Rogrio Cangussu Janeiro/2011
ATENO : No deixe de ler a apres entao primeira verso . L constam apontamentos i mportantes, qui capitais, acerca da finali dade lti ma deste material(i), de seus li mites(ii) e sobre o modo de melhor manej -lo durante o semestre/ano letivo (iii).
Apresentao
Da aridez do contedo da matria de lgica matemtica (lgica II) adveio-me a ideia de compilar minhas anotaes de aula, simplificando-as ao mximo, alm de expor com comentrios a resoluo da maior gama possvel de exerccios. O objetivo desse texto facilitar a compreenso dos temas nele tratados, servindo como instrumento, ou melhor, complemento em relao s aulas expositivas e s resolues de exerccios em aula e fora dela. Procurou-se ser o mais claro possvel, optou-se por pecar pelo excesso, no pela falta. Muitas vezes seremos prolixos e repetitivos. De outro lado, o texto contm (ou procurou conter) exclusivamente o contedo que foi objeto das avaliaes no ano de 2009, deixou-se de lado, assim, o contedo terico introdutrio2. Lembremos: o escopo nico destas anotaes auxili-lo a passar na matria de lgica II. S isso, nada mais! Note que ningum quer que voc aprenda lgica com esse texto, pois isso s assistindo s aulas, anotando tudo e, principalmente, praticando... Nosso objetivo modesto! Advirto, ainda, que do contedo c apresentado aquilo que estiver de acordo e escorreito decorreu das aulas de lgica II do ano de 2009, eventuais equvocos atribuo exclusivamente minha m compreenso do tema. claro que, a se tratar de uma primeira verso, muitas imperfeies esto presentes. No objetivei providenciar - nem teria razo para faz-lo - um texto livre delas. Entretanto, com o tempo e com a ajuda de todos, espero elimin-las paulatinamente. Por fim, agradeo ao Prof. Carlos Manholi, o qual, gentilmente, no poupou esforos em dissipar no poucas dvidas sempre que dele me socorri. Aos estimados colegas, Boa sorte! Bons estudos! Rogrio Cangussu Julho/2010
H risco de cair na pr ova, mas nunca caiu ef etivamente.
Cap. 1 1.1 Introduo
Clculo Proposicional
Casa. Assim lanada, a palavra casa poderia significar muitas coisas. Veja algumas:
1. Edifcio de um ou poucos andares, destinado, geralmente, a habitao; morada, vivenda, moradia, residncia. 2. Lar; famlia. 3. Conjunto de auxiliares adjuntos a um chefe de Estado (Casa Civil) 4. Cada uma das subdivises duma caixa, prateleira, colmeia, etc. 5. Espao separado por linhas nas tabelas, tabuadas, mapas, tabuleiros, formulrios, etc. 6. Abertura por onde passa o boto; botoeira. 7. Casa decimal (sentido na matemtica). (AURLIO, Dicionrio Eletrnico, verbete casa.)
A linguagem natural ambgua; diferente da formal, unvoca. Na primeira muitas dificuldades, inexistentes na segunda, decorrem da plurissignificao das palavras3. Por isso, o estudante de filosofia, por meio da linguagem formal da lgica, poder traduzir a linguagem natural para a formal (frasesfrmulas) e, nela, livre de ambiguidades, mostrar a validade ou invalidade de determinado argumento a partir da anlise das frmulas resultantes. 1.2 Sintaxe I A sintaxe de qualquer lngua, seja natural ou formal, constituda pelo lxico (alfabeto) e pelas regras segundo as quais esse lxico combinado para representar as ideias, as coisas etc.
A vantagem do us o de linguagens artificiais, claro, que elas t m gramticas precisas, e evitam as ambi gidades to comuns nas lnguas naturais (MORTARI, 2001, p.350).
1.2.1 Alfabeto O lxico do clculo proposicional o seguinte: A={P, Q, R, S, ..., &, v, , , ~, (, )} A o conjunto dos smbolos (equivalente s letras na linguagem natural) do clculo proposicional. Assim, designamos E(A), o conjunto de todas as expresses do clculo proposicional.
S M B O L O S N O L G I C O S
So elementos do lxico do clculo proposicional: P, Q, R, S, ...: o conjunto infinito (frisem-se as reticncias) de letras maisculas do alfabeto latino. Elas denotaro as frmulas atmicas, base de todas as outras. ( ): sinal de pontuao. Extremamente relevantes, sobretudo para indicar a influncia/eficcia (delimitar quais as frmulas a ele submetidas) de cada operador. Os parnteses servem para distinguir os operadores principais dos secundrios (como que numa hierarquia entre eles). Exemplo: (P P & & Q) (Q v v R R)
& irradia efeitos apenas sobre P eQ
& irradia efeitos sobre toda a frmula &: operador da conjuno. v: operador da disjuno. : operador da implicao. : operador da bi-implicao. ~: operador da negao.
ATENO: Note que usamos smbolos nolgicos e operadores lgicos. Trata-se de ponto terminolgico importante. Segundo ensinamento do prof. Manholi, podemos falar em smbolos lgicos e smbolos no-lgicos, mas no em operadores nolgicos, pois o termo operadores reservado normalmente apenas para as funes de verdade, isto , conjuno, negao, disjuno, etc.
O P E R A D O R E S
L G I C O S
Observao importante: esses (e s esses) so os smbolos lingusticos do clculo proposicional. As vrgulas (,) por exemplo, que voc viu acima, no participam do lxico do clculo proposicional, mas so usadas para falar sobre ele, so elementos metalingusticos.
10
Pode-se em decorrncia disso dizer que o clculo proposicional a teoria desses cinco operadores lgicos.
1.2.2 Definies: expresso, frmula atmica, frmula Aqui no sero includas as definies em linguagem matemtica. Estas devero ser devidamente anotadas no seu caderno a partir das aulas do prof. Manholi. Como j explicado na apresentao desse texto, tentaremos expor tudo na linguagem mais acessvel possvel, incluindo, por bvio, as definies. Por isso, talvez o ttulo mais adequado para esse item fosse Significaes (ou noes): expresso, frmula atmica, frmula, linguagem formal. Passemos ao exame de cada uma delas, ento.
1.2.2.1 Expresso Expresso do clculo proposicional qualquer sequncia finita de elementos de A. Lembremos: A={P, Q, R, S, ..., &, v, , , ~, (, )}. Noutras palavras, se aparecer um elemento que no pertena a A no ser uma expresso do clculo proposicional, p.ex., algo como [P&Q] no expresso, pois [ ] no faz parte do lxico; da mesma forma: (P&q) tambm no , pois letras minsculas do alfabeto latino no fazem parte do lxico; xFx igualmente no expresso, pois nem nem x pertencem a A4. Agora, algo como: (PQ&&T(HYv)() expresso, pois todos os elementos pertencem ao lxico, o mesmo se diga de PF R E G U E5. De outro lado, como voc pde perceber, sequncias infinitas no so expresses, o que excluiria de pronto isto: ((QRS...)(QRS...)).
Voc ver, adiante, que xFx no s uma expresso, como uma fr mula, porm do cl culo de predicados , no do clculo proposi cional.
4
Na pri meira prova do ano de 2010 caiu essa expresso. A respost a correta era que constitui expresso do clculo proposicional , mas no fr mula pelos moti vos que veremos na sequncia.
11
1.2.2.1.1 Exerccios dados em sala no ano de 2009 A seguir, fao consignar o exerccio apresentado em sala de aula no ano de 2009. Determine quais das seguintes sequncias simblicas so expresses do clculo proposicional: a) P b) PQ c) ~P d) ~PQ e) (~pvr) f) ((~v)) g) 3+7=10 h) HCl+NaOHNaCl+H2O i) AUB = A j) (Pv~Q) k) ~(Pv~Q) l) Pv~Q m) P(~Rv~Q) n) ~(~PvQ)~(~(~(Pv~R)&)S)) o) (Rv~(S~P)(~Qv~~~R) p) ((~QvR)~P)v(P&((Q&R))) q) x2+3y=-3z-2x r) (~Pv~~R)(R&~S)) s) ~PQ( )~R&~ t) P~QvS u) Q v) P&Q w) QR
12
x) P((Qv~R)&T(R&S)) y) ~P~~((R&~S)v~T) z) (Q) Para fazer o exerccio basta verificar todos os smbolos, independente da ordem em que dispostos. Havendo algum fora do lxico, no expresso. A resposta segue abaixo:
1.2.2.1.1.1 Resposta comentada
a) b) c) d) e) f) g) h) i) j) k) l) m) n) o) p) q) r) s) t) u) v) w) x) y) z) P PQ ~P ~PQ (~pvr) ((~v)) 3+7=10 HCl+NaOHNaCl+H2O AUB = A (Pv~Q) ~(Pv~Q) Pv~Q P(~Rv~Q) ~(~PvQ)~(~(~(Pv~R)&)S)) (Rv~(S~P)(~Qv~~~R) ((~QvR)~P)v(P&((Q&R))) 2 x +3y=-3z-2x (~Pv~~R)(R&~S)) ~PQ( )~R&~ P~QvS Q P&Q Q R P((Qv~R)&T(R&S)) ~P~~((R&~S)v~T) (Q) E (expresso) E (expresso) E (expresso) E (expresso) ~E (no expresso) ~E (no expresso) ~E (no expresso) ~E (no expresso) ~E (no expresso) E (expresso) E (expresso) E (expresso) E (expresso) E (expresso) E (expresso) E (expresso) ~E (no expresso) E (expresso) E (expresso) E (expresso) E (expresso) E (expresso) E (expresso) E (expresso) E (expresso) E (expresso)
Note-se na letra h que HCl+NaOHNaCl+H2O s no expresso por conta dos seguintes elementos: l, +, a, 2, inexistentes no lxico. O que significa que algo como HCNOHNCHO deve ser tido como expresso do clculo proposicional!
1.2.2.2 Frmula Visto o conceito de expresso, vejamos o de frmula. O prof. Manholi apresentou uma definio recursiva a partir do
13
conceito de frmula atmica, isto , apresentado o que uma frmula atmica, a definio d critrios para se chegar a todas as outras frmulas. Ser importante t-la presente aqui, pois ela trar clusulas importantes, que devero ser mencionadas na resoluo dos exerccios pela rvore de formao da qual a explicao ser dada na sequncia. Na definio do prof. Manholi:
Clusula 1: frmula atmica do clculo proposicional qualquer expresso que tenha a forma: P, Q, R, S, ...; Clusula 2: se frmula, ento ~ tambm . Diz-se apenas que a negao de uma frmula uma frmula; Clusula 3: se e so frmulas ento (&), (v), (), () tambm so. Ou seja: dadas duas frmulas, podemos obter outras (frmulas moleculares) por meio de operadores lgicos.
Assim, PQ expresso do clculo proposicional, mas no frmula atmica, pois contm duas letras maisculas sem conector lgico, o que infringe as disposies das cl. 1 e 3. Algo como P~ expresso, porm no frmula, pois o modelo da cl.2 exige que o operador da negao venha antes ~P. Da mesma forma, P(&Q) expresso, mas no frmula por dois motivos: a)falta operador entre P e (&Q) viola cl.3; b) (&Q) no frmula porque falta a atmica (?&Q) viola cl.3. Outros exemplos:
(i)se =P e =Q, sero frmulas: P, Q, ~P, ~Q, P&Q, PvQ, PQ, PQ; (ii)se =(P&R) e =Q, sero frmulas: P&R, Q, ~(P&R), ~Q, (P&R)&Q, (P&R)vQ, (P&R)Q, (P&R)Q; (iii)se =P e =(QS), sero frmulas: P, (QS), ~P, ~(QS), P&(QS), Pv(QS), P(QS), P(QS);
Em (P&R)&Q, temos a frmula atmica Q e sub-frmula molecular (P&R) , que por sua vez composta de duas outras frmulas atmicas: P e R. Com efeito, ser frmula algo assim: ((T&R)S)((H&Q)v(P(Q&((((PQ)&T)H)vR))))
Para cada parntese aberto, haver um fechado!
14
1.2.2.2.1 rvore de Formao Trata-se de procedimento para provar que as expresses do clculo proposicional so frmulas. A ideia ir decompondo a frmula at chegar nas atmicas e depois demonstrar em cada etapa que ela obedece definio de frmula. Vejamos: (P~Q) rvore de formao: (P~Q) P ~Q Q Prova de que P~Q que frmula: 1)Q frmula, cl.1; 2)P frmula, cl.1; 3)~Q frmula, cl.2, l.1. 4)P~Q frmula, cl.3, ll.2,3.
1.2.2.2.2 Exerccios dados em sala no ano de 2009 Utilizando a mesma lista do item 1.2.2.1.1 supra, determine quais das expresses ali constantes so frmulas do clculo proposicional. Para fazer o exerccio basta: a)separar todas as expresses do clculo proposicional encontradas; b)analisar cada uma delas vista das clusulas 1-3 da definio de frmula, indicando, em caso de no atendimento, qual a clusula violada, procedendo, quando possvel, a rvore de formao. A resposta segue na prxima pgina.
15
1.2.2.2.2.1 Resposta comentada

P PQ ~P ~PQ (Pv~Q) ~(Pv~Q) Pv~Q P(~Rv~Q) ~(~PvQ)~(~(~(Pv~R)&)S)) (Rv~(S~P)(~Qv~~~R) ((~QvR)~P)v(P&((Q&R))) (~Pv~~R)(R&~S)) ~PQ( )~R&~ P~QvS Q P&Q Q R P((Qv~R)&T(R&S)) ~P~~((R&~S)v~T) (Q) F (frmula) ~F (no frmula) F (frmula) ~F (no frmula) F (frmula) F (frmula) F (frmula) F (frmula) ~F (no frmula) ~F (no frmula) ~F (no frmula) ~F (no frmula) ~F (no frmula) ~F (no frmula) ~F (no frmula) ~F (no frmula) ~F (no frmula) ~F (no frmula) F (frmula) ~F (no frmula)
JUSTIFICATIVAS PARA AS EXPRESSES QUE NO SO FRMULAS: PQ no frmula, por falta de operador, viola cl.3. P&Q frmula. ~PQ no frmula, por falta de operador, viola cl.3. ~PQ frmula. ~(~PvQ)~(~(~(Pv~R)&)S)) no frmula, por excesso de operador e de parnteses, viola cl3. ~(~PvQ)~(~(~(Pv~R)S)) e ~(~PvQ)~(~(~(Pv~R)&S)) so frmulas. (Rv~(S~P)(~Qv~~~R) no frmula, por falta de parnteses, viola cl.3. (Rv~(S~P))(~Qv~~~R) frmula. ((~QvR)~P)v(P&((Q&R))) no frmula, por excesso de parnteses, viola cl.3. ((~QvR)~P)v(P&(Q&R)) frmula. (~Pv~~R)(R&~S)) no frmula, por falta de parnteses, viola cl.3. ((~Pv~~R)(R&~S)) frmula.
Note-se que tambm, por concesso convencional, (~Pv~~R)(R&~S) tambm seria frmula. que os parnteses externos podem ser dispensados. Assim: PQ
16
e (PQ) so frmulas. Em concluso, a justificativa para a expresso (~Pv~~R)(R&~S)) no ser frmula poderia ser tambm excesso de parnteses.
~PQ( )~R&~ no frmula, por excesso de operador, uso indevido de parnteses e de operadores, viola cl.1 e 3. Note alguns problemas na expresso que a impedem de ser frmula: ~PQ, viola cl.3; ( ) viola cl.3; ~ viola cl. 3; R& viola cl.3, ~ viola cl. 3. P~QvS no frmula, por falta de parnteses e de operador, viola cl.3. Observe que entre P~Q falta um operador (p.ex. &), bem como parnteses que poderiam estar entre (P&~Q)vS ou entre P&(~QvS). Q no frmula, por excesso de operadores, viola cl.3. Q seria frmula atmica. P&Q no frmula, por excesso de operadores, viola cl.3. P&Q seria frmula. QR no frmula, por excesso de operadores, viola cl.3. QR frmula. P((Qv~R)&T(R&S)) no frmula, por falta de parnteses, viola cl.3. Verifique P((Qv~R)&(T(R&S))) frmula. (Q) no frmula, por excesso de parnteses, viola cl. 1 e 3. Q frmula.
17
JUSTIFICATIVA FRMULAS: P rvore de formao
PARA
AS
EXPRESSES
QUE
SO
P Prova: 1)P frmula, cl.1.
~P rvore de formao ~P P Prova: 1)P frmula, cl.1; 2)~P frmula, cl.2, l.1.
18
(Pv~Q) rvore de formao (Pv~Q) P ~Q Q Prova: 1)Q frmula, cl.1; 2)P frmula, cl.1; 3)~Q frmula, cl.2, l.1; 4)Pv~Q frmula, cl.3, ll.2,3. ~(Pv~Q) rvore de formao ~(Pv~Q) (Pv~Q) P ~Q Q Prova: 1)Q frmula, cl.1; 2)P frmula, cl.1; 3)~Q frmula, cl.2, l.1; 4)Pv~Q frmula, cl.3, ll.2,3; 5)~(Pv~Q) frmula, cl.2, l.4.
19
Pv~Q rvore de formao Pv~Q P ~Q Q Prova: 1)Q frmula, cl.1; 2)P frmula, cl.1; 3)~Q frmula, cl.2, l.1; 4)Pv~Q frmula, cl.3, ll.2,3.
P(~Rv~Q) rvore de formao P(~Rv~Q) P (~Rv~Q) ~R R ~Q Q
Prova: 1)R frmula, cl.1; 2)Q frmula, cl.1; 3)~Q frmula, cl.2, l.2;
20
4)~R frmula, cl.2, l.1; 5)(~Rv~Q) frmula, cl.3, ll.3,4; 6)P frmula, cl.1; 7)P(~Rv~Q) frmula, cl.3, ll.5,6.
~P~~((R&~S)v~T) rvore de formao ~P~~((R&~S)v~T) ~P P ~~((R&~S)v~T) ~((R&~S)v~T) (R&~S)v~T (R&~S) R ~S S Prova: 1)S frmula, cl.1; 2)R frmula, cl.1; 3)T frmula, cl.1; 4)~S frmula, cl.2, l.1; 5)(R&~S) frmula, cl.3, ll.2,4; 6)~T frmula, cl.2, l.3; 7)(R&~S)v~T frmula, cl.3, ll.5,6; 8)~((R&~S)v~T) frmula, cl.2, l.7; ~T T
21
9)P frmula, cl.1; 10)~~((R&~S)v~T) frmula, cl.2, l.8; 11)~P frmula, cl.2, l.9; 12)~P~~((R&~S)v~T) frmula, cl.3, ll.10,11.
22
1.3 Semntica
1.3.1 Introduo Vista a sinttica do clculo proposicional, a semntica refere-se ao significado das frmulas. Todavia, por significado no se entenda nada mais que o valor de verdade da frmula ou do argumento, isto sua valorao. Trs princpios informam-na: o da extensionalidade, o da bivalncia, o da composicionalidade. Quando se fala em significado das frmulas, em virtude do princpio da extensionalidade, nada mais se quer designar seno seu valor de verdade: verdadeiro ou falso. Exclui-se, pois, qualquer relao com o mundo real. P v ~P ser sempre verdadeiro, como veremos abaixo, ainda que P denote cavalo-de-trs-ps ama mula-sem-cabea. E preste ateno: o verdadeiro no quer dizer verdadeiro no sentido de corresponder ao mundo real, mas apenas um de dois, ou um ou outro, 1 ou 0... Na linguagem formal da lgica clssica h dois valores, que podemos (ou poderamos) apelidar verdadeiro/falso; 1/0; batatinha/cenourinha. O importante que s haja dois e apenas dois e que a cada frmula seja atribuda um (e apenas um) desses valores. Ora, se uma frmula ou verdadeira ou falsa, sem que possa haver outra alternativa, temos uma bivalncia. Pois : trata-se do princpio da bivalncia, s h duas valncias, exclui-se uma terceira (verdadeira e falsa, quase verdadeira). Para saber o significado de uma frase, precisamos saber, primeiro, o das palavras6, porque com base no significado delas que construmos o significado da frase, depois do discurso. Esse o sentido do princpio da composicionalidade, por meio do qual o valor de verdade (significado) de uma frmula aferido a partir do valor de verdade de suas subfrmulas. Mas como, possuindo a valorao da frmula atmica, podemos saber a daquela na qual ela est inserida? Um exemplo: se P verdadeiro (valorao 1), ento ~P ser falso (valorao 0). Para que P&Q seja verdadeiro, preciso que ambos P e Q tambm o sejam. Para que PvQ seja verdadeira, basta que um deles P ou Q seja tambm... Essa intuitiva noo precisada na definio de valorao, que vamos mencionar pois sem ela no podemos prosseguir.
E lembre-se: as palavras so for madas de s labas; as slabas, de letras.
23
1.3.2 Definio de valorao No registraremos a definio dada pelo prof. Manholi em sala, pois voc dever anotar durante as aulas. Aqui, para nosso objetivo, vamos apenas consign-la informalmente. Valorao uma FUNO. Mas...que uma funo?7 Nada mais que uma especial relao entre conjuntos. Especial porque se d entre dois conjuntos, um deles o domnio e o outro o contradomnio. Para cada elemento do domnio atribudo (e essa uma palavra chave!) um elemento do conjunto do contradomnio. Sendo que: i)nenhum elemento do domnio pode ficar sem o correspondente no conjunto do contradomnio; ii)nenhum elemento do domnio pode ter mais de um nico correspondente (embora algum elemento do contradomnio possa corresponder a mais de um do domnio). Assim, se o conjunto domnio {eu, voc} e o contradomnio {minha namorada, sua(seu) namorada(o)}, ento teramos a seguinte funo: domnio contradomnio
eu
sua(seu) namorada(o)
voc
minha namorada
Desculpe-me se esti ver sendo muito elementar. que isso no me pareceu evidente no ano de 2009.
24
Note duas coisas: a)ningum ficou solteiro; b)minha namorada poderia ficar com voc, desde que voc no ficasse com a sua(seu) namorada(o): domnio contradomnio
eu
voc
minha namorada
O que segue no seria uma funo, porque um elemento do domnio teria duas imagens (obs: dizemos imagem o elemento do contradomnio ao qual
corresponde ao menos um elemento do domnio).
N
domnio
contradomnio
eu
F U N
voc
minha namorada
Da mesma forma que voc no pode ficar com sua(seu) namorada(o) e, tambm, com a minha namorada ao mesmo tempo; uma frmula tambm no pode ser verdadeira e falsa ao mesmo tempo (ter dois namorados) - p. da bivalncia. Mas, deixando de lado o assunto relacionamentos, oportuno explicitar o que objetivamos dizer com a afirmao de que valorao uma funo e, sendo, destacar entre quais conjuntos essa relao se estabelece.
25
Com essa explicao, queremos dizer-lhe que estabelecer a valorao relacionar os elementos do conjunto das frmulas (conjunto domnio) com o conjunto das valncias (que so s duas: verdadeiro ou falso. Insistimos no princpio da bivalncia!). Assim temos: conj. das frmulas (domnio) ... 0 (falso) 1 (verdadeiro) conj. das valncias (contradomnio)
Isso (e nada mais que isso) estabelecer a valorao de uma frmula. atribuir-lhe uma (e nica) valncia dentre duas possveis (1 ou 0). A definio de valorao fornecer, ainda, as clusulas (os critrios) segundo os quais a relao entre as frmulas e as valncias (a funo que a valorao) ser estabelecida. Essas clusulas so os seguintes: 1 clusula: se possui valorao 0, ento ~ possuir valorao 1. Veja no esquema: conj. das frmulas (domnio) conj. das valncias (contradomnio)
1 (verdadeiro) 0 (falso)
26
como se a funo dissesse-lhe: se a frmula est ligada a 1; ento ligue a frmula ~ ao 0. 2 clusula: se e possuem valorao 1, ento & possuir valorao 1. No esquema: conj. das frmulas (domnio) 1 (verdadeiro) & 0 (falso) conj. das valncias (contradomnio)
3 clusula: se e possuem valorao 0, ento v possuir valorao 0. No esquema: conj. das frmulas (domnio) 1 (verdadeiro) v 0 (falso) conj. das valncias (contradomnio)
27
4 clusula: se possui valorao 1 e possui valorao 0, ento possuir valorao 0. No esquema: conj. das frmulas (domnio) 1 (verdadeiro) 0 (falso) conj. das valncias (contradomnio)
5 clusula: se possuir a mesma valorao de (ou seja: ambos 1 ou ambos 0), ento possuir valorao 1. No esquema: conj. das frmulas (domnio) 1 (verdadeiro) 0 (falso) OU 1 (verdadeiro) 0 (falso) conj. das valncias (contradomnio)
28
Em sntese: 1 clusula: v(~)=1 sse v()=0 for 0. Leia-se: a valncia de ~ ser 1 se e somente se (apenas) a valncia de 2 clusula: v(&)=1 sse v()=v()=1 Leia-se: a valncia de & ser 1 se e somente se (apenas) tanto a valncia de quanto de for 1. 3 clusula: v(v)=0 sse v()=v()=0 Leia-se: a valncia de v ser 0 se e somente se (apenas) tanto a valncia de quanto de for 0. 4 clusula: v()=0 sse v()=1 e v()=0 Leia-se: a valncia de () ser 0 se e somente se (apenas) a valncia de for 1 e de for 0. 5 clusula: v()=1 sse v()=v() Leia-se: a valncia de () ser 1 se e somente se (apenas) a valncia de for igual de .
1.3.3 Tabelas de verdade Tabela de verdade genrica: a) b) c) d) 1 1 0 0 1 0 1 0 & 1 0 0 0 v 1 1 1 0 1 0 1 1 1 0 0 1
Observe, por oportuno, que nas colunas esquerda ( e ) devem constar apenas (frise-se: apenas) frmulas atmicas e, abaixo, todas as combinaes possveis. Isso porque, nas colunas direita, teremos as frmulas das quais vamos descobrir a valncia (1 ou 0; verdadeira ou falsa) em todas as
29
combinaes possveis das atmicas. Isso ficar mais claro com os exemplos. Mas antes deles, notemos o seguinte: A tabela indica na linha a que, se as atmicas e possuem valor de verdade (chamamos de valor 1), ento, pelo princpio da composicionalidade, teremos que as moleculares &, v, , , possuem valor de verdade (1). Na linha b, que, se for valor 1 e valor 0, ento & possui valor 0; v, valor 1; , valor 0; e , valor 0. Na linha c, que, se for valor 0 e valor 1, ento & possui valor 0; v, valor 1; , valor 1; e , valor 0. Na linha d, que, se for valor 0 e valor 0, ento & possui valor 0; v, valor 0; , valor 1; e , valor 1. Tabela com o operador da negao (~): mais simples: a) b) 1 0 0 1
Na linha a, que, se for valor 1, ento ~ possui valor 0; ao passo que na linha b, que, se for valor 0, ento ~ possui valor 1. Repare que, ao calcularmos a valncia das frmulas moleculares de acordo com todas as valncias possveis das atmicas, teremos todas as valncias possveis das moleculares. Observe ento: se for P e for Q, teramos: P 1 1 0 0 Q 1 0 1 0 P&Q 1 0 0 0 PvQ 1 1 1 0 P Q 1 0 1 1 P Q 1 0 0 1
30
Mas e se tivssemos: como P&Q e como Q? Bom, como agora a pouco dissemos, esquerda s frmulas atmicas; direita aquelas cuja valncia descobriremos com base nelas. P 1 1 0 0 Q 1 0 1 0 (P&Q)&Q 1 1 1 0 0 0 0 0 1 1 1 0 0 0 1 0 1 0 0 0 (P&Q)vQ 1 1 1 0 0 0 0 0 1 1 1 0 0 0 1 1 1 0 0 0 (P&Q)Q 1 1 1 0 0 0 0 0 1 1 1 0 1 0 1 1 1 0 1 0 (P&Q)Q 1 1 1 0 0 0 0 0 1 1 1 0 1 0 1 0 1 0 1 0
A leitura da tabela acima fcil. Veremos passo-a-passo. Dela se pode extrair em primeiro lugar, que so 4 (quatro) as combinaes possveis entre as valncias de P e Q: P 1 1 0 0 Q 1 0 1 0
Para obter o n de combinaes possveis, eleve 2 ao n. de frmulas atmicas: P, Q: 22=4; P, Q, S: 23=8; P, Q, S, R: 24=16; P, Q, S, R, H: 25=32...
Depois, para da deduzirmos a valncia da frmula molecular (P&Q)&Q, precisamos: primeiro, estabelecer a valncia de P e de Q, para depois estabelecermos a valncia de P&Q, e, em seguida, da frmula toda. Foi o que fizemos. Vejamos as etapas: 1 passo: estabelecer a valncia de P e de Q: P 1 1 0 0 Q 1 0 1 0 1 1 0 0 (P&Q)&Q 1 0 1 0 1 1 0 0 (P&Q)vQ 1 0 1 0 1 1 0 0 (P&Q)Q 1 0 1 0 1 1 0 0 (P&Q)Q 1 0 1 0
Observe que at aqui simplesmente transpomos todas as valncias possveis de P e de Q, distribuindo-as na tabela para clculo da primeira parte da
31
frmula: (P&Q). 2 passo: estabelecer a valncia de P&Q: Com a valncia de P e de Q, podemos estabelecer a de P&Q (princpio da composicionalidade), logo: P 1 1 0 0 Q 1 0 1 0 (P&Q)&Q 1 1 1 0 0 0 0 0 1 0 1 0 (P&Q)vQ 1 1 1 0 0 0 0 0 1 0 1 0 (P&Q)Q 1 1 1 0 0 0 0 0 1 0 1 0 (P&Q)Q 1 1 1 0 0 0 0 0 1 0 1 0
Lembre-se que, de acordo com a definio de valorao (cf. item 1.3.2 supra) , no operador da conjuno (&), o valor de &=1 se e somente se (apenas) se a valorao de =1 e a de tambm (v()=v()=1). Isso quer dizer que P&Q s ser verdadeiro na hiptese de a valorao de P=Q=1, em todas as outras ser falso. Visualize, recordando:
8
P 1 1 0 0
Q 1 0 1 0
P&Q 1 0 0 0
Foi o que fizemos acima. Encontramos em todas as frmulas a valncia da sub-frmula (P&Q).
O texto est repleto de ref erncias cruzadas . Elas tm por f inalidade favorecer uma leitura sistemtica do material. Portanto, no deixe de conferir todas elas, sem exceo, na medida em que aparecem no material. Para tanto, a partir do item indicado, vej a no ndice a pgina, consultando (ou recordando) o ponto pertinente, depois volte origem para prosseguir na leitura. D trabalho, mas vale a pena.
32
3 passo: falta, agora, calcular a valncia da frmula inteira, mas para isso precisamos incluir na tabela as valncias da atmica Q sozinha: P 1 1 0 0 Q 1 0 1 0 (P&Q)&Q 1 1 1 0 0 0 0 0 1 0 1 0 1 0 1 0 (P&Q)vQ 1 1 1 0 0 0 0 0 1 0 1 0 1 0 1 0 (P&Q)Q 1 1 1 0 0 0 0 0 1 0 1 0 1 0 1 0 (P&Q)Q 1 1 1 0 0 0 0 0 1 0 1 0 1 0 1 0
trabalho mecnico, mas precisamos prestar muita ateno para no trocar o sinal. 4 passo: agora s calcular a valncia da frmula total com base na valncia das subfrmulas: P 1 1 0 0 Q 1 0 1 0 (P&Q)&Q 1 1 1 0 0 0 0 0 1 0 1 0 1 0 1 0 (P&Q)vQ 1 1 1 0 0 0 0 0 1 0 1 0 1 0 1 0 (P&Q)Q 1 1 1 0 0 0 0 0 1 0 1 0 1 0 1 0 (P&Q)Q 1 1 1 0 0 0 0 0 1 0 1 0 1 0 1 0
(P&Q)&Q 1 0 0 0 1 0 0 0 1 0 1 0
Note em negro as valncias possveis da frmula inteira (P&Q)&Q com base na valncias das sub-frmulas (P&Q) e Q.
O operador principal, como voc pode ver a & (conjuno), logo s ser verdadeira se a valncia de (P&Q)=Q=1; nas demais ser falsa. Para uma viso global, desta ltima etapa:
33
P 1 1 0 0
Q 1 0 1 0
(P&Q)&Q 1 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0
(P&Q)vQ 1 0 1 0 1 0 1 0
(P&Q)Q 1 0 0 0 1 1 1 1 1 0 1 0
(P&Q)Q 1 0 0 0 1 1 0 1 1 0 1 0
Veja, tambm, que, conforme o operador, a valncia, por bvio, acaba por variar. Assim, na valncia de P=1 e de Q=0, teramos: v((P&Q)&Q)= 0 (falso) v((P&Q)vQ)= 0 (falso) v((P&Q)Q)= 1 (verdadeiro) v((P&Q)Q)= 1(verdadeiro) Comprovando: P 1 Q 0 (P&Q)&Q 0 0 0 0 (P&Q)vQ 0 0 (P&Q)Q 0 1 0 (P&Q)Q 0 1 0
Leia-se v((P&Q)&Q)=0 assim: valorao de (P&Q)&Q igual a zero.
1.3.4 Noo de modelo, consistncia, consequncia lgica e de validade Pode ocorrer de na prova o exerccio pedir para o aluno indicar: a)se determinada valorao modelo de um certo conjunto de frmulas; b)se determinado conjunto de frmulas consistente; c)se certa frmula consequncia lgica de algum conjunto de frmulas; d)a respeito do status semntico de alguma frmula. Para resolver tais indagaes, precisaremos expor ainda que superficialmente alguma noo de valorao modelo, conjunto consistente, consequncia lgica e de tautologia, contradio e contingncia. o que
34
faremos a seguir, porm uma ressalva se faz necessria: como o prprio ttulo j diz, queremos consignar uma mera noo, a compreenso cabal das definies e melhores explicaes apenas sero alcanadas por meio das aulas do prof. Manholi.
1.3.4.1 Noo de valorao modelo Cumpre-nos recordar que valorao funo entre o conjunto das frmulas (domnio) e o das valncias (contradomnio). Podemos representar uma valorao modelo da seguinte forma: conj. das frmulas (domnio) 0 (falso) 1 (verdadeiro) conj. das valncias (contradomnio)
Notem que a caracterstica da valorao modelo que todas as frmulas de alcanam nela valorao 1. Vejamos o seguinte agora:
35
conj. das frmulas (domnio) P PvQ P(PvQ) QvP
conj. das valncias (contradomnio)
Do esquema acima, precisamos achar uma valorao tal que todas as frmulas de sejam verdadeiras: P, PvQ, P(PvQ), QvP. Como? Vejamos primeiro as valoraes possveis: P v1 v2 v3 v4 1 1 0 0 Q 1 0 1 0
Como j dito (cf. item 1.3.3), para saber o n de valoraes possveis eleve a 2 o n. de frmulas atmicas do conjunto . No caso: P e Q, logo 22= 4.
No conjunto acima so possveis apenas quatro valoraes: v1, v2, v3 e v4. Mas qual delas modelo de ? Analisemos cada uma delas: P v1 v2 v3 v4 1 1 0 0 Q 1 0 1 0 P 1 1 0 0 PvQ 1 1 1 0 P(PvQ) QvP 1 1 1 1 1 1 1 0
Utilize o procedimento das tabelas de verdade que acabamos de ver.
36
Observe, ento, que so valoraes modelo do conjunto acima as seguintes valoraes: v1 e v2. De outra parte, no so valoraes modelo as v3 e v4. A primeira (v3) porque v(P)=0; a segunda (v4) porque v(P)=0, v(PvQ)=0 e v(QvP)=0. Podemos indicar assim: v1,v2
1.3.4.2 Noo de conjunto consistente Por sua vez, conjunto consistente aquele no qual existe pelo menos uma valorao modelo. Logo, o conjunto acima {P, PvQ, P(PvQ), QvP} consistente, pois possui duas valoraes modelo (v1 e v2), isto , valoraes em que todas as frmulas obtiveram valncia 1. Podemos indicar assim: v1,v2 Como exemplo de conjunto no consistente poderamos citar o conjunto {~P, PvQ, P(PvQ), ~QvP}, pois nenhuma das valoraes possveis constituem modelo dele: P v1 v2 v3 v4 1 1 0 0 Q 1 0 1 0 ~P 0 0 1 1 PvQ 1 1 1 0 P(PvQ) ~QvP 1 1 1 1 1 1 0 1
ATENO: Vamos admitir que na prova casse o seguinte exerccio: Verifique se os conjuntos de frmulas abaixo so consistentes: a)P, PvQ, P(PvQ), QvP b)~P, PvQ, P(PvQ), ~QvP A resposta : O conjunto a consistente nas valoraes v1 e v2. O conjunto b inconsistente.
37
1.3.4.3 Noo de consequncia lgica Uma frmula ser consequncia lgica de um argumento (conjunto de frmulas ) quando obtiver valorao 1 em todas as valoraes modelo do conjunto . Nesse caso diz-se: ( consequncia lgica de ; ou implica ). Como bem diz Motari: Isso corresponde ideia informal de sempre que as frmulas so veradeiras, verdadeira (2001, p.149). Retomemos o exemplo anterior: {P, PvQ, P(PvQ), QvP}. P, PvQ, P(PvQ), QvPQ&P?
Essa pergunta pode ser dita de vrias maneiras: i)Q&P consequncia lgica do conjunto ? ii)Sempre que as frmulas do conjunto forem verdadeiras, Q&P tambm ser? iii)Q&P obtm valorao 1 em todas as valoraes modelo do conjunto ?
P v1 v2 1 1
Q 1 0
P 1 1
PvQ 1 1
P(PvQ) QvP 1 1 1 1
Q&P 1 0
Note que na v1 Q&P tem valor 1, mas na v2 a valorao 0, logo Q&P no consequncia lgica de , ou Q&P. P, PvQ, P(PvQ), QvPQP? P v1 v2 1 1 Q 1 0 P 1 1 PvQ 1 1 P(PvQ) QvP 1 1 1 1 Q P 1 1
1, logo QP.
Agora em ambas as valoraes modelo de (v1 e v2) o valor de QP
38
Uma observao: apenas uma tautologia pode ser consequncia lgica de um conjunto vazio {}, assim: P, mas Pv~P (tautologia, cf. prx. item).
1.3.4.4 Noo de tautologia, contradio e contingncia Tautologia atribuo de qualquer frmula que obtenha valor 1 em qualquer valorao possvel. Ex: (P v ~P). P v1 v2 1 0 ~P 0 1 Pv~P 1 1
Nas duas valoraes possveis, Pv~P obtm valor 1, o que significa que qualquer que seja o P no mundo real, Pv~P ser sempre verdadeiro. uma tautologia. Contradio o oposto. Trata-se de uma frmula cujo valor 0 em qualquer valorao possvel. Ex: (P & ~P)
P v1 v2 falso. 1 0
P&~P 0 0
Ou seja, em qualquer situao do mundo real, sempre P&~P ser
Perceba que tautologia no contradio ~(P&~P); contradio no tautologia ~(Pv~P). Eis a prova: P v1 v2 1 0 ~(P&~P) ~(Pv~P) 1 1 0 0
39
Seguindo essa linha de raciocnio, contingente ser a frmula que dependendo da valorao poder ser 1 ou 0. Ex: PQ P v1 v2 v3 v4 1 1 0 0 Q 1 0 1 0 PQ 1 0 1 1
Nas valoraes v1, v3 e v4 PQ 1; na v2, 0.
40
1.3.4.5 Exerccios dados em sala no ano de 2009 EXERCCIO 1: Considere os seguintes conjuntos de frmulas: A={P~Q, R~Q, ~Rv~S, S} B={(PvQ)~R, ((RvS)v~P)Q, ~R} D={~TvH, P} Considere as seguintes valoraes: P v(1) v(2) 1 1 Q 0 1 R 0 1 S 1 0 T 0 1 H 0 0
EXERCCIO 1: Determine quais dessas afirmaes so corretas: a)v1A b)v1B c)v1D d)v2A e)v2B f)v2D g)v1AUB h)v1AUD i)v1BUD j)v1AUBUD k)v2AUB l)v2AUD m)v2BUD n)v2AUBUD o)v1AB
Para compreender bem os enunciados, mister consignar a seguinte noo de algumas operaes entre conjuntos: Unio (U): conjunto dos elementos de dois ou mais conjuntos. AUB={x/ xA ou xB}; Interseco ():conjunto dos elementos que pertencem a ambos os conjuntos. AB={x/ xA e xB}; Diferena (-):conjunto dos elementos que pertencem a um conjunto, mas no pertencem ao outro. A-B={x/ xA e xB}.
41
p)v2BD q)v1A-B r)v2B-A
EXERCCIO 2: Verifique se os conjuntos abaixo de frmulas so consistentes: a)A b)B c)D d)AUB e)AUD f)BUD g)AUBUD h)AB i)B-D
EXERCCIO 3: Determine quais as seguintes afirmaes so corretas: a)AP b)A~P c)B~R&~((PVQ)&R) d)DJP e)AUD~Kv(M~N) f)AD~P g)ADPv~P h)APv~P i)BPv~P j)DPv~P
42
EXERCCIO 4: Determine o status semntico das seguintes frmulas :

9
1) P 2) PvP 3) P~~P 4) (P&P)&P 5) (PvP)P 6) (PvP)P 7) (P&P)P 8) (((Pv~P)&P)P)~P 9) (Pv~Q)~R 10) (PvQ)(QvP) 11) (PQ)(P&~Q) 12) Pv~P 13) PP 14) ~(P&~P) 15) ((PQ)&(QR))(PR) 16) (P&Q)(Q&P 17) (PvQ)(QvP) 18) (PQ)(QP) 19) (P&(QvR))((P&Q)v(P&R)) 20) (Pv(Q&R))((PvQ)&(PvR)) 21) (P&(Q&R))((P&Q)&R) 22) ((PQ)R)(P(QR)) 23) (P(QR))((PQ)R) 24) (Pv(QvR))((PvQ)vR) 25) ((PvQ)&(PR))((QS)(RvS))
Alm dos exerccios formulados pelo prof. Manholi em acrescentamos al gumas tautologias indicadas em Mortari, 2001, p.146.
2009,
43
26) ((PQ)&P)Q 27) ((PQ)&~Q)~P 28) ~(P&Q)(~Pv~Q) 29) ~(PvQ)(~P&~Q) 30) ((PvQ)&~P)Q 31) (PQ)(~Q~P) 32) ((PvQ)&~P)Q 33) ((PQ)P)P 34) ~P(PQ) 35) P(QP) 36) ((P&Q)R)((P&~R)~Q) 37) ((P&Q)R)(P(QR))
44
RESPOSTAS AOS EXERCCIOS 1 A 4:
1.3.4.5.1 Resposta comentada ao exerccio 1 a)v1A A assertiva acima (v1A) significa que a valorao 1 modelo do conjunto A. Abaixo recordemos a valorao 1 e o conjunto A:
P v(1) 1 Q 0 R 0 S 1 T 0 H 0
A={P~Q, R~Q, ~Rv~S, S}
Para descobrirmos se a afirmao est correta ou no, montaremos uma tabela na qual cada frmula do conjunto A ser submetida valorao 1:
P 1 Q 0 R 0 S 1 T 0 H 0 1 P~Q 1 1 0 R~Q 0 1
P 1
Q 0
R 0
S 1
T 0
H 0 1
~Rv~S 1 0
S 1
Valorao das frmulas de A em v1 P~Q R~Q ~Rv~S S 1 0 1 1
Visualize o seguinte:
45
conj. das frmulas (domnio)

P~Q R~Q ~Rv~S S
conj. das valncias (contradomnio)
Para que v1A, todas as setas deveriam apontar para 1 (verdadeiro). O resultado, como se pressente, que a valorao 1 no modelo do conjunto A, justamente porque, segundo v1, a valorao da frmula R~Q zero. Logo, podemos responder: a)v1A
Interessante destacar que se tivssemos a negao de R~Q, ento teramos uma valorao modelo. Noutros dizeres, v1 valorao deste conjunto: A={P~Q, ~(R~Q), ~Rv~S, S}, ou seja, v1A.
46
b)v1B Seguiremos o mesmo procedimento de resoluo:

P v(1) 1 Q 0 R 0 S 1 T 0 H 0
B={(PvQ)~R, ((RvS)v~P)Q, ~R}
P 1
Q 0
R 0
S 1
T 0
H 0 1
(PvQ)~R 1 0 1 1 0 1
((RvS)v~P)Q 1 1 0 0 0
~R 1
Resposta: b)v1B c)v1D
P v(1) 1
Q 0
R 0
S 1
T 0
H 0
D={~TvH, P}
P 1
Q 0
R 0
S 1
T 0
H 0 1
~TvH 1 0
P 1
Agora sim! V1 valorao de D: c)v1D, pois v1(~TvH)=v1(P)=1.
47
d)v2A
P v(2) 1
Q 1
R 1
S 0
T 1
H 0
A={P~Q, R~Q, ~Rv~S, S}
P 1
Q 1
R 1
S 0
T 1
H 0 1
P~Q 0 0 1
R~Q 0 0
P 1
Q 1
R 1
S 0
T 1
H 0 0
~Rv~S 1 1
S 0
Resposta: d)v2A. e)v2B
P v(2) 1
Q 1
R 1
S 0
T 1
H 0
B={(PvQ)~R, ((RvS)v~P)Q, ~R}
P 1
Q 1
R 1
S 0
T 1
H 0
(PvQ)~R (irrelevante)
((RvS)v~P)Q (irrelevante)
~R 0
Se v2(R)=1; ento v2(~R)=0 e, quaisquer que forem as valoraes das demais frmulas, a resposta ser: e)v2B
48
f)v2D
P v(2) 1 Q 1 R 1 S 0 T 1 H 0
D={~TvH, P}
P 1
Q 1
R 1
S 0
T 1
H 0 0
~TvH 0 0
P 1
Resposta: f)v2D. g)v1AUB
P v(1) 1
Q 0
R 0
S 1
T 0
H 0
AUB={P~Q, R~Q, ~Rv~S, S, (PvQ)~R, ((RvS)v~P)Q, ~R}10
P 1
Q 0
R 0
S 1
T 0
H 0 1
P~Q 1 1 0
R~Q 0 1
P 1
Q 0
R 0
S 1
T 0
H 0 1
~Rv~S 1 0
S 1
P 1
Q 0
R 0
S 1
T 0
H 0 1
(PvQ)~R 1 0 1 1 0 1
((RvS)v~P)Q 1 1 0 0 0
~R 1
Relembrando: Unio (U): conj unto dos elementos de dois ou mai s conj untos. AUB ={x/ x A ou x B}.
10
49
Veja-se, a partir do exposto acima, que se v1 no modelo de A, tampouco de B, fica fcil inferir que no o ser de AUB, logo podemos responder: g)v1AUB
h)v1AUD
P v(1) 1
Q 0
R 0
S 1
T 0
H 0
AUD={P~Q, R~Q, ~Rv~S, S, ~TvH, P}
Se v1 no valorao modelo de A, mesmo que seja de D, no ser de AUD, logo: Resposta: h)v1AUD. i)v1BUD
P v(1) 1
Q 0
R 0
S 1
T 0
H 0
BUD={(PvQ)~R, ((RvS)v~P)Q, ~R, ~TvH, P}
A mesma coisa: se v1 no valorao modelo de B, tambm no ser de BUD, logo: Resposta: i)v1BUD.
50
j)v1AUBUD
P v(1) 1
Q 0
R 0
S 1
T 0
H 0
AUBUD={P~Q, R~Q, ~Rv~S, S, (PvQ)~R, ((RvS)v~P)Q, ~R, ~TvH, P }
isso mesmo! Se v1 no modelo nem de A, tampouco de B, ento no ser modelo de AUBUD, assim podemos dizer: Resposta: j)v1AUBUD. k)v2AUB
P v(2) 1
Q 1
R 1
S 0
T 1
H 0
AUB={P~Q, R~Q, ~Rv~S, S, (PvQ)~R, ((RvS)v~P)Q, ~R}
Pelos mesmos motivos. Se v2 no valorao modelo ... Resposta: k)v2AUB.
51
l)v2AUD
P v(2) 1
Q 1
R 1
S 0
T 1
H 0
AUD={P~Q, R~Q, ~Rv~S, S, ~TvH, P}
Pelos mesmos motivos: Resposta: l)v2AUD. m)v2BUD
P v(2) 1
Q 1
R 1
S 0
T 1
H 0
BUD={(PvQ)~R, ((RvS)v~P)Q, ~R, ~TvH, P}
Pelos mesmos motivos: Resposta: m)v2BUD.
52
n)v2AUBUD
P v(2) 1
Q 1
R 1
S 0
T 1
H 0
AUBUD={P~Q, R~Q, ~Rv~S, S, (PvQ)~R, ((RvS)v~P)Q, ~R, ~TvH, P}
Resposta: n)v2AUBUD. o)v1AB
P v(1) 1
Q 0
R 0
S 1
T 0
H 0
AB={}11
Aqui uma particularidade apareceu. A interseo entre os conjuntos A e B d conjunto vazio{}.

Compare os conjuntos A e B: A={P~Q, R~Q, ~Rv~S, S} B={(PvQ)~R, ((RvS)v~P)Q, ~R} No h frmulas comuns. Observe que S frmula s no conj.A, no conj.B subfrmula: ((RvS)v~P)Q.
A propsito, consigne-se que todas as valoraes so modelo do conjunto vazio {}, pois no h nenhuma frmula cuja valorao que possa ser
Relembrando: Inters eco ( ): conj unto dos elementos que pert encem a ambos os conj untos. A B ={x/ x A e x B}.
11
53
falsa. No caso do conjunto vazio, como no h frmulas, ento qualquer valorao modelo deste conjunto, logo: Resposta: o)v1AB. p)v2BD
P v(2) 1
Q 1
R 1
S 0
T 1
H 0
BD={}
Pelos motivos acima (vide item o) Resposta: p)v2BD.
54
q)v1A-B
P v(1) 1
Q 0
R 0
S 1
T 0
H 0
A-B={P~Q, R~Q, ~Rv~S, S}12
S uma observao: o conjunto A-B igual ao A, pois no existem elementos em B que possam ser eliminados do A.
Fossem dois conjuntos assim: A={P, R, S} B={S, Q, T}, ento A-B={P, R}, pois A-B={x/ xA e xB} e, tambm, B-A={Q,T}, pois B-A={x/ xB e xA} !
A concluso, ento, j foi referida na letra a, pois, se sabemos que, v1 no modelo de A, tambm no ser de A-B, logo: Resposta: q)v1A-B. r)v2B-A
P v(2) 1
Q 1
R 1
S 0
T 1
H 0
B-A={(PvQ)~R, ((RvS)v~P)Q, ~R}
Porque B-A igual a B, ento vide letra e deste exerccio. Resposta: r)v2B-A.
12
Relembrando: Dif erena (-): conj unto dos elementos que pertencem a u m conj unto, mas no pertencem ao outro. A-B ={x/ x A e x B}.
55
1.3.4.5.2 Resposta comentada ao exerccio 2 Esse exerccio solicitava ao aluno que verificasse a (in)consistncia de conjuntos. Rememoremos, pois, os indicados no enunciado: A={P~Q, R~Q, ~Rv~S, S} B={(PvQ)~R, ((RvS)v~P)Q, ~R} D={~TvH, P} a)A Bom, se conjunto consistente aquele no qual existe pelo menos uma valorao modelo, precisamos verificar todas as possveis valoraes do conjunto A. Havendo alguma delas modelo, podemos parar e concluir pela consistncia; caso contrrio, isto , no havendo nenhuma valorao modelo, ento opinaremos pela inconsitncia. O procedimento para verificao da consistncia/inconsistncia ser destacado passo a passo na pgina seguinte.
56
v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16
P 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0
Q 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0
R 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0
S 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0
P~Q R~Q 1 0 0 1 1 1 0 0 0 0 0 0 1 1 1 1 1 0 1 0 1 1 0 0 1 1 1 1 1 0 1 0 0 1 1 0
~Rv~S
1 0 1 0 0 1 1 0 1
0 0
1 0 0 0
S 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0
X X X X X X X X X X X X X X X
1 PASSO: Todas as valoraes nas quais v(S)=0 j esto descartadas, pois no podem ser modelo. Logo, de incio, j exclumos as valoraes v2, v4, v6,v 8, v10, v12, v14, v16.
2 PASSO: Calculadas as valoraes restantes para a frmula P~Q, outras duas foram descartadas, a saber, v1 e v3. 3 PASSO: Calculadas as valoraes restantes para a frmula R~Q, outras trs foram descartadas, a saber, v7, v9 e v15.
4 PASSO: Calculadas as valoraes restantes para a derradeira frmula ~Rv~S, outras duas foram descartadas, a saber, v5 e v13.
CONCLUSO: sobrou a v11, o que significa que uma valorao modelo do conjunto A, logo ele consistente. H trs formas de responder a questo, a critrio do aluno: OPO DE RESPOSTA 01: v11A, logo A consistente.
57
OPO DE RESPOSTA 02: P Q R S v 0 1 0 1 modelo. O Conj. A consistente. OPO DE RESPOSTA 03: v(P)=0 v(Q)=1 v(R)=0 v(S)=1 b)B P 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 Q 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 R 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 S 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 (PvQ)~R ((RvS)v~P)Q ~R 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1
Essa valorao modelo de A, logo A consistente.
X X
1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 0 0 0 0 0 1 1
1 1 0 1 1 0 1 1 1 0 0 0 1 1 0 1 1 0 0 0 0 0 1 0
X X X X X
0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 0 0 0 1 1 1 1
0 0 0 1 1 0 1 1 1 1 0 0 0 0 0 1 1 0 0 0 1 1 0 0
X X X X
Resposta: v3, v4, v8, v11, v12B logo B consistente.
58
c)D
v1 v2 v3 v4 v5 v6 v7 v8 Resposta:
T 1 1 1 1 0 0 0 0
H 1 1 0 0 1 1 0 0
P 1 0 1 0 1 0 1 0
~TvH 0 1 1 0 1 1 0 1 1 0 1 0
P 1 0 1 0 1 0 1 0
X X X X X
v1, v5, v7D logo D consistente. d)AUB P 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 Q 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 R 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 S 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 P~Q R~Q ~Rv~S S (PvQ)~R ((RvS)v~P)Q ~R 0 0 1 0 0 1 0 1 0 0 1 1 1 0 0 1 1 1 0 1 0 0 0 1 0 0 1 0 1 1 0 1 0 1 1 1 1 0 1 1 1 1 1 1 1 0 1 0 0 0 1 1 0 0 1 1 1 0 1
X X X X X X X X X X X X X X X
Neste exerccio, para demonstrao da consistncia do conjunto AUB,
59
devemos alinhar todas as frmulas de ambos os conjuntos e todas as frmulas atmicas. Como so as mesmas, so as idnticas as valoraes possveis para ambos os conjuntos A e B, logo se a v11 modelo de ambos os conjuntos, ento tambm o ser do conjunto AUB, como demonstramos acima. Resposta: v11AUB, logo AUB consistente. e)AUD P 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 Q 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 Com 6 frmulas atmicas, teremos 64 valoraes possveis (26). R S T H P~Q R~Q ~Rv~S S ~TvH P 1 1 1 1 1 0 0 1 1 1 1 1 0 1 0 0 1 1 1 1 0 1 1 0 0 1 1 1 1 0 0 1 0 0 1 1 1 0 1 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 0 0 1 0 1 1 1 1 0 0 1 1 0 1 1 0 1 0 0 1 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 0 1 1 1 1 1 1 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 0 0 0 1 1 1 1 0 0 1 1 1 1 1 1 0 0 0 1 1 1 0 1 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 0 0 1 0 1 1 1 1 1 1 0 1 1 1 1 0 1 0 1 1 1 0 1 1 0 1 1 1 0 1 1 1 1 0 1 0 0 0 1 0 1 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 0 1 0 0 1 1 1 0 1 1 1 1 0 1 1 1 0 1 0 0 1 1 0 1 0 0 1 0 0 1
v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 v22 v23 v24 v25 v26 v27 v28 v29 v30
X X X X X X X X X X X X X X X X X X X X X X X X X
X X
60
v31 v32 v33 v34 v35 v36 v37 v38 v39 v40 v41 v42 v43 v44 v45 v46 v47 v48 v49 v50 v51 v52 v53 v54 v55 v56 v57 v58 v59 v60 v61 v62 v63 v64
1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0
0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0
0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0
1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0
0 0
1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
X X X X X X X X X X X X X X X X X X X X X X X X X X X X X X X X X X
Resposta: v25, v27, v28AUD, logo AUD consistente.
61
f)BUD P 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 Q 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 R 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 S 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 T 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 H 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 (PvQ)~R ((RvS)v~P)Q ~R 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 1 1 0 0 0 1 1 1 0 1 1 0 1 1 1 0 0 0 1 1 1 0 1 1 0 1 1 1 0 0 0 1 1 1 0 1 1 0 1 1 1 0 0 0 1 1 1 0 1 1 0 0 0 0 0 1 0 1 1 1 0 1 1 0 0 0 0 0 1 0 1 1 1 0 1 1 0 0 0 0 0 1 0 1 1 1 0 1 1 0 0 0 0 0 1 0 1 ~TvH P 1 1 1 1 1 1 1 1 0 1 1 1 0 0 0 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 0 0 1 1 1 1 1 1 1 0 1 0 0 0 0 0
v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 v22 v23 v24 v25 v26 v27 v28 v29 v30 v31 v32 v33 v34 v35 v36 v37
X X X X X X X X X
X X X X X X X X X X X X X
X X X X X
62
v38 v39 v40 v41 v42 v43 v44 v45 v46 v47 v48 v49 v50 v51 v52 v53 v54 v55 v56 v57 v58 v59 v60 v61 v62 v63 v64
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0
0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0
1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0
0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
X X X X X X X X X X X X X X X X X X X X X X X X X X X
Resposta: v9, v11, v12, v13, v14, v15, v16, v29, v31, v32BUD, logo BUD consistente. g)AUBUD
v1 v2 v3
P 1 1 1
Q 1 1 1
R 1 1 1
S 1 1 1
T 1 1 0
H 1 0 1
(PvQ)~R ((RvS)v~P)Q ~R ~TvH P 0 1 X 0 1 X 0 1 X
63
v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 v22 v23 v24 v25 v26 v27 v28 v29 v30 v31 v32 v33 v34 v35 v36 v37 v38 v39 v40 v41 v42 v43 v44 v45
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0
1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1
1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0
1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0
0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1
0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1
1 1 1 1 1 1 1 1
1 1 1 1 1 1 1 1
1 1 1 1 1 1 1 1
1 1 1 1 1 1 1 1
1 1 1 1 1 1 1 1
0 0 0 0 0 0 0 0
1 1 1 1 0 0 0 0
1 1 1 1 0 0 0 0
1 1 1 1 0 0 0 0
0 0 0 0 0 0 0 0
1 1 1 1 1 1 1 1
1 1 1 1 1 1 1 1
1 1 1 1 1 1 1 1
1 1 1 1 1 1 1 1
0 0 0 0 0 0 0 0
1 1 1 1 1 1 1 1
1 1 1 1 1 1 1 1
0 0 0 0 0 0 0 0
1 1 1 1 0 0 0 0
1 1 1 1 0 0 0 0
1 1 1 1 0 0 0 0
0 0 0 0 0 0 0 0
0 0 0 0 1 1 1 1
0 0 0 0 0 0 0 0
0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1
0 0 1 1 0 1 1 1
1 0 1 1 1 1 1 1
1 0 1 0 1 0 1 0
0 0 1 1
1 0 1 1
1 0 1 0
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0
X X X X X X
64
v46 v47 v48 v49 v50 v51 v52 v53 v54 v55 v56 v57 v58 v59 v60 v61 v62 v63 v64
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0
0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0
1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0
0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
X X X X X X X X X X X X X X X X X X X
J fizemos BUD, acima. Vamos fazer, agora, o conjunto A para as valoraes modelo de BUD: P Q R 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 0 0 1 0 0 1 0 0 S 1 1 1 0 0 0 0 0 0 0 T H P~Q R~Q ~Rv~S 1 1 1 0 0 0 1 1 0 0 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 0 1 0 0 S 1 1 1 0 0 0 0 0 0 0
v9 v11 v12 v13 v14 v15 v16 v29 v31 v32
X X X X X X X X X X
Observe que todas as valoraes modelo de BUD no so valoraes modelo de A, logo o conjunto AUBUD INCONSISTENTE, pois nenhuma valorao possvel modelo desse conjunto.
65
h)AB Novamente temos o conjunto vazio. Lembremos que AB={} (cf. resposta ao do exerccio 1 item o). Nesta ocasio destacou-se que todas as valoraes so modelo do conjunto vazio, logo ele CONSISTENTE. i)B-D O conjunto B-D={(PvQ)~R, ((RvS)v~P)Q, ~R}, que igual ao conjunto B, pois todas as frmulas deste conjunto no pertencem ao conjunto D. Se assim , ento basta a releitura da resposta ao item b para deduzir-se que so valoraes modelo do conjunto B-D: P Q R S v3 1 1 0 1 v4 1 1 0 0 v8 1 0 0 0 v11 0 1 0 1 v12 0 1 0 0 Se v3, v4, v8, v11, v12B-D, ento B-D consistente.
66
1.3.4.5.3 Resposta comentada ao exerccio 3 O exerccio 3 traz assertivas sobre consequncia lgica. Para resolvermo-lo precisamos verificar se a frmula que se aponta como consequncia verdadeira em todas as valoraes modelo do conjunto indicado. Dois pontos, entretanto, merecem destaque desde logo:
I M P O R T A N T E
[a]diante de um conjunto vazio {}, apenas uma tautologia seria consequncia lgica. Explico: dizer que a significa que a verdadeira na dependncia de nada; que a verdadeira independente de qualquer coisa, logo s uma tautologia pode ser consequncia lgica do conjunto vazio; [b]diante de um conjunto inconsistente, qualquer frmula consequncia lgica, porque, a no existir nenhuma valorao modelo, ento qualquer que seja a frmula a no haver uma hiptese em que a falsa e as premissas sejam verdadeiras [por premissas entenda-se as frmulas pertencentes ao conjunto inconsistente]. a)AP
Lembremos a valorao modelo do conjunto A que apuramos no item 1.3.4.5.2 em resposta ao exerccio anterior: v(P)=0, v(Q)=1, v(R)=0, v(S)=1. Logo, P no consequncia lgica do conjunto A, pois assume valorao 0 na valorao modelo deste conjunto, logo: A P b)A~P vista do item anterior, fica fcil deduzir que ~P consequncia lgica do conjunto A, visto que na nica valorao modelo deste conjunto a frmula obtm valorao 1, logo: A~P
67
c)B~R&~((PvQ)&R) Valoraes modelo do conjunto B segundo exerccio anterior: P 1 1 1 0 0 Q 1 1 0 1 1 R 0 0 0 0 0 S 1 0 0 1 0 ~R&~((PvQ)&R) 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 0 0 0 1 1 1 0 1 1 0 0 1 1 1 0 1 1 0 0
v3 v4 v8 v11 v12
Note, como indicado em amarelinho, que em todas as valoraes modelo do conjunto B a frmula ~R&~((PvQ)&R) obm valorao 1, de modo que se trata de consequncia lgica: B~R&~((PvQ)&R) d)DJP T 1 0 0 1 0 0 H 1 1 0 1 1 0 P 1 1 1 1 1 1 J 1 1 1 0 0 0 J P 1 1 1 1 1 1 1 1 1 1 1 1
v1 v5 v7 v1 v5 v7
1 1 1 0 0 0
Neste exerccio sucedeu uma peculiaridade. Veja que a subfrmula J no aparecia no conjunto D, logo para cada valorao modelo deste conjunto J pode ser 1 ou 0, razo pela qual tivemos, alm de incluir a frmula esquerda, dobrar o nmero de linhas para comportar as duas novas possibilidades em cada uma das valoraes modelo. Se eventualmente a explicao acima ficou complicada, h uma outra opo talvez mais simples, porm trabalhosa. H dois passos importantes para tanto: devemos elaborar uma nova tabela de verdade incluindo a frmula atmica que no aparece no conjunto, isto , J (1 passo); depois checaramos se a frmula JP verdadeira em todas as valoraes modelo obtidas (2 passo).
68
1 passo: v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 2 passo: T 1 1 0 0 0 0 H 1 1 1 1 0 0 P 1 1 1 1 1 1 J 1 0 1 0 1 0 J P 1 1 1 1 1 1 T 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 H 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 P 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 J 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 ~TvH 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 1 0 1 0 1 0 P 1 1 0 0
X X X X X X
1 1 0 0 1 1 0 0
X X
X X
v1 v2 v9 v10 v13 v14
1 0 1 0 1 0
1 1 1 1 1 1
Como visto, o resultado o mesmo: D J P
69
e)AUD~Kv(M~N) As valoraes modelo do conjunto AUD, como verificado anteriormente, so as seguintes: P Q R S T H v25 1 0 0 1 1 1 v27 1 0 0 1 0 1 v28 1 0 0 1 0 0 A afirmao acima diz que a frmula ~Kv(M~N) consequncia lgica desse conjunto, porm fcil notar que nenhuma das frmulas atmicas da suposta consequncia lgica esto presentes no conjunto, o que significa que as valoraes modelo do conjunto AUD no interferiro na verdade/falsidade da consequncia lgica apontada pelo enunciado do exerccio. Diante disso, cabe-nos verificar se dentre as valoraes possveis da frmula ~Kv(M~N) ela verdadeira em todas, logo a afirmao apenas ser correta se a frmula ~Kv(M~N) for uma tautologia. Vejamos: K M N ~Kv(M~N) v1 1 1 1 0 0 1 0 0 v2 1 1 0 0 1 1 1 1 v3 1 0 1 0 1 0 1 0 v4 1 0 0 0 0 0 0 1 v5 0 1 1 1 1 1 0 0 v6 0 1 0 1 1 1 1 1 v7 0 0 1 1 1 0 1 0 v8 0 0 0 1 1 0 0 1 Da tabela acima, verifica-se que a frmula ~Kv(M~N) no uma tautologia, logo no consequncia lgica de AUD.Assim: AUD~Kv(M~N)
Sintetizando: toda vez que na frmula a tida por consequncia lgica no houver nenhuma frmula atmica presente num conjunto G, ento a s ser consequncia lgica deste conjunto se for uma tautologia. E note-se: tautologia no clculo proposicional; verdade lgica no clculo de predicados. Leiamos a explicao do nosso prof. Manholi: no clculo proposicional, se a consequncia lgica de G, e no ocorre em a nenhuma varivel proposicional que ocorre em alguma das frmulas em G, ento a uma tautologia; no clculo de predicados, se a consequncia lgica de G, e no ocorre em a nenhuma constante predicativa que ocorre em alguma das frmulas em G, ento a uma verdade lgica.
70
f)AD~P Recordando os conjuntos do enunciado, temos: A={P~Q, R~Q, ~Rv~S, S} D={~TvH, P} Como se pressente, o conjunto AD vazio, logo apenas uma tautologia poderia ser uma consequncia lgica deste conjunto (para recordar, vide anotaes importantes no item 1.3.4.5.3). ~P contingente: v1 v2 Logo: AD ~P g)ADPv~P h)APv~P i)BPv~P j)DPv~P
ATENO: Pv~P uma tautologia, logo conseqncia lgica de qualquer conjunto, verdadeira que em qualquer valorao possvel. Assim, todas as assertivas de g a j esto corretas.
P 1 0
~P 0 1
71
1.3.4.5.4 Resposta comentada ao exerccio 4 Para determinar o status semntico de qualquer frmula do clculo proposicional, devemos montar uma tabela de verdade. Resultando a valorao 1 em todas as valoraes possveis, ser uma tautologia; resultando 0, uma contradio; ocorrendo 1 em algumas e 0 em outras, ento ser uma contingncia. 1) P P possui duas valoraes possveis, logo contingente. P v1 1 v2 0 2) PvP P PvP v1 1 1 1 1 v2 0 0 0 0 PvP, a exemplo de P, assume duas valoraes possveis. Na v1 PvP 1; na v2, 0, logo a frmula contingente. 3) P~~P P P~~P v1 1 1 1 1 0 1 v2 0 0 1 0 1 0 Qualquer que seja a valorao de P, a frmula P~~P possui valorao 1, logo se trata de uma tautologia. o princpio da dupla negao. 4) (P&P)&P P (P&P)&P v1 1 1 1 1 1 1 v2 0 0 0 0 0 0 Em v1, a valorao de (P&P)&P 1; em v2, 0. Assim, pelos motivos acima, trata-se de contingncia.
72
5) (PvP)P P (PvP)P v1 1 1 1 1 1 1 v2 0 0 0 0 1 0 Intuitiva tautologia: PvP sempre implicar P. 6) (PvP)P P (PvP)P v1 1 1 1 1 1 1 v2 0 0 0 0 1 0 Tautologia. Cuida-se do princpio da idempotncia do v, segundo Motari. 7) (P&P)P P (P&P)P v1 1 1 1 1 1 1 v2 0 0 0 0 1 0 Tautologia da idempotncia do &. 8) (((Pv~P)&P)P)~P P (((Pv~P)&P)P)~P v1 1 1 1 0 1 1 1 1 0 0 v2 0 0 1 1 0 0 1 0 1 1 Contingncia.
73
9) (Pv~Q)~R v1 v2 v3 v4 v5 v6 v7 v8 Contingente. 10) (PvQ)(QvP) v1 v2 v3 v4 Tautologia. 11) (PQ)(P&~Q) v1 v2 v3 v4 Contingente. 12) Pv~P P Pv~P v1 1 1 1 0 v2 0 0 1 1 Tautologia. Princpio do terceiro excludo. P 1 1 0 0 Q 1 0 1 0 (PQ)(P&~Q) 1 1 1 0 1 0 0 1 0 0 1 1 1 1 0 1 1 0 0 0 0 0 1 0 0 0 0 1 P 1 1 0 0 Q 1 0 1 0 (PvQ)(QvP) 1 1 1 1 1 1 1 1 1 0 1 0 1 1 0 1 1 1 1 1 0 0 0 0 1 0 0 0 P 1 1 1 1 0 0 0 0 Q 1 1 0 0 1 1 0 0 R 1 0 1 0 1 0 1 0 (Pv~Q)~R 1 1 0 0 0 1 1 0 1 1 1 1 1 0 0 1 1 1 1 1 0 0 0 1 0 0 0 0 1 1 0 1 1 0 0 0 1 1 1 1
74
13) PP P P P v1 1 1 1 1 v2 0 0 1 0 Tautologia. Princpio da identidade. 14) ~(P&~P) P ~(P&~P) v1 1 1 1 0 0 v2 0 1 0 0 1 Tautologia. Princpio da no contradio. 15) ((PQ)&(QR))(PR) P Q R ((PQ)&(QR))(PR) v1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 v2 1 1 0 1 1 1 0 1 0 0 1 1 0 0 v3 1 0 1 1 0 0 0 0 1 1 1 1 1 1 v4 1 0 0 1 0 0 0 0 1 0 1 1 0 0 v5 0 1 1 0 1 1 1 1 1 1 1 0 1 1 v6 0 1 0 0 1 1 0 1 0 0 1 0 1 0 v7 0 0 1 0 1 0 1 0 1 1 1 0 1 1 v8 0 0 0 0 1 0 1 0 1 0 1 0 1 0 Tautologia. Silogismo hipottico. 16) (P&Q)(Q&P) P Q (P&Q)(Q&P) v1 1 1 1 1 1 1 1 1 1 v2 1 0 1 0 0 1 0 0 1 v3 0 1 0 0 1 1 1 0 0 v4 0 0 0 0 0 1 0 0 0 Tautologia. Comutatividade do &.
75
17) (PvQ)(QvP) P Q (PvQ)(QvP) v1 1 1 1 1 1 1 1 1 1 v2 1 0 1 1 0 1 0 1 1 v3 0 1 0 1 1 1 1 1 0 v4 0 0 0 0 0 1 0 0 0 Tautologia. Comutatividade do v. 18) (PQ)(QP) P Q (PQ)(QP) v1 1 1 1 1 1 1 1 1 1 v2 1 0 1 0 0 1 0 0 1 v3 0 1 0 0 1 1 1 0 0 v4 0 0 0 1 0 1 0 1 0 Tautologia. Comutatividade da . 19) (P&(QvR))((P&Q)v(P&R)) P Q R (P&(QvR))((P&Q)v(P&R)) v1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 v2 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 0 v3 1 0 1 1 1 0 1 1 1 1 0 0 1 1 1 1 v4 1 0 0 1 0 0 0 0 1 1 0 0 0 1 0 0 v5 0 1 1 0 0 1 1 1 1 0 0 1 0 0 0 1 v6 0 1 0 0 0 1 1 0 1 0 0 1 0 0 0 0 v7 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 1 v8 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 Tautologia. Princpio distributivo do &/v.
76
20) (Pv(Q&R))((PvQ)&(PvR)) P Q R (Pv(Q&R))((PvQ)&(PvR)) v1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 v2 1 1 0 1 1 1 0 0 1 1 1 1 1 1 1 0 v3 1 0 1 1 1 0 0 1 1 1 1 0 1 1 1 1 v4 1 0 0 1 1 0 0 0 1 1 1 0 1 1 1 0 v5 0 1 1 0 1 1 1 1 1 0 1 1 1 0 1 1 v6 0 1 0 0 0 1 0 0 1 0 1 1 0 0 0 0 v7 0 0 1 0 0 0 0 1 1 0 0 0 0 0 1 1 v8 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 Tautologia. Tambm princpio distributivo do &/v. 21) (P&(Q&R))((P&Q)&R) P Q R (P&(Q&R))((P&Q)&R) v1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 v2 1 1 0 1 0 1 0 0 1 1 1 1 0 0 v3 1 0 1 1 0 0 0 1 1 1 0 0 0 1 v4 1 0 0 1 0 0 0 0 1 1 0 0 0 0 v5 0 1 1 0 0 1 1 1 1 0 0 1 0 1 v6 0 1 0 0 0 1 0 0 1 0 0 1 0 0 v7 0 0 1 0 0 0 0 1 1 0 0 0 0 1 v8 0 0 0 0 0 0 0 0 1 0 0 0 0 0 Tautologia. Princpio da associatividade do &. 22) ((PQ)R)(P(QR)) P Q R ((PQ)R)(P(QR)) v1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 v2 1 1 0 1 1 1 0 0 1 1 0 1 0 0 v3 1 0 1 1 0 0 1 1 1 1 1 0 1 1 v4 1 0 0 1 0 0 1 0 1 1 1 0 1 0 v5 0 1 1 0 1 1 1 1 1 0 1 1 1 1 v6 0 1 0 0 1 1 0 0 1 0 1 1 0 0 v7 0 0 1 0 1 0 1 1 1 0 1 0 1 1 v8 0 0 0 0 1 0 0 0 1 0 1 0 1 0 Tautologia. Princpio da associatividade da .
77
23) (P(QR))((PQ)R) P Q R (P(QR))((PQ)R) v1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 v2 1 1 0 1 0 1 0 0 1 1 1 1 0 0 v3 1 0 1 1 0 0 0 1 1 1 0 0 0 1 v4 1 0 0 1 1 0 1 0 1 1 0 0 1 0 v5 0 1 1 0 0 1 1 1 1 0 0 1 0 1 v6 0 1 0 0 1 1 0 0 1 0 0 1 1 0 v7 0 0 1 0 1 0 0 1 1 0 1 0 1 1 v8 0 0 0 0 0 0 1 0 1 0 1 0 0 0 Tautologia. Princpio da associatividade da . 24) (Pv(QvR))((PvQ)vR) P Q R (Pv(QvR))((PvQ)vR) v1 1 1 1 1 1 1 1 1 1 1 1 1 1 v2 1 1 0 1 1 1 1 0 1 1 1 1 1 v3 1 0 1 1 1 0 1 1 1 1 1 0 1 v4 1 0 0 1 1 0 0 0 1 1 1 0 1 v5 0 1 1 0 1 1 1 1 1 0 1 1 1 v6 0 1 0 0 1 1 1 0 1 0 1 1 1 v7 0 0 1 0 1 0 1 1 1 0 0 0 1 v8 0 0 0 0 0 0 0 0 1 0 0 0 0 Tautologia. Princpio da associatividade do v.
1 0 1 0 1 0 1 0
78
25) ((PvQ)&(PR))((QS)(RvS)) P Q R S ((PvQ)&(PR))((QS)(RvS)) v1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 v2 1 1 1 0 1 1 1 1 1 1 1 1 1 0 0 1 1 1 0 v3 1 1 0 1 1 1 1 0 1 0 0 1 1 1 1 1 0 1 1 v4 1 1 0 0 1 1 1 0 1 0 0 1 1 0 0 1 0 1 0 v5 1 0 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 v6 1 0 1 0 1 1 0 1 1 1 1 1 0 1 0 1 1 1 0 v7 1 0 0 1 1 1 0 0 1 0 0 1 0 1 1 1 0 1 1 v8 1 0 0 0 1 1 0 0 1 0 0 1 0 1 0 0 0 0 0 v9 0 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 v10 0 1 1 0 0 1 1 1 0 1 1 1 1 0 0 1 1 1 0 v11 0 1 0 1 0 1 1 1 0 1 0 1 1 1 1 1 0 1 1 v12 0 1 0 0 0 1 1 1 0 1 0 1 1 0 0 1 0 0 0 v13 0 0 1 1 0 0 0 0 0 1 1 1 0 1 1 1 1 1 1 v14 0 0 1 0 0 0 0 0 0 1 1 1 0 1 0 1 1 1 0 v15 0 0 0 1 0 0 0 0 0 1 0 1 0 1 1 1 0 1 1 v16 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 Tautologia. Dilema Construtivo. 26) ((PQ)&P)Q P Q ((PQ)&P)Q v1 1 1 1 1 1 1 1 1 v2 1 0 1 0 0 0 1 1 v3 0 1 0 1 1 0 0 1 v4 0 0 0 1 0 0 0 1 Tautologia. Modus ponens. 27) ((PQ)&~Q)~P P Q ((PQ)&~Q)~P v1 1 1 1 1 1 0 0 1 v2 1 0 1 0 0 0 1 1 v3 0 1 0 1 1 0 0 1 v4 0 0 0 1 0 1 1 1 Tautologia. Modus tollens.
1 0 1 0
0 0 1 1
79
28) ~(P&Q)(~Pv~Q) P Q ~(P&Q)(~Pv~Q) v1 1 1 0 1 1 1 1 0 0 v2 1 0 1 1 0 0 1 0 1 v3 0 1 1 0 0 1 1 1 1 v4 0 0 1 0 0 0 1 1 1 Tautologia. Lei de De Morgan.
0 1 0 1
Essa coluna o oposto da terceira, porque nega as valncias de P&Q, em ~(P&Q).
29) ~(PvQ)(~P&~Q) P Q ~(PvQ)(~P&~Q) v1 1 1 0 1 1 1 1 0 0 v2 1 0 0 1 1 0 1 0 0 v3 0 1 0 0 1 1 1 1 0 v4 0 0 1 0 0 0 1 1 1 Tautologia. Lei de De Morgan.

Vide observao acima.
0 1 0 1
30) ((PvQ)&~P)Q P v1 1 v2 1 v3 0 v4 0 Tautologia.
Q 1 0 1 0
1 1 0 0
1 1 1 0
((PvQ)&~P)Q 1 0 0 1 0 0 0 1 1 1 1 1 0 0 1 1
1 0 1 0
31) (PQ)(~Q~P) P Q (PQ)(~Q~P) v1 1 1 1 1 1 1 0 1 v2 1 0 1 0 0 1 1 0 v3 0 1 0 1 1 1 0 1 v4 0 0 0 1 0 1 1 1 Tautologia. Contraposio.
0 0 1 1
80
32) ((PvQ)&~P)Q P Q ((PvQ)&~P)Q v1 1 1 1 1 1 0 0 1 v2 1 0 1 1 0 0 0 1 v3 0 1 0 1 1 1 1 1 v4 0 0 0 0 0 0 1 1 Tautologia. Silogismo disjuntivo. 33) ((PQ)P)P P Q v1 1 1 1 v2 1 0 1 v3 0 1 0 v4 0 0 0 Tautologia. Lei de Peirce.
1 0 1 0
1 0 1 1
((PQ)P)P 1 1 1 1 0 1 1 1 1 0 0 1 0 0 0 1
1 1 0 0
34) ~P(PQ) P Q ~P(PQ) v1 1 1 0 1 1 1 v2 1 0 0 1 1 0 v3 0 1 1 1 0 1 v4 0 0 1 1 0 1 Tautologia. Lei de Duns Scot. 35) P(QP) P Q v1 1 1 1 v2 1 0 1 v3 0 1 0 v4 0 0 0 Tautologia. Prefixao. 1 1 1 1 P(QP) 1 1 0 1 1 0 0 1 1 1 0 0 1 0 1 0
81
36) ((P&Q)R)((P&~R)~Q) P Q R ((P&Q)R)((P&~R)~Q) v1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 v2 1 1 0 1 1 1 0 0 1 1 1 1 0 0 v3 1 0 1 1 0 0 1 1 1 1 0 0 1 1 v4 1 0 0 1 0 0 1 0 1 1 1 1 1 1 v5 0 1 1 0 0 1 1 1 1 0 0 0 1 0 v6 0 1 0 0 0 1 1 0 1 0 0 1 1 0 v7 0 0 1 0 0 0 1 1 1 0 0 0 1 1 v8 0 0 0 0 0 0 1 0 1 0 0 1 1 1 Tautologia. Antilogismo.
37) ((P&Q)R)(P(QR)) P Q R ((P&Q)R)(P(QR)) v1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 v2 1 1 0 1 1 1 0 0 1 1 0 1 0 0 v3 1 0 1 1 0 0 1 1 1 1 1 0 1 1 v4 1 0 0 1 0 0 1 0 1 1 1 0 1 0 v5 0 1 1 0 0 1 1 1 1 0 1 1 1 1 v6 0 1 0 0 0 1 1 0 1 0 1 1 0 0 v7 0 0 1 0 0 0 1 1 1 0 1 0 1 1 v8 0 0 0 0 0 0 1 0 1 0 1 0 1 0 Tautologia. Importao/exportao.
82
Cap. 2 2.1 Introduo
Clculo de Predicados de 1 ordem
Em comparao com o clculo proposicional, o clculo de predicados de 1ordem detm um poder muito maior de formalizao da linguagem natural. Se dizemos Scrates homem, no clculo proposicional a formalizao se d com uma simples frmula atmica H; no clculo de predicados, entretanto, usaramos Hs. Note que j apareceu algo novo: um s minsculo depois do H; trata-se de uma constante individual, que significa Scrates. que no clculo proposicional no h espao para formalizao do interior das frmulas atmicas, o que possvel no clculo de predicados. Melhor esclarecendo: no clculo proposicional as frases Joo vai festa, Maria vai festa, Maria irm de Joo todas elas so formalizveis pela a frmula atmica P. J no clculo de predicados h maior preciso na formalizao: para Joo vai festa, usa-se Fj; para Maria vai festa, Fm; e, por fim, Maria irm de Joo, Imj. Percebe-se, com isso, o maior poder de detalhamento da linguagem formal no clculo de predicados. Objetivando as linguagens formais expressar tudo aquilo que com a linguagem natural se pode dizer, quanto maior a aptido na traduo, tanto melhor ser a linguagem formal; e nisso o clculo de predicados sobrepe-se ao proposicional. Outro ponto que ressalta essa maior potencialidade do clculo de predicados a inexistncia no clculo proposicional de smbolos para quantidade, os chamados quantificadores. Destarte, no clculo proposicional no h diferena na formalizao quando se diz todos os homens so mortais, alguns homens so mortais. Tudo se traduz por M. No clculo de predicados, alm dos cinco operadores j vistos (&, v, , , ~), h mais dois justamente para exprimir a ideia de quantidade. So eles o quantificador existencial () e o quantificador universal (). Para dizer alguns homens so mortais, escreve-se: x(Hx&Mx), como significado: existe ao menos um x que homem e mortal. De outra parte, a frase todos os homens so mortais seria formalizada assim: x(HxMx), que significa literalmente: para todo x, se x for homem, ento x mortal. Essa forma meio esquisita de dizer todos os homens so mortais decorre da exatido da linguagem formal. Como j destacado (cf. 1.1), a linguagem natural ambgua, ao passo que a formal unvoca. Observe que x(Hx&Mx) significa: tudo homem e mortal, o que no verdade.
83
2.2 Sintaxe I
2.2.1 Alfabeto O lxico do clculo de predicados o seguinte: B={P, Q, R, S, ..., &, v, , , ~, (, ), a, b, c, d, ..., x, y, w, z, ..., , } Voc pode notar que o lxico de que tratamos composto de todos os smbolos do clculo proposicional (conj. A) mais aqueles destacados em vermelho (a, b, c, d, ..., x, y, w, z, ..., , ). B ser, em oposio ao A(v. 1.2.1 supra), o conjunto dos smbolos (equivalente s letras na linguagem natural) do clculo de predicados. Assim, designamos E(B) o conjunto de todas as expresses do clculo de predicados. So elementos do lxico do clculo de predicados todos os smbolos do clculo proposicional, mais os seguintes:
S M B O L O S N O L G I C O S
a, b, c, d, ...: o conjunto infinito (frisem-se as reticncias) de letras minsculas do alfabeto latino at a letra v13. Elas denotaro as constantes individuais, que se referem a algo individualmente considerado (a um nico indivduo). x, y, w, z, ...: o conjunto infinito de letras minsculas do alfabeto latino a partir da letra x. So as variveis individuais, que denotaro qualquer indivduo.
Ocorre que, a respeito da afirmao de que no lxico do clculo de predicados esto presentes os smbolos do clculo proposicional, importante observar explicitamente que, embora os smbolos coincidam, no necessariamente todos significam o mesmo. Faamos, pois, um quadro comparativo abaixo:
O P E R A D O R E S
L G I C O S
: quantificador universal. : quantificador existencial.
13
Letra v, no operador v.
84
SMBOLOS P, Q, R, S, ... a, b, c, d, ... x, y, w, z, ... () & v ~

Smbolos lgicos
C. PROPOSICIONAL frmulas atmicas no h no h sinais de pontuao operador da conjuno operador da disjuno operador da implicao operador da negao no h no h
C.PREDICADOS constantes predicativas constantes individuais variveis individuais idem idem idem idem idem quantificador universal quantificador existencial
operador da bi-implicao idem
Mais uma vez, vale repisar: esses (e s esses) so os smbolos lingusticos do clculo de predicados. Tambm no ocioso comentar que frmula do tipo P ou P&Q pertencem tanto ao clculo proposicional quanto ao clculo de predicados, porque mesmo neste possvel a existncia de constantes predicativas de grau zero, prprias para designar estados expressos por verbos impessoais14: chove, neva, troveja, amanhecer, relampaguear etc. Pode-se em decorrncia disso dizer, como fizemos no clculo proposicional, que o clculo de predicados a teoria desses sete operadores lgicos (incluindo no conceito de operador os dois quantificadores).
2.2.2 Definies: expresso, frmula atmica, frmula Antes de mais nada, convm passarmos novamente os olhos no item 1.2.2, pois l tratamos do mesmo assunto por ocasio do clculo proposicional.
Para relembrar: so verbos que no atribuem a ao a ningum, no h relao com uma fonte produtora, com uma causa.
14
85
Com efeito, a mesma noo de expresso do clculo proposicional vale aqui tambm para o clculo de predicados, com a diferena - intuitiva at de neste expresso qualquer sequncia finita de elementos de B, no de A. Lembremos ambos os conjuntos para que dvida no remanesa: A={P, Q, R, S, ..., &, v, , , ~, (, )} B={P, Q, R, S, ..., &, v, , , ~, (, ), a, b, c, d, ..., x, y, w, z, ..., , } Ento para uma noo de frmula do clculo de predicados nos valeremos da mesma ideia que expusemos no clculo proposicional. Uma definio recursiva. Assim que:
Clusula 1: frmula atmica do clculo de predicados qualquer expresso que tenha a forma: Pa, Qb, Rc, Sd, ...; Clusula 2: se frmula, ento ~ tambm . Diz-se apenas que a negao de uma frmula uma frmula; Clusula 3: se e so frmulas ento (&), (v), (), () tambm so. Ou seja: dadas duas frmulas, podemos obter outras (frmulas moleculares) por meio de operadores lgicos.
Por conta dos quantificadores, entretanto, mais uma clusula deveremos inserir: O prof. Manholi apresentou uma definio recursiva a partir do conceito de frmula atmica, isto , apresentado o que uma frmula atmica, a definio d critrios para se chegar a todas as outras frmulas. Ser importante t-la presente aqui, pois ela trar clusulas importantes, que devero ser mencionadas na resoluo dos exerccios pela rvore de formao da qual a explicao ser dada na sequncia. Na definio do prof. Manholi:
Clusula 4: se frmula, ento a incluso de um quantificador ou seguido de uma varivel individual que substituir ao menos uma constante individual frmula.
86
Explicando: se temos Fa, ento xFx e xFx so frmulas. Vejam outros exemplos: se frmula: PaQa PaQa PaQb Rab&Sba Rab&Sba ento tambm frmula pela cl.4: x(PxQx) x(PxQa) x(PxyQy) xy(Rxy&Syx) x(Rxb&Sbx)
Lembre-se: basta a substituio de uma varivel.
2.2.2.1 Exerccios dados em sala no ano de 2009 EXERCCIO 1: Determine quais das seguintes expresses de E(B) so frmulas de L(B): a)Fa b)Fx c)~~~~Fa d)(Fa) e)~(Fa) f)(~Fa) g)~Fa h)Fa~Fa i)FaFb j)FaGa k)FaGx l)Rab m)Rba n)Fa~Rba o)(Fa~Rba) p)xFx q)xFa
87
r)aFx s)aFa t)x(Fx~Gx) u)x(FxHy) v)x~Gz w)xx(Fx~Ryx) x)x(FxvGx) y)xFxvxGx z)xx(Fx(Gx v ~Hx)) aa)x(Fx~y(GxvRyx)) ab)x(~Rxa v x(Fx~Gx)) ac)xRxx ad)xyRyx15 ae)xy(Rxy~Ryx) af)xyz((Rxy&Ryz)Rxz)16
2.2.2.1.1 Resposta comentada a)Fa b)Fx c)~~~~Fa d)(Fa) e)~(Fa) f)(~Fa) F (frmula) ~F (no frmula) Varivel livre (viola cl.4) F (frmula) ~F (no frmula) Excesso de parnteses (viola cl.1) ~F (no frmula) Excesso de parnteses (viola cl.2) ~F (no frmula) Excesso de parnteses (viola cl.2)
Note a leitura: para quaisquer dois indivduos, um ter a relao R com o outro. Leitura: para quaisquer trs indivduos, se um tem uma relao R com o outro e esse outro com um terceiro, ento o pri meiro tem a mes ma relao R com o terceiro.
16
15
88
g)~Fa h)Fa~Fa i)FaFb j)FaGa k)FaGx l)Rab m)Rba n)Fa~Rba o)(Fa~Rba) p)xFx q)xFa r)aFx s)aFa t)x(Fx~Gx) u)x(FxHy) v)x~Gz
w)xx(Fx~Ryx)
x)x(FxvGx) y)xFxvxGx z)xx(Fx(Gx v ~Hx)) aa)x(Fx~y(GxvRyx)) ab)x(~Rxa v x(Fx~Gx)) ac)xRxx ad)xyRyx
F (frmula) F (frmula) Faltou parnteses, por concesso dispensam-se o primeiro e o ltimo F (frmula) F (frmula) ~F (no frmula) Varivel livre (viola cl.4) F (frmula) F (frmula) F (frmula) F (frmula) F (frmula) ~F (no frmula) Quantificador no quantifica nenhuma varivel (viola cl.4) ~F (no frmula) Irregularidade na quantificao (viola cl.4) ~F (no frmula) Irregularidade na quantificao (viola cl.4) F (frmula) ~F (no frmula) Varivel livre (viola cl.4) ~F (no frmula) Quantificador no quantifica nenhuma varivel (viola cl.4) Varivel livre (viola cl.4) ~F (no frmula) Quantificao dobrada ou duplicada (viola cl.4) Varivel livre (viola cl.4) F (frmula) F (frmula) F (frmula) F (frmula) ~F (no frmula) Quantificao dobrada ou duplicada (viola cl.4) F (frmula) F (frmula)
89
ae)xy(Rxy~Ryx) af)xyz((Rxy&Ryz)Rxz)
F (frmula) F (frmula)
90
2.3 Semntica
2.3.1 Definio de estrutura Para entendermos a noo de estrutura, vamos recordar duas ideias: a de par ordenado (i) e a de tipos relaes (ii).
2.3.1.1 Par ordenado Lembremos, por oportuno, a noo de par ordenado. A ideia de conjunto no traz a ideia de ordem. Logo se A={1, 3} e B={3, 1}, ento A=B. Porm, a ordem pode ser includa, donde a noo de par ordenado, que indicamos assim: A=<1,3>, que diferente de B=<3,1>, agora AB. Poderamos ter tambm triplas ordenadas: <1,3,4> <3,4,1> <1,4,3>; qudruplas ordenadas <1,8,4,3> e assim avante17.
2.3.1.2 Tipos de relao Outro dado importante a saber so os tipos de relaes. Por qu? Porque ser necessrio compreend-los para atribuirmos estruturas em conjuntos de frmulas consistentes. Pois bem. Por ora, basta-nos citar trs que julgo as mais teis: relaes simtricas, relaes reflexivas e relaes transitivas, comentando um pouco abaixo sobre cada uma delas. a)relaes simtricas: relao de x com y que y tem com x. Ex: ser irmo de; ser da mesma altura que. b)relaes reflexivas: relao consigo mesmo. Ex: ser igual a. c)relaes transitivas: relao que, se x tem com y e y tem com z, ento x tem com z. Ex: ser scio de.
17
Cf. Mortari, 2001, p.51.
91
2.3.1.3 Estrutura Estrutura um par ordenado (sobre par ordenado, vide item 2.3.1.1) assim: <D,I>, onde D um conjunto qualquer e I uma funo que liga algum elemento do conjunto D a constantes predicativas (ex: F) e individuais (ex: a). Explico: a estrutura tem a finalidade de servir de critrio para aferirmos o valor das frmulas do clculo de predicados. Pode-se dizer que uma valorao mais sofisticada (cf. noo de valorao no item 1.3.2). Uma frmula verdadeira ou falsa na estrutura E (E).18 Prosseguindo, diga-se que o conjunto D (domnio) pode ser finito ou infinito, excluindo o conjunto vazio 19. A representao do conjunto D pode se dar de duas formas: a)enumerao: arrolam-se os elementos do conjunto. O rol pode ser exaustivo quando enumeramos todos os elementos ou exemplificativo quando arrolamos alguns de modo a tornar clara a lei de gerao. Exemplo de rol exaustivo: D={Rogrio, Paula, Zilda}; de rol exemplificativo: D={2,4,6,8,...} (fica evidente a lei de gerao: os ns pares). b)descrio: indica-se uma ou mais propriedades comuns a todos os elementos do conjunto, mas que tambm so exclusivas deles, isto , todos e somente eles possuem-na(s)20. Exemplo: A={xA/x homem ou x par}, que significaria um conjunto composto pelos seres humanos do sexo masculino e pelos nmeros pares A={Rogrio, Lucas, ..., 2,4,8...}. Exemplos de conjunto D mencionados pelo prof. Mortari:
o conjunto dos seres humanos; o conjunto dos gatos, gambs e quatis; o conjunto dos nmeros naturais;
Com clareza escreve o prof. Mortari: O papel das estruturas (...) o de especificar os valores semnticos desej ados e, dessa maneira, nos per mitir deter minar se as frmulas so verdadeiras ou falsas na estrutura (2001, p.157, negritei). O prof. Mortari, alm do conj unto vazio, exclui tambm os conj untos infinitos no-enumerveis (Mortari, 2001, p.158). O mes mo prof. Mortari denomina no-enumer veis aqueles conj untos que no podem ser colocados em correspondncia biun voca com o conj unto N (conj unto dos nmeros naturais) e, portanto, no comportariam uma lista de enumerao. Exemplo seria o conj unto R, conj . dos ns reais (cf. Mortari, 2001, p.58-60). Possuir uma propriedade comum e exclusiva no requisito par a for mao de um conj unto, mas penas para representar alguns deles, logo o conj unto A={Lucas, Rogrio, gato, 2 2 , cueca, churrasco} vlido.
20 19
18
92
o conjunto dos nmeros racionais maiores que 32; {Immanuel Kant, Moreira da Silva, 3, Mr. Bean}; {Salma Hayek}. (2001, p.158).
DICAS PARA A PROVA: 1) mais fcil, pois mais controlvel, trabalhar com conjuntos finitos representados por enumerao exaustiva, como se ver a seguir. Observe que o domnio pode ser composto de um nico elemento, ex: D={Chacal}. Cumpre esclarecer, contudo, que nesse caso no se admitem constantes predicativas binrias a no ser que estabeleam relao de identidade. 2)Comece atribudo a intepretao das constantes predicativas presentes a partir das frmulas no moleculares (atmicas e negao das atmicas).
Agora, imaginemos o conjunto D={Lucas, Rogrio, Srgio, Bruno}. A funo I associar os elementos do conjunto D a uma constante individual: I(a)=Lucas; I(b)=Rogrio; I(c)=Srgio; I(d)=Bruno; Pode tambm ligar a alguma constante predicativa, como: I(F)={x/x estudante de filosofia na UEL}, assim: Fa significa que Lucas estudante de filosofia na UEL. Outro exemplo: I(C)={x,y/x colega de sala de y}, logo Cab significa: Lucas colega de sala do Rogrio. Note, pois, que criar uma estrutura nada mais que estabelecer um domnio e uma interpretao para as constantes individuais e predicativas.
93
Na segunda prova do ano de 2009 caiu um exerccio para dizer se o conjunto de frmulas {x(RaxGx); ~Fa; x~Gx} era consistente ou inconsistente. Caso fosse consistente, deveria o aluno dar-lhe uma estrutura. O conjunto consistente, um exemplo de estrutura poderia ser este: E=<D,I> D={Mariana, Carla, Ricardo} I(R)={x,y/x do mesmo sexo que y} I(F)={x/x do sexo masculino} I(G)={x/x do sexo feminino} I(a)=Mariana
MUITA ATENO!!!: Na primeira verso deste material, foi equivocadamente indicada a intepretao para constantes individuais assim: I(a)={Mariana}. Porm, segundo os ensinamentos do professor Manholi: para as constantes individuais necessrio que a funo de interpretao associe-as diretamente aos elementos do domnio. Assim, se o domnio contm Srgio e Paulo D={Srgio, Paulo}; pode-se ter I(a) = Paulo, mas no I(a)={Paulo}. Isso porque {Paulo} um objeto diferente de Paulo; {Paulo} um conjunto cujo elemento nico Paulo; Paulo esse elemento! Pode-se dizer ento que, se D={Paulo, Srgio}, ento {Paulo} D e Paulo D. Enfim, Paulo pode ser uma determinada pessoa, mas {Paulo} outra coisa, a saber: uma abstrao matemtica, adequadamente especificada como o conjunto que tem Paulo como seu nico elemento. Um ltimo exemplo: imagine um conjunto D formado por outros subconjuntos: 21 22 D={{N} , {Paulo}, {R} }. Ora, nesse caso, poderamos ter a interpretao de uma constante individual assim: I(a)={Paulo}, justamente porque o elemento do conjunto D no Paulo, mas {Paulo}. Em sntese: para indicar a interpretao de constantes individuais descreva diretamente os elementos.
vista desta estrutura, observe-se ento: para qualquer elemento do domnio (Mariana, Carla ou Ricardo), se esse tiver o mesmo sexo que a Mariana, ento ele do sexo feminino {x(RaxGx)}. Podemos dizer tambm que Mariana no do sexo masculino {~Fa}, bem como existe ao menos um elemento de D que no do sexo feminino {x~Gx}. Sim! O Ricardo. Note que, nessa estrutura, a relao R do tipo simtrica, se x tem o mesmo sexo que y, ento y tem o mesmo sexo que x. De sua parte, na segunda prova do ano de 2010, um dos exerccios exigia a apresentao de estrutura para o conjunto seguinte, caso fosse
21 22
Conj unto dos nmeros naturais. Conj unto dos nmeros reais.
94
consistente: {(xFxvxGx); x(Rxa~Gx); Rab; Fa}. Poderamos sugerir a seguinte: E=<D,I> D={x/x humano} I(F)={x/x do sexo masculino} I(G)={x/x do sexo feminino} I(R)={x,y/x do mesmo sexo que y} I(a)=Rogrio I(b)=Srgio Note-se: para qualquer elemento do domnio (seres humanos) ou ele do sexo masculino ou do feminino {(xFx v xGx)}; tambm para qualquer ser humano, se ele tiver o mesmo sexo que Rogrio, ento ele no do sexo feminino {x(Rxa~Gx)}; alm disso, Srgio do mesmo sexo que Rogrio {Rba}; e, por fim, Rogrio do sexo masculino {Fa}. Um ltimo exemplo de estrutura. Dado o conjunto A={x(FxHb), ~Hb, y(HbFy), ~Fa}, segue estrutura possvel: E=<D,I> D={Paulo, Srgio} I(F)={x/x do sexo feminino} I(H)={x/x nascido em Londrina/PR} I(a)=Paulo I(b)=Srgio Agora, estaria incorreta uma estrutura assim: E=<D,I> D={x/x humano} I(R)={x/x um rato } X1 I(F)= {x,y/x mais alto que y} X2 I(G)={x/x quadrpede} X3 I(a)=Repblica Federativa do Brasil X4 Vejamos os equvocos: X1: (i)se o domnio dos seres humanos, no possvel uma
95
constante predicativa que contemple uma propriedade impossvel aos elementos de D. Seres humanos no podem ser ratos. (ii)Alm disso outro problema que R uma constante de grau 2 (binria), ou seja, deve necessariamente estabelecer uma relao entre dois indivduos. X2:F uma constante predicativa de grau 1 (unria), isto , atribui uma qualidade a um indivduo. Dizer que F significa ser mais alto que atribuir-lhe grau 2, algo que deve ser reservado para constantes que designam relaes entre dois indivduos como o caso de R. X3: seres humanos so bpedes, no quadrpedes (vide item X1 i). X4: a constante a no pode ser nada alm de um elemento de D, logo um ser humano, coisa que, sabemos, a Repblica Federativa do Brasil no . Por fim uma ltima observao: o nmero de estruturas possveis para um conjunto de frmulas consistente ou mesmo de uma frmula infinito.
Aproveite agora para dar um pulino no item 2.3.4.2, letra a, e acompanhar os passos da indicao de uma estrutura modelo.
2.3.2 Noo de atribuio, verdade, valorao, modelo, consistncia, consequncia lgica e de validade de argumento A questo da atribuio, da verdade e da valorao no clculo de predicados bem similar do clculo proposicional. Portanto, remetemos os colegas ao reexame dos itens 1.3.2 e ss. deste texto. No deixemos de faz-lo! De qualquer forma, aqui chegados, basta-nos destacar que, tal como no clculo proposicional, tambm no de predicados precisamos atribuir valores de verdade (valorar) as frmulas. Tambm como estipulamos clusulas para valorao no clculo proposicional, faremos o mesmo no de predicados, porm gostaria de expor algo adicional sobre a clusula 1 antes de deitar um quadro comparativo cuja leitura, cuido eu, aclarar o tema e eliminar dvidas. Segundo a clusula 1 que veremos a seguir, qualquer frmula atmica do clculo de predicados - digamos Fa - ser atribuda um valor de verdade 1 se a tiver a propriedade F segundo a interpretao de F na estrutura E. Calma! Veja: retomando aquele exemplo que demos acima, que caiu na segunda prova de 2009, podemos dizer que dada a estrutura E=<D,I>, Fa obtm valor 0, j que Mariana no do sexo masculino; ao passo que Raa possui valor
96
1 (pois Mariana tem o mesmo sexo que ela)23. Agora, vamos fazer um quadro comparativo com base nas regras para atribuir valorao:
CLCULO PROPOSICIONAL CLCULO DE PREDICADOS
1 clusula: v(Fa)=1 sse I(a)I(F).24 Leia-se: a valncia de uma frmula atmica do clculo de predicados (ex:Fa) s ser 1 se e somente se (apenas) a interpretao da constante individual (a) pertencer interpretao da constante predicativa (F). Noutros termos: se a interpretao de a for Aristteles e a interpretao de F for ser filsofo, ento v(Fa)=1. Se a interpretao de a for Rogrio, ento v(Fa)=0! 1 clusula: v(~)=1 sse v()=0 Leia-se: a valncia de ~ ser 1 se e somente se (apenas) a valncia de for 0. 2 clusula: v(&)=1 sse v()=v()=1 Leia-se: a valncia de & ser 1 se e somente se (apenas) tanto a valncia de quanto de for 1. 3 clusula: v(v)=0 sse v()=v()=0 Leia-se: a valncia de v ser 0 se e somente se (apenas) tanto a valncia de quanto de for 0. 4 clusula: v()=0 sse v()=1 e v()=0 Leia-se: a valncia de () ser 0 se e somente se (apenas) a valncia de for 1 e de for 0. 5 clusula: v()=1 sse v()=v() Leia-se: a valncia de () ser 1 se e somente se (apenas) a valncia de for igual de . igual 2 clusula: v(~)=1 sse v()=0 Leia-se: a valncia de ~ ser 1 se e somente se (apenas) a valncia de for 0. 3 clusula: v(&)=1 sse v()=v()=1 Leia-se: a valncia de & ser 1 se e somente se (apenas) tanto a valncia de quanto de for 1. 4 clusula: v(v)=0 sse v()=v()=0 Leia-se: a valncia de v ser 0 se e somente se (apenas) tanto a valncia de quanto de for 0. 5 clusula: v()=0 sse v()=1 e v()=0 Leia-se: a valncia de () ser 0 se e somente se (apenas) a valncia de for 1 e de for 0. 6 clusula: v()=1 sse v()=v() Leia-se: a valncia de () ser 1 se e somente se (apenas) a valncia de for igual de . 7 clusula: v(xFx)=1 sse v(Fx)=1 para toda atribuio de x Leia-se: a valncia de uma frmula do tipo xFx s ser 1 se e somente se (apenas) se todas as constantes individuais (a, b, c, d...)
igual
igual
igual
igual
A constante predicativa R tambm pode caracterizar uma relao reflexiva. Nas clus ulas 1, 7 e 8 li mitamo-nos a exemplificar. Tal como fiz na exposio das regras primiti vas com quanti ficadores, a enunciao, que no me arrisco fazer, ser certamente muito bem feita durante as aulas.
24
23
97
tiverem a propriedade (F). No caso dos seres humanos, se a interpretao de M ser mortal [I(M)={xD/x mortal}], ento v(xFx)=1, pois para qualquer indivduo x ele mortal. 8 clusula: v(xFx)=1 sse v(Fx)=1 para ao menos uma atribuio de x Leia-se: a valncia de uma frmula do tipo xFx s ser 1 se e somente se (apenas) se ao menos uma constante individual (a ou b ou c ou d...) tiver a propriedade (F). No caso dos seres humanos, se a interpretao de C ser calvo [I(C)={xD/x calvo}], ento v(xFx)=1, pois posso garantir-lhes que existe ao menos um indivduo x que calvo, eu.
Com efeito, atribumos - e de novo essa palavra importante (cf. 1.3.2) valor de verdade ou falsidade para as frmulas no clculo de predicados segundo essas 8 (oito) clusulas, o que nada mais que a aplicao do princpio da composicionalidade: determinamos o valor semntico da frmula (1 ou 0; V ou F) a partir de seus componentes (cf. 1.3.1). Grosso modo, se F ser par; a 1; ento Fa falso (cl.1); pode-se dizer tambm que ~Fa verdadeiro (cl.2), bem como que qualquer que seja b, Fa&Fb falso (cl.3) etc. De outro lado, verdade lgica ser a frmula verdadeira em toda e qualquer estrutura.
Equipara-se tautologia do clculo proposicional.
Noutras palavras, em qualquer estrutura, a frmula (Fav~Fa) ser verdadeira, porque, ainda que, p.ex., a seja Rogrio e F seja ser filsofo (vale dizer, v(Fa)=0), a frmula ser verdadeira com base na clusula 4. Outros exemplos de verdade lgica dados pelo Prof. Manholi em 2009:
~x (Fx&~Fx): no o caso que exista algum x que tem e no tem a propriedade F. Seria a verso do princpio da nocontradio no clculo de predicados, o ~(P&~P) do clculo proposicional.
x(Fxv~Fx): para todo x, ou x tem F ou no tem F. xIxx: todo x igual a x. Princpio da identidade no clculo de
98
predicados.
xFx~x~Fx: todo x tem a propriedade F se e somente se

no for o caso de existir algum x que no tem a propriedade F.
H, por outro lado, aquelas frmulas que, independente da estrutura, sero falsas, como o caso da Fa&~Fa. So as falsidades lgicas.
Equiparadas s contradies do clculo proposicional.
E aquelas que, dependendo da estrutura, so verdadeiras ou falsas (FaGa), so contingncias. Podemos falar, ainda, em estrutura modelo sempre que, em vista de certa estrutura, todas as frmulas de conjunto obtm valor 1 (E). Fica clarssima a semelhana entre estrutura modelo e valorao modelo.
Observao: E significa: a estrutura E modelo de . E significa: tem valor 1 na estrutura E.
Ademais, um conjunto de frmulas consistente se houver pelo menos uma estrutura que lhe seja modelo. Caso contrrio, inconsistente. Noutros dizeres, para que um conjunto seja consistente deve haver ao menos uma estrutura em que todas as frmulas de obtenham valorao 1. A propsito, tomando por hiptese o conjunto A={Rba, Rab, xy(Rxy~Ryx)}, concluo que ele inconsistente, porque a relao entre Rba e Rab contrria relao xy(Rxy~Ryx). Explico: se verdade que para quaisquer dois indivduos, se x tem uma relao R com y, ento y no tem essa relao com x, no poderia ocorrer Rba e Rab, mas Rba e ~Rab. Da mesma forma, posso dizer tambm que, se ocorre Rba e Rab, ento ao menos nesse caso ~(Rba~Rab), o que torna a frmula xy(Rxy~Ryx) falsa (cl.725).
Retomando: a cl.7 exige que a fr mula geral do tipo xFx s ser 1 se e somente se (apenas) se TODAS as constantes individuais (a, b, c, d...) tiverem a propriedade (F).
25
99
Destarte, impossvel atribuir uma estrutura modelo do conjunto A. Finalmente, por consequncia lgica entenda-se uma relao entre uma frmula (concluso) e um conjunto de frmulas (premissas). Aquela frmula que for verdadeira em todas as estruturas modelo de , consequncia lgica. Donde extramos a noo de validade de argumento: um argumento ser vlido quando a concluso for uma consequncia lgica. ATENO 1: Na prtica, o discernimento efetivo dos conceitos expostos acima ser obtido a partir da interpretao das rvores de refutao, das quais o procedimento ser exposto a seguir (v. especialmente anotaes sobre a interpretao em 2.3.3.2.4). ATENO 2: Observe uma pequena alterao na terminologia: CLCULO PROPOSICIONAL valorao modelo tautologia contradio contingente CLCULO DE PREDICADOS estrutura modelo verdade lgica/teorema* falsidade lgica contingente
*Verdade lgica na semntica; teorema na sinttica (cf. item 3.1).
100
2.3.3 rvore de refutao No clculo de predicados, por conta dos quantificadores e , no h como usar tabela de verdade, como sucede no clculo proposicional. A rvore de refutao constitui, ao lado das tabelas, mais um procedimento pelo qual se pode identificar o status semntico de frmulas, a consistncia de conjuntos e a validade de argumentos no clculo de predicados (valendo tambm, claro, para o clculo proposicional).
2.3.3.1 Regras da rvore de refutao Nosso objetivo, como j dito, pragmtico: auxili-lo a passar na prova. Para isso, deveremos saber construir e interpretar a rvore de refutao. Se voc apenas decorar as regras, possvel resolver os exerccios, pois exigem mera aplicao delas, porm a boa compreenso, alm de nos ajudar a memoriz-las, tambm nos ser til quando tratarmos da deduo natural (cf. 3.3.5).
2.3.3.1.1 Uma tentativa de compreenso das regras Recordemos aqui a boa e velha tabela de verdade para frmulas moleculares (cf. supra 2.2.2): a) b) c) d) 1 1 0 0 1 0 1 0 & 1 0 0 0 v 1 1 1 0 1 0 1 1 1 0 0 1
Note, agora, que a frmula molecular & ter valorao 1 em um caso e 0 em todos os outros. Isso significa que, ocorrendo e , a valorao de & ser 1; caso contrrio ser 0.
101
Observe ainda a tabela da negao das frmulas. Nela inverte-se a valorao: a) b) c) d) 1 1 0 0 Porque: (&) 1 0 1 0 1 0 (&) 0 1 1 1 (v) 0 0 0 1 ( () 0 1 0 0 ( () 0 1 1 0
(v)
0 1
Toda vez que (v) for verdadeiro, ~(v) ser falso; e vice-versa. 1 1
Valor de verdade de ( & )
1 0 1 0
(&) 1 0 0 0
(&) 0 1 1 1 1 1 0 0 1 0 0 1 1 0 0 0
Valor de verdade das atmicas e .
0 0
Valor de verdade de ~( & )
Fora convir que, se tivssemos ~( & ), ento, ocorrendo e , a valorao de ~(&) ser 0; caso contrrio ser 1.
102
Vejamos comparativamente: a) b) c) d) 1 1 0 0 1 0 1 0 & 1 0 0 0 (&) 0 1 1 1
Concluamos: para que & seja verdadeiro26, deve ocorrer e ; ao passo que ~(&) ser verdadeiro quando no ocorrer nenhum, ocorrer s ou s . Na tabela a seguir teramos todas as possibilidades que utilizaremos nas regras de derivao da rvore de refutao: frmulas & (&) para que seja verdadeira (valorao 1) ocorre + ocorre ocorre no ocorre nenhum ocorre ocorre no ocorre nenhum ocorre + ocorre + no ocorre , mas ocorre no ocorre nenhum ocorre + no ocorre ocorre e no ocorre nenhum ocorre e no ocorre no ocorre e ocorre n. possibilidades 1 3
(v)
1 3
() ()
1 2 2
26
Lembre-se: tenha val orao 1 - v( & )=1, sse v( )=v( )=1.
103
IMPORTANTE: Todas as vezes que houver mais de uma possibilidade, deveremos abrir ramos na rvore de refutao.
Abriremos ramos nas seguintes frmulas: (&) v () importante anotar que na rvore de refutao so indecomponveis as frmulas atmicas e a negao delas: P, ~P.
2.3.3.1.2 Regras para quantificadores Para o quantificador universal : devemos substituir a varivel ocorrente por todas as constantes individuais que aparecem no ramo; devendo repetir a operao caso apaream novas constantes. Um exemplo segue na prxima pgina:
104
((x(FxGx)&Fa)&Fb)&~Gb ~Gb (x(FxGx)&Fa)&Fb Fb x(FxGx)&Fa Fa x(FxGx)a,b FaGa FbGb ~Fa x ~Fb x Gb x Ga
Para o quantificador existencial : devemos substituir a varivel ocorrente por uma constante individual que no aparea no ramo. Exemplo na prxima pgina:
105
(xFx & Ga) & x~Fx xFx & Ga x~Fx xFx a,b Ga ~Fb Fa Fb x
Observe que x~Fx no pode ser decomposta em ~Fa, porque a contante a j aparecia no ramo na subfrmula Ga. Com efeito, utilizamos ~Fb.
106
2.3.3.1.3 Sntese para memorizao das regras O prof. Manholi no exige a memorizao, pois ele geralmente disponibiliza as regras na prova, mas essa memorizao ajuda muito na resoluo dos exerccios. Eis, portanto, as regras sistematizadas: frmulas & regra empilha exemplo & (&) ~ ~ v (v) () ()
(&)
abre ramos
abre ramos
(v)
empilha
abre ramos
()
empilha
empilha abre ramos
()
empilha abre ramos
107
()
()
subst. a varivel por todas nas const. individuais no ramo, presentes e futuras subst. a varivel por uma const. individual nova no ramo
Ga & Hb xFxa,b Fa Fb Ga & Hb xFx Fc
2.3.3.2 Procedimento de verificao por rvore de refutao
2.3.3.2.1 Para verificar o status semntico de frmulas Verificar o status semntico significar constatar se a frmula uma verdade lgica, uma falsidade lgica ou uma contingncia. Para tanto, deve-se negar a frmula e proceder rvore de refutao. Da, duas possibilidades: a)fecham todos os ramos: ento uma verdade lgica, porque a negao da frmula gerou uma falsidade lgica; b)no fecham todos os ramos: sabemos que no verdade lgica, mas ainda restam duas possibilidades: ou falsidade lgica ou contingente. Ento devemos fazer a rvore sem neg-la (na positiva). Da, duas possibilidades: b1)se fechar todos os ramos da rvore na positiva, ento uma falsidade lgica; b2)se no fechar todos os ramos da rvore na positiva, ento contingente.
108
2.3.3.2.2 Para verificar consistncia de conjuntos de frmulas A rvore de refutao til tambm para verificao de consistncia/inconsistncia de conjuntos de frmulas. Assim, para verificao da consistncia do conjunto A={xFx, x~Gx, Rab, yx(Rxy~Ryx)}, vamos empilhar todas as frmulas e fazer a rvore. Resultando ao menos um ramo aberto, ento o conjunto consistente. Da podemos criar uma estrutura modelo para ele (cf. item 2.3.4.2, resoluo de exerccios). xFx x~Gx yx(Rxy~Ryx) ... (faz-se a rvore)
2.3.3.2.3 Para descobrir consequncias lgicas Por meio da rvore de refutao, ainda, pode-se descobrir se determinada frmula consequncia lgica de certo conjunto de premissas (argumento). Por exemplo: {xFx, x(FxGx)}Ga. Nesse caso devemos empilhar as premissas e negar a concluso, se fecharem todos os ramos, ento consequncia lgica, caso contrrio no. Vejam: xFx x(FxGx) ~Ga ... (faz-se a rvore)
109
2.3.3.2.4 Vejamos passo a passo do procedimento 1passo: negar a frmula que se submete verificao do status semntico. Repise-se: a rvore de refutao! Frmula: xFx ~x~Fx ~(xFx ~x~Fx)
ATENO IMPORTANTE: O PRIMEIRO PASSO: i)para verificar o status semntico: negar a frmula; ii)para verificar consistncia: empilhar as frmulas; iii)para verificar consequncia lgica, empilhar as frmulas (premissas e concluso), negando s a concluso.
ATENO IMPORTANTE: SISTEMATIZAO DA INTERPRETAO DA RVORE: i)para verificar o status semntico: trs possibilidades: a)na rvore da negativa da frmula, todos os ramos fecharam: verdade lgica; b)na rvore da positiva da frmula, todos os ramos fecharam: falsidade lgica; c)na rvore da positiva da frmula, ao menos um ramo ficou aberto: contingncia; Obs: nas alneas b e c apenas faremos a rvore da positiva depois de descartarmos a hiptese da alnea a!
ii)para verificar consistncia: duas possibilidades: a)na rvore todos os ramos fecharam: inconsistente; b)na rvore ao menos um ramo ficou aberto: consistente.
iii)para verificar consequncia lgica: duas possibilidades: a)na rvore todos os ramos fecharam: consequncia lgica; b)na rvore ao menos um ramo ficou aberto: no consequncia lgica.
2passo: identificar o operador principal. ~(xFx ~x~Fx)

Para efeito da rvore de refutao, como operador principal, consideraremos a negao da bi-implicao: ~(a b).
110
3passo: proceder s derivaes da frmula principal at chegar s atmicas (ex.: Fa), incluindo a negao delas (ex.: ~Fa) ~(xFx ~x~Fx)
Destaquei em vermelho esse ramo para explicar uma coisa: observe que na ordem de deduo a primeira frmula a ser deduzida foi a existencial x~Fx, pois para faz-lo precisamos incluir no ramo uma constante individual nova. Com efeito, se deduzssemos primeiro a xFx, j teramos de incluir uma constante (pois nenhuma existe ainda); da na seqncia, quando fssemos deduzir a existencial teramos de incluir uma nova b, e, portanto, derivar novamente xFx para a constante b. Na prxima pgina veremos como ficaria o exerccio deduzindo primeiro a frmula universal. Regra usada no desmembramento: ~( )(~&) v (&~)
~xFx ~x~Fx x~Fx xFx ~Fa
xFx x~Fx ~Fa Fa x

O sinal indicar que a frmula j foi processada.
Vale registrar que nas universais, quando eliminado o quantificador, no utilizamos , mas indicamos a constante individual que utilizamos, porque pode acontecer de termos de faz-lo novamente se alguma constante nova surgir no ramo. Deduo da frmula x~Fx.
Fa x
Como ambos os ramos fecharam, ento trata-se de uma verdade lgica, pois a negao da frmula chegou a uma contradio.
Deduo da frmula xFx.
Indecomponvel.
O x indica que o ramo fechou em virtude da contradio entre ~Fa e Fa.
111
Demonstrao da consequncia da eliminao do universal antes do existencial: ~(xFx ~x~Fx) ~xFx ~x~Fx x~Fx xFx ~Fa Fa x xFx,b x~Fx Fa ~Fb Fb x
Por conta constante eliminar o com essa indicao a,b. da incluso da b, deve-se universal tambm constante. Da a em sobrescrito Veja que o procedimento no est incorreto, porm mais longo.
112
2.3.3.2.5 Outros exemplos comentados 1) xFx~x~Fx

~(xFx~x~Fx) ~xFx xFx x~Fx Fa ~Fa x Fa ~Fa x
Primeiro existencial, universal. extraia depois o o
Lembremos da regra da negao da biimplicao:
~x~Fx
importante desde logo excluir os quantificadores negativos: ~x; ~x.
x~Fx xFx
()
empilha abre ramos
()
Se fecharam todos os ramos, verdade lgica.
113
2) xFx ~x~Fx ~(xFx ~x~Fx) xFx x~Fx ~xFx ~x~Fx
~Fa Fa x
x~Fx xFx ~Fa Fa x
Fecharam todos os ramos, logo verdade lgica.
114
3) ~xFxx~Fx ~(~xFxx~Fx) ~xFx ~x~Fx x~Fx xFx ~Fa Fa x Verdade lgica. xFx x~Fx ~Fa Fa x
115
4) x(FxGa)y(xFx&Hy) ~(x(FxGa)y(xFx&Hy)) x(FxGa)

A constante b porque j existe a no ramo: x(FxGa).
~x(FxGa) y(xFx&Hy) x~(FxGa) xFx&Ha xFx Ha
~y(xFx&Hy) y~(xFx&Hy)
Veja o resultado da excluso do operadory em y~(xFx&Hy). Note tambm que foi necessria a utilizao da constante c, pois j havia as constantes a e b no ramo.
FbGa ~(xFx&Hc) ~xFx x~Fx ~Fd ~Fb ~Hc
Fa Ga ~(FaGa) Fa
~Fb
Ga
~Ga
Note que na rvore acima nenhum ramo fechou. necessrio, ento, fazer a rvore na positiva.
116
x(FxGa)y(xFx&Hy) x(FxGa) y(xFx&Hy)a,b FbGa xFx&Haa,b xFx&Hba,b Fa&Ha Fb&Ha Fa&Hb Fb&Hb Fa Ha Fb Ha Fa Hb Fb Hb ~Fb x Observe que um ramo j no fechou, logo no precisamos fazer o Ga ~x(FxGa) ~y(xFx&Hy)
117
outro ramo para concluirmos que se trata de uma frmula contingente. 5) ~xFxx~Fx ~(~xFxx~Fx) ~xFx ~x~Fx x~Fx xFx Fa ~Fa x Fecharam os ramos, verdade lgica. xFx x~Fx Fa ~Fa x
118
6) (xFx v xGx) x(Fx v Gx) ~((xFx v xGx) x(Fx v Gx)) xFx v xGx ~x(Fx v Gx) x~(Fx v Gx) ~(Fa v Ga) ~Fa ~Ga xFx Fa x xGx Ga x
Verdade lgica, pois todos os ramos fecharam.
119
7) x(Fx v Gx) (xFx v xGx) ~(x(Fx v Gx) (xFx v xGx)) x(Fx v Gx) ~(xFx v xGx) Fa v Ga ~xFx ~xGx x~Fx Fa ~(FavGa) ~Fa x~Gx ~Fa ~Ga Fa x Verdade lgica. Ga x x Ga ~(FavGa) ~Fa ~Ga x ~x(Fx v Gx) xFx v xGx x~(Fx v Gx) xFx xGx
120
8) x(Fx v ~Fx) ~x(Fx v ~Fx) x~(Fx v ~Fx) ~(Fa v ~Fa) ~Fa Fa x Verdade lgica, o que era mesmo intuitivo da leitura da frmula: para todo x ou x tem ou no tem F.
IMPORTANTE: Para se negar x(Fx v ~Fx), usa-se diretamente o sinal ~ no quantificador: ~x(Fx v ~Fx). Por favor, no faa ~(x(Fx v ~Fx)) ! O quantificador no molecular.
121
9) x(FxGx)(xFxxGx) ~(x(FxGx)(xFxxGx)) x(FxGx) ~(xFxxGx) xFx ~xGx x~Gx ~Ga FaGa Fa Ga x Fa x ~Fa ~Ga Fa Ga x ~xFx xGx
Agora j o caso de incluir o ~ entre parnteses, pois o operador principal no o quantificador, mas o operador da implicao .
x~Fx ~Fa FaGa ~Fa ~Ga Ga x
Verdade lgica. O exerccio demonstra como a abertura de ramos e a eliminao dos operadores pode ser seletiva a fim de proporcionar fechamento de ramos o mais rpido possvel.
122
10) x(FxGx)x(FxGx) ~(x(FxGx)x(FxGx))

Vale a pena repetir: cuidado para no fazer isto: ~(x(FxGx)) !
x(FxGx) ~x(FxGx) x~(FxGx) FaGa ~(FaGa)
Fa ~Ga Fa Ga x ~Fa ~Ga x Fa Ga x
~Fa Ga ~Fa ~Ga x
Verdade lgica. Acompanhem as setas para verificar a sequncia (que pode variar sem problema nenhum) utilizada.
123
11) xy(Rxy~Ryx) ~xy(Rxy~Ryx) x~y(Rxy~Ryx) ~y(Ray~Rya) y~(Ray~Rya) ~(Rab~Rba) Rab Rba
No verdade lgica, vejamos se falsidade lgica: xy(Rxy~Ryx) y(Ray~Rya) Raa~Raa ~Raa ~Raa
Feita a rvore da positiva, no fechando os ramos, ento a frmula contingente.
124
2.3.4 Exerccios dados em sala no ano de 2009 EXERCCIO 1: Determine quais das seguintes afirmaes correta, considerando as seguintes estruturas: E1=<{x/x humano}, I1> E2=<N, I2> E3=<{x/x planeta do sistema solar}, I3> I1 I1(a)=Plato I1(b)=Newton I1(c)=Lula I1(F)=filsofo I1(G)=fsicos I1(R)=ser anterior a a)E1Fa b)E2Fa c)E3Fa d)E1Gb e)E2Gb f)E3Gb g)E1Rac h)E2Rca i)E3~Rbc I2 I2(a)=5 I2(b)=22 I2(c)=45 I2(F)=pares I2(G)=primos I2(R)=ser menor que I3 I3(a)=Marte I3(b)=Saturno I3(c)=Vnus I3(F)=gasosos27 I3(G)=internos28 I3(R)=ser maior que
a b c F G R
So gas osos: J piter, Saturno, Urano e Netuno; rochosos: M ercrio, Vnus, Terra e Marte. So internos: Mercrio, Vnus, Terra e Mar te; externos: J piter, Saturno, Urano, Netuno e Pluto.
28
27
125
j)E1Fa~Gb k)E2~RcaFc l)E3Rab v Rba m)E1xFx n)E2xGx o)E3x(FxGx) p)E1x(Fx&Gx) q)E2xy(FxRxy) r)E2xy(RxyRyx) s)E2xy(Rxy~Ryx) t)E2xRxx u)E2x~Rxx v)E2xyz((Rxy&Ryz)Rxz) w)E2x(FxyRxy) x)E2~x(FxyRxy) z)E2xy(Fx(Rxy v Ryx))
EXERCCIO 2: Determine quais dos seguintes conjuntos de frmulas so consistentes e prove nos casos positivos, apresentando uma estrutura que seja modelo do conjunto. A={xFx, x~Gx, Rab, yx(Rxy~Ryx)} B={Fa, ~Gb, Rba, xGx} a)A b)B c)AUB EXERCCIO 3: Verifique (prove) quais das seguintes formas de argumentos so vlidas: a){xFx, x(FxGx)} Ga
126
b){xFx, ~x~Fx~xHx29} ~Hb c){xFxxHx, Fa} Hb d){x(Fx v Gx), xHx~Fb, Hc} Gb e){x(HxCx), x(Hx&Mx)} x(Cx&Mx) f){x(Fxy(Fy&~Gy)), xGx} xFxx(Fx&Gx) g){xy(Rxy~Ryx), x~Rxx, Rab} ~Rba h){xy(Rxy~Ryx), ~Rac(~Raa&~Rbc) j){a=b, b=c} a=c xyz((Rxy&Ryz)Rxz), Rab}
i){xFxx(Fx&Gx), x~Gx} x(Fxy(Fy&~Gy))
EXERCCIO 4: Determine o status semntico das seguintes frmulas: a)xFx~x~Fx b)xFx~x~Fx c)~xFxx~Fx d)~xFxx~Fx e)x(FxyHy) f)~x(FxyHy) g)x(Fx&Gx)(xFx&xGx) h)x(Fx&Gx)(xFx&xGx) i)x(Fx v Gx)(xFx v xGx) j)x(Fx v Gx) (xFx v xGx) k)(xFx v xGx)x(Fx v Gx) l)x(Fx v Gx)(xFx v xGx) m)x(Fx v Gx)(xFx v xGx)
Por ~ x~Fx ~ xHx, leia-se: se no for verdade que todos no tem F, ento algum no tem a propriedade H.
29
127
n)(xFx v xGx)x(Fx v Gx) o)x(FxGx)(xFxxGx) p)x(FxGx)(xFxxGx) q)(xFxxGx)x(FxGx) r)x(FxGx)(xFxxGx) s)(xFxxGx)x(FxGx) t)x(FxGx)(xFxxGx) u)x(FxGx)(xFxxGx) v)(xFxxGx)x(FxGx) w)x(FxGx)(xFxxGx) y)x(FxGx)x(FxGx) z)(xFxxGx)x(FxGx) aa)a=a ab)a=b(FaFb)
2.3.4.1 Resposta comentada ao exerccio 1 A fim de responder ao exerccio 1, faz-se necessrio verificar se a frmula a proposta obtm valorao 1 na estrutura E indicada. Para relembrar, v. item 2.3.1.3 supra. a)E1Fa Qual seria a valorao de Fa na estrutura E1? A estrutura, naquilo que nos interessa para resoluo do exerccio, a seguinte: E1=<{x/x humano}, I1> I1 a I1(a)=Plato F I1(F)=filsofo Como a tem a propriedade F segundo a interpretao de F na estrutura E1, ento o caso que E1Fa (Fa tem valor 1 em E1). Noutras palavras, como Plato (a) filsofo (F), ento Fa obtm valor
128
1 na estrutura E1, logo E1Fa30. A propsito, vale a pena retomar item 2.3.2. b)E2Fa Lembremos que nos diz a estrutura E2 sobre Fa: E2=<N, I2> I2 a I2(a)=5 F I2(F)=pares Observe-se que a no tem a propriedade F na interpretao de F na estrutura E2, ento o caso que E2Fa (Fa tem valor 0 em E2). Noutras palavras, como 5 (a) no par (F), ento Fa obtm valor 0 na estrutura E2. c)E3Fa Agora, na estrutura E3: E3=<{x/x planeta do sistema solar}, I3> I3 a I3(a)=Marte F I3(F)=gasosos Marte no planeta gasoso ( rochoso), logo E3Fa. d)E1Gb Em E1: E1=<{x/x humano}, I1> I1 b I1(b)=Newton G I1(G)=fsicos O indivduo b tem a propriedade G na E1? Em outras palavras: Newton fsico? Sim! Logo, E1Gb.
Desculpe-me se insis to em al go que lhe parece trivial, porm o assunto no me pareceu bvi o em 2009, da a razo de meus cansativos regi stros.
30
129
e)E2Gb E2=<N, I2> I2 b I2(b)=22 G I2(G)=primos O indivduo b tem a propriedade G na E2? O nmero 22 primo? No! Logo, E2Gb. f)E3Gb E3=<{x/x planeta do sistema solar}, I3> I3 b I3(b)=Saturno G I3(G)=internos Saturno no planeta interno, logo E3Gb. g)E1Rac Aqui entrou um predicado binrio, contudo o mtodo para resoluo o mesmo. Vejamos: E1=<{x/x humano}, I1> I1 a I1(a)=Plato c I1(c)=Lula R I1(R)=ser anterior a Plato anterior a Lula? Sim! E muito! Logo, E1Rac.
130
h)E2Rca E2=<N, I2> I2 a I2(a)=5 c I2(c)=45 R I2(R)=ser menor que 45 menor que 5? No! Logo, E2Rca. i)E3~Rbc Nesse exerccio a frmula contm o operador da negao (~). Nenhuma dificuldade: E3=<{x/x planeta do sistema solar}, I3> I3 b I3(b)=Saturno c I3(c)=Vnus R I3(R)=ser maior que No o caso que Saturno maior do que Vnus (~Rbc)? Errado! Vnus um planeta pequeno, Saturno um planeta gigante, donde Saturno maior que Vnus (Rbc). Se assim , ento E3~Rbc.
131
j)E1Fa~Gb No muda muito a forma de resoluo com uma frmula molecular como essa. Cumpre-nos, a ttulo de primeiro passo, observar a estrutura E1 naquilo que nos interessa. Ei-la: E1=<{x/x humano}, I1> I1 a I1(a)=Plato b I1(b)=Newton F I1(F)=filsofo G I1(G)=fsicos Diante disso, precisamos saber se Fa~Gb obtm valor 1 em E1. Para tanto, vejamos o valor de cada uma das frmulas atmicas na mesma estrutura: v(Fa)=1, porque Plato filsofo (Fa); v(~Gb)=0, porque Newton fsico (Gb). Lembremos agora das regras para atribuir valorao (v. todas elas em 2.3.2):
5 clusula: v()=0 sse v()=1 e v()=0 Leia-se: a valncia de () ser 0 se e somente se (apenas) a valncia de for 1 e de for 0.
o que sucede no caso, pois em Fa~Gb, o antecedente (Fa) verdadeiro, o consequente (~Gb) falso, logo a frmula molecular Fa~Gb, segundo a clusula 5, possui valorao 0. Logo: E1Fa~Gb, ou seja, na estrutura E1 a valorao de Fa~Gb zero, v(Fa~Gb)=0.
132
k)E2~RcaFc E2=<N, I2> I2 a I2(a)=5 c I2(c)=45 F I2(F)=pares R I2(R)=ser menor que Vejamos as partes da frmula ~RcaFc: v(~Rca)= em E2 no o caso que 45 tem a relao R com 5, porque 45 no menor que 5, logo v(~Rca)=1. v(Fc)= em E2 c no tem a propriedade F, porque 45 no par, logo v(Fc)=0. Agora, com base na clusula 6 abaixo podemos concluir o exerccio:
6 clusula: v()=1 sse v()=v() Leia-se: a valncia de () ser 1 se e somente se (apenas) a valncia de for igual de .
No caso, v(~Rca)v(Fc), com efeito: v(~RcaFc)=0. Logo: E2~RcaFc, ou seja, na estrutura E2 a valorao de ~RcaFc zero.
133
l)E3Rab v Rba E3=<{x/x planeta do sistema solar}, I3> I3 a I3(a)=Marte b I3(b)=Saturno R I3(R)=ser maior que Agora mais sinteticamente: v(Rab)=031 v(Rba)=1 Portanto: v(Rab v Rba)=1, pois:
4 clusula: v(v)=0 sse v()=v()=0 Leia-se: a valncia de v ser 0 se e somente se (apenas) tanto a valncia de quanto de for 0.
Sendo assim: E3Rab v Rba. m)E1xFx E1=<{x/x humano}, I1> I1 I1(a)=Plato a b I1(b)=Newton c I1(c)=Lula F I1(F)=filsofo Temos um quantificador existencial. A frmula xFx indica que existe ao menos uma constante individual na estrutura E1 que detm a propriedade F. Confiro. o caso, pois ao menos o indivduo Plato (a) tem a propriedade de ser filsofo (F), logo E1xFx.
31
Sabemos que Saturno maior que Marte. Faa uma pesquisa no google.
134
n)E2xGx E2=<N, I2> I2 a I2(a)=5 b I2(b)=22 c I2(c)=45 G I2(G)=primos Ser que para qualquer indivduo da estrutura E2, ele tem a propriedade de ser primo (G)? No, pois, p.ex., o indivduo b no primo, logo ~Gb, da que no podemos dizer que para qualquer indivduo x, x tem a propriedade G na estrutura E2 . Logo, E2xGx.
ATENO IMPORTANTE: Quando o exerccio apresenta na frmula um quantificador universal , devemos ter em mente todos os indivduos do domnio, no caso de E2, todos os nmeros naturais N. Logo, ainda que o enunciado do exerccio fosse assim: E2=<N, I2> I2(a)=3 I2(b)=5 I2(c)=7 I2(G)=primos Mesmo nesse caso, a resposta correta seria que xGx obtm valorao 0 na estrutura E2, pois, embora os indivduos a, b e c sejam primos (G), no podemos deixar de considerar a existncia de outros no mencionados explicitamente mas constantes no domnio da estrutura como o caso de 4, 6, 8, 10 etc. que no detm a propriedade de ser primo.
135
o)E3x(FxGx) E3=<{x/x planeta do sistema solar}, I3> I3 a I3(a)=Marte b I3(b)=Saturno c I3(c)=Vnus F I3(F)=gasosos G I3(G)=internos A frmula x(FxGx) significa que para qualquer indivduo x, se x tem F, ento x tem G ou, j considerando as propriedades da estrutura E3, para qualquer indivduo se ele for gasoso, ento ele interno. Para conferir, perscrutaremos quais so planetas do sistema solar que so gasosos (F), para depois saber que todos eles so intermos (G). Havendo algum planeta que gasoso, mas no interno, ento E3x(FxGx). Vejamos: So gasosos: Jpiter, Saturno, Urano e Netuno; so internos: Mercrio, Vnus, Terra e Marte(cf. item 2.3.4 supra). Jpiter, Saturno, Urano, assim como Netuno e Pluto, so externos. Logo, no o caso que, na estrutura E3 para qualquer indivduo x, se x tiver F, ento x tem G. Sendo assim, nossa impresso inicial estava correta. p)E1x(Fx&Gx) E1=<{x/x humano}, I1> I1 a I1(a)=Plato b I1(b)=Newton c I1(c)=Lula F I1(F)=filsofo G I1(G)=fsicos Existe ao menos um x, tal que x tem a propriedade F e a propriedade G o quer dizer a frmula x(Fx&Gx). Parece que o caso, exemplo disso seria o indivduo Newton (b). Logo E1x(Fx&Gx).
136
q)E2xy(FxRxy) E2=<N, I2> I2 a I2(a)=5 b I2(b)=22 c I2(c)=45 F I2(F)=pares R I2(R)=ser menor que Segundo xy(FxRxy), para qualquer indivduo x, existe ao menos um y, sendo que, se x tem a propriedade de ser par (F), ento x menor que y (R). Ser o caso? Sim! Sempre que tivermos um nmero par, haver um outro do qual ele menor. Logo, E2xy(FxRxy). r)E2xy(RxyRyx) E2=<N, I2> I2 a I2(a)=5 b I2(b)=22 R I2(R)=ser menor que O exerccio exige que na estrutura E2 verifiquemos se o caso que para quaisquer dois indivduos x/y, se x menor que y, ento y menor que x: xy(RxyRyx). O contrasenso evidente. Peguemos os indivduos a e b na estrutura E2: v(Rab)=1, pois 5 menor que 22; v(Rba)=0, pois 22 no menor que 5. Logo, na estrutura E2 v(RabRba)=0, o que implica diretamente que v(xy(RxyRyx))=0, pois se trata de uma frmula universal. Logo, E2xy(RxyRyx).
137
s)E2xy(Rxy~Ryx) E2=<N, I2> I2 a I2(a)=5 b I2(b)=22 c I2(c)=45 R I2(R)=ser menor que A resoluo fica mais fcil se compreendermos que a frmula xy(Rxy~Ryx) quer dizer para quaisquer dois indivduos x/y, se x for menor que y, ento y no menor que x, o que nos parece bvio agora. Se 5 menor que 22, ento 22 no menor que 5. Assim, E2xy(Rxy~Ryx). t)E2xRxx E2=<N, I2> I2 a I2(a)=5 b I2(b)=22 c I2(c)=45 R I2(R)=ser menor que Em E2, xRxx diz que para qualquer x, x menor que ele mesmo. Ora, fcil perceber e provar que no: ~Raa, pois 5 no menor que 5. Logo: E2xRxx.
138
u)E2x~Rxx E2=<N, I2> I2 a I2(a)=5 b I2(b)=22 c I2(c)=45 R I2(R)=ser menor que Primeiro relembre o exerccio anterior (t). Neste a frmula diz que para qualquer x, x no menor que si prprio, o que verdadeiro na estrutura E2. Resposta: E2x~Rxx v)E2xyz((Rxy&Ryz)Rxz) E2=<N, I2> I2 a I2(a)=5 b I2(b)=22 c I2(c)=45 R I2(R)=ser menor que Veja: para quaisquer trs indivduos x/y/z, se x menor que y e y menor que z, ento x menor que z [xyz((Rxy&Ryz)Rxz)]. Algum duvida? Se 5 menor que 22 e 22 menor que 45, ento 5 menor que 45! Ora, E2xyz((Rxy&Ryz)Rxz).
139
w)E2x(FxyRxy) E2=<N, I2> I2 a I2(a)=5 b I2(b)=22 c I2(c)=45 F I2(F)=pares R I2(R)=ser menor que Ser que na E2 para qualquer indivduo x, se x for par, ento h ao menos um y tal que x menor que y [x(FxyRxy)]? Sim, pois, sendo 2 o menor nmero par, ainda teremos o n 1 menor que ele. Reposta: E2x(FxyRxy). x)E2~x(FxyRxy) E2=<N, I2> I2 a I2(a)=5 b I2(b)=22 c I2(c)=45 F I2(F)=pares R I2(R)=ser menor que Farei a resoluo aqui de modo diferente. Relembre que no exerccio precedente (w), conclumos que E2x(FxyRxy). Bom, se assim , ento a negao disso [~x(FxyRxy)] obtm valorao 0 em E2. Lembremos a clusula seguinte:
2 clusula: v(~)=1 sse v()=0 Leia-se: a valncia de ~ ser 1 se e somente se (apenas) a valncia de for 0.
Logo, E2 ~x(FxyRxy).
140
z)E2xy(Fx(Rxy v Ryx)) E2=<N, I2> I2 a I2(a)=5 b I2(b)=22 c I2(c)=45 F I2(F)=pares R I2(R)=ser menor que Precisamos perscrutar se em E2 existe ao menos um x que, para qualquer y, x par se e somente se x menor que y ou y menor que x [xy(Fx(Rxy v Ryx))]. Parece complicado, mas no . Pensemos no nmero 2, que par e, para qualquer nmero que se considere (com exceo do 2), ou 2 menor ou esse nmero menor que 2 (seria nesse caso o nmero 1). Ocorre que a exceo uma hiptese em que a valorao de xy(Fx(Rxy v Ryx)) ser 0(falsa), assim, por conta da clusula abaixo a valorao desta frmula ser 0 na E2. Logo, E2 xy(Fx(Rxy v Ryx))
2.3.4.2 Resposta comentada ao exerccio 2 Para verificar consistncia dois mtodos podero ser usados: rvore de refutao(i) e indicao de uma estrutura modelo do conjunto de frmulas(ii). Para resoluo do exerccio, verificaremos a consistncia do conjunto pelo mtodo da rvore de refutao e, depois, caso consistente, indicaremos uma estutura modelo como exigido pelo enunciado (cf. item 2.3.3.2.2).
Interessante notar que, sendo possvel desde logo identificar uma estrutura modelo, ento se dispensa a rvore de refutao, pois a estrutura modelo, por si s, j comprova a consistncia do modelo.
Eis os conjuntos: A={xFx, x~Gx, Rab, yx(Rxy~Ryx)} B={Fa, ~Gb, Rba, xGx}
141
a)A Para fazer a rvore do conjunto empilharemos as frmulas. Ficando ao menos um ramo aberto, o conjunto consistente.
DICA: o ramo aberto ajudar na escolha da estrutura modelo.
xFx x~Gx Rab yx(Rxy~Ryx) a,b x(Rxa~Rax)a,b x(Rxb~Rbx)a,b Raa~Raa Rba~Rab Rab~Rba Rbb~Rbb ~Rab x ~Rba x
Embora a rvore pudesse ser mais desenvolvida, intuitivamente vista das frmulas que ainda restam a decompor, pode-se concluir que ramos ficariam abertos. No precisamos prosseguir na rvore. Seria esforo desperdiado, at porque, encontrando uma estrutura modelo, nossa suspeita seria confirmada. o que faremos a seguir.
Rba Rab
Agora, vamos em busca da estrutura modelo, tendo sempre em mente que no h um procedimento mecnico com o fim de encontrar estruturas modelo. Pretendemos, aqui, esboar, sem compromisso, como orientamos nosso pensamento para tal finalidade (para relembrar a noo de estrutura, cf. item 2.3.1.3):
142
O primeiro passo compreender intuitivamente o conjunto.

No caso especfico deste exerccio, no utilizaremos o recurso de buscar inspirao na rvore, pois ela no restou finalizada, isto , muitas frmulas ainda poderiam ser decompostas, o que nos tira esse auxlio.
O conjunto A={xFx, x~Gx, Rab, yx(Rxy~Ryx)} diz o seguinte: para qualquer indivduo x, x tem a propriedade F; existe ao menos um x, tal que x no tem a propriedade G; o indivduo a possui a relao R com o indivduo b; para quaisquer dois indivduos x/y, se x tem a relao R com y, ento y no tem a relao R com x. Depois de ler isso, imagine um contexto no qual as proposies acima poderiam ocorrer (voc est refletindo acerca do domnio da estrutura). Por exemplo, ao imaginarmos que F a propriedade de ser filsofo, ento ser que poderamos pensar nos nmeros naturais (N)? Creio que no32, pois a propriedade ser filsofo algo prprio dos seres humanos. Assim, vamos delimitar nossa estrutura com o domnio seres humanos: EA=<D,I> D={seres humanos} Em seguida, resta-nos interpretar as constantes predicativas e individuais. Quanto s primeiras, relevante verificar se so unrias, binrias, ternrias... No conjunto A temos duas unrias F e G, alm de uma binria R. Sabemos tambm que todos os indivduos do nosso domnio, seres humanos, tem a propriedade F, existe ao menos um que no tem a G. Podemos arriscar ento a seguinte interpretao: I(F)={x/x racional} I(G)={x/x do sexo feminino} Quanto predicativa binria R, precisamos pensar em algo que um ser humano tem com outro, mas este outro no tem com o primeiro. Trata-se, pois, de uma relao antissimtrica (cf. item 2.3.1.2 supra): I(R)={x,y/x anterior a y} Quanto s constantes individuais, vale lembrar que o indivduo a,
Nada impede, entretanto, de interpretarmos a propriedade F como sendo ser nmero pri mo. Da, considerando que uma constante predicativa unria, seria apropriado o D={N}, j que a propriedade ser nmero pri mo aplica-se aos nmeros naturais.
32
143
segundo nossa interpretao de R, anterior ao b. Logo, na prova, seria temerrio interpretar: I(a)=Frege I(b)=Aristteles
Temerrio, mas no incorreto. Explico. mngua de formalizao do contexto, Frege poderia ser um indivduo nascido em 2009 e Aristteles em 2010. No dissemos de qual Frege e de qual Aristteles falamos.
De qualquer forma, sugiro considerar o conhecimento geral da histria da filosofia e interpretar: I(a)=Aristteles I(b)=Frege Nossa estrutura est completa: EA=<D,I> D={seres humanos} I(F)={x/x racional} I(G)={x/x do sexo feminino} I(R)={x,y/x anterior a y} I(a)=Aristteles I(b)=Frege Leiamo-la: para qualquer ser humano, ele tem a propriedade de ser racional (xFx); existe ao menos um ser humano que no do sexo feminino (x~Gx); Aristteles anterior a Frege (Rab); para quaisquer dois seres humanos, se um anterior ao outro, ento este no anterior ao primeiro (yx(Rxy~Ryx). Como se pode ver, na EA todas as frmulas do conjunto A obtm valorao 1, logo EAA (Leia-se: EA a estrutura modelo do conj. A).
144
b)B Para lembrar: B={Fa, ~Gb, Rba, xGx} Vamos empilhar e fazer a rvore: Fa ~Gb Rba xGx Gc
A rvore muito simples, pois s possui uma frmula a decompor.
Vimos, pois, que consistente. Vejamos agora a estrutura: O conjunto B nos diz: que o indivduo a possui a propriedade F; o indivduo b no possui a propriedade G; o indivduo b possui uma relao R com o indivduo a; existe ao menos algum x que possui a propriedade G. Como j havia destacado (cf. item 2.3.1.3 supra), o domnio pode ser bem restrito. Imaginemos um domnio assim: D={5,6}, agora as interpretaes: EB=<D,I> D={5,6} I(F)={x/x mpar} I(G)={x/x primo} I(R)={x,y/x maior que y} I(a)=5 I(b)=6 Para conferir: 5 mpar (Fa); 6 no primo (~Gb); 6 maior que 5 (Rba); existe ao menos um indivduo que primo (xGx). Como se pode ver, na EB todas as frmulas do conjunto B obtm valorao 1, logo EBB.
145
c)AUB O conjunto AUB formado por todas as frmulas de ambos os conjuntos, logo AUB={xFx, x~Gx, Rab, yx(Rxy~Ryx), Fa, ~Gb, Rba, xGx}.
Da simples leitura do conjunto AUB verificamos sua inconsistncia. Note a contradio entre as fmulas yx(Rxy~Ryx), Rab, Rba. Mas vale comprov-lo pela rvore de refutao.
Segue rvore: xFx x~Gx Rab yx(Rxy~Ryx) a Fa ~Gb Rba xGx x(Rxa~Rax) b Rba~Rab ~Rba x ~Rab x
Sendo inconsistente, no h como atribuir uma estrutura modelo ao conjunto AUB.
146
2.3.4.3 Resposta comentada ao exerccio 3 Para verificar e provar quais das formas de argumentos so vlidas, seguiremos o seguinte procedimento: faremos a rvore de refutao com todas as frmulas do conjunto, negando a concluso. Fechando todos os ramos, o argumento vlido.
Para relembrar a noo de consequncia lgica, v. item 2.3.2 supra; para relembrar o procedimento, v. item 2.3.3.2.3 supra.
a){xFx, x(FxGx)} Ga xFx a x(FxGx) a ~Ga Fa FaGa ~Fa x Ga x
Observe que, fechados os ramos, Ga consequncia lgica de {xFx, x(FxGx)}, logo o argumento vlido.
147
b){xFx, ~x~Fx~xHx} ~Hb xFx ~x~Fx~xHx Hb Fa x~Fx a ~Fa x ~Hb x O argumento vlido! c){xFxxHx, Fa} Hb xFxxHx Fa ~Hb ~xFx x~Fx a ~Fa x Argumento vlido. xHx b Hb x ~xHx x~Hx b
148
d){x(Fx v Gx), xHx~Fb, Hc} Gb x(Fx v Gx) b xHx~Fb Hc ~Gb ~xHx x~Hx c ~Hc x Fb v Gb Fb x Vlido! Gb x ~Fb
149
e){x(HxCx), x(Hx&Mx)} x(Cx&Mx) x(HxCx) a x(Hx&Mx) ~x(Cx&Mx) Ha&Ma x~(Cx&Mx) a Ha Ma HaCa ~Ha x ~(Ca&Ma) ~Ca x Vlido! ~Ma x Ca
150
f){x(Fxy(Fy&~Gy)), xGx} xFxx(Fx&Gx) x(Fxy(Fy&~Gy)) xGx

Observe que esta frmula mostrou-se irrelevante para a validade do argumento.
Cuidado para no incidir no erro de negar a concluso assim: ~xFxx(Fx&Gx)
~(xFxx(Fx&Gx)) xFx ~x(Fx&Gx) x~(Fx&Gx) a Fa ~(Fa&Ga) ~Fa x ~Ga Ga x
Vlido!
151
g){xy(Rxy~Ryx), x~Rxx, Rab} ~Rba xy(Rxy~Ryx) a x~Rxx Rab Rba y(Ray~Rya) b Rab~Rba ~Rab x Vlido! ~Rba x
152
h){xy(Rxy~Ryx), ~Rac(~Raa&~Rbc)
xyz((Rxy&Ryz)Rxz),
Rab}
xy(Rxy~Ryx) a xyz((Rxy&Ryz)Rxz) a Rab ~(~Rac(~Raa&~Rbc)) ~Rac ~Raa&~Rbc y(Ray~Rya) a Raa~Raa ~Raa ~Raa x
S transpomos o ramo, repetindo as frmulas anteriores, para possibilitar a exposio.
~Rbc ~Raa x ~Raa ~Raa
~Raa
~Raa yz((Ray&Ryz)Raz) b z((Rab&Rbz)Raz) c (Rab&Rbc)Rac ~(Rab&Rbc) Rab x Rbc x Rac x
yz((Ray&Ryz)Raz) b z((Rab&Rbz)Raz) c (Rab&Rbc)Rac ~(Rab&Rbc) Rab x Rbc x Argumento vlido! Rac x
153
i){xFxx(Fx&Gx), x~Gx} x(Fxy(Fy&~Gy)) xFxx(Fx&Gx) x~Gx a ~x(Fxy(Fy&~Gy))

No tem nenhum problema decompor x e y com a. So frmulas universais!
x~(Fxy(Fy&~Gy)) ~(Fay(Fy&~Gy)) Fa ~y(Fy&~Gy) y~(Fy&~Gy) a ~Ga ~(Fa&~Ga) ~Fa x Ga x

S para sinalizar de onde veio esse ~Ga.
Vlido!
154
j){a=b, b=c} a=c A igualdade uma constante predicativa binria que significa: o indivduo a pode ser denominado de indivduo b, ou seja, um mesmo indivduo possui dois nomes (cf. MORTARI, 2001, p.290). Por conveno, acrescentamos ao lxico do clculo de predicados o smbolo = que denota a constante predicativa binria idntico a ou a mesma coisa que. Por hiptese, -nos lcito formalizar a relao de igualdade entre os termos Diana e rtemis das seguintes formas: i)Ida
I(I)= {x,y/x idntico a y} I(d)= Diana I(a)= rtemis
ii)=da
I(=)= {x,y/x idntico a y} I(d)= Diana I(a)= rtemis Ou seja, so equivalentes: a=b =ab Iab.
iii)d=a
I(d)= Diana I(=)= {x,y/x idntico a y} I(a)= rtemis
Na rvore de refutao, para a igualdade, duas novas regras devero ser consideradas: Regra da igualdade positiva: se a=b, ento podemos substituir uma ou mais ocorrncias de a por b; Regra da igualdade negativa: a apario de ~a=a (aa) fecha o ramo, pois afirmar, sobre um certo t, que tt seria contraditrio (MORTARI, 2001, p.312).
155
Passemos rvore: a=b b=c ~a=c a=c x Vlido!

Aplicao da regra da igualdade positiva: se b=c, ento posso substituir b por c em a=b, obtendo a contradio entre ~a=c e a=c, fechando o ramo.
156
2.3.4.4 Resposta comentada ao exerccio 4 Para determinar o status semntico de frmulas, adotaremos o seguinte procedimento: faremos a rvore de refutao da negativa da frmula. Se fecharem todos os ramos, ser uma verdade lgica(i); permanecendo algum ramo aberto, faremos a rvore da frmula, fechando todos os ramos, ser uma falsidade lgica(ii); caso contrrio, ser uma contingncia (iii).
Para relembrar a noo de status semntico, v. item 2.3.2 supra; para relembrar o procedimento, v. item 2.3.3.2.1 supra.
Do rol de exerccios, alguns deles j constaram como exemplos comentados acima. A fim de evitar repetio, constar na sequncia a referncia ao item no qual a resoluo se encontra. a)xFx~x~Fx o caso deste exerccio, do qual nos valemos para exemplificar a rvore de refutao (cf. item 2.3.3.2.4 supra). b)xFx~x~Fx Exerccio j resolvido (cf. item 2.3.3.2.5, n1). c)~xFxx~Fx Exerccio j resolvido (cf. item2.3.3.2.5, n3). d)~xFxx~Fx Exerccio j resolvido (cf. item2.3.3.2.5, n5).
157
e)x(FxyHy) ~x(FxyHy) x~(FxyHy) ~(FayHy) Fa ~yHy y~Hy a ~Ha
Como a rvore da negao da frmula no fechou, faremos a seguir a rvore da frmula propriamente dita: x(FxyHy) a FayHy ~Fa yHy Hb
IMPORTANTSSIMO!!!: esse ramo da rvore INFINITO, porque toda vez que se decompuser a frmula yHy teremos mais uma constante diferente na rvore (no caso b), da teremos de fazer para ela a frmula inicial, a saber, x(FxyHy) e assim sucessivamente ao infinito.
158
Abaixo a demonstrao da infinitude do ramo: x(FxyHy) a, b, c FayHy ~Fa yHy Hb FbyHy ~Fb yHy Hc FcyHy E agora? Bom, sabemos que no se trata de verdade lgica, porque no fecharam todos os ramos da negativa da frmula. A despeito do ramo infinito, sabemos tambm que no falsidade lgica, porque um ramo ficou aberto, logo frmula contingente. Noutras palavras, pouco importa o ramo infinito, pois ao menos um ramo sabemos que ficou aberto. o que nos basta!
159
f)~x(FxyHy) No exerccio anterior, vimos que x(FxyHy) contingente, logo ~x(FxyHy) tambm o ser. Resposta: contingente! g)x(Fx&Gx)(xFx&xGx) ~(x(Fx&Gx)(xFx&xGx)) ~x(Fx&Gx) xFx&xGx x~(Fx&Gx) ~(Fa&Ga) xFx a xGx a Fa&Ga Fa Fa Ga ~Fa x ~Ga x Verdade lgica! Todos os ramos da negativa da rvore fecharam. Ga x Fa Ga x Fa&Ga ~xFx x~Fx ~Fa x(Fx&Gx) a ~(xFx&xGx) ~xGx x~Gx ~Ga
160
h)x(Fx&Gx)(xFx&xGx) ~(x(Fx&Gx)(xFx&xGx)) ~x(Fx&Gx) xFx&xGx x~(Fx&Gx) a, b xFx xGx

Sempre por uma constante NOVA!
x(Fx&Gx) ~(xFx&xGx)
Fa Gb ~(Fa&Ga)
~Fa x
~Ga ~(Fb&Gb) ~Fb ~Gb x
Note que esse ramo ficou aberto, logo no precisamos fazer o ramo direito, pois desde logo podemos concluir que no se trata de verdade lgica.
Precisamos, entretanto, fazer a rvore da frmula, para saber se se trata de uma falsidade lgica ou de uma contingncia. Vejamo-la na sequncia:
161
x(Fx&Gx)(xFx&xGx) x(Fx&Gx) xFx&xGx Fa&Ga xFx xGx Fb Gc Fa Ga ~x(Fx&Gx) ~(xFx&xGx)
A mesma coisa: se no fechou o ramo esquerdo, sequer precisamos fazer o direito, j que, evidncia, trata-se de frmula contingente.
162
i)x(Fx v Gx)(xFx v xGx) ~(x(Fx v Gx)(xFx v xGx)) ~x(Fx v Gx) (xFx v xGx) x~(Fx v Gx) ~xFx ~xGx ~(Fa v Ga) x~Fx x~Gx ~Fa ~Ga ~Fa ~Ga xFx a Fa x xGx a Fa v Ga Ga x Fa x Verdade lgica! Ga x x(Fx v Gx) a ~(xFx v xGx)
163
j)x(Fx v Gx) (xFx v xGx) ~(x(Fx v Gx) (xFx v xGx)) ~x(Fx v Gx) (xFx v xGx) x~(Fx v Gx) ~(Fa v Ga) ~Fa ~Ga xFx a Fa x Verdade lgica! k)(xFx v xGx)x(Fx v Gx) Exerccio j resolvido (cf. item2.3.3.2.5, n6). l)x(Fx v Gx)(xFx v xGx) Exerccio j resolvido (cf. item2.3.3.2.5, n7). xGx a Ga x
164
m)x(Fx v Gx)(xFx v xGx) ~(x(Fx v Gx)(xFx v xGx)) x(Fx v Gx) ~(xFx v xGx) ~xFx ~xGx x~Fx a x~Gx a Fa v Ga ~Fa ~Ga Fa x Verdade lgica! Ga x
165
n)(xFx v xGx)x(Fx v Gx) ~((xFx v xGx)x(Fx v Gx)) xFx v xGx ~x(Fx v Gx) x~(Fx v Gx) a xFx Fa ~(Fa v Ga) ~Fa ~Ga x Verdade lgica!
ATENO: observe, ainda, que, se x(Fx v Gx)(xFx v xGx) exerccio m e (xFx v xGx)x(Fx v Gx) exerccio n -, so verdades lgicas, tambm o a frmula bi-implicacional: x(Fx v Gx) (xFx v xGx).
xGx Ga ~(Fa v Ga) ~Fa ~Ga x
166
o)x(FxGx)(xFxxGx) ~(x(FxGx)(xFxxGx)) ~x(FxGx) xFxxGx x~(FxGx) ~xFx x~Fx ~(FaGa) ~(FaGa) Fa ~Ga ~Fb Fa ~Ga x xGx x(FxGx) ~(xFxxGx)
Veja que no fechou um dos ramos, por isso no precisamos fazer o ramo principal direito. No se trata de consequncia lgica. Vejamos a rvore da frmula.
167
x(FxGx)(xFxxGx) x(FxGx) a xFxxGx ~xFx x~Fx FaGa ~Fa Ga FaGa ~Fa ~Fa Ga Ga
Ramo no precisa ser concludo vista do resultado ao lado.
~x(FxGx) ~(xFxxGx) xGx a
Ramos no fechados, trata-se de contingncia.
168
p)x(FxGx)(xFxxGx) ~(x(FxGx)(xFxxGx)) x(FxGx) a ~(xFxxGx) xFx a ~xGx x~Gx ~Ga FaGa Fa ~Fa x Verdade lgica! Ga x
169
q)(xFxxGx)x(FxGx) ~((xFxxGx)x(FxGx)) (xFxxGx) ~x(FxGx) x~(FxGx) ~xFx x~Fx ~(FaGa) Fa ~Ga ~Fb ~(FaGa) Fa ~Ga Ga x No sendo verdade lgica, segue a rvore da frmula: xGx a
170
(xFxxGx)x(FxGx) ~(xFxxGx) xFx a ~xGx (FaGa) x~Gx ~Fa ~Ga Fa Ga x(FxGx) a
Como se v, a contingncia patente.
171
r)x(FxGx)(xFxxGx) ~(x(FxGx)(xFxxGx)) ~x(FxGx) xFxxGx x~(FxGx) a xFx ~xGx ~xFx x~Fx a Ga FaGa ~(FaGa) ~(FaGa) Fb ~Fa Fa ~Ga x Fa ~Ga x ~Fa Ga x No se trata de verdade lgica. Faremos a rvore da frmula. ~Ga ~Gb xGx x~Gx a,b x(FxGx) ~(xFxxGx)
172
x(FxGx)(xFxxGx) x(FxGx) xFxxGx FaGa ~xFx x~Fx a ~Fa ~Fa ~Fa Ga Ga xGx Gb ~x(FxGx) ~(xFxxGx)
Ramo irrelevante resoluo do exerccio.
para
evidncia, a frmula contingente.
173
s)(xFxxGx)x(FxGx) ~((xFxxGx)x(FxGx)) xFxxGx ~x(FxGx) x~(FxGx) a ~xFx x~Fx a Ga ~(FaGa) ~(FaGa) ~Fa Fa ~Ga Fa ~Ga x x xGx
Verdade lgica!
174
t)x(FxGx)(xFxxGx) ~(x(FxGx)(xFxxGx)) ~x(FxGx) (xFxxGx) x~(FxGx) xFx a xGx a ~xFx ~xGx x~Fx x~Gx ~(FaGa) ~(FaGa) ~Fa Ga Fa x Ga x ~Fa Ga Fa ~Ga Fa ~Ga Fa Fb Gc x(FxGx) ~(xFxxGx)
Ramo irrelevante para resoluo do exerccio.
Diante do resultado acima, faz necessria a elaborao da rvore da frmula.
175
x(FxGx)(xFxxGx) x(FxGx) a,b (xFxxGx) xFx a xGx a ~xFx ~xGx x~Fx FaGa x~Gx Fa Ga Fa Ga FaGa FbGb Fa Ga x Fb Gb x No se tratando de falsidade lgica, cuida-se de contingncia! ~Fb ~Gb ~Fa ~Ga ~Fa ~Ga ~Fa Fa x ~Gb
Ramo irrelevante para resoluo do exerccio.
~x(FxGx) ~(xFxxGx)
176
u)x(FxGx)(xFxxGx) Exerccio j resolvido (cf. item 2.3.3.2.5, n9). v)(xFxxGx)x(FxGx) ~((xFxxGx)x(FxGx)) xFxxGx ~x(FxGx) x~(FxGx) ~(FaGa) xFx a xGx a ~xFx ~xGx x~Fx ~Fa Ga Fa x Ga x ~Fa Ga Fa ~Ga Fa ~Ga x~Gx Fa ~Fb ~Gc
No verdade lgica. Segue verificao da frmula.
177
(xFxxGx)x(FxGx) ~(xFxxGx) ~xFx xGx x~Fx ~Fa Ga

Como se pressente, esses dois ramos no precisam ser desenvolvidos, j que um j permanecer aberto, indicando que se trata de uma contingncia.
x(FxGx)
xFx ~xGx
Contingncia.
178
w)x(FxGx)(xFxxGx) ~(x(FxGx)(xFxxGx)) ~x(FxGx) xFxxGx x~(FxGx) a,b xFx xGx Fa Gb ~(FaGa) ~(FbGb) ~Fa Ga x ~Fb Gb Fb ~Gb x Fa ~Ga
Ramos no irrelevantes. desenvolvidos por
x(FxGx) ~(xFxxGx)
~xFx ~xGx
No sendo verdade lgica, cumpre fazer a rvore da frmula.
179
x(FxGx)(xFxxGx) x(FxGx) xFxxGx FaGa ~xFx x~Fx a

Ramos irrelevantes!
~x(FxGx) ~(xFxxGx)
xGx
~Fa Fa Ga x Contingncia! ~Fa ~Ga
y)x(FxGx)x(FxGx) Exerccio j resolvido (cf. item2.3.3.2.5, n10).
180
z)(xFxxGx)x(FxGx) ~((xFxxGx)x(FxGx)) xFxxGx ~x(FxGx) x~(FxGx) a,b xFx xGx Fa

Ramo irrelevante!
~xFx ~xGx
Gb ~(FaGa) ~(FbGb) ~Fa Ga x ~Fb Gb Fb ~Gb x Vejamos a rvore da frmula na prxima pgina. Fa ~Ga
181
(xFxxGx)x(FxGx) ~(xFxxGx) ~xFx xGx x~Fx a Ga ~Fa xFx ~xGx x~Gx a Fa ~Ga
Ramo irrelevante!
x(FxGx)
A frmula contingente.
182
aa)a=a Para relembrar as regras quanto identidade, cf. item 2.3.4.3, letra j. ~a=a x Verdade lgica! ab)a=b(FaFb) ~(a=b(FaFb)) a=b ~(FaFb) Fa ~Fb Fb x Verdade lgica!
Aplicao da regra da igualdade positiva: se a=b, ento o a em Fa pode ser substitudo por b. Consoante a regra da igualidade negativa, aparecendo ~a=a, o ramo fecha-se imediatamente.
183
Cap. 3
Sintaxe II em clculo proposiconal e clculo de predicados
3.1 Introduo A deduo natural constitui procedimento de obteno de frmulas a partir da aplicao das regras de deduo natural quer sobre premissas quer sobre hipteses. Vale dizer, o argumento est provado se a partir de suas premissas pode-se chegar concluso a partir exclusivamente da utilizao das regras de inferncia (regras da deduo natural que veremos a seguir). Veremos tambm que um teorema33, de sua parte, no possui premissas. Logo ser deduzido exclusivamente a partir de hipteses que esto para o teorema assim como as premissas para o argumento34. Imaginemos o argumento , ,
regras de DN
regras de DN
PREMISSAS
concluses intermedirias novas premissas
CONCLUSO
PROVA ATENO: Essa demonstrao (prova) ser organizada da seguinte forma:
Na sinttica usamos teorema para designar aquelas fr mulas que constituem verdades l gicas na semntica. ...uma proposio provada em um sistema axiomtico se ela puder ser derivada a partir dos axiomas usando-se as regras da lgica; uma frmula derivada em um sistema for mal se puder se obtida por aplicaes das regras de produo (Mortari, 2001, p.234). Note-s e que a deri vao se d s em recurso significao, trata-se de procedi mento puramente sinttico.
34
33
184
FASE INICIAL I) Em caso de argumento, o primeiro passo arrolar as premissas (s elas!, exclui-se por bvio a concluso (), j que justamente ela que queremos deduzir), empilhando-as: II)enumeramos um tanto de linhas: 1) 2) 3) 4) 5) ... III)indicamos direita que as linhas que contm premissas! 1) 2) 3) 4) 5) ... FASE DE DESENVOLVIMENTO IV)Aplicando as regras da deduo natural, completaremos as novas linhas com concluses intermedirias, indicando direita a linha e a regra que utilizamos: 1) 2) 3) 4) P P P 1,2 MP
MP a abreviao de modus ponens. Uma das regras de deduo (cf. item 3.2.6). No nosso objetivo agora estudar a regra, mas s ilustrar como devemos organizar a demonstrao na qual ela e outras regras sero aplicadas.
P P P
185
5) ... FASE FINAL
3 E&
V)Quando a concluso a que desejamos chegar ocorrer numa das linhas, ento a prova est feita: 1) 2) 3) 4) 5) 6) P P P 1,2 MP 3 E& 4,5 &
A seguir, na demonstrao das regras de deduo natural utilizaremos , , e para indicar quais quer frmulas, p.ex, poderia ser: P P&Q R(P&Q) Pa Pa&Qa Ra(Pa&Qa)
xRx(Pa&Qa) xFx ~x~Fx
no clculo de predicados no clculo proposicional
3.2 Regras primitivas de deduo natural DN Cada operador possuir duas regras primitivas. Uma para inclu-lo, outra para exclu-lo. Isso para que seja possvel extrairmos ao mximo as dedues. Faltasse-nos alguma frmula para incluso do operador &, p.ex., ento nunca conseguiramos demonstrar por deduo natural a validade bvia do seguinte argumento: &&, j que, para tanto, teramos de excluir o & que une as frmulas da premissa para junt-las (incluindo o &) invertidas na
186
concluso. Considerando que o clculo de proposicional possui cinco operadores &, v, , , ~, aos quais o clculo de predicados inseriu mais dois e , teremos 14 regras primitivas no total. Sem mais delongas, passemos s regras ento:
3.2.1 Incluso do operador & Se temos e , ento podemos deduzir & ou &, logo a regra primitiva da incluso do & pode ser esquematizada da seguinte forma:
Concluso da regra Premissas da regra
&
Notem, pois, que para incluir o operador & preciso de duas frmulas ( e ), para da deduzir &.
3.2.2 Excluso do operador & Para excluir o &, a regra a seguinte: & &
Noutros termos, se tenho &, ento posso deduzir e . Trata-se de regra com duas verses, conforme observa o prof. Mortari:
Note ainda que algumas regras tm duas verses, como a regra de separao: dada uma conjuno &, voc pode tanto concluir , como . (Mortari, 2001, p.241)
3.2.3 Incluso do operador v A regra da incluso do operador v interessante. Tendo uma frmula
187
qualquer, digamos , ento posso incluir qualquer outra frmula () pelo operador da disjuno (v), pois no importa se verdadeira ou no, pois na disjuno exclusiva basta uma delas ocorrer, no caso . Vejamos a regra: v
3.2.4 Excluso do operador v A excluso do operador da disjuno v tambm , pode-se dizer, atpica. Ao se excluir o operador, pode-se chegar a frmula diversa daquelas unidas pela disjuno. Eis a regra, com trs premissas e uma concluso: v A explicao a seguinte: se ou ocorre, se a implica e tambm implica , ento certamente ocorre. importante destacar desde logo que uma frmula qualquer (!), logo nada impede que seja ou , logo poderamos ter: v Basta para tanto que implique (o que bvio, pois qualquer coisa implica a si mesmo) e implique .
3.2.5 Incluso do operador A incluso da implicao tem um peculiaridade. Faz-se mediante a abertura de uma hiptese de prova condicional H(PC). Veremos que o mesmo acontece com a incluso da negao ~. Em sntese temos:
188
Regras primitivas de DN que geram abertura de hipteses*: a) Incluso do operador b) Incluso do operador ~ *Existe mais uma que oportunamente explicitaremos.
Observem que o operador da implicao s falso quando ocorrido o antecedente, no h o consequente (se v()=1, v()=0, ento v()=0). Por isso, ao supormos ocorrido o antecedente (e, ao supor, nada mais fazemos que formular uma hiptese), se conseguirmos deduzir o consequente, ento a implicao verdadeira, pois, mesmo que falso seja o antecedente, ao deduzir dele e das demais premissas o consequente, a implicao vlida: se v()=0, v()=1, ento v()=1 ! Da que na deduo natural, quando na concluso houver alguma implicao, pode-se lanar mo da regra da prova condicional RPC, supondo um antecedente qualquer como hiptese de prova condicional H(PC). De qualquer forma, a suposio sempre temporria e se desfaz sempre que alcanamos a consequncia da implicao cujo antecedente admitiuse por hiptese. O prof. Manholi explicou a regra da seguinte forma: n ...
O smbolo n significa que durante uma deduo natural podem existir n frmulas antes da hiptese, ou seja, pode-se lanar hiptese de I em qualquer fase da demonstrao.
Esse trao indica a existncia de uma hiptese aberta. No faz-lo constitui falha na demonstrao.
Deduzida a frmula que compor o conseqente da implicao, fecha-se a hiptese, incluindo a implicao fora dela.
189
3.2.6 Excluso do operador A excluso do operador da implicao simples. Constitui uma regra batizada de modus ponens (MP). Temos aqui duas premissas e uma concluso: Ora, se , ocorrendo , ocorre .
3.2.7 Incluso do operador A regra de incluso do operador da bi-implicao tambm simples. Contm duas premissas e uma concluso: ou Se e , ento ou, por bvio, .
3.2.8 Excluso do operador Tambm simples. O raciocnio praticamente o mesmo da I, mas invertido e com uma nica premissa: ou
190
3.2.9 Incluso do operador ~ Como j adiantado, a incluso do operador da negao ~ exige a formulao de hiptese. Trata-se da chamada reduo ao absurdo (RAA). A ideia a seguinte, toda vez que a incluso de uma frmula qualquer gerar uma contradio, posso deduzir a negao dela. O prof. Manholi explicou a regra da seguinte forma: n
Vide observao (item 3.2.5) acima
... &
Chegando-se a uma contradio, pode-se fechar a hiptese de RAA e deduzir a negao da hiptese. No caso, ~ (negao de ).
importante frisar que, eventualmente, se a hiptese j for uma negao, p.ex. ~, a concluso da RAA ser a negao da negao, logo ~~. No possvel deduzir diretamente , pois a E~ (excluso da negao) possui regra especfica a ser demonstrada. Vejamo-la abaixo.
3.2.10 Excluso do operador ~ Regra extremamente simples. A negao da negao anula-se por si s:
3.2.11 Incluso do quantificador Lembre-se agora que falamos das regras de incluso e excluso dos quantificadores universal e existencial .
191
No que tange incluso do quantificador , a regra simples, porm comporta duas restries que veremos a seguir. Por meio da I, a partir de uma frmula atmica - por exemplo Fa (Aristteles filsofo) - teramos uma frmula universal xFx (todos so filsofos), o que por si s j justificaria as restries. Vamos regra35: Fa xFx Explicao da regra: para qualquer frmula , posso incluir o quantificador universal mediante a substituio de ao menos uma constante individual qualquer (no exemplo a) por alguma varivel individual qualquer (no caso x). Ocorre que, para se concluir que todos so filsofos (xFx) a partir de Aristteles filsofo (Fa), algumas restries devem ser observadas:
Restries: i) A constante individual (ex: a) no pode ocorrer nas premissas; ii) A constante individual no pode ocorrer em hipteses vigentes (ainda no descartadas). A obedincia s restries demonstram que a incluso no foi tendenciosa. Como acentua o prof. Mortari: A ideia que ns no fizemos nenhuma suposio especial a respeito do indivduo a, mas a incluso do deve ter carter geral, isto , vlido para qualquer indivduo (x) (Mortari, 2001, p.271).
ATENO: H uma distino relevante entre hiptese H(PC) e derivao hipottica. Hiptese apenas a frmula que foi lanada como hiptese, no caso ; derivao hipottica constitui todo o procedimento a partir da hiptese at a concluso (). A restrio incide sobre hipteses abertas, no derivaes hipotticas abertas!!!!
Rigorosamente essa no a regra, mas uma exemplificao dela. O obj etivo aqui no exp-la, mas facilitar -lhe a aplicao, o que pode ser mais facilmente alcanado por meio de um exemplo. A enunciao da regra feita pelo prof. Manholi em aula e na obra Lgi ca Elementar da qual ele o autor (Cf. Manholi, Lgica Elementar, pp.64 e ss.).
35
192
Prossegue o prof. Mortari, dizendo que, no fosse a restrio i, o argumento abaixo seria vlido: 1. 2. Fa xFx P 1, I Premissa: Aristteles filsofo. Concluso: Todos so filsofos. (INVLIDO)36
Vou ficar devendo por ora aos colegas uma demonstrao de uma hiptese na qual a afronta restrio ii geraria um problema intuitivamente perceptvel.
3.2.12 Excluso do quantificador De sua parte, a excluso do quantificador intuitivamente mais simples, pois, se tudo mortal (xMx), ento fcil dizer que um indivduo qualquer mortal (Ma). A regra, portanto, a seguinte:
Se todo mundo filsofo; Aristteles filsofo.
xFx
Fa Ou seja: basta substituirmos a varivel individual por uma constante individual qualquer.
Note-se: no h restries regra. Observe-se ainda: a)podemos escolher qualquer constante individual esteja ou no na deduo; b)no precisamos repetir a deduo para todas as constantes presentes, como ocorre na rvore de refutao.
36
cf. Mortari, 2001, p.271.
193
3.2.13 Incluso do quantificador A incluso do quantificador tambm no comporta restries, porquanto fcil entender que se Aristteles filsofo (Fa), ento existe algum que filsofo (xFx). A regra , pois, assim: Fa xFx Em outros termos: FaxFx. Se a tem a propriedade F, ento existe ao menos um x que tem a propriedade F!
Importante: Imaginemos uma frmula Fa&~Gb. A insero do quantificador fica assim: x(Fx&~Gb) ou x(Fa&~Gx), mas no x(Fx&Gx). Poder haver duas inseres como xy(Fx&~Gy). A mesma coisa pode ser dita da regra da incluso do . Tomando a mesma frmula Fa&~Gb, a insero do quantificador fica assim: x(Fx&~Gb) ou x(Fa&~Gx), mas no x(Fx&Gx), podendo haver duas inseres como xy(Fx&~Gy).
3.2.14 Excluso do quantificador A regra da excluso do quantificador existencial , na minha opinio, a mais complexa. Primeiro porque exige a formao de uma hiptese, segundo porque comporta quatro restries. Vamos regra, depois s explicaes. xFx Fa ...
A frmula deduzida ser o produto da excluso do . a hiptese de excluso do . Exclui-se o quantificador e substitui a varivel individual por uma constante individual.
(E)
194
Ocorre que para se concluir que Aristteles filsofo (Fa), a partir da proposio existe ao menos um filsofo (xFx) quatro restries devero ser obedecidas:
Restries: A primeiras duas so as mesmas da incluso do quantificador (i e ii): i) A constante individual (no exemplo a) no pode ocorrer nas premissas; ii) A constante individual no pode ocorrer em hipteses vigentes (ainda no descartadas); iii) A constante individual no pode ocorrer na frmula da qual se extraiu o quantificador , ex: x(FxGa); iv) A constante individual no pode estar em , ex: =Ga. Importante: respeitadas as restries acima, podemos incluir qualquer constante individual ainda que ela j esteja presente na deduo, diferentemente do que sucede na rvore de refutao, na qual precisamos de uma constante indita no ramo.
Novamente, importa considerar que as restries existem para garantir que o procedimento de indicar um indivduo especfico para ocupar a propriedade existente em ao menos um indivduo no foi tendencioso. Vejam o que nos diz o prof. Mortari:
O ponto de partida, por exemplo, que existe algum indivduo com alguma propriedade. Digamos, algum filsofo: xFx. Ento deveramos poder concluir, de um indivduo particular, que ele um filsofo. Mas que indivduo escolher? Plato? Einstein? Yoda? Como sabe a quem a propriedade se aplica? (Mortari, 2001, p.276)
Pergunta-se: Por que a excluso do no to simples quanto a excluso do ? Ora, se dizemos que todo o mundo tem a propriedade de F, ento bvio que um o Srgio tem essa propriedade F (xFxFa). Porm, se ao menos um (ou algum) indivduo tem a propriedade F, como podemos garantir que o Srgio que tem a propriedade F (xFxFa)? Exemplo: Se todo o ser humano mamfero [x(HxMx)], ento Srgio mamfero (HsMs). Agora, se algum ser humano estudante de filosofia [x(Hx & Fx)], como podemos garantir que Srgio um dos estudantes de filosofia [Hs & Fs]? As restries, portanto, visam garantir que a indicao de Srgio no especialmente interessada, mas decorrente de uma hiptese de excluso do , que no leva em considerao as particulares do indivduo.
195
3.2.15 Algumas dicas sobre as regras primitivas
3.2.15.1 Regras que abrem hipteses Das 14 regras, apenas 3 exigem hipteses: a)regra da incluso da b)regra da incluso da ~ c)regra da excluso do Note que o resultado das regras diferente para cada uma delas: Vejamos para FaGa, ~Fa, xFx: I (PC) Fa ... Ga FaGa ~Fa I~ (RAA) Fa ... Pa&~Pa Hb E Fa ... Hb
Observe-se, pois, que, fechada a hiptese, temos: a)Em I: uma implicao entre a frmula da H(PC) e a frmula deduzida; b)Em I~: uma negao da frmula da H(RAA); c)Em E: a repetio da frmula deduzida.
196
3.3 Regras derivadas de deduo natural DN
3.3.1 Silogismo disjuntivo SD O silogismo disjuntivo uma regra derivada com duas premissas, a saber v , . Da conclui-se : v , . intuitivo que, se ou ocorre ou ocorre, sabendo que no ocorre, ento ocorre. Na demonstrao por deduo natural, a regra central da nossa estratgia a regra da Ev:
v _
Como visto no item precedente, nada impede que seja igual a ou a . Logo, basta deduzirmos e , para obtermos , pela regra da Ev.
1) 2) 3) 4) 5) 6) 7) 8) 9) 10) 11)
~~
~ &
P P H(PC) H(RAA) 2,3 I& 45 RAA 6 E~ 3-7 PC H(PC) 9-9 PC 1,8,10 Ev
Aqui, preciso deduzir de , . Porm, s por RAA isso seria possvel. Assim, para obter , lancei a hiptese contrria ~, para depois obter ~~ e, na seqncia, . No importa que a contradio e ~ j estivesse presente: de uma contradio podemos deduzir qualquer coisa.
Note que, lanando como H(PC), voc no precisar deduzir nada para obter , pois j est na hiptese. Isso nada mais significa seno que qualquer coisa implica a si mesmo.
Como voc pode perceber, deduzi de v, e de , que exatamente a regra da Ev.
197
3.3.2 Modus Tollens MT Trata-se de regra com duas premissas, a saber , . Da concluise ~: , . bom entender intuitivamente: se ocorre, ento ocorre; mas eu sei que no ocorre, logo no ocorreu. Observe a deduo natural:
1) 2)~ 3) 4) 5) 6)~ P P H(RAA) 1,3 MP 2,4 I& 3-5 RAA
Quero deduzir ~, ento reduzi ao absurdo . Com isso, por modus ponens obtive , para conseguir uma contradio &~.
&~
3.3.3 Silogismo hipottico SH O silogismo hipottico (SH) pode ser expressado da seguinte forma: , . Ou seja, se implica (premissa 1) e implica (premissa 2), ento implica (concluso). A demonstrao por deduo natural a seguinte:
1) 2) 3) 4) 5) 6) P P H(PC) 1,3 MP 2,4 MP 3-5 PC
198
3.3.4 Dilema Construtivo DC Parece tranquilo entender que, se implica e implica , ocorrendo ou , tenho tambm ou . o dilema construtivo (DC), representado da seguinte forma: v, , v. ou e ou
1)v 2) 3) 4) 5) 6) 7)(v) 8) 9) 10) 11)(v) 12)v
v v
P P P H(PC) 2,4 MP 5 Iv 4-5 PC H(PC) 3,8 MP 9 Iv 8-10 PC 1,7,11 Ev
199
3.3.5 Leis de De Morgan DM Trata-se das leis formuladas no sc. XIX pelo lgico ingls Augustus De Morgan. Lembremos da explicao da regra da rvore de refutao, pois ela nos ser til agora (cf. 2.3.3.1).
frmulas (&)
regra abre ramos
exemplo (&) ~ ~ (v)

Chamaremos de LEI A de DM
(v)
empilha
Chamaremos de LEI B de DM
Observe acima que se temos (&), ento temos tambm dois ramos: ~ ou ~ ; o que significa (v) e, considerando que o inverso tambm ocorre, podemos dizer ~( & )(~ v ~). Observe outrossim que se temos (v), ento temos tambm empilhados: ~ e ~ ; o que significa (&) e, considerando que o inverso tambm ocorre, podemos dizer ~( v )(~ & ~).
No se esquea que os sinais e operadores mudam: ~( & )(~ v ~)
~( v )(~ & ~)
Segue a demonstrao de ambas as leis por deduo natural:
200
Lei A ~( & )(~ v ~)

1) ~( & ) 2) 3) 4) 5) 6) 7) 8) 9) 10) 11) 12) 13) ~(~ v ~) 14) ~ v ~ 15)~( & ) (~ v ~) 16) ~ v ~ 17) 18) 19) 20) 21) 22) 23) ~(&) 24)(~ v ~) ~(&) 25) ~( & ) (~ v ~) H(PC) H(RAA) H(RAA) H(RAA) 3,4 I& 1,5 I& 4-6 RAA 7 Iv 2,8 I& 3-9 RAA 10 Iv 2,11 I& 2-12 RAA 13 E~ 1-14 PC H(PC) H(RAA) 17 E& 18 DN 16,19 SD 17 E& 20,21 I& 17-22 RAA 16-23 PC 15,24 I
( v )
~ ~ v ~ (~ v ~) & (~ v ~)
~ ~ v ~ (~ v ~) & (~ v ~)
& (&) & (&)
& ~~ ~ & ~
Reparem o que ocorre nas ll. 16 e 18. Temos ~ v ~ (linha 16) e (linha 18). Sabemos intuitivamente que a o oposto de ~, porque nos muito claro que ~~ = , porm para a aplicao da regra derivada do SD temos de ter duas premissas v,~, ou seja, precisamos na segunda premissa de uma frmula que negue uma das duas unidas pelo operador v. Ocorre que a negao de ~ ~~, no . Portanto, no devemos prescindir da l.19, na qual utilizamos outra regra derivada chamada dupla negao (DN), exposta abaixo(cf.3.3.7). A seguir uma demonstrao sem utilizao desta regra derivada: (...) 18) 19) 20) 21) (...) ~~ ~ 17 & H(RAA) 19-20RAA &~ 18,19 I&
201
Lei B ~( v )(~ & ~)

1) ~( v ) 2) 3) 4) 5) ~ 6) 7) 8) 9) ~ 10) ~ & ~ 11) ~( v )(~ & ~) ~ & ~ 12) 13) 14) 15) 16) 17) 18) ~( v ) 19) (~ & ~)~( v ) 20) ~( v ) (~ & ~) H(PC) H(RAA) 2 Iv 1,3 I& 2-4 RAA H(RAA) 6 Iv 1,7 I& 6-8 RAA 5,9 I& 1-10 PC H(PC) H(RAA) 12 E& 13,14 SD 12 E& 15,16 I& 13-17 RAA 12-18 PC 11,19 I
No h necessidade de uma hiptese de RAA ~(~ & ~ ), pois atravs de duas hiptese de RAA (ll.2,6) chegaremos a (~ & ~ ) na linha 10.
v ( v ) & ~( v ) v ( v ) & ~( v )
v ~ ~ &
3.3.6 Implicao material IM A implicao material tem algo similar s leis de De Morgan. Segundo essa regra derivada ~()(&~). ) Vejam: frmulas () regra empilha exemplo ()
Assim, se temos (), ento temos tambm empilhados: e ~ ; o que significa (&) e, considerando que o inverso tambm ocorre, podemos dizer ~( & )( & ~).
202
Segue abaixo a demonstrao por deduo natural da regra da implicao material:

1) ~() 2) 3) 4) 5) 6) 7) 8) 9) ~~(&~) 10) &~ 11)~()(&~) 12) &~ 13) 14) 15) 16) 17) 18) ~() 19)(&~)~() 20)~()(&~) H(PC) H(RAA) 2 DM H(PC) 4 DN 3,5 SD 4-6 PC 1,7 I& 2-8 RAA 9 E~ 1-10 PC H(PC) H(RAA) 12 E& 13,14 MP 15 E& 15,16 I& 13-17 RAA 12-18 PC 11,19 I
~(&~) ~v
()&~()
~~
Cf. observaes sobre SD em 3.3.1 e 3.3.5, lei A.
~ &~
ATENO: para aplicao da regra da IM necessria a negao da implicao ~() -, o que no o caso da simples negao do antecedente da implicao: ~. Noutros termos: ~( ) (~).
3.3.7 Dupla negao DN ~~

1) 2) 3) 4)~~ ~ &~ P H(RAA) 1,2 I& 2-3 RAA
203
3.3.8 Contradio CT De uma contradio, posso extrair qualquer frmula: , ~. a regra derivada da contradio, exposta a seguir:
1) 2)~ 3) 4) 5)~~ 6) P P H(RAA) 1,2 I& 3-4 RAA 5 E~
Para deduzir , introduza uma hiptese contrria ~.
~ &~
DICA: pode ser qualquer frmula, inclusive uma nova contradio (P&~P).
Um exemplo: P, ~P(xFxQb) v (QbxFx)

1)P 2)~P 3)(xFxQb) v (QbxFx) P P 1,2 CT
ATENO: desnecessria a explicitao da contradio com P & ~P, justamente porque essa demonstrao no faz parte da regra derivada. Noutras palavras, a regra , ~ , e no , ~, &. Inclusive constitui equvoco justificar a regra da contradio (CT) com algo alm das duas premissas. Logo, seria equivocada a indicao na linha 4: 1)P 2)~P 3)P&~P 4) (xFxQb) v (QbxFx) P P 1,2I& 1,2,3 CT
Demonstrao sem utilizao da regra da CT:

1)P 2)~P 3) ~((xFxQb) v (QbxFx)) 4) P&~P 5)~~((xFxQb) v (QbxFx)) 6)(xFxQb) v (QbxFx) P P H(RAA) 1,2 I& 3-4 RAA 5 E~
O certo seria apenas 1,2 CT, o que demonstra que a l.3, mesmo que deduzida corretamente, desnecessria.
3.3.9 Algumas dicas na DN Diferentemente da tabela de verdade e da rvore de refutao, a deduo natural no uma receita de bolo que, uma vez seguida rigorosamente, nos faz chegar ao objetivo esperado. Com efeito, precisamos fazer as escolhas certas se quisermos alcanar algum resultado. Por isso, apresentaremos a seguir algumas dicas para, por assim dizer, nos ajudar a fazer uma boa escolha, mesmo que elas no possam garantir que o faremos.
204
3.3.9.1 Dicas do prof. Mortari I)antes de iniciar as dedues: a)se o objeto deduzir das premissas do argumento a respectiva concluso, nada mais razovel do que procurar nas premissas a prpria concluso. Donde, de duas uma: a1)a concluso aparece como subfrmula nas premissas. Exemplo: {Sabc(Fa&Fb), Sabc} Fa&Fb
A concluso uma subfrmula de Sabc(Fa&Fb).
Nesse caso devemos empreender uma estratgia para extrair das premissas a concluso que entre elas j se encontra, procurando a(s) regra(s) de DN que nos permita(m) faz-lo. ATENO: provvel que vrias dedues intermedirias sejam necessrias at a deduo da concluso do argumento. O que se quer sublinhar o modo de pensar: de trs para frente, ou seja, sempre a partir da concluso estabelece-se a estratgia para deduzi-la das premissas. Notem a semelhana entre o jogo de xadrez e a deduo natural. Tal como na deduo natural, no xadrez devemos efetuar um lance apenas depois de identificarmos um objetivo preciso para ele. O objetivo final do xadrez a captura do rei do adversrio; na deduo natural, a obteno da concluso.
a2)a concluso no aparece como subfrmula nas premissas. Exemplo: {PaQb, Pa&~Rab, Rab v (QbPa)} (PaQb)
Observe que PaQb no aparece nas premissas, porm temos PaQb e Qb Pa.
Nessas hipteses, o prof. Mortari sugere :
37
i)quando a concluso uma conjuno (&): derive cada elemento individualmente; depois, junte-os usando a regra da I&;
37
Mortari, 2001, p.248.
205
ii)quando a concluso uma bicondicional (): derive primeiro os condicionais correspondentes e depois aplique a regra da I; iii)quando a concluso uma disjuno (v): derive qualquer uma das frmulas unidas pela disjuno (v) e depois use a regra de Iv.
3.3.9.2 Outras dicas Poderamos, ainda, arriscar outras possibilidades para alm das mencionadas pelo prof. Mortari. Ei-las:
iv)quando a concluso uma negao (~): pode funcionar uma RAA da frmula que negada; v)quando a concluso uma implicao (): normalmente uma hiptese PC; ou uma RAA do contrrio da frmula; vi)quando a concluso um quantificador existencial () ou universal (): derive a frmula atmica ou molecular e depois use a regra da I ou da I, conforme o caso. Cuidado com a incluso do universal, que exige obedincia a duas restries.
Mais dicas:
vii)sempre que houver negao da implicao ~(PaQa), da disjuno ~(PavQa) e da conjuno ~(Pa&Qa) lembre-se das regras derivadas: De Morgan 38 (DM) e Implicao Material (IM) ;
viii)toda vez que tivermos uma contradio, podemos inserir qualquer frmula por RAA para deduzir o contrrio dela;
ix)lembre-se que pela regra da Iv podemos inserir qualquer frmula. Ex: se temos Pa, ento temos Pav; x)na regra da excluso do quantificador existencial (E), uma forma de superar a
O domnio dessas regras muito til, poi s podem ser aplicadas tamb m para for mar negaes. Lembremos: ( & ) ~(~ v~ ) por DM; ( v) ~(~ &~ ) por DM; ( &) ~( ) por IM.
38
206
4 restrio (a constante individual no pode estar na frmula resultante - cf. todas as restries acima item 3.2.14) a utilizao da regra da CT (sobre CT v. item 3.3.8; para exemplos disso v. item 3.4).
Dica importante: atente sempre para os operadores principais das frmulas!!! As regras de deduo incidem apenas sobre esses operadores. Dica importante2: nunca se esquea de demonstrar a contradio (&~) antes de fechar uma hiptese de RAA. Dica importante 3: opte pela demonstrao mais econmica, estude as regras derivadas de DN, use-as, abuse delas. Quanto menor o nmero de linhas, tanto menor a possibilidade de erro (cf. no item 3.4 alguns exerccios resolvidos de mais de uma forma, algumas mais outras menos econmicas). Dica importante 4: na deduo natural procure ler o argumento, a frmula ou o conjunto de frmulas. Isso estimula nossa intuio. Um exemplo: antes de proceder deduo do argumento a seguir, procure entend-lo: {x(HxCx), x(Hx&Mx)} x(Cx&Mx). Veja, ele diz: para qualquer x, se x tiver H, ento x tem C; existe ao menos um x que tem H e M, logo existe ao menos um x que tem C e M. Note que a 2 premissa {x(Hx&Mx)} nos diz que existe algum que tem H e M; logo, se tem H, tem C segundo a 1 premissa {x(HxCx)} e, se assim , ento esse algum tem C e M {x(Cx&Mx)}. Entendendo isso, podemos imaginar que nossa deduo natural partir do desmembramento da 2 premissa com parte da qual extrairemos alguma coisa da 1 e, ento, juntando tudo, chegaremos concluso. Observe:
1)x(HxCx) 2)x(Hx&Mx) 3) Ha&Ma 4) Ha 5) Ma 6) HaCa 7) Ca 8) Ca&Ma 9) x(Cx&Mx) 10)x(Cx&Mx) P P 2, H(E) 3 E& 3 E& 1 E 4,6 MP 5,7 I& 8 I 2, 3-9 E
Organizada a deduo, na l.3 iniciou-se o processo de desmembramento da 2 premissa {x(Hx&Mx)}. Como uma existencial, aplicou-se a regra da E que inaugura uma hiptese, ao cabo da qual tivemos a concluso (l.10). Dentro da hiptese, investiu-se contra a 1 premissa (l.6). O Ha (l.4) extrado da 2 premissa serviu-nos para extrair Ca por modus ponens (l.7). Da nos bastou juntar Ca&Ma (l.8), incluir o existencial de novo (l.9) e extrair nossa concluso na l.10, encerrando a hiptese de E. Note, ainda, que a incluso do na l.9 teve dupla finalidade: a)superou a 4 restrio da regra da E e b)nos levou diretamente concluso do argumento. Repare, vista disso, que todas essas etapas foram guiadas pela intuio inicial que tivemos depois da leitura do argumento.
207
Observe, tambm, estas dicas rapidinhas: se temos &~ & podemos ter v (qualquer outra frmula) ~~ temos qualquer frmula ~(~) ~(~v~) v Fa xFx ~(v) ~(&) ~() ~(~&~) xFx xFx Fa ~&~ ~v~ &~ pela regra Iv DN E~ CT E& E& IM DM DM E E I I E DM DM IM
E AGORA A MELHOR DICA DE TODAS: quanto mais voc praticar tanto mais fcil ser a resoluo dos novos exerccios por conta da experincia alcanada a partir de exerccios passados!!!
208
3.4 Resoluo comentada de exerccios na deduo natural (sintaxe II) Embora tudo seja deduo natural, anoto que os exerccios resolvidos e comentados abaixo envolvem ora clculo de predicados ora clculo proposicional. A sequncia foi aleatria39.
1)xFx ~x~Fx
1) xFx 2) 3) 4) 5) 6) 7) ~x~Fx 8) xFx ~x~Fx 9) ~x~Fx 10) 11) 12) 13) 14) 15) 16) 17) 18) ~~xFx 19) xFx 20) ~x~Fx xFx 21) xFx ~x~Fx H(PC) H(RAA) 2, H(E) 1 E 3,4 CT 2,3-5 E 2-6 RAA 1-7 PC H(PC) H(RAA) H(RAA) 11 I 9,12 I& 11-13 RAA 14 E~ 15 I 10,16 I& 10-17 RAA 18 E~ 9-19 PC 8, 20 I
x~Fx ~Fa Fa P&~P P&~P
Cuida-se de um teorema, logo a deduo comea com uma hiptese de PC.
~xFx ~Fa x~Fx x~Fx & ~x~Fx ~~Fa Fa xFx xFx & ~xFx
Observe que extraindo o ~Fa de x~Fx, voc conseguir uma contradio extraindo Fa de xFx. Porm, por conta da 4 restrio regra da E (a constante no pode aparecer na frmula deduzida), tivemos de usar a regra da contradio (CT), tambm derivada, para extrairmos P&~P e, com ela, a contradio que precisvamos para deduzir ~x~Fx na linha 7.
Atente que para E no h restries!
A bem da verdade, a sequncia no totalmente arbitrria, mas no baseada nos exerccio, seno na srie de comentrios que os ladeiam.
39
209
2)xFx~x~Fx
1) xFx 2) 3) 4) 5) 6) 7) ~x~Fx 8) xFx~x~Fx 9) ~x~Fx 10) 11) 12) 13) 14) 15) 16) 17) ~~xFx 18) xFx 19) ~x~FxxFx 20)xFx~x~Fx H(PC) H(RAA) 1, H(E) 2 E 3,4 CT 1,3-5 E 2-6 RAA 1-7 PC H(PC) H(RAA) H(RAA) 11 I 10,12 I& 11-13 RAA 14I 9,15I& 10-17 RAA 18 E~ 9-19 PC 8, 20 I
Em teoremas cujo operador principal for a implicao () ou a bi-implicao () sempre inicie com H(PC).
x~Fx Fa ~Fa P&~P P&~P
~xFx Fa xFx xFx & ~xFx ~Fa x~Fx x~Fx & ~x~Fx
Sendo o operador principal do teorema uma bi-implicao ( ), a estratgia de deduo dividida em trs partes: a)deduo da implicao ; b)deduo da implicao ; c)incluso o operador a partir das duas frmulas deduzidas. Veja, portanto, que na linha 8 deduzimos xFx~x~Fx (etapa a), logo, para conseguirmos ~x~FxxFx (etapa b), lanamos como H(PC) ~x~Fx na linha 9.
Lembre-se: para incluso do no h limitao.
A regra da RAA a da incluso do operador da negao (~), logo se obtm como resultado a negao da frmula lanada na hiptese. Assim, de , obtm-se ~. Importante: constitui erro inserir direto xFx (!), pressupondo j a eliminao da negao (~~). Esse passo tambm precisa ser demonstrado.
210
3)~xFxx~Fx
1) ~xFx 2) 3) 4) 5) 6) 7) 8) 9) 10) ~~x~Fx 11) x~Fx 12) ~xFx x~Fx 13) x~Fx 14) 15) 16) 17) 18) 19) ~xFx 20) x~Fx~xFx 21) ~xFx x~Fx H(PC) H(RAA) H(RAA) 3 I 2,4 I& 3-5 RAA 6 E~ 7 I 1,8 I& 2-9 RAA 10 E~ 1-11 PC H(PC) H(RAA) 14 E 13, H(E) 15,16 CT 13,16-17 E 14-18 RAA 13-19 PC 12, 20 I
Lanou-se ~Fa como hiptese de RAA (l.3) porque com a imediata I sobre ela, obtevese a contradio na l.5.
~x~Fx ~Fa x~Fx x~Fx & ~x~Fx ~~Fa Fa xFx xFx & ~xFx
Com Fa, ficou fcil conseguir uma nova contradio a partir da I, como se v das ll.8 e 9.
xFx Fa ~Fa P&~P P&~P
Extraiu-se o Fa pela E (l.15) para que, excludo o ~Fa pela E (l.16), obtivssemos uma contradio (ll.15 e 16) que nos permitisse usar a regra CT e deduzir P&~P (l.17) da x~Fx. Com isso, alcanouse mais uma contradio para fechamento da hiptese de RAA aberta na l. 14.
211
4)~xFxx~Fx
1) ~xFx 2) 3) 4) 5) 6) 7) 8) 9) ~~x~Fx 10) x~Fx 11) ~xFx x~Fx 12) x~Fx 13) 14) 15) 16) 17) 18) 19) 20) 21) ~xFx 22) x~Fx ~xFx 23) ~xFx x~Fx H(PC) H(RAA) H(RAA) 3, I 1,4 I& 3-5 RAA 6 I 2,7 I& 2-8 RAA 9 E~ 1-10 PC H(PC) H(RAA) 12E 13, H(E) H(RAA) 14,15 I& 16-17 RAA 18 E~ 13,15-19 E 13-20 RAA 12-21 PC 11,22 I
~x~Fx Fa xFx xFx & ~xFx ~Fa x~Fx x~Fx & ~x~Fx
xFx ~Fa Fa ~(P&~P) Fa & ~Fa ~~(P&~P) P&~P P&~P
As ll.16-19 demonstram o que seria facilmente economizado pela aplicao da regra derivada da contradio (CT). Ou seja, as ll. referidas poderiam ser substitudas pela seguinte: 16)....P&~P 14,15CT.
212
5) (xFx v xGx) x(Fx v Gx) A seguir apresentaremos duas formas de resoluo:

1) xFx v xGx 2) ~x(Fx v Gx) 3) ~xFx 4) xGx 5) Ga 6) Fa v Ga 7) x(Fx v Gx) 8) x(Fx v Gx) & ~x(Fx v Gx) 9) ~~xFx 10) xFx 11) Fa 12) Fa v Ga 13) x(Fx v Gx) 14) x(Fx v Gx) & ~x(Fx v Gx) 15) ~~x(Fx v Gx) 16) x(Fx v Gx) 17) (xFx v xGx) x(Fx v Gx) H(PC) H(RAA) H(RAA) 1,3 SD 4 E 5 Iv 6 I 2,7 I& 3-8 RAA 9 E~ 10 E 11 Iv 12 I 2,13 I& 2-14 RAA 15 E~ 1-16 PC
Observe que no possvel aplicar DM, pois a negao ~ incide sobre x, no sobre (Fx v Gx)!
Note: (Fa v Ga), e no (Ga v Fa), pois o objetivo incluir o para obter contradio com l.2.
Confira sempre as duas restries: a constante individual a no aparece em nenhuma premissa, tampouco hiptese aberta.
Resoluo do mesmo exerccio de outra forma:

1) xFx v xGx 2) xFx 3) Fa 4) Fa v Ga 5) x(FxvGx) 6) xFxx(FxvGx) 7) xGx 8) Ga 9) Fa v Ga 10) x(FxvGx) 11) xGxx(FxvGx) 12) x(FxvGx) 13) (xFx v xGx)x(FxvGx) H(PC) H(PC) 2 E 3Iv 4 I 2-5 PC H(PC) 7 E 8 Iv 9 I 7-10 PC 1,6,11 Ev 1-12 PC
Quando o operador da disjuno estiver presente, pense sempre na regra de Ev. Como se pode ver, essa segunda forma de resoluo mais simples, simtrica e econmica.
213
6)x(Fx v Gx) (xFx v xGx)

1) x(Fx v Gx) 2) ~(xFx v xGx) 3) ~xFx & ~xGx 4) Fa 5) xFx 6) ~xFx 7) xFx & ~xFx 8) ~Fa 9) Fa v Ga 10) Ga 11) xGx 12) ~xGx 13) xGx & ~xGx 14) xGx & ~xGx 15) ~~(xFx v xGx) 16) xFx v xGx 17) x(Fx v Gx) (xFx v xGx) 18) xFx v xGx 19) ~x(Fx v Gx) 20) ~xFx 21) xGx 22) Ga 23) Fa v Ga 24) x(FxvGx) 25) x(FxvGx) 26) x(FxvGx) & ~x(FxvGx) 27) ~~xFx 28) xFx 29) Fa 30) Fa v Ga 31) x(FxvGx) 32) x(FxvGx) 33) x(FxvGx) & ~x(FxvGx) 34) ~~x(FxvGx) 35) x(FxvGx) 36) (xFx v xGx) x(Fx v Gx) 37) x(Fx v Gx) (xFx v xGx)
Observe ll.11-14 e 31-33 (todas em vermelho). Destaquei-as para que fique claro que na resoluo no h diferena entre se deduzir a contradio dentro ou fora da derivao hipottica de excluso do (regra de E).
H(PC) H(RAA) 2 DM H(RAA) 4 I 3 E& 5,6 I& 4-7 RAA 1 H(E) 8,9 SD 10 I 3 E& 11,12 I& 1,9-13 E 2-14 RAA 15 E~ 1-16 PC H(PC) H(RAA) H(RAA) 18,20 SD 21 H(E) 22 Iv 23 I 21,22-24 E 19,25 I& 20-26 RAA 27 E~ 28 H(E) 29 Iv 30 I 28,29-31 E 19,32 I& 19-33 RAA 34 E~ 18-35 PC 17,36 I
Veja que a constante a j foi mencionada antes nas ll.4 e 8, porm a hiptese da l.4 j est fechada, portanto no vigente; e a frmula da l.8 no premissa tampouco hiptese. Logo as restries foram observadas, j que a constante a tambm no consta na frmula da l.1, nem da frmula deduzida (l.13).
214
A propsito do exerccio anterior, abaixo segue resoluo muito mais sinttica e elegante elaborada pelo prprio prof. Manholi:
1) x (Fx v Gx) 2) Fa v Ga 3) Fa 4) xFx 5) xFx v xGx 6) Fa (xFx v xGx) 7) Ga 8) xGx 9) xFx v xGx 10) Ga (xFx v xGx) 11) xFx v xGx 12) xFx v xGx 13) x (Fx v Gx) (xFx v xGx) 14) xFx v xGx 15) xFx 16) Fa 17) Fa v Ga 18) x (Fx v Gx) 19) x (Fx v Gx) 20) xFx x (Fx v Gx) 21) xGx 22) Ga 23) Fa v Ga 24) x (Fx v Gx) 25) x (Fx v Gx) 26) xGx x (Fx v Gx) 27) x (Fx v Gx) 28) (xFx v xGx) x (Fx v Gx) 29) x (Fx v Gx) (xFx v xGx) H (PC) H (E) H (PC) 3 I 4 Iv 3-5 PC H (PC) 7 I 8 Iv 7-9 PC 2, 6, 10 Ev 1, 2-11 E 1-12 PC H (PC) H (PC) H (E) 16 Iv 17 I 15, 16-18 E 15-19 PC H (PC) H (E) 22 Iv 23 I 21, 22-24 E 21-25 PC 14, 20, 26 Ev 14-27 PC 13-28 I
Isso demonstra que um exerccio pode ser feito de mais de uma maneira.
215
7)x(Fx v ~Fx)
Importa destacar que a contradio j est cabalmente demonstrada. (P & ~P) (~Fa & ~~Fa)
1) ~(Fa v ~Fa) 2) ~Fa & ~~Fa 3)~~(Fav~Fa) 4)Fa v ~Fa 5)x(Fx v ~Fx)
H(RAA) 1DM 1-2 RAA 3 E~ 4 I
Note nesse exerccio que a incluso de uma H(RAA) inicial seria expletiva. Veja abaixo a resoluo do mesmo exerccio: 1) ~x(Fx v ~Fx) 2) ~(Fa v ~Fa) 3) ~Fa & ~~Fa 4) ~~(Fav~Fa) 5) Fa v ~Fa 6) x(Fx v ~Fx) 7) x(Fx v ~Fx) & ~x(Fx v ~Fx) 8)~~x(Fx v ~Fx) 9)x(Fx v ~Fx)
H(RAA) H(RAA) 2DM 2-3 RAA 4 E~ 5 I 1,6 I& 1-7 RAA 8 E~
Tudo o que est em vermelho foi incluindo sem necessidade, a saber, ll 1, 7-9. Basta verificar que as ll. 2-6 correspondem exatamente s linhas ll.1-5 da demonstrao anterior.
216
8)x(FxGx)(xFxxGx)
1) x(FxGx) 2) FaGa 3) xFx 4) FaGa 5) Fa 6) Ga 7) xGx 8) xFxxGx 9) xGx 10) GaFa 11) Ga 12) Fa 13) xFx 14) xGxxFx 15) xFxxGx 16) x(FxGx)(xFxxGx) H(PC) 1 E H(PC) 2 E 3 E 4,5 MP 6 I 2-7 PC H(PC) 2 E 9 E 10,11 MP 12 I 9-13 PC 8,14 I 1-15 PC
uma boa estratgia desde logo excluir o universal para derivar FaGa, pois a frmula ser til em duas outras hipteses (ll.4 e 10). Evita-se assim excluir o universal duas vezes em cada subhiptese.
Veja que a no est numa hiptese aberta, mas numa derivao lgica aberta (l.2), da a ausncia de restries.
A estrutura da estratgia nesse exerccio a seguinte: criar uma hiptese de PC da qual se produziro duas implicaes xFxxGx e xGxxFx, para se chegar a xFxxGx, donde o passo final: x(FxGx)(xFxxGx).
9)x(FxGx)x(FxGx)
1) x(FxGx) 2)x(FxGx)x(FxGx)
H(PC) 1-1 PC
Note que da mesma forma que implica (), x(FxGx) implica x(FxGx). Logo, e porque qualquer coisa implica a si mesma, imediatamente aps lanarmos como H(PC) o antecedente da implicao (x(FxGx), podemos fech-la e deduzir: x(FxGx)x(FxGx). Obs*: j vimos isso no silogismo disjuntivo (v. item 3.3.1).
217
10)(P&Q)(Q&P)
1) P&Q 2) P 3) Q 4) Q&P 5)(P&Q)(Q&P) 6) Q&P 7) Q 8) P 9) P&Q 10)(Q&P)(P&Q) 11)(P&Q) (Q&P)
H(PC) 1 E& 1 E& 2,3 I& 1-4 PC H(PC) 6 E& 6 E& 7,8 I& 6-9 PC 5,10 I
A estratgia geral desmembrar as frmulas moleculares para depois juntar as atmicas de modo invertido. Compare ll.1 e 4; ll.6 e 9.
11)(PvQ)(QvP)
1) PvQ 2) 3) 4) P(QvP) 5) 6) 7) Q(QvP) 8) QvP 9)(PvQ)(QvP) 10) QvP 11) 12) 13) Q(PvQ) 14) 15) 16) P(PvQ) 17) PvQ 18)(QvP)(PvQ) 19)(PvQ)(QvP)
P QvP Q QvP
Q PvQ P PvQ
H(PC) H(PC) 2 Iv 2-3 PC H(PC) 5Iv 5-6 PC 1,4,7 Ev 1-8 PC H(PC) H(PC) 11 Iv 11-12 PC H(PC) 14 Iv 14-15 PC 1,13,16 Ev 10-17 PC 9,18 I
Excelente modelo para treino da regra da excluso do v. Fazer com RAA possvel, porm mais longo e complicado.
218
12)(P v Q)(~PQ)
Na l.1 queremos fazer a ida: (PvQ) (~PQ). Na l.2, uma H(RAA) de ~(~PQ) tambm daria certo, mas exigiria muito mais esforo (vide abaixo). Uma H(PC) mais econmica e se justifica porque o operador principal da frmula conseqente tambm uma implicao.
1) PvQ 2) 3) 4) ~PQ 5)(P v Q) (~PQ) 6) ~PQ 7) 8) 9) 10) 11) 12) 13) ~~(PvQ) 14) PvQ 15)(~PQ)(PvQ) 16) (P v Q)(~PQ)
~P Q
~(PvQ) ~P&~Q ~P ~Q Q Q & ~Q
H(PC) H(PC) 1,2 SD 2-3 PC 1-4 PC H(PC) H(RAA) 7 DM 8 E& 8 E& 6,10 MP 10,11 I& 7-12 RAA 13 E~ 6-14 PC 5,15 I
Em caso de negao do operador & ou do operador v, pense em DM, geralmente ajuda, como foi o caso.
Aqui a RAA me pareceu a nica sada mais factvel.
Abaixo, resoluo do mesmo exerccio tambm correta, porm mais longa, por meio de RAA na linha 2 (procedimento em vermelho):
1) PvQ 2) 3) 4) 5) 6) ~~(~PQ) 7) ~PQ 8)(P v Q)(~PQ) 9) ~PQ 10) 11) 12) 13) 14) 15) 16) ~~(PvQ) 17) PvQ 18)(~PQ)(PvQ) 19) (P v Q)(~PQ) H(PC) H(RAA) 2 IM 3 DM 1,4 I& 2-5 RAA 6 E~ 1-7 PC H(PC) H(RAA) 10 DM 11 E& 11 E& 9,12 MP 13,14 I& 10-15 RAA 16 E~ 9-17 PC 8,18 I
~(~PQ) ~P & ~Q ~(PvQ) (PvQ) & ~(PvQ)
~(PvQ) ~P & ~Q ~P ~Q Q Q & ~Q
219
13)(Pv(QvR))((PvQ)vR)
1) Pv(QvR) 2) P 3) PvQ 4) (PvQ)vR 5) P((PvQ)vR) 6) Q 7) PvQ 8) (PvQ)vR 9) Q((PvQ)vR) 10) (PvQ)vR 11)(Pv(QvR))((PvQ)vR) 12) (PvQ)vR 13) ~(Pv(QvR)) 14) PvQ 15) 16) 17) 18) 19) 20) ~~P 21) P 22) Pv(QvR) 23) (PvQ)(Pv(QvR)) 24) R 25) QvR 26) Pv(QvR) 27) R(Pv(QvR)) 28) Pv(QvR) 29) (Pv(QvR))& ~(Pv(QvR)) 30) ~~(Pv(QvR)) 31) Pv(QvR) 32)((PvQ)vR)(Pv(QvR)) 33)(Pv(QvR)) ((PvQ)vR)
~P Q QvR Pv(QvR) (Pv(QvR))&~(Pv(QvR))
H(PC) H(PC) 2 Iv 3Iv 2-4 PC H(PC) 6 Iv 7 Iv 6-8 PC 1,5,9 Ev 1-10 PC H(PC) H(RAA) H(PC) H(RAA) 14,15 SD 16 Iv 17 Iv 13,18 I& 15-19 RAA 20 E~ 21 Iv 14-22 PC H(PC) 24 Iv 25 Iv 24-26 PC 12,23,27 Ev 13,28 I& 13-29 RAA 30E~ 12-31 PC 11,32 I
Quando o operador principal de uma H(PC) for um v, pense na regra de excluso do v, comum obter-se um bom resultado, como ocorreu no exemplo ao lado.
Tambm apliquei a regra da excluso do v, mas dentro de uma H(RAA), que no consegui evitar.
220
14)(P&(QvR))((P&Q)v(P&R))
Intuitivamente: se Srgio (P) vai festa com Judith (Q) ou com Laudicia (R), ento na festa encontraremos Srgio e Judith (P&Q) ou Srgio e Laudicia (P&R). De outro lado tambm podemos dizer se na festa encontraremos Srgio e Judith (P&Q) ou Srgio e Laudicia (P&R), podemos dizer tambm que na festa Srgio 40 estar l ou com Judith ou com Laudicia (P&(QvR))! 1) P&(QvR) H(PC) 2) ~((P&Q)v(P&R)) H(RAA) 3) P 1 E& 4) QvR 1 E& 5) ~R H(RAA) 6) Q 4,5 SD 7) P&Q 3,6 I& 8) (P&Q) v (P&R) 7 Iv 9) ((P&Q) v (P&R)) & ~((P&Q) v (P&R)) 2,8 I& 10) ~~R 5-9 RAA 11) R 10 E~ 12) P&R 3,11 I& 13) (P&Q) v (P&R) 12 Iv 14) ((P&Q) v (P&R)) & ~((P&Q) v (P&R)) 2,13 I& 15) ~~((P&Q)v(P&R)) 2-14 RAA 16) (P&Q)v(P&R) 15 E~ 17)(P&(QvR))((P&Q)v(P&R)) 1-16 PC 18) (P&Q)v(P&R) H(PC) 19) P&Q H(PC) 20) P 19 E& 21) Q 19 E& 22) QvR 21 Iv 23) P&(QvR) 20,22 I& 24) P&Q(P&(QvR)) 19-23 PC 25) P&R H(PC) 26) P 25 E& 27) R 25 E& 28) QvR 27 Iv 29) P&(QvR) 26,28 i& 30) P&R(P&(QvR)) 25-29 PC 31) P&(QvR) 18,24,30 Ev 32)((P&Q)v(P&R)(P&(QvR)) 18-31 PC 33) (P&(QvR)) ((P&Q)v(P&R)) 17,32 I
Para fazer a volta, a regra da Ev foi muito til. Cf. ll.18,24,30,31. Seria possvel tambm por RAA, embora mais longa a demonstrao estaria correta (vide na prx. pgina).
Em azul marquei uma seqncia interessante. Note que para alcanar o contrrio de ~((P&Q)v(P&R)), basta conseguir (P&Q) ou (P&R), por conta da regra da incluso do v. Note que na l.12, obtive (P&R), da na l.13 consegui (P&Q)v(P&R) para na linha seguinte (l.14) obter a contradio para fechar a H(RAA) com ((P&Q) v (P&R)) & ~((P&Q) v (P&R)).
40
Baseado em fatos reai s.
221
Demonstrao por ((P&Q)v(P&R))(P&(QvR))41:
RRA
na
l.19
da
volta
(...) 18) (P&Q)v(P&R) 19) ~(P&(QvR) 20) ~(P&R) 21) P&Q 22) P 23) Q 24) QvR 25) P&(QvR) 26) (P&(QvR)) & ~(P&(QvR)) 27) ~~(P&R) 28) P&R 29) P 30) R 31) QvR 32) P&(QvR) 33) (P&(QvR)) & ~(P&(QvR)) 34) ~~(P&(QvR)) 35) P&(QvR) 36)((P&Q)v(P&R))(P&(QvR)) (...)
H(PC) H(RAA) H(RAA) 18,20 SD 21 E& 21 E& 23 Iv 22,25 I& 19,25 I& 20-26 RAA 27 E~ 28 E& 28 E& 30 Iv 29,31 I& 19,32 I& 19-33 RAA 34 E~ 18-35 PC
ATENO: essa demonstrao foi parcial, devendo ser entendida, mutatis mutandis, como integrante da resoluo anterior.
41
Demonstrao sugerida pelo colega Sr gio Adriano Ribeiro.
222
15)(Pv(Q&R))((PvQ)&(PvR))
Observe: se P ocorre, ento (PvR) ocorre; assim como (PvQ) tambm ocorre. Ou seja (P v ) ocorre. a fantstica regra da incluso do v, que nos socorre no exemplo.
1) Pv(Q&R) 2) P 3) PvQ 4) PvR 5) (PvQ)&(PvR) 6) P((PvQ)&(PvR)) 7) Q&R 8) Q 9) R 10) PvQ 11) PvR 12) (PvQ)&(PvR) 13) (Q&R)((PvQ)&(PvR)) 14) (PvQ)&(PvR) 15)(Pv(Q&R))((PvQ)&(PvR)) 16) (PvQ)&(PvR) 17) PvQ 18) PvR 19) ~(Pv(Q&R)) 20) ~P 21) Q 22) R 23) Q&R 24) Pv(Q&R) 25) (Pv(Q&R))& ~(Pv(Q&R)) 26) ~~P 27) P 28) Pv(Q&R) 29) (Pv(Q&R))& ~(Pv(Q&R)) 30) ~~(Pv(Q&R)) 31) Pv(Q&R) 32)((PvQ)&(PvR))(Pv(Q&R)) 33)(Pv(Q&R))((PvQ)&(PvR))
H(PC) H(PC) 2v 2 Iv 3,4 I& 2-5 PC H(PC) 7 E& 7E& 8 Iv 9Iv 10,11 I& 7-12 PC 1,6,13 Ev 1-14 PC H(PC) 16 E& 16 E& H(RAA) H(RAA) 17,20 SD 18,20 SD 21,22 I& 23 Iv 19,24 I& 20-25 RAA 26 E~ 27 Iv 19,28 I& 19-29 RAA 30 E~ 16-31 PC 15,32 I
Deduzimos tudo isso de P, como se v das ll.3-5.
Na l.6, fechamos a primeira premissa da regra da excluso do v que nos permitir na l.14 deduzir o conseqente da primeira H(PC) aberta l.1. Na l.15 fechamos a hiptese com a ida pronta, isto : (Pv(Q&R))((PvQ)&(PvR)).
223
16)((P&(Q&R))((P&Q)&R)
1) P&(Q&R) 2) P 3) Q&R 4) Q 5) R 6) P&Q 7) (P&Q)&R 8)((P&(Q&R))((P&Q)&R) 9) (P&Q)&R 10) P&Q 11) R 12) P 13) Q 14) Q&R 15) P&(Q&R) 16)((P&Q)&R)(P&(Q&R)) 17)((P&(Q&R))((P&Q)&R) H(PC) 1 E& 1 E& 3 E& 3 E& 2,4 I& 5,6 I& 1-7 PC H(PC) 9 E& 9 E& 10 E& 10 E& 11,13 I& 14,15 I& 9-15 PC 8,16 I
O princpio desmembrar para unir noutra ordem.
17)(xFxx(GxvHx))(~Hb(FaGb))
1) xFxx(GxvHx) 2) ~Hb 3) Fa 4) xFx 5) x(GxvHx) 6) GbvHb 7) Gb 8) FaGb 9) ~Hb(FaGb) 10) (xFxx(GxvHx))(~Hb(FaGb)) H(PC) H(PC) H(PC) 3 I 1,4 MP 5 E 2,6 SD 3-7 PC 2-8 PC 1-9 PC
3 H(PC) por conta dos trs operadores da frmula: (xFxx(GxvHx))(~Hb (FaGb))
O ponto mais importante neste exerccio esse passo na l.6. Note-se que a eliminao do ocorreu com a constantes b. Isso porque o objetivo era deduzir Gb, como feito na l. 7 por SD. Relembre que para excluso do no h restries.
224
18){x(HxCx), x(Hx&Mx)}x(Cx&Mx) Trata-se de um argumento. O procedimento considerar as premissas {x(HxCx), x(Hx&Mx)} para delas deduzir a concluso x(Cx&Mx). Mos obra:
1)x(HxCx) 2)x(Hx&Mx) 3) Ha&Ma 4) Ha 5) Ma 6) HaCa 7) Ca 8) Ca&Ma x(Cx&Mx) 9) 10)x(Cx&Mx) P P 2, H(E) 3 E& 3 E& 1 E 4,6 MP 5,7 I& 8 I 2,3-9 E
Observe que no posso ainda fechar a hiptese de excluso do , j que incidiria a 4 restrio. Por isso, incluiu-se o na l. 9, deduzindo diretamente a concluso na l. 10, encerrando a hiptese de excluso do com a concluso j devidamente deduzida.
19){xy(Rxy~Ryx), x~Rxx, Rab} ~Rba

1)xy(Rxy~Ryx) 2)x~Rxx 3)Rab 4)y(Ray~Rya) 5)Rab~Rba 6)~Rba P P P 1 E 4 E 3,5 MP
um caso em que a deduo natural mais simples que a rvore de refutao.
Repare que essa premissa redundante, pois prescindvel na deduo.
Nesse exerccio, o mais relevante escolher as constantes individuais na excluso do nas ll. 4 e 5 de modo que na l.6 seja possvel a obteno da concluso por modus ponens.
225
20){xy(Rxy~Ryx), ~Rac(~Raa&~Rbc)
1)xy(Rxy~Ryx) 2)xyz((Rxy&Ryz)Rxz) 3)Rab 4) ~Rac 5) yz((Ray&Ryz)Raz) 6) z((Rab&Rbz)Raz) 7) (Rab&Rbc)Rac 8) ~(Rab&Rbc) 9) ~Rab v ~Rbc 10) ~~Rab 11) ~Rbc 12) Raa 13) y(Ray~Rya) 14) Raa~Raa 15) ~Raa 16) Raa & ~Raa 17) ~Raa 18) ~Raa&~Rbc 19)~Rac(~Raa&~Rbc)
xyz((Rxy&Ryz)Rxz),
Rab}
P P P H(PC) 2 E 5 E 6 E 4,7 MT 8 DM 3 DN 9,10 SD H(RAA) 1 E 13 E 12,14 MP 12,15 I& 12-16 RAA 11,17 I& 4-18 PC
Este tpico exemplo em que a deduo natural, sem ser simples, menos trabalhosa do que a rvore de refutao (tente fazer a rvore e comprove).
21){xFxx(Fx&Gx), x~Gx}x(Fxy(Fy&~Gy))
1)xFxx(Fx&Gx) 2)x~Gx 3) Fa 4) xFx 5) x(Fx&Gx) 6) Fb&Gb 7) Fb 8) ~Gb 9) Fb & ~Gb 10) y(Fy & ~Gy) 11) y(Fy & ~Gy) 12)Fay(Fy & ~Gy) 13)x(Fxy(Fy&~Gy)) P P H(PC) 3 I 1,4 MP 5 H(E) 6 E& 2 E 7,8 I& 9 I 5,6-10 E 3-11 PC 12 I
Hiptese com constante individual b para superar a 2 restrio (cf. item 3.2.14), j que a encontra-se numa hiptese vigente (l.3)
Excluso do por b, no por a, v. seqncia nas ll.9-11.
IMPORTANTSSIMO: a incluso do incide sobre toda a frmula. Seria grande equvoco deduzir xFxy(Fy&~Gy) [incorreto!]. Como dia Mortari: ...o quantificador a ser introduzido deve aplicar-se frmula como um todo (2001, p.275).
226
22){x(GxHx), x(Hx~Ix)}x(Gx~Ix)
1)x(GxHx) 2)x(Hx~Ix) 3) Ga 4) GaHa 5) Ha~Ia 6) Ha 7) ~Ia 8)Ga~Ia 9)x(Gx~Ix) P P H(PC) 1 E 2 E 3,4 MP 5,6 MP 3-7 PC 8 I
Esse mesmo exerccio encontra-se no livro do prof. Mortari em 6 (seis) linhas (2001, p.271):
1)x(GxHx) 2)x(Hx~Ix) 3)GaHa 4)Ha~Ia 5)Ga~Ia 6)x(Gx~Ix)
P P 1 E 2 E 3,4 SH 5 I
Aqui a regra derivada do silogismo hipottico (SH) poupou-nos 3 linhas e uma hiptese PC.
227
23){xFx, x(FxGx)}(Ga&(HcFb))
1)xFx 2)x(FxGx) 3)Fa 4)FaGa 5)Ga 6) Hc 7) Fb 8)HcFb 9)Ga&(HcFb) P P 1 E 2 E 3,4 MP H(PC) 1 E 6-7 PC 5,8 I&
No tem problema algum eliminar o mais de uma vez (veja ll.3 e 7). Uma frmula submete-se deduo tantas vezes quantas forem necessrias.
24){xFxxHx, Fa}Hb
1)xFxxHx 2)Fa 3)xFx 4)xHx 5)Hb P P 2 I 1,3 MP 4 E
Lembrando que no h limitao para as regras de I e E.
25){x(Fx v Gx), xHx~Fb, Hc} Gb
1)x(Fx v Gx) 2)xHx~Fb 3)Hc 4)xHx 5)~Fb 6)Fb v Gb 7)Gb
P P P 3 I 2,4 MP 1 E 5,6 SD
Na l.6, extra o com b para aplicar SD com l.5, deduzindo a concluso na l.7.
228
26){x(Fxy(Fy&~Gy)), xGx}xFxx(Fx&Gx)
1)x(Fxy(Fy&~Gy)) 2)xGx 3)Fay(Fy&~Gy) 4) xFx 5) Fa 6) y(Fy&~Gy) 7) 8) 9) 10) 11) 12) x(Fx&Gx) 13) x(Fx&Gx) 14)xFxx(Fx&Gx) P P 1 E H(PC) 4, H(E) 3,5 MP 6 H(E) 2 E 7 E& 8,9 I& 10 I 6, 7-11 E 4,5-12 E 4-13 PC
Utilizando a constante b por conta da 2 restrio regra da E (cf. 3.2.14).
Fb&~Gb Gb Fb Fb&Gb x(Fx&Gx)
O colega Srgio A. Ribeiro (Daimon) sugeriu essa forma de resoluo, mais prtica e eficiente:
1)x(Fxy(Fy&~Gy)) 2)xGx 3) xFx 4) 5) 6) 7) 8) x(Fx&Gx) 9)xFxx(Fx&Gx) P P H(PC) 3, H(E) 2 E 4,5 I& 6 I 3, 4-7 E 3-8 PC
Fa Ga Fa & Ga x(Fx&Gx)
Observe que a segunda resoluo bem mais objetiva. Parte direto ao ponto: a concluso.
229
27)xFx v xGx ~FaGb

1)xFx v xGx 2) xFx 3) 4) 5) 6) 7) 8) 9) ~FaGb 10)xFx(~FaGb) 11) xGx 12) 13) 14) ~FaGb 15)xGx(~FaGb) 16)~FaGb P H(PC) H(PC) 2 E H(RAA) 3,4 I& 5-6 RAA 7 E~ 3-8 PC 2-9 PC H(PC) H(PC) 11 E 12-13 PC 11-14 PC 1,10,15 Ev
Para deduzir Gb na l.8, precisamos lanar uma H(RAA) de ~Gb(l.5) aproveitando a contradio j estabelecida nas ll.3 e 4.
~Fa Fa ~Gb Fa&~Fa ~~Gb Gb
~Fa Gb
230
28){xPbx, xy(PxySyx)}xSxb42
1)xPbx 2)xy(PxySyx) 3) Pba 4) y(PbySyb) 5) PbaSab 6) Sab 7) xSxb 8)xSxb P P 1, H(E) 2 E 4 E 3,5 MP 6 I 1, 3-7 E
Embora no fosse o desejvel vista da concluso que pretendemos deduzir, seria possvel incluir o existencial assim: xSax. Porm, estaria incorreta a incluso xSxx, porque em Sab temos duas constantes diferentes. Alis, estaria correto (no fizemos porque no de nosso interesse para resoluo do exerccio ao lado), o seguinte procedimento: (...) 6) 7) 8) (...) Sab xSxb yxSxy 3,5MP 6 I 7 I
29){x(Px&~Rxb), x(~Qx v Rxb), x(~RxbQx)}yRyb

1)x(Px&~Rxb) 2)x(~Qx v Rxb) 3)x(~RxbQx) 4)Pa&~Rab 5)~RabQa 6)~Rab 7)Qa 8) ~Qa v Rab 9) ~~Qa 10) Rab 11) yRyb 12)yRyb P P P 1 E 3 E 4 E& 5,6 MP 2, H(E) 7 DN 8,9 SD 10 I 2, 8-11 E
Observe que a incluso do a na hiptese de E no viola nenhuma das quatro restries.
42
Exerccios 28 a 30 em Mortari, 2001, p.222.
231
30){x(FxHx), z(TzFz), y(Ty&Qy)}x(Hx&Qx)

1)x(FxHx) 2)z(TzFz) 3)y(Ty&Qy) 4)FaHa 5)TaFa 6) Ta&Qa 7) Ta 8) Fa 9) Ha 10) Qa 11) Ha&Qa 12) x(Hx&Qx) 13)x(Hx&Qx) P P P 1 E 2 E 3, H(E) 6 E& 5,7 MP 4,8 MP 6 E& 9-10 I& 11 I 3, 6-12 E
31) (xFxxGx)x(FxGx)
1) xFxxGx 2) ~x(FxGx) 3) FaGa 4) x(FxGx) 5) x(FxGx)& ~x(FxGx) 6) ~(FaGa) 7) Fa&~Ga 8) Fa 9) xFx 10) xGx 11) Ga 12) ~Ga 13) P&~P 14) P&~P 15) ~~x(FxGx) 16) x(FxGx) 17) (xFxxGx)x(FxGx) H(PC) H(RAA) H(RAA) 3, I 2,4 I& 3-5 RAA 6 IM 7 E& 8 I 1,9 MP 10, H(E) 7 E& 11,12 CT 10, 11-13 E 2-14 RAA 15 E~ 1-16 PC
Para lembrar da regra derivada da contradio, v. item 3.3.8.
232
32) (PvP)P
1) PvP 2) 3) 4) 5) ~~P 6) P 7)(PvP) P 8) P 9) PvP 10)P(PvP) 11)(PvP)P H(PC) H(RAA) 1,2 SD 2,3 I& 2-4 RAA 5 E~ 1-6 PC H(PC) 8 Iv 8-9 PC 7,10 I
~P P P&~P
O teorema acima foi nominado por Mortari como idempotncia da disjuno (Mortari, 2001, 146). Logo abaixo teremos a idempotncia da conjuno.
33) (P&P)P
1) P&P 2) P 3)(P&P)P 4) P 5) 6) 7) ~~P 8) P 9) P&P 10)P(P&P) 11)(P&P)P H(PC) 1 E& 1-2 PC H(PC) H(RAA) 4,5 I& 5-6 RAA 7 E~ 4,8 I& 4-9 PC 3,10 I
~P P&~P
233
34)(PQ)(~Q~P)
1) PQ 2) 3) 4) ~Q~P 5)(PQ)(~Q~P) 6) ~Q~P 7) 8) 9) 10) 11) PQ 12)(~Q~P)(PQ) 13)(PQ)(~Q~P) H(PC) H(PC) 1,2 MT 2-3 PC 1-4 PC H(PC) H(PC) 7 DN 6,8 MT 9 E~ 7-10 PC 6-11 PC 5,12 I
~Q ~P
P ~~P ~~Q Q
Observe que no foi possvel aplicar diretamente o MT, pois para tanto se exige a negao de b(cf. item 3.3.2); portanto a negao de ~P ~~P, da a incluso na l.8 da dupla negao.
Da mesma forma, o resultado do MT a negao de a, logo ~~Q, e no Q.
Teorema da contraposio (Mortari, 2001, p.146).
35)((PQ)P)P
1) (PQ)P 2) 3) 4) 5) 6) 7) P 8)((PQ)P)P H(PC) H(RAA) 1,2 MT 3 IM 4 E& 2,5 I& 2-6 RAA 1-7 PC
~P ~(PQ) P&~Q P P&~P
Lei de Peirce (Mortari, 2001, p.146).
36)~P(PQ)
1) ~P 2) 3) 4) 5) 6) 7) PQ 8)~P(PQ) H(PC) H(PC) H(RAA) 1,2 I& 3-4 RAA 5 E~ 2-6 PC 1-7 PC
P ~Q P&~P ~~Q Q
Lei de Duns Scot (Mortari, 2001, p.146).
234
37)P(QP)
1) P 2) 3) 4) 5) 6) 7) Q P 8)P(QP) H(PC) H(PC) H(RAA) 1,3 I& 3-4 RAA 5 E~ 2-6 PC 1-7 PC
Q ~P P&~P ~~P P
Teorema prefixao (Mortari, 2001, p.146).
38)((P&Q)R)((P&~R)~Q) (antilogismo)
1) (P&Q)R 2) P&~R 3) 4) 5) 6) 7) 8) 9) ~Q 10) (P&~R)~Q 11)((P&Q)R)((P&~R)~Q) 12) (P&~R)~Q 13) P&Q 14) 15) 16) 17) 18) 19) 20) ~~R 21) R 22) (P&Q)R 23)((P&~R)~Q)((P&Q)R) 24)((P&Q)R)((P&~R)~Q) H(PC) H(PC) H(RAA) 2 E& 3,4 I& 1,5 MP 2 E& 6,7 I& 3-8 RAA 2-9 PC 1-10 PC H(PC) H(PC) H(RAA) 13 E& 14,15 I& 12,16 MP 13 E& 17,18 I& 14-19 RAA 20 E~ 13-21 PC 12-22 PC 22-23 I
Q P P&Q R ~R R&~R
~R P P&~R ~Q Q Q&~Q
235
39)((P&Q)R)(P(QR)) (importao/exportao)
1) (P&Q)R 2) P 3) 4) 5) 6) Q R 7) P(QR) 8)((P&Q)R) (P(QR)) 9) P(QR) 10) P&Q 11) P 12) Q R 13) Q 14) R 15) (P&Q)R 16)(P(QR))((P&Q)R) 17)((P&Q)R)(P(QR)) H(PC) H(PC) H(PC) 2,3 I& 1,4 MP 3-5 PC 2-6 PC 1,7 PC H(PC) H(PC) 10 E& 9,11 MP 10 E& 12,13 MP 10-14 PC 9-15 PC 8,16 I
Q P&Q R
40){xFx, x(FxGx)}Ga Olha que tranquilo:

1)xFx 2)x(FxGx) 3)FaGa 4)Fa 5)Ga P P 2 E 1 E 3,4 MP
41){xFx, ~x~Fx~xHx} ~Hb

1)xFx 2)~x~Fx~xHx 3) Hb 4) xHx 5) ~~xHx 6) ~~x~Fx 7) x~Fx 8) 9) 10) 11) P&~P 12)~Hb P P H(RAA) 3 I 4 DN 2,5 MT 6 E~ 1, H(E) 7 E 8,9 CT 1, 8-10 E 3-11 RAA
Aplicao da regra da DN para a correta aplicao do modus tollens (MT) na linha seguinte.
Fa ~Fa P&~P
Regra da CT para no incidir nas restries da E.
236
Referncias bibliogrficas
MANHOLI, Carlos Luciano. Lgica elementar. (manual da disciplina de lgica II) MORTARI, Cezar A. Introduo lgica. So Paulo: Editora UNESP: Imprensa Oficial do Estado, 2001.
237
ndice Remissivo
(Os nmeros referem-se s pginas.)
rvore de formao, 14 rvore de refutao, 100 exemplos comentados, 110 interpretao, 109 Atribuio, 95 Clculo de Predicados de 1 ordem, 82 Clculo Proposicional, 8 Conjunto consistente, 36, 98 Conjunto vazio consequncia lgica, 66, 70 consistncia, 65 estrutura, 91 valorao modelo, 52 Consequncia lgica, 37, 99 no conjunto inconsistente, 66 no conjunto vazio, 66 Contingncia, 39, 98 Contradio, 38, 203 Deduo natural, 183 dicas sobre, 203 regras derivadas, 196 regras primitivas, 185
dicas sobre, 195
resoluo comentada de exerccios, 208 Dilema construtivo, 198 Dupla negao, 202 Estrutura, 90 definio, 91 domnio, 91 exemplos de, 93 interpretao, 92 Estrutura modelo, 98 Falsidade lgica, 98 Frmula clusulas (quadro comparativo), 96 definies prof. Manholi (clc. de predicados), 85
definies prof. Manholi (clc. proposicional), 13 do clculo de predicados, 84 do clculo proposicional, 12 Igualdade/identidade, 154 Implicao material, 201 Leis de De Morgan, 199 Modus ponens, 189 Modus tollens, 197 Par ordenado, 90 Princpio da bivalncia, 22 Princpio da composicionalidade, 22 Princpio da extensionalidade, 22 Quantificador existencial, 83 Quantificador universal, 83 Relao tipos, 90 Semntica do clculo de predicados, 90 do clculo proposicional, 22 Silogismo disjuntivo, 196 Silogismo hipottico, 197 Sintaxe do clculo de predicados, 83 do clculo proposicional, 8 Tabelas de verdade, 28 Tautologia, 38 antilogismo, 81 associatividade da , 76, 77 associatividade do &, 76 associatividade do v, 77 comutatividade da , 75 comutatividade do &, 74 comutatividade do v, 75 contraposio, 79 dilema construtivo, 78 dupla negao, 71 idempotncia do &, 72
238
idempotncia do v, 72 identidade, 74 importao/exportao, 81 lei de De Morgan, 79 lei de Duns Scot, 80 lei de Peirce, 80 modus ponens, 78 modus tollens, 78 no contradio, 74 prefixao, 80 princpio distributivo do &/v, 75, 76 silogismo disjuntivo, 80
silogismo hipottico, 74 terceiro excludo, 73 Terminologia do clc.proposicional e do clc.de predicados, 99 Valorao, 23 clusulas da definio, 25 princpios, 22 Valorao modelo, 34 do conjunto vazio, 53 Verdade lgica, 97

Apontamentos Logica v02 2011 Cangussu

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Apontamentos Logica v02 2011 Cangussu

Enviado por

Direitos autorais:

Formatos disponíveis

ROGRIO CANGUSSU DANTAS CACHICHI

A Henrique Castelo Perez

Referncias bibliogrficas ...............................................................................................236 ndice Remissivo...............................................................................................................237

H risco de cair na pr ova, mas nunca caiu ef etivamente.

Cap. 1 1.1 Introduo

& irradia efeitos apenas sobre P eQ

1.2.2.2.2.1 Resposta comentada

JUSTIFICATIVA FRMULAS: P rvore de formao

P Prova: 1)P frmula, cl.1.

P(~Rv~Q) rvore de formao P(~Rv~Q) P (~Rv~Q) ~R R ~Q Q

E lembre-se: as palavras so for madas de s labas; as slabas, de letras.

1.3.3 Tabelas de verdade Tabela de verdade genrica: a) b) c) d) 1 1 0 0 1 0 1 0 & 1 0 0 0 v 1 1 1 0 1 0 1 1 1 0 0 1

conj. das frmulas (domnio) P PvQ P(PvQ) QvP

conj. das valncias (contradomnio)

Agora em ambas as valoraes modelo de (v1 e v2) o valor de QP

Ou seja, em qualquer situao do mundo real, sempre P&~P ser

Nas valoraes v1, v3 e v4 PQ 1; na v2, 0.

p)v2BD q)v1A-B r)v2B-A

EXERCCIO 4: Determine o status semntico das seguintes frmulas :

RESPOSTAS AOS EXERCCIOS 1 A 4:

A={P~Q, R~Q, ~Rv~S, S}

Valorao das frmulas de A em v1 P~Q R~Q ~Rv~S S 1 0 1 1

conj. das frmulas (domnio)

conj. das valncias (contradomnio)

b)v1B Seguiremos o mesmo procedimento de resoluo:

B={(PvQ)~R, ((RvS)v~P)Q, ~R}

Resposta: b)v1B c)v1D

Agora sim! V1 valorao de D: c)v1D, pois v1(~TvH)=v1(P)=1.

A={P~Q, R~Q, ~Rv~S, S}

Resposta: d)v2A. e)v2B

B={(PvQ)~R, ((RvS)v~P)Q, ~R}

Resposta: f)v2D. g)v1AUB

AUB={P~Q, R~Q, ~Rv~S, S, (PvQ)~R, ((RvS)v~P)Q, ~R}10

AUD={P~Q, R~Q, ~Rv~S, S, ~TvH, P}

BUD={(PvQ)~R, ((RvS)v~P)Q, ~R, ~TvH, P}

AUBUD={P~Q, R~Q, ~Rv~S, S, (PvQ)~R, ((RvS)v~P)Q, ~R, ~TvH, P }

AUB={P~Q, R~Q, ~Rv~S, S, (PvQ)~R, ((RvS)v~P)Q, ~R}

Pelos mesmos motivos. Se v2 no valorao modelo ... Resposta: k)v2AUB.

AUD={P~Q, R~Q, ~Rv~S, S, ~TvH, P}

Pelos mesmos motivos: Resposta: l)v2AUD. m)v2BUD

BUD={(PvQ)~R, ((RvS)v~P)Q, ~R, ~TvH, P}

Pelos mesmos motivos: Resposta: m)v2BUD.

AUBUD={P~Q, R~Q, ~Rv~S, S, (PvQ)~R, ((RvS)v~P)Q, ~R, ~TvH, P}

Resposta: n)v2AUBUD. o)v1AB

Aqui uma particularidade apareceu. A interseo entre os conjuntos A e B d conjunto vazio{}.

Pelos motivos acima (vide item o) Resposta: p)v2BD.

A-B={P~Q, R~Q, ~Rv~S, S}12

B-A={(PvQ)~R, ((RvS)v~P)Q, ~R}

v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16

v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16

Resposta: v3, v4, v8, v11, v12B logo B consistente.

v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16

Neste exerccio, para demonstrao da consistncia do conjunto AUB,

Resposta: v25, v27, v28AUD, logo AUD consistente.

(PvQ)~R ((RvS)v~P)Q ~R ~TvH P 0 1 X 0 1 X 0 1 X

v9 v11 v12 v13 v14 v15 v16 v29 v31 v32

c)B~R&~((PvQ)&R) Valoraes modelo do conjunto B segundo exerccio anterior: P 1 1 1 0 0 Q 1 1 0 1 1 R 0 0 0 0 0 S 1 0 0 1 0 ~R&~((PvQ)&R) 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 0 0 0 1 1 1 0 1 1 0 0 1 1 1 0 1 1 0 0

v1 v2 v9 v10 v13 v14

Como visto, o resultado o mesmo: D J P

28) ~(P&Q)(~Pv~Q) P Q ~(P&Q)(~Pv~Q) v1 1 1 0 1 1 1 1 0 0 v2 1 0 1 1 0 0 1 0 1 v3 0 1 1 0 0 1 1 1 1 v4 0 0 1 0 0 0 1 1 1 Tautologia. Lei de De Morgan.

Essa coluna o oposto da terceira, porque nega as valncias de P&Q, em ~(P&Q).

29) ~(PvQ)(~P&~Q) P Q ~(PvQ)(~P&~Q) v1 1 1 0 1 1 1 1 0 0 v2 1 0 0 1 1 0 1 0 0 v3 0 1 0 0 1 1 1 1 0 v4 0 0 1 0 0 0 1 1 1 Tautologia. Lei de De Morgan.

30) ((PvQ)&~P)Q P v1 1 v2 1 v3 0 v4 0 Tautologia.