OpenLLM-France/wikimedia huggingface dataset:
# Breve introdução à computação quântica/Resumo

A computação quântica surgiu no início da Década de 1980 em resposta às previsões de esgotamento da atual tecnologia da computação até 2020, segundo às leis de Moore. Ela traz consigo idéias da teoria clássica da informação, da ciência da computação e da física quântica, e tem atraído pesquisadores por causa da sua potencialidade no uso do paralelismo quântico como ferramenta para resolver problemas matemáticos mais eficientemente.
O objetivo deste trabalho é proporcionar uma breve introdução à computação quântica, e relacioná-la com tópicos das demais ciências. Ao longo do texto, idéias básicas sobre informação quântica, como qubits e portas quânticas, são delineadas. O computador universal quântico é então descrito de acordo com o modelo de Church-Turing. Algoritmos para tal computador são discutidos, em especial o algoritmo de fatoração de Shor.
Apesar de todo o avanço da pesquisa nessa área, construir um computador quântico universal parece estar muito além das capacidades da tecnologia atual. Entretanto, alguns princípios físicos da informação quântica já estão sendo testados em dispositivos de laboratório, em pequena escala. A situação experimental dessa ciência é brevemente analisada, e são citadas idéias básicas para realização de maquinas quânticas, baseadas nos princípios de armadilha de átomos, de cavidades ópticas e dos métodos de ressonância magnética nuclear (NMR).

## Palavras-chave

    Computação quântica, Algoritmos quânticos, Teoria da Informação Quântica, Criptografia quântica, Hardware para computação quântica
# Breve introdução à computação quântica/Referências

* P. H. Artur Ekert and H. Inamori. Basic concepts in quantum computation. Centre for Quantum Computation - University of Oxford, Janeiro 2000.
* A. Barenco, A. Ekert, A. Sanpera, and C. Machiavello. A short introduction to quantum computation. La Recherche, Novembro 1996.
* D. Deutsch. Quantum theory, the church-turing principle and the universal quantum computer. Royal Society of London, 1985.
* D. Deutsch. It from qubit. Centre for Quantum Computation, Clarendon Laboratory - University of Oxford, Setembro 2002.
* D. Deutsch. Qubit field theory. Centre for Quantum Computation, Clarendon Laboratory - University of Oxford, Janeiro 2004.
* D. Deutsch and A. Ekert. Machines, logic and quantum physics. Centre for Quantum Computation, Clarendon Laboratory - University of Oxford, Novembro 1999.
* D. Deutsch and P. Hayden. Information flow in entangled quantum systems. Centre for Quantum Computation, Clarendon Laboratory, University of Oxford, Junho 1999.
* A. Ekert. Quantum cryptoanalysis - introduction. Março 1995.
* A. Ekert. What is quantum cryptography. Março 1995.
* N. Gershenfeld and I. L. Chuang. Quantum computing with molecules. IBM Almaden Research Center.
* M. A. Nielsen and I. L. Chuang. Quantum Computation and Quantum Information. Cambridge University Press, 2000.
* R. Portugal, C. C. Lavor, L. M. Carvalho, and N. Maculan. Uma introdução à computação quântica. SBMAC. 2004. ISBN 8586883174
* A. Steane. Quantum computing. Julho 1997.
* A. M. Steane. A quantum computer only needs one universe. Centre for Quantum Computation, Department of Atomic and Laser Physics, University of Oxford, Outubro 2002.
* U. Vazirani. Quantum physics & church-turing. Notas de aula de Computação Quântica, 1997.
# Brincadeiras a qualquer hora/Bibliografia
## Livros

* Antunes, Celso. Juegos para estimular las inteligencias múltiples. 2ª.ed. Narcea, 2005. 205 p. ISBN 9788427714106
* Barrett, Brian. Games for the Whole Child. Human Kinetics, 2005. 168 p. ISBN 9780736053433
* dos Reis, Sílvia Marina Guedes. 150 ideias para o trabalho criativo com crianças de 2 a 6 anos. Papirus, 2002. ISBN 8530806697
* Rade, Lasse. Truques, Trotes E Brincadeiras. Callis. ISBN 8585642556
* Rocha, Brasilda dos Santos. Brinkando na Escola: o Espaço Escolar como Criança e Crescimento. Arte & Ciência. 352 p. ISBN 8574731242
* SEESP. A Construção do Conceito de Número e o Pré-Soroban. Brasília: 2006. ISBN 978-85-60331-07-9
* Silberg, Jackie. 125 Brincadeiras Para Crianças de 1 a 3 Anos. Ground. 144 p. ISBN 8571871884
* Warner, Penny. Aprender Brincando: 150 Brincadeiras E Atividades. Ground. 176 p. ISBN 8571871957
* Wise, Debra; Forrest, Sandra. Great big book of children's games: over 450 indoor and outdoor games for kids. McGraw-Hill Professional, 2003. 320 p. ISBN 0071422463
* Zatz, Silvia; Zatz, Andre; Halaban, Sergio. Brinca comigo!: Tudo sobre brincar e os brinquedos. Marco Zero. ISBN 852790408X

## Leitura complementar

* Antunes, Celso. A Dimensão de uma Mudança. 3ª.ed. Papirus, 2003. 192 p. ISBN 8530805526
* Luchesi, Maria Regina Chirichella. Educação de pessoas surdas: experiências vividas, histórias narradas. 3ª.ed. Papirus, 2003. 144 p. ISBN 8530807286
* Sastrías, Martha. El uso del folklore para motivar a los niños a leer y escribir. Pax México, 2006. 238 p. ISBN 9789688605325
* da Silva, Andreia Lucia, Lira, Valéria Krykhtine. Letramento na Educação Infantil. E-papers, 2003. ISBN 9788587922915

## Ligações externas

* Lista de brincadeiras populares - na Wikipédia.
* Almanaque de Brincadeiras. Acesso em 29 de março de 2009.
* Brincadeiras - Categoria da Wikipédia contendo artigos sobre algumas brincadeiras.
* Children's games - Categoria da Wikipédia Inglesa contendo artigos sobre algumas brincadeiras.
* [Fantasias Carnaval para Crianças
* Ler - Incentivar as crianças
# Civilização Banto/Conclusão

Os povos bantos possuem uma cultura refinada e antiga, que influenciou largamente a cultura brasileira. Após os flagelos da escravidão e do domínio colonial, a esperança é que as nações bantas consigam adquirir autonomia de fato e assumir o lugar destacado que lhes cabe no cenário mundial.
* Feiticeiro chona do Zimbábue
* Moçambicana com a tradicional máscara da etnia macua
* Guerreiro zulu do século XIX
* Pescadores da Ilha de Moçambique
* Rua de Durban, na África do Sul, durante a copa do mundo de futebol de 2010
# Civilização Egípcia

Na tentativa de reconstruir o passado, os estudiosos se deparam com inúmeros problemas.
Existem diversas hipóteses a considerar, é preciso encontrar as soluções, provas são necessárias para comprovar teorias.
O importante para a arqueologia são os fatos e hoje sabemos consideravelmente mais do que no passado. Atualmente, tesouro maior do que ouro, prata, pedras preciosas, é tudo aquilo que possa ajudar a escrever a história de um povo.
A história segue em ciclos e muitas evidências se perdem ao longo do tempo, por isso é importante, nesse caso, uma abordagem distanciada, pois somos leigos e esse pequeno livro passa apenas uma vista d´olhos sobre um assunto extenso e complexo.
A civilização egípcia deixou um legado riquíssimo em todas as atividades humanas. E é um pouco dessa história que vamos escrever, a história de um povo que continua a nos surpreender.
Com os recursos tecnológicos atuais, as pesquisas se tornam mais e mais acuradas, as escavações trazem à tona não só as lembranças dos altos dignitários mas também dos trabalhadores. O rico solo do Egito já contou muito de sua história e com toda a certeza ainda tem muito a revelar.

## Índice

Este livro tem uma coleção para a criação de versões nos formatos HTML, PDF, ODT, ZIM, ePUB ou para encomendas para a PediaPress.
* Capa
* Localização geográfica
* O clima e o rio
* Período pré-dinástico
* Faraós e como listá-los
* Período dinástico antigo
** Dinastias do Período dinástico antigo
* Antigo império
** Dinastias do Antigo Império 3 e 4
** Dinastias do Antigo Império 5 e 6
* Primeiro período intermediário
* Médio Império
** Dinastias do Médio Império
** Dinastias do Médio Império 13ª dinastia
* Segundo período intermediário
** Dinastias do segundo período intermediário
* Novo império
** Dinastias do Novo Império
*** 18ª Dinastia (primeira parte)
*** 18ª Dinastia (segunda parte)
*** 19ª Dinastia
*** 20ª Dinastia
* Terceiro período intermediário
** Dinastias do Terceiro Período Intermediário
*** 21ª Dinastia
*** 22ª Dinastia
*** 23ª Dinastia
*** 24ª Dinastia modelo de barco em madeira Médio Império
*** 25ª Dinastia
* Último período
** Dinastias do Último Período
*** 26ª Dinastia
*** 27ª Dinastia
*** 28ª Dinastia
*** 29ª Dinastia
*** 30ª Dinastia
*** 31ª Dinastia
* Período greco-romano
** Dinastia Ptolemaica (primeira parte)
** Dinastia Ptolemaica (segunda parte)
* Referências
* Autoria
# Civilização Banto/Introdução

A Civilização Banto corresponde ao conjunto das culturas africanas que têm como base as línguas do grupo linguístico banto, como o suaíli, o umbundo, o tsonga, o quimbundo, o xosa, o isiZulu, o sixona, o lingala, o luganda, o quicongo, o macua, o sinianja, o ndebele do norte, o setsuana, o sessoto, o sepedi, o suazi etc. Tais culturas possuem muitas semelhanças entre si, determinando fortemente a história e o estilo de vida em toda a África Austral.
* Logotipo da Wikipédia em setsuana
* Logotipo da Wikipédia em tsonga
* Logotipo da Wikipédia em lingala
* Logotipo da Wikipédia em suaíli
* Água. Em quicongo, maza; em quicuio, mai; em lingala, mái; em isiZulu, amanzi; em suaíli, maji. Todas essas línguas pertencem ao grupo banto.
# Civilização Banto/Bibliografia

* BLIXEN, K. A Fazenda Africana. Segunda edição. Cosac & Naify, 2005. 445 pp.
* COUTO, M. Terra Sonâmbula. São Paulo: Companhia das Letras, 2007. 206 pp.
* HEMINGWAY, E. As Verdes Colinas de África. Tradução de Guilherme de Castilho. Lisboa: Edição Livros do Brasil. 279 pp.
* PEPETELA. A Gloriosa Família: o Tempo dos Flamengos. Rio de Janeiro: Nova Fronteira, 1999. 408 pp.
* VIEIRA, J. L. Luuanda: Estórias. São Paulo: Companhia das Letras, 2006. 138 pp.
# Civilização Banto

Este livro tem uma coleção para a criação de versões nos formatos HTML, PDF, ODT, ZIM, ePUB ou para encomendas para a PediaPress.
* Capa
* Introdução
* História
* Contribuições para a cultura brasileira
* Conclusão
* Bibliografia
Etapas de desenvolvimento - 5 fases :
| Quase nenhum texto: | Texto em criação: | Texto em maturação: | Texto desenvolvido: | Texto abrangente: |
# Livro de receitas/Ambrósia à moda Bomjepe

Existem várias maneiras de preparar:

## Ambrósia à moda Bomjepe - 1
### Ingredientes e Preparo:

* 12 litros de leite --
* 1,8 kg de açúcar;
* 9 ovos, sendo 4 sem as claras;
* 1 pitada de bicarbonato de sódio.
    Preparo:
* Ferver, separadamente, dois litros de leite para fazer a nata de leite, que será retirada com escumadeira e reservada.
* Ferver o restante do leite com o açúcar e o bicarbonato durante 2 horas.
* Quando estiver quase no ponto de mingau grosso, colocar os ovos levemente batidos e a nata, que foi reservada.
* Deixar ferver por cerca de 5 minutos.
* Retire do fogo, deixe esfriar; coloque em potes esterilizados e fechá-los.
# Livro de receitas/Amendoim crocante

Existem várias maneiras de preparar:

## Amendoim crocante - 1
### Ingredientes e Preparo:

* 3 xícaras (chá) de açúcar --
* 1/2 xícara (chá) de café (feito um pouco forte);
* 1/2 kg de amendoim cru (com a casca);
* 1 colher (sopa) de chocolate;
* 1 colher (chá) de canela em pó;
* 1 colher (chá) de fermento em pó.
    Preparo:
* Coloque numa panela o café e o açúcar e leve ao fogo.
* Acrescente o amendoim, o chocolate, a canela e o fermento e mexa até a começar a secar.
* Quando estiver seco, retire do fogo. Mexendo de vez em quando para não grudar.
# Livro de receitas/Amendoim coberto

Existem várias maneiras de preparar:

## Amendoim coberto - 1
### Ingredientes e Preparo:

* 4 xícaras (chá) de açúcar --
* 2 xícaras de água;
* 1 colher (sopa) de Nescau;
* 1 colher (sopa) de fermento;
* 1/2 kg de amendoim.
    Preparo:
* Junte tudo e leve ao fogo mexendo sempre até soltar da panela.
* Retire do fogo e bata bem, até açucarar.
# Livro de receitas/Amigo urso

Existem várias maneiras de preparar:

## Receita 1
### Ingredientes

* 1 lata de creme de leite (sem o soro);
* 1 lata de leite condensado;
* A mesma medida (na lata acima) de vodka;
* 1 colher (café) de noz-moscada.

### Preparo

* Bata todos os ingredientes no liquidificador.
* Acrescente gelo picado a gosto e sirva a seguir.
# Livro de receitas/Amendoim doce

Receita de Amendoim doce.

## Receita
### Ingredientes

* 1 xícara(s) (chá) de amendoim
* 1 xícara(s) (chá) de açúcar
* 1/2 xícara(s) (chá) de água
* 1 colher(es) (café) de fermento químico em pó

### Preparo

* Misture todos os ingredientes em uma panela e leve ao fogo.
* Mexa até secar.
* Coloque em uma fôrma e leve ao forno por alguns minutos. Deixe esfriar.

## Referências

* ↑ Amendoim Doce Acessado em 3 de junho de 2012
# Livro de receitas/Amendoim tipo japonês

Existem várias maneiras de preparar:

## Amendoim tipo japonês - 1
### Ingredientes e Preparo:

* 2 copos (americano) de amendoim (cru) --
* 2 copos (americano) de açúcar cristal;
* 1 copo (americano) de água;
* 1 colher (chá) de bicarbonato de sódio.
    Preparo:
* Coloque os 3 primeiros ingredientes na panela, em fogo alto.
* Quando engrossar, coloque o bicarbonato de sódio, ele torna amolecer, mexa sem parar.
# Livro de receitas/Amável sorriso

Existem várias maneiras de preparar:

## Amável sorriso - 1
### Ingredientes e Preparo:

* 2 litros de leite --
* 500 gramas de açúcar;
* 8 ovos;
* 1/2 prato de queijo ralado.
    Preparo:
* Engrossa o leite, não muito; deixe esfriar e junte os outros ingredientes
* Leve em forno regular ou banho-maria.

## Amável sorriso - 2
### Ingredientes e Preparo:

* 1 litro de leite --
* 2 xícaras (chá) de açúcar.
Faça um engrossado ralo com os ingredientes acima e depois de frio, coloque:
* 1 pires de queijo --
* 1 colher (sopa) de farinha de trigo;
* 4 ovos mal batidos e coado em peneira fina.
    Preparo:
Em seguida, unta-se as fôrmas com manteiga e coloque o pudim.
* Asse em Banho-Maria.

## Amável sorriso - 3
### Ingredientes e Preparo:

    Engrosse 2 litros de leite com 1/2 kg de açúcar.
    Se quiser, coloque casca de 2 limões galegos.
    Depois de frio, junte 8 ovos e 1 pires de queijo ralado.
    Coloque em fôrma untada com calda queimada.
    Asse em banho-maria.
# Livro de receitas/Ambrósia

Existem várias maneiras de preparar:

## Ambrósia - 1
### Ingredientes e Preparo:

* 1 litro de leite --
* 2 xícara (chá) de açúcar;
* 3 ovos.
    Preparo:
* Coloque o leite e o açúcar para ferver em uma panela grande até engrossar (mais ou menos 40 minutos).
* Bater as claras em neve, juntar as gemas e continuar a bater.
* Despejar os ovos batidos no engrossado e deixar cozinhando em fogo baixo por uns 10 minutos.
* Virar os ovos de vez em quando de leve, com uma escumadeira.
* Transportar para uma vasilha e salpicar com canela moída.
# Cálculo (Volume 1)/Créditos

Este livro é resultado do conhecimento, do empenho e da dedicação de várias pessoas, que acreditam que o conhecimento deve ser de todos os que aspiram obtê-lo, sendo a doação um ato que é recompensado pela satisfação em difundir o saber.
Dentre os editores que participaram da criação deste livro, damos crédito pelas seguintes competências:

## Ajustes de formatação

* João Jerónimo
* Marcos Antônio Nunes de Moura

## Categorização

* Jorge Morais
* LeonardoG
* Marcos Antônio Nunes de Moura

## Conteúdo

* Helder.wiki
* Marcos Antônio Nunes de Moura
* Thiago Marcel

## Correções

* Edudobay
* Fredmaranhao
* Helder.wiki
* Lou cai
* Marcos Antônio Nunes de Moura
* Thiago Marcel

## Proteção do conteúdo

* Dante
* SallesNeto BR
# Cálculo (Volume 1)/Prefácio
## Prefácio

Todos aprendemos, até este ponto, a matemática elementar, com ela podemos lidar com inúmeras de nossas necessidades mais corriqueiras do dia a dia. A partir de agora, teremos a oportunidade de dispor de recursos mais sofisticados.
O Cálculo, em conjunto com outras disciplinas, faz parte do aprendizado da matemática de nível superior. Ele é uma valorosa ferramenta de análise, muito utilizada em ciências exatas. Esta ferramenta recebeu o nome cálculo, como forma abreviada da expressão "Cálculo Infinitesimal" ou "Cálculo Diferencial e Integral". Este livro explora a parte inicial do estudo de cálculo básico, presente nos cursos de nível superior mais voltados às ciências exatas e suas ramificações. Por ter um caráter introdutório, permite ao estudante fazer gradativamente uma transição do pensamento de nível médio para nível universitário. Com ele iremos navegar pelas análises algébricas, numéricas e geométricas, lidando com valores tão pequenos que podem ser considerados relativamente ínfimos. Ao mesmo tempo, iniciaremos as análises de quantidades, desses elementos infinitesimais, tão numerosas que poderíamos chamá-las de populações gigantescas.
Este livro utiliza as notações e as siglas mais encontradas nos livros didáticos de Cálculo no Brasil, algumas notações comuns em livros "on-line" seguem o padrão norte-americano e por isso estão fora dos objetivos desta publicação, que foi idealizada para ser instrumento de aprendizado para nativos da língua portuguesa, alguns exemplos de notações são encontradas principalmente nas funções trigonométricas, como o seno que simbolizamos $sen\,\!$ enquanto que em outros livros verificamos $sin\,\!$, ou tangente que notamos $tg\,\!$ enquanto que em outros vemos $tan\,\!$.
Dividimos o estudo de Cálculo em 3 (três) livros, que não são necessariamente indicados especificamente para as subdivisões do estudo feito nas universidades, embora tenhamos alguns cursos onde há uma divisão da disciplina em até 6 (seis) módulos. Para aproximar a seqüência dos tópicos à dos cursos mais conceituados, fizemos uma pesquisa e adequamos os índices ao cronograma destes cursos, para isso pesquisamos universidades públicas e privadas no Brasil, obviamente, seria impossível adequar a seqüência dos tópicos para todos os cursos que se utilizam deste estudo, acredito que está próxima da média de adequação.
Para sequenciar os capítulos e indicar a sua aplicação foi incluída uma tarja cinza no topo de cada página dos livros desta série, que tem o objetivo de orientar a que nível de dificuldade se destina o conteúdo, o cronograma adotado é o mais completo, portanto, algumas partes dos livros podem ser retiradas do currículo do curso, conforme a instrução do tutor ou mestre que o formulou.
Espero que todos nós, autores e leitores, tenhamos um bom aproveitamento advindo do desenvolvimento ou do estudo do conteúdo deste e dos outros livros sobre este tema.
# Cálculo (Volume 1)/Lista de símbolos

A seguir será apresentada uma relação dos símbolos utilizados neste wikilivro de cálculo, juntamente com os links para os módulos que abordam o seu uso. Utilize este módulo sempre que precisar fazer uma consulta rápida.
* $[a,b];\ (a,b);\ ]a,b[;\ [a,b);\ (a,b];\ [a,b[;\ ]a,b]\,\!$
* $(x,y)\,\!$
* $y=f(x)\,\!$
* $(f+g)(x);\ (f-g)(x);\ (f\cdot g)(x);\ (f:g)(x)\,\!$
* $\lim _{x\to a}f(x)\,\!$
* $\lim _{x\to a^{+}}f(x)$; $\lim _{x\to a^{-}}f(x)$
* $\lim _{x\to +\infty }f(x)$
# Lógica
## Índice

Este livro tem uma coleção para a criação de versões nos formatos HTML, PDF, ODT, ZIM, ePUB ou para encomendas para a PediaPress.
    Introdução
    Lógica Tradicional
       Princípios e as Proposições Categóricas
       O Silogismo
       Ontologia e Predicação
    Cálculo Proposicional Clássico
       O que é o Cálculo Proposicional Clássico
       Operadores e Tabelas Veritativas
          Resolução dos Exercícios
       Fórmulas Contingentes, Contradições e Tautologias
          Resolução dos Exercícios
       Consequência Semântica
       Funções de Verdade e Valorações
       Tablôs semânticos
          Resolução dos Exercícios
       Dedução Natural - Parte I
          Resolução dos Exercícios
       Dedução Natural - Parte II
          Resolução dos Exercícios
       Axiomática
       Cálculo de Sequêntes
    Cálculo Quantificacional Clássico
       Introdução
       Constantes, Variáveis e Quantificadores
       Estruturas
       Tablôs semânticos no CQC
       Dedução Natural no CQC
          Resolução dos Exercícios
       Identidade e Símbolos Funcionais
    Lógicas não-clássicas
       Introdução
       Lógicas complementares
          Lógica Modal
          Lógica temporal
       Lógicas alternativas
          Lógicas trivalentes
          Lógica fuzzy
          Lógica Intuicionista
          Lógicas Relevantes
          Lógicas lineares
          Lógicas paraconsistentes
    Apêndice
       Geral
          Problema da Indução
          Paradoxos
          Notações Alternativas
          Lógica Digital
       CPC
       CQC
          O homem mascarado e os limites de aplicabilidade do CQC
       Lógicas não-classicas
          Propriedades antiintuitivas da implicação
          Lógicas paraconsistentes
       Desafios
          Desafios de lógica
    Bibliografia
    Créditos
# Lógica/Cálculo Proposicional Clássico
## Índice

* O que é o Cálculo Proposicional Clássico
* Operadores e Tabelas Veritativas
* Fórmulas Contingentes, Contradições e Tautologias
* Consequência Semântica
* Funções de Verdade e Valorações
* Tablôs semânticos
* Dedução Natural - Parte I
* Dedução Natural - Parte II
* Axiomática
* Cálculo de Sequêntes
Este capítulo foi eleito pelos colaboradores como um dos melhores do Wikilivros. Para mais informações, consulte a página de votações.
# Lógica/Cálculo Proposicional Clássico/Dedução Natural - Parte I/Resolução dos Exercícios
## Resolução dos Exercícios de Regras de Inferência Direta

Lembre-se que a ordem na qual as derivações são feitas pode variar.

#### 1

$\left\{A\leftrightarrow \left(B\lor C\right),\neg \neg B\right\}\vdash A\land B$
| 1. | $A\leftrightarrow \left(B\lor C\right)$ | Premissa |
| 2. | $\neg \neg B$ | Premissa |
| 3. | $B$ | 2 DN |
| 4. | $B\lor C$ | 3 E |
| 5. | $\left(B\lor C\right)\to A$ | 1 BC |
| 6. | $A$ | 5,4 MP |
| 7. | $A\land B$ | 6,3 C |

#### 2

$\left\{A\lor B,B\to C,\neg A\land D\right\}\vdash C$
| 1. | $A\lor B$ | Premissa |
| 2. | $B\to C$ | Premissa |
| 3. | $\neg A\land D$ | Premissa |
| 4. | $\neg A$ | 3 S |
| 5. | $B$ | 1,4 SD |
| 6. | $C$ | 2,5 MP |

#### 3

$\left\{A\to C,C\to A,\left(A\leftrightarrow C\right)\to B\right\}\vdash B$
| 1. | $A\to C$ | Premissa |
| 2. | $C\to A$ | Premissa |
| 3. | $\left(A\leftrightarrow C\right)\to B$ | Premissa |
| 4. | $A\leftrightarrow C$ | 1,2 CB |
| 5. | $B$ | 3,4 MP |

## Resolução dos Exercícios de Regras Hipotéticas
#### 1

$P\to Q\vdash P\to \left(Q\lor C\right)$
| 1. | $P\to Q$ | Premissa |
| 2. | $P$ | Hipótese |
| 3. | $Q$ | 1,2 MP |
| 4. | $Q\lor C$ | 3 E |
| 5. | $P\to \left(Q\lor C\right)$ | 2,4 RPC |

#### 2

$P\to \neg P\vdash \neg P$
| 1. | $P\to \neg P$ | Premissa |
| 2. | $P$ | Hipótese |
| 3. | $\neg P$ | 1,2 MP |
| 4. | $P\land \neg P$ | 2,3 C |
| 5. | $\neg P$ | 2,4 RAA |

#### 3

$A\lor B\vdash \neg A\to B$
| 1. | $A\lor B$ | Premissa |
| 2. | $\neg A$ | Hipótese |
| 3. | $B$ | 1,2 SD |
| 4. | $\neg A\to B$ | 2,3 RPC |

#### 4

$A\to B\vdash \neg \left(A\land \neg B\right)$
| 1. | $A\to B$ | Premissa |
| 2. | $A\land \neg B$ | Hipótese |
| 3. | $A$ | 2 S |
| 4. | $\neg B$ | 2 S |
| 5. | $B$ | 1,3 MP |
| 6. | $B\land \neg B$ | 5,4 C |
| 7. | $\neg \left(A\land \neg B\right)$ | 2,6 RAA |

#### 5

$\left\{\neg \left(A\land B\right),A\right\}\vdash \neg B$
| 1. | $\neg \left(A\land B\right)$ | Premissa |
| 2. | $A$ | Premissa |
| 3. | $B$ | Hipótese |
| 4. | $A\land B$ | 2,3 C |
| 5. | $\left(A\land B\right)\land \neg \left(A\land B\right)$ | 1,4 C |
| 6. | $\neg B$ | 3,5 RAA |
# Lógica/Apêndice

    No Apêndice, encontram-se artigos com teor didático — se o teor fosse enciclopédico, o lugar destes seria a Wikipédia —, os quais, justamente por motivos didáticos, não tem lugar na linearidade dos capítulos e subcapítulos do Wikibook de Lógica.
    Problema da Indução
    Paradoxos
    Notações Alternativas
    Lógica Digital
    O homem mascarado e os limites de aplicabilidade do CQC
    Propriedades antiintuitivas da implicação
    Lógicas paraconsistentes
    Desafios de lógica