Escolar Documentos
Profissional Documentos
Cultura Documentos
CT CPGEI M Nicoladelli, Jose Martim 2005
CT CPGEI M Nicoladelli, Jose Martim 2005
CURITIBA
2005
i
JOSE MARTIM NICOLADELLI
CURITIBA
2005
ii
Ao professor orientador e
aos meus queridos pais,
irmãos, filhos e neta.
iii
SUMÁRIO
SUMÁRIO.............................................................................................................iv
TABELA DE FIGURAS.....................................................................................viii
TABELA DE FIGURAS.....................................................................................viii
LISTA DE SÍMBOLOS ........................................................................................xi
LISTA DE SIGLAS E ABREVIATURAS ..........................................................xii
RESUMO.............................................................................................................xiii
ABSTRACT ........................................................................................................xiv
1 INTRODUÇÃO ............................................................................................1
1.1 OBJETO ........................................................................................................3
1.2 OBJETIVO GERAL .....................................................................................3
1.3 OBJETIVOS ESPECÍFICOS........................................................................3
1.4 JUSTIFICATIVA..........................................................................................4
1.5 RESULTADOS.............................................................................................4
1.6 CONTEÚDO.................................................................................................5
2 PROBLEMA E SOLUÇÕES EXISTENTES ...............................................6
2.1 LITERATURA..............................................................................................6
2.2 REQUISITOS BÁSICOS DE UM ASA.......................................................7
2.3 SOLUÇÕES EXISTENTES .......................................................................10
3 DESCRIÇÃO DA FERRAMENTA ...........................................................14
3.1 LISTA DE REQUISITOS DO USUÁRIO .................................................14
3.2 DESENVOLVIMENTO DA FERRAMENTA ..........................................15
3.3 MÉTODOS DISPONÍVEIS NO ASA-CALCPRO ....................................16
3.4 DESCRIÇÃO DOS MÓDULOS DO ASA-CALCPRO.............................16
3.4.1 Módulo Principal ..................................................................................... 17
3.4.2 Módulo Editor de Fórmulas..................................................................... 18
3.4.3 Módulo Tabelas de Valorações ............................................................... 19
3.4.4 Módulo Tabelas-Verdade Sintéticas........................................................ 21
3.4.5 Módulo Tabelas-Verdade Analíticas....................................................... 22
3.4.6 Módulo Tabelas-Verdade Progressivas................................................... 22
3.4.7 Módulo Análise de Consistência ............................................................. 23
3.4.8 Módulo Árvore do Cálculo...................................................................... 23
iv
3.4.9 Módulo Dedução ..................................................................................... 23
3.4.10 Módulo Resolução................................................................................... 24
3.4.11 Módulo Wang .......................................................................................... 25
3.4.12 Módulo Cadastro de Exercícios............................................................... 26
3.4.13 Módulo Reduções ou Substituições Imediatas ........................................ 27
3.4.14 Módulo De Morgan ................................................................................. 28
3.4.15 Módulo Sintaxe........................................................................................ 28
3.4.16 Módulo Formas........................................................................................ 28
3.4.17 Módulo Notações..................................................................................... 29
3.4.18 Módulo Sistema de Numeração............................................................... 29
3.4.19 Módulo Tableaux Semânticos ................................................................. 29
3.4.20 Módulo Configuração.............................................................................. 30
3.4.21 Módulo Install.......................................................................................... 30
3.4.22 Módulo Ajuda (HELP) ............................................................................ 30
4 PLANO DE ENSINO..................................................................................31
4.1 INTRODUÇÃO ..........................................................................................31
4.2 CONTEÚDO...............................................................................................32
4.3 CONSIDERAÇÕES METODOLÓGICAS ................................................35
4.4 UTILIZAÇÃO DA METODOLOGIA PROPOSTA..................................41
5 AVALIAÇÃO .............................................................................................45
5.1 TESTES DOS PROTÓTIPOS ....................................................................45
5.2 ESTUDOS DE CASOS...............................................................................46
5.2.1 Caso 1: Engenharia Elétrica do CEFET-PR............................................ 46
5.2.2 Caso 2: Curso de Extensão na UTP......................................................... 46
5.2.3 Caso 3: Lógica Matemática na SPEI ....................................................... 47
5.2.4 Caso 4: Lógica Matemática na SPEI ....................................................... 47
5.2.5 Caso 5: Tecnologias na SPEI .................................................................. 48
5.2.6 Caso 6: Apresentações em Pós-Graduações............................................ 48
6 CONCLUSÃO ............................................................................................51
6.1 RESULTADOS...........................................................................................52
6.2 CONTRIBUIÇÕES.....................................................................................53
6.3 TRABALHOS FUTUROS..........................................................................53
REFERÊNCIAS BIBLIOGRÁFICAS .................................................................56
ANEXO A – Figuras que ilustram a ferramenta ..................................................59
ANEXO B – Métodos disponíveis no ASA-CalcPro.........................................102
1 MÉTODOS DISPONÍVEIS......................................................................102
v
1.1 Tabelas de valorações................................................................................102
1.2 Tabelas-verdade ........................................................................................102
1.3 Método Dedutivo.......................................................................................103
1.3.1 Regra da Substituição ............................................................................ 103
1.3.2 Regras de equivalências disponíveis: .................................................... 103
1.4 Método utilizado no ambiente RESOLUÇÃO..........................................108
1.5 Métodos utilizados no ambiente Lógica Algébrica...................................108
1.6 Métodos do ambiente Agoritmo de Wang ................................................110
ANEXO C – Lista de Exercícios........................................................................114
ANEXO D – Personagens da História da Lógica...............................................122
ANEXO E – Enderêços eletrônicos ...................................................................123
vi
TABELA DE QUADROS
vii
TABELA DE FIGURAS
viii
Figura 30 - Esquemas de tabelas-verdade básicas................................................68
Figura 31 - Esquemas de axiomas ........................................................................69
Figura 32 - Tela para aplicação da equivalência notável ID ................................69
Figura 33 - Tela para aplicação de comutação .....................................................70
Figura 34 - Tela para aplicação da equivalência notável ASSOC (associação)...71
Figura 35 - Tela para aplicação de distribuições ..................................................72
Figura 36 - Tela para aplicação de Dupla-Negação .............................................73
Figura 37 - Tela para aplicação das leis de De Morgan .......................................74
Figura 38 - Tela para a aplicação da regra COND ...............................................75
Figura 39 - Tela para aplicação da bicondicional.................................................76
Figura 40 - Tela para aplicação da equivalência notável CP (contraposição) .....77
Figura 41 - Tela para aplicação de exportação-importação .................................78
Figura 42 - Demonstração direta ..........................................................................80
Figura 43 - Demonstração indireta (RAA)...........................................................81
Figura 44 - Demonstração condicional (RPC) .....................................................82
Figura 45 - Demonstração por Resolução ............................................................83
Figura 46 - Demonstração sintática usando o Algoritmo de Wang .....................84
Figura 47 - Algoritmo de Wang - Visualização da impressão .............................85
Figura 48 - Visualização da pilha do Algoritmo de Wang, com pendências .......85
Figura 49 - Lógica Algébrica – Método Carnielli ................................................86
Figura 50 - Tela de visualização da impressão do Método Carnielli ...................87
Figura 51 - Tableaux Semânticos – tela para ensaio de derivações .....................88
Figura 52 - Demonstração de Reduções ou Substituições Imediatas...................88
Figura 53 - Demonstração de Reduções ou Substituições Imediatas...................89
Figura 54 - Ambiente “De Morgan”.....................................................................90
Figura 55 - Detalhe Formas..................................................................................90
Figura 56 - Detalhe Notações ...............................................................................91
Figura 57 - Detalhe Sistemas de Numeração .......................................................92
Figura 58 - Detalhe Redução do Número de Conectivos.....................................92
Figura 59 - Tela do Verificador de Sintaxe (passo-a-passo) ...............................93
Figura 60 - Tabela de valorações para lógica trivalente.......................................94
ix
Figura 61 - Tabela-verdade da lógica trivalente...................................................95
Figura 62 - Módulo Configuração........................................................................96
Figura 63 - Tela com recomendação de biografias ..............................................96
Figura 64 - Tela com recomendação de bibliografia............................................97
Figura 65 - Ajuda do ASA-CalcPro no formato hlp. ...........................................98
Figura 66 - Página de ajuda do ASA-CalcPro no formato HTML.......................99
Figura 67 - Visualização da impressão de uma demonstração direta ..................99
Figura 68 - Visualização de impressão de prova por Resolução........................100
Figura 69 - Tela de visualização da impressão do Cadastro de Exercícios........101
Figura 70 - Tela de visualização da impressão de Reduções .............................101
Figura 72 - Regras de derivação para os Tableaux Semânticos .........................110
Figura 73 - Regras de derivação do Algoritmo de Wang...................................111
x
LISTA DE SÍMBOLOS
xi
LISTA DE SIGLAS E ABREVIATURAS
xii
RESUMO
xiii
ABSTRACT
The adequate use of computational environments can increase the quality and
comfort of the teaching-learning process for some of the academic
disciplines.
A review of the literature reveals the lack of existing tools for the teaching-
learning of the propositional calculus that conform to the criteria established for
the student support environment (ambiente de suporte ao aluno (ASA)).
As a consequence of this conclusion, the current thesis introduces the concept of,
and the basic requirements for, an ASA, conceives and implements an ASA tool
for the teaching-learning of the propositional calculus, together with an optional
teaching plan, and puts both at the disposition of the academic community. The
thesis also presents case studies of presentations and uses of the tool at various
stages of its development, as well as a description of each module and of the
methods and rules made available for use by the tool.
It is hoped that the ASA-CalcPro tool and the suggested plan of study will make
a positive social contribution and will be a stimulant for the teaching-learning of
the propositional calculus.
xiv
1
1 INTRODUÇÃO
1
2
1.1 OBJETO
1.4 JUSTIFICATIVA
1.5 RESULTADOS
1.6 CONTEÚDO
2.1 LITERATURA
1. Interface gráfica
Com este requisito pretende-se oferecer ao aluno uma ferramenta
amigável escrita na sua língua nativa.
2. Plataforma Windows
Embora esteja prevista, como trabalho futuro, a construção de versões
da ferramenta para o ambiente Linux, adotou-se como plataforma
8
3. Gratuidade
Este requisito visa reduzir a sobrecarga financeira associada a
aquisição de ferramentas voltadas ao ensino-aprendizagem, como uma
forma de incentivo a todos os envolvidos. Portanto, a gratuidade se
estenderá a alunos, professores e instituições de ensino, sem restrição.
A ferramenta não deverá veicular publicidade ou propaganda nem
promover associações a sites, pessoas, instituições ou produtos.
4. Autonomia
A ferramenta não exigirá a aquisição de qualquer outro software ou
licença além do sistema operacional para o qual tenha sido concebida.
5. Disponibilidade e acessibilidade
A ferramenta deverá ser disponibilizada gratuitamente através da
internet, de forma imediata, evitando senhas, controles, questionários,
etc.
6. Simbologia
A ferramenta deverá oferecer alternativas de configurações dos
símbolos usados na representação de valores-verdade, operadores e
relações. Pretende-se com isto, atingir o maior número possível de
beneficiados.
7. Conteúdos
A ferramenta deverá refletir o conteúdo básico relacionado com
cálculo proposicional dos livros-textos didáticos facilmente
encontrados nas livrarias brasileiras.
9. Exercícios
A ferramenta deverá oferecer suporte para o cadastro e a elaboração de
listas de exercícios.
As referências utilizadas pelo autor para a seleção dos conteúdos básicos
foram ALENCAR FILHO (1986), DIAS (2001), MORTARI (2001) e SOUZA
(2002).
O primeiro, ALENCAR FILHO (1986), amplamente citado e
recomendado, tem sido utilizado por gerações de estudantes brasileiros. Trata-se
de um livro acessível, provavelmente o livro de lógica mais facilmente
encontrado nas livrarias brasileiras, desprovido de rigores e objetivo – quase uma
cartela de referência. Neste trabalho é considerado como “o conteúdo mínimo”.
O segundo livro, DIAS (2001), ultrapassa significativamente em conteúdo
e rigor o livro do professor Edgar de Alencar Filho. Embora seja pouco acessível
ainda (não se encontra devidamente difundido), é uma das jóias da literatura
sobre cálculo proposicional, escrito em português. O estilo utilizado por seu
autor, é único.
MORTARI (2001) é um livro muito bem produzido e facilmente
encontrado em livrarias; apresenta um conteúdo excelente, em estilo agradável,
apropriado inclusive para estudantes de matemática e filosofia.
O quarto livro, SOUZA (2002), como sugere seu sub-título, apresenta uma
abordagem voltada para a Ciência da Computação. Dois importantes conteúdos
foram estudados a partir deste livro: Tableaux Semânticos e Resolução.
Os quatro livros citados anteriormente foram escritos por experientes e
conceituados professores de lógica. Embora não sejam os únicos, foram
considerados como um conjunto adequado para os propósitos deste trabalho.
10
1
http://leibniz.ucpel.tche.br/gleifer/publi_apres/Cricte2000_gleifer_artigo.pdf
2
http://descartes.ucpel.tche.br/mop/docs/monografia_gleifer.pdf
3
http://www.sirc.unifra.br/trabalhos2003.php
4
http://us.metamath.org
5
http://www.cs.otago.ac.nz/staffpriv/hans/logiccourseware.html
6
http://www.dcproof.com
7
http://www.humanities.mcmaster.ca/~ottod/pclogic
8
http://logik.phl.univie.ac.at/e
9
http://logic.tamu.edu/daemon.html
10
http://www.inf.ethz.ch/personal/staerk/prop/index.html
11
http://www.wwnorton.com/college/phil/logic3/welcome.htm
12
http://www.cs.chalmers.se/~sydow/alfie/index.html
13
http://csli-www.stanford.edu/hp/
14
http://www-csli.stanford.edu/hp/
15
http://www.cs.otago.ac.nz/staffpriv/hans/logiccourseware.html
16
http://jape.comlab.ox.ac.uk:8080/jape/
17
http://www.cl.cam.ac.uk/Research/HVG/Isabelle/index.html
18
http://www-csli.stanford.edu/hp/
12
3 DESCRIÇÃO DA FERRAMENTA
Figura 11 – Reduções
28
Este módulo está pronto e tem sido usado com sucesso nas distribuições
das versões de avaliação do ASA-CalcPro.
4 PLANO DE ENSINO
4.1 INTRODUÇÃO
4.2 CONTEÚDO
EMENTA
OBJETIVOS GERAIS
OBJETIVOS ESPECÍFICOS
CONTEÚDO PROGRAMÁTICO
METODOLOGIA
TÉCNICAS DE AVALIAÇÃO
BIBLIOGRAFIA RECOMENDADA
BIBLIOGRAFIA BÁSICA
BIBLIOGRAFIA COMPLEMENTAR
BIBLIOGRAFIA SUPLEMENTAR
Grupo 1
Assuntos:
Uso do ASA-CalcPro:
Grupo 2
Assuntos:
Uso do ASA-CalcPro:
37
Grupo 3
Assuntos:
Uso do ASA-CalcPro:
Grupo 4
Assuntos:
Uso do ASA-CalcPro:
Grupo 5
Assuntos:
Uso do ASA-CalcPro:
Grupo 6
Assuntos:
39
Uso do ASA-CalcPro:
Grupo 7
Assuntos:
Uso do ASA-CalcPro:
Grupo 8
Assuntos:
Uso do ASA-CalcPro:
Grupo 9
Assuntos:
Uso do ASA-CalcPro:
Grupo 10
Assuntos:
Uso do ASA-CalcPro:
Aulas teóricas
Aulas práticas
5 AVALIAÇÃO
Apresentações no CEFET-PR
49
Apresentações na SPEI
Apresentações na UNICAMP
Apresentações na UFPR
Apresentação na PUC-PR
6 CONCLUSÃO
Reprodução de diversos tipos de visualização, tais como tabela, linear, árvore, etc.
6.1 RESULTADOS
6.2 CONTRIBUIÇÕES
REFERÊNCIAS BIBLIOGRÁFICAS
JAPE. JAPE – Just Another Proof Editor, home page. Disponível em: http://
jape.comlab.ox.ac.uk:8080/jape/. Acesso em 06 ago. 2005.
FORMULÁRIO PRINCIPAL
CADASTRO DE EXERCÍCIOS
Para criar uma lista vazia, clique no botão “Nova”; chame o editor,
clicando no botão estampado com a figura de um teclado; digite a fórmula ou
argumento desejado. Ao deixar o editor, a fórmula digitada será adicionada à
caixa “Argumento em edição” do Cadastro de Exercícios. Para adicionar esta
nova fórmula à lista ativa, clique no botão situado imediatamente à esquerda do
botão “Editor”.
O sistema sempre adicionará as novas fórmulas no topo da lista. Se o
usuário desejar mudar a ordem das fórmulas de uma lista, deverá selecionar uma
por uma e com o uso dos botões de movimentação situados à direita da lista,
reposicioná-los adequadamente.
Finalmente, após concluir a construção da lista, salve-a, clicando no botão
“Salvar” da barra de botões situada na parte superior do formulário.
Se o usuário desejar alterar uma lista de exercícios, deverá carregá-la,
selecionando-a após clicar no botão “Abrir”, promover todas as alterações
desejadas e tornar a salvá-la para que as alterações não sejam perdidas.
ÁRVORE DO CÁLCULO
TABELA DE VALORAÇÕES
TABELA-VERDADE SINTÉTICA
Riqueza maior de detalhes será encontrada com ajuda dos módulos Tabela-
Verdade Analítica e Tabela-Verdade Progressiva, descritos adiante.
TABELA-VERDADE PROGRESSIVA
ANÁLISE DE CONSISTÊNCIA
ESQUEMAS DE AXIOMAS
ID - IDEMPOTÊNCIA
COM – COMUTAÇÃO
ASSOCIAÇÃO
DIST – DISTRIBUIÇÃO
DN – DUPLA-NEGAÇÃO
DM – DE MORGAN
COND – CONDICIONAL
BICOND - BICONDICIONAL
CP - CONTRAPOSIÇÃO
EI – EXPORTAÇÃO-IMPORTAÇÃO
(pªq),(qªr)Š(pªr) (original)
(pªq),(qªr)Š(pªr) (direto)
(pªq),(qªr),pŠr (condicional)
pªq,qªr,~(pªr)ŠF (indireto)
ΓŠα→β ⇔ Γ,αŠβ
(pªq),(qªr)Š(pªr) (original)
(pªq),(qªr),pŠr (condicional)
82
PILHA E PENDÊNCIAS
DETALHE – FORMAS
DETALHE – NOTAÇÕES
LÓGICA TRIVALENTE
MÓDULO DE CONFIGURAÇÃO
BIOGRAFIAS SUGERIDAS
LEITURAS RECOMENDADAS
AJUDA
1 MÉTODOS DISPONÍVEIS
1.2 TABELAS-VERDADE
ID - Idempotência
pÜ pÙp
pÜ pÚp
104
COM - Comutação
pÙqÜ qÙp
pÚqÜ qÚp
ASSOC - Associação
pÙ(qÙr)Ü (pÙq)Ùr
pÚ(qÚr)Ü (pÚq)Úr
DIST - Distribuição
pÙ(qÚr) Ü (pÙq) Ú (pÙr)
pÙ(qÙr)Ü((pÙq)Ù(pÙr))
pÙ(qr)Ü(pÙq)(pÙr)
pÚ(qÙ r)Ü (pÚq) Ù (pÚr)
pÚ(qÚr)Ü((pÚq)Ú(pÚr))
pÚ(q¨r)Ü((pÚq)¨(pÚr))
pÚ(qªr)Ü((pÚq)ª(pÚr))
pª(qÙr)Ü(pªq)Ù(pªr)
pª(qÚr)Ü(pªq)Ú(pªr)
pª(q¨r)Ü((pªq)¨(pªr))
pª(qªr)Ü(pª q)ª(pªr)
p(qr)Ü(pq)r
p¨(q¨r)Ü(p¨q)¨r
(p¨(qr))Ü((p¨q)r)
(pŒ(qŒr))Ü((pŒq)‹(pŒr))
((p‹(q‹r))¨((p‹q)Œ(p‹r)))Üp
(((pŒ(qŒr))¨((pŒq)‹(pŒr))))Ü~p
DN – Dupla negação
~~pÜp
DM – De Morgan
105
~(pÙq) Ü ~pÚ~q
~(pÚq) Ü ~pÙ~q
COND – Condicional
pªq Ü ~pÚ q
BICOND – Bicondicional
p¨q Ü (pªq)Ù(qªp)
CP – Contraposição
pªq Ü ~qª~p
EI – Exportação-Importação
pÙqªr Ü pª(qªr)
TA – Troca de Antecedentes
pª(qªr)Ü qª(pªr)
pqÜ~(~pÚq)Ú~(~qÚp)
ppÜF
pTÜ~p
p~pÜT
pqÜqp
pFÜp
p(q¨r)Ü (pq)¨r
pªpÜ T
pªTÜT
TªpÜp
pªFÜ~p
FªpÜT
pªqÜ~(pÙ~q)
p¨pÜT
p¨qÜ~(pÙ~q)Ù~(qÙ~p)
p¨qÜ~(~(~pÚq)Ú~(~qÚp))
p¨FÜ~p
p¨~pÜF
p¨qÜq¨p
p¨TÜp
pŒqÜqŒp
pŒqÜ~(pÚq)
pŒqÜ~pÙ~q
pŒFÜ~p
pŒTÜF
pŒpÜ~pÙ~p
pŒpÜ~p
pŒpÜ~(pÚp)
p‹qÜq‹p
107
p‹qÜ~(pÙq)
p‹qÜ~pÚ~q
p‹pÜ~p
p‹FÜT
p‹TÜ~p
~(p‹p)Ü p
~(pŒp)Ü p
AD – Adição
p Š p Ú q Adição à direita
p Š q Ú p Adição à esquerda
SIMP – Simplificação
p Ù q Š p Simplificação à esquerda
p Ù q Š q Simplificação à direita
CONJ – Conjunção
p , q Š p Ù q Conjunção à direita
p , q Š q Ù p Conjunção à esquerda
ABS – Absorção
pªq Š pª(pÙq)
MP – Modus Ponens
p, pªq Š q
MT – Modus Tollens
~q, pªq Š ~p
SD – Silogismo Disjuntivo
108
~q , p Ú q Š p
~p , p Ú q Š q
SH – Silogismo Hipotético
pªq, qªr Š pªr
DC - Dilema Construtivo
pªq , r ª s , p Ú r Š q Ú s
DD – Dilema Destrutivo
pªq , rªs , ~qÚ~s Š ~pÚ~r
~α ⇔ Tr ( α ) + 1
α∧β ⇔ Tr ( α ) • Tr ( β )
α∨β ⇔ Tr ( α ) • Tr ( β ) + Tr ( α ) + Tr ( β )
α→β ⇔ Tr ( α ) • Tr ( β ) + Tr ( α ) + 1
α • α ⇔ 1
α + α ⇔ 0
{ ... } Û { ... },
{ ... } Š { ... },
... Û ... , ou ainda,
... Š ...
1. Š(pÙq)ª(p¨(qÚr))
2. Špª((pÚq)Úr)
3. Š(~pÚ~q)ª(pªq)
4. Š(pÚ~q)ª(pª~q)
5. Š((pªq)¨q)ªp
6. Špª(qª(pªp))
7. Š(~pÚq)ª(pªq)
8. Špª(~pªq)
9. Špª(pª(qÙ~q))
10. Š(pª(pªq))ªq
11. Š(qªp)ª(pªq)
12. Š(pÚq)ª(pÙq)
13. Š(pªq)ª((pÚr)ª(qÚr))
14. Š(pªq)ª(pª(qÚr))
15. Š(pªq)ª((pÙr)ª(qÙr))
16. Š(pªq)ª(pª(qªr))
17. Š(pªq)ª(pÙ(rªq))
18. (p¨q)Š(pªq)
19. ŠpÚ(pÙq)¨p
20. Š~(pÚ~p)Ú(qÚ~q)
21. Š(pÚq)Ù(~pªq)
22. ŠpÚ(qÚ~p)
23. Š(p¨(pÙ~p))¨~p
115
24. Š~(pÚq)ª(p¨q)
25. Š~(pÙ~p)Ú(qª~q)
26. Špª(pÙ(pÚq))
27. Š((pªq)Ù~q)ª~p
28. Š((pªq)Ùp)ªq
29. Š(pªp)Ú(pª~p)
30. Š(pÙq)ªp
31. (pªq)Ú(pªr)Špª(qÚr)
32. q¨(pÚq)Špªq
33. pÚ(pÙq)Šp
34. (pªq)ªrŠ(pÙ~r)ª~q
35. (pªq)Ù(pªr)Špª(qÙr)
36. p¨(pÙq)Špªq
37. pÙ(pÚq)Šp
38. (pªq)ªr,rª(~sÚt),(sªt)ªu,~uŠ~(pªq)
39. pª(qÚr),s¨r,~pÚqŠ~pÚq
40. (p¨(qÚr)),(q¨(pÚr)),(r¨(pÚq)),~pŠ~(qÚr)
41. ~(pÙq),(~pÚ~q)ª(rÙs),sªrŠr
42. pªq,rªs,pÚrŠqÚs
43. pÚq,qªr,pªs,~sŠrÙ(pÚq)
44. (pÙq)ªr,sª(pÙq),sŠqÚr
45. pÙq,qªr,~rÚsŠs
46. pª(qÙr),~(qÙr),~pªsŠ~pÙs
47. pª~q,q,~pª(rÙs)ŠrÙs
48. pÚ~q,~p,~(pÙr)ªqŠr
49. pÚ(qÚr),~p,~rŠq
50. pÙ~q,~rªqŠpÙr
51. pª~q,p,~qªrŠr
52. pªqÚr,~qŠpªr
116
53. pªq,rÚ~p,~rŠ~p
54. pª~q,rªp,qŠrª~r
55. pªq,rª~qŠrª~p
56. pÙ~q,rªq,rÚs,(pÚs)ªtŠt
57. (pÙq)ªs,r,rª(pÙq)ŠsÚq
58. ~p,qªp,(~qÚr)ªsŠs
59. pÙ~~q,rª~q,~rªsŠsÚ~p
60. pÚq,pªr,~rŠqÚs
61. p,pª~q,qÚrŠpÚr
62. ~p,pÚ(qÚr),~rŠq
63. pÙq,rÚs,pª~sŠr
64. pÚ~q,~~q,pª(rÙs)Šs
65. pÚq,~r,qªrŠp
66. ~pªq,~(rÙs),pª(rÙs)Š~pÙq
67. rªp,rªq,rŠpÙq
68. ~pÙq,rªpŠ~pÙ~r
69. pÙq,pªrŠpÙr
70. pÙq,pªr,(rÙs)ª~t,qªsŠ~t
71. pª(~qÙr),p,sªq,sÚtŠt
72. ~pÚ~~q,~~p,~rª~qŠ~~r
73. pª~q,~~q,~pª(rÚs)ŠrÚs
74. ~pÚ~q,~~q,rªpŠ~r
75. pÚ~q,rª~p,rŠ~q
76. pªq,~q,pÚrŠr
77. pªq,pªr,pŠqÙr
78. pªq,~q,~pªrŠr
79. pªq,qª~r,pŠ~r
80. pÙq,pªr,qªsŠrÙs
81. pª~q,~~q,~pªrŠr
117
82. rª(pÚq),r,~pŠq
83. (pÚq)ª~r,sªp,tªq,sÚtŠuÚ~r
84. pª~q,~qª~s,(pª~s)ª~t,rªtŠ~r
85. rªt,sªq,(tÚq)ª~p,rÚsŠ~p
86. pÚ~q,~r,pªr,~qªsŠs
87. pªq,qªr,(pªr)ª~s,sÚtŠt
88. pªq,pÚr,~rŠqÚs
89. pªq,~qÙ~r,~rªsŠ~pÙs
90. pÚq,qªr,~rŠp
91. ~pªq,qª(rÙs),pªt,~tŠs
92. pª~q,pÚr,rª~q,sªq,tŠ~sÙt
93. ~pÚ~q,~qª~r,~pªt,~tŠ~rÙ~t
94. pªq,qª~r,~~r,pÚ(sÙt)Šs
95. pÚ~q,~qªr,pªs,~rŠs
96. pÙ~q,qÚ~r,sªrŠpÙ~s
97. (pÚq)ª(pª(sÙt)),pÙrŠtÚu
98. qÚ(rªt),qªs,~sª(tªp),~sŠrªp
99. pÚ(qÙr),qªs,rªt,(sÙt)ª(pÚr),~pŠr
100. pªq,~q,(~pÚ~r)ªsŠs
101. (pÚq)ª~r,q,(sÙt)ªrŠ~(sÙt)
102. pÙ(qÚr),(qÚr)ª~s,sÚtŠt
103. (pÚq)ª~r,p,sªrŠ~s
104. pªq,qªrŠ~pÚr
105. ~(pÚ~r),pÚq,rªs,(qÙs)ª(tÙs)ŠsÙt
106. pÚq,sª(qÙr),pªs,qªsŠrÙq
107. rª~p,(rÙs)Út,tª(qÚu),~qÙ~uŠ~p
108. tª(pÙs),qª~p,rª~s,rÚqŠ~t
109. ~pªq,rªq,rÚ~p,~qÚsŠs
110. ~sª~(pÚ~t),tª(qÙr),~sŠrÙq
118
111. pÙ~q,pª~r,qÚ~sŠ~(rÚs)
112. ~(pÙq),~qªr,~pªr,sª~rŠ~s
113. rª(pÙ~q),rÚ~s,sŠ~qÙp
114. pª(qÚr),~~p,~rŠq
115. ~pÚ~q,~rªp,rª~s,sŠ~q
116. (rÙs)Úp,qª~p,tª~p,qÚtŠsÙr
117. (rÙ~t)ª~s,pªs,pÙqŠ~(~tÙr)
118. pÚq,~q,pª(rÙs)ŠsÙr
119. ~pª~q,qŠp
120. pªq,~q,~pªrŠ~~r
121. ~pªq,qªr,~rŠp
122. p,~qª~pŠqÚ~s
123. ~pÚq,~q,~(qÙr)ªpŠr
124. rªpÚq,~~r,~qŠp
125. ~pÚq,~pªr,~rŠq
126. ~pª~q,~qª~r,rŠp
127. pª~r,qªr,qŠ~p
128. pªq,~pª~~r,~qŠr
129. pª~q,q,~pªrÙsŠrÙs
130. (pÚq)ª(rÙs),~rŠ~p
131. pªq,(pÙq)ª(rÚs),(rÚs)ª~t,(pª~t)ªuŠu
132. (pªq)Ú(rÙs),~qŠ~pÚs
133. pÚ(qÙr),(pÚr)ª(sÙt)Šs
134. pªq,(qÚr)ªs,~sŠ~p
135. pÚq,qªr,sªt,~rŠsªp
136. (~pÚ~q)ªr,rªsŠ~sªp
137. pª(qÚr),~rŠpªq
138. pª~q,pÚ(rÙs)Šqªs
139. ~pÚq,~sª~r,pÚ(rÙt)ŠqÚs
119
140. (pªq)ªr,~rÚs,~(pÙ~q),(sÚt)ªuŠu
141. pÚ(~qªr),~(pÚs)Ù~rŠq
142. (pÚq)ªr,~r,qÚ(~sÚt)Šsªt
143. pÚ~(qÚ~r),~p,rª(sÚt)ŠsÚt
144. ~(pÙq)ª(rªs),rÙ~s,qªtŠt
145. (pªq)ªr,~r,(~pÚq)ÚsŠs
146. (pÚq)ªr,~r,~pªsŠs
147. rª(pÙq),~pÚ~q,rÚsŠs
148. pÚ~q,q,rª~s,pª(~sªt)Š~tª~r
149. (pªq)Ù~(rÙ~s),sª(tÚu),~uŠrªt
150. (pªq)Úr,(sÚt)ª~r,sÚ(tÙu)Špªq
151. pªq,pÚ~r,(~sÚt)ªrŠ~sªq
152. (pÙq)ª(~rÚ~s),rÙsŠpª~q
153. ~pÚ~q,pÚ(rÙs)Šqªs
154. pÚq,~rÚ~qŠ~pª~r
155. ~(pª~q)ª((r¨s)Út),p,q,~tŠrªs
156. (pªq)¨((rÙs)ªt),pª(qÙr),r,~tŠ~s
157. (~pªq)Ù(rªs),p¨(tÚ~s),r,~tŠq
158. ~(pªq)Ú(sª~r),qÚs,pª~sŠ~rÚ~s
159. ~pª(~qÚr),sÚ(rªt),pªs,~sŠqªt
160. pªq,q¨s,tÚ(rÙ~s)Špªt
161. (pªq)Ú(rÙs),~qŠpªs
162. (pªq)ªr,(rÚs)ª~t,tŠ~q
163. (pÚq)ªr,~r,sªpŠ~s
164. ~pÚ~q,(rÚs)ªp,qÚ~s,~rŠ~(rÚs)
165. (pÙq)¨~r,~rª~p,~qª~rŠq
166. ~pª~q,~pÚr,rª~sŠ~qÚ~s
167. pª~q,qÚ~r,~(sÚ~r)Š~p
168. pÚq,sª~p,~(qÚr)Š~s
120
169. pÚq,pª~r,qªsŠ~rÚs
170. pª(qÚr),qª~p,sª~rŠ~(pÙs)
171. ~(pÙq),~rªq,~pªrŠr
172. pª~q,rª~p,qÚrŠ~p
173. ~(pÙq),pªr,qÚ~rŠ~p
174. ŠpÚ~p
175. Š~(~p)ªp
176. Š(pªr)ª((qªr)ª((pÚq)ªr))
177. Šqª(pÚq)
178. Špª(qª(pÙq))
179. Š(pÙq)ªq
180. Š(pÙq)ªp
181. Š(pªq)ª((pª(qªr))ª(pªr))
182. Š((pªq)Ù(pª~q))ª~p
183. Š~pª(pªq)
184. Š((pªr)Ù(qªr))ª((pÚq)ªr)
185. Š(pÚq)ª(qÚp)
186. Špª(pÚq)
187. Š(pÙ(pªq))ªq
188. Šqª(pªq)
189. Š((pªq)Ù(qªr))ª(pªr)
190. Š(pÙq)ª((qÙr)ª(qÙr))
191. Š(pÙq)ª(qÙp)
192. Š(~pª~q)ª(qªp)
193. Š(~pª~q)ª(~~qªp)
194. Š(~pª~q)ª(qª~~p)
195. Špª(pªp)
196. Š(pª(qªr))ª((pªq)ª(pªr))
197. Špª(qªp)
121
198. pªq,~q,~pªrŠ~~r
199. pªq,rªs,pÚrŠqÚs
200. pÚ~q,~p,~(pÙr)ªqŠr
201. pÚq,qªr,pªs,~sŠrÙ(pÚq)
202. (pÙq)ªr,sªpÙq,sŠqÚr
203. pª~q,p,~qªrŠr
204. pÚq,qªr,~pŠrªq
205. pªq,pÚr,~qŠr
206. pª(qªr)Š(pÙq)ªr
207. pªq,qªrŠ~rª~p
208. pÚq,~qŠp
122