OpenLLM-France/wikimedia huggingface dataset:
# Prosantorhinus

Prosantorhinus é um gênero extinto de rinoceronte do Mioceno baixo e médio. Esse rinoceronte pequeno da tribo teleoceratini encontrava-se na Europa ocidental e na Ásia. Parecia-se com os hipopótamos na forma.
# Pritaneu

O pritaneu (em grego clássico: Πρυτανεῖον; romaniz.: prytaneion; "presidência") era a sede dos prítanes, ou seja, dos membros do governo das cidades-estado da Grécia Antiga. O termo é também usado para descrever qualquer das estruturas antigas onde oficiais se reuniam, normalmente no âmbito de funções relacionadas com o governo de uma cidade. O termo é ainda referido para designar o edifício onde os oficiais e vencedores dos Jogos Olímpicos se reuniam em Olímpia.
O Pritaneu situava-se normalmente no centro da cidade, na ágora, e albergava o fogo sagrado e eterno de Héstia, a deusa do lar e da família e símbolo da vida da cidade. O fogo dos pritaneus das colónias era levado do pritaneu da cidade-mãe. Era no Pritaneu que os magistrados se reuniam e recebiam as homenagens dos seus conterrâneos e os embaixadores estrangeiros. O local também era palco de sacrifícios de oferendas aos deuses da cidade.

## Atenas

Em Atenas, o Pritaneu funcionava no Tolo (tholos; "círculo" em grego), um templo circular com 18 metros de diâmetro situado no lado sudoeste da ágora que fazia parte do complexo do buleutério (onde funcionava a Bulé, o conselho de cidadãos). O Tolo funcionava como uma espécie de estrutura polivalente, que servia como refeitório e alojamento para alguns oficiais. Esta função tornou-se necessária após as reformas de Clístenes, que obrigavam um terço do senado a estar permanentemente presente no complexo, qualquer que fosse a hora do dia ou da noite. O edifício foi construído cerca de 470 a.C. por Címon como refeitório dos membros da Bulé.

## Olímpia

Em Olímpia o Pritaneu era onde os sacerdotes e magistrados viviam; os altos sacerdotes viviam no Teocoleão. Situa-se a noroeste do templo de Hera e era usado para celebrações e festas pelos vencedores dos Jogos Olímpicos. Era também o lugar onde se encontrava o altar de Héstia, onde ardia a chama olímpica original.
# Pritchett

Coordenadas: 37° 22' 8" N 102° 51' 36" O
Pritchett é uma cidade localizada no estado americano de Colorado, no Condado de Baca.

## Demografia

Segundo o censo americano de 2000, a sua população era de 137 habitantes. Em 2006, foi estimada uma população de 122, um decréscimo de 15 (-10.9%).

## Geografia

De acordo com o United States Census Bureau tem uma área de 0,6 km², dos quais 0,6 km² cobertos por terra e 0,0 km² cobertos por água. Pritchett localiza-se a aproximadamente 1474 m acima do nível do mar.

## Localidades na vizinhança

O diagrama seguinte representa as localidades num raio de 48 km ao redor de Pritchett.
# Prnjavor (Šabac)

Prnjavor (em cirílico: Прњавор) é uma vila da Sérvia localizada no município de Šabac, pertencente ao distrito de Mačva, na região de Mačva. A sua população era de 3906 habitantes segundo o censo de 2011.

## Demografia

Evolução demográfica :
| 1948 | 1953 | 1961 | 1971 | 1981 | 1991 | 2002 | 2011 |
| 3 014 | 3 390 | 4 100 | 4 538 | 4 892 | 4 718 | 4 464 | 3 906 |
# Prémio Ho-Am de medicina

O Prémio Ho-Am de medicina é um galardão atribuído anualmente pela HO-AM Foundation.
Este prémio foi estabelecido em 1990 pelo presidente da Samsung, Lee Kun-hee em homenagem a Lee Byung-chul, fundador da Samsung.

## Laureados

* 1991: Young-Kyoon Kim
* 1992: Ho-Wang Lee
* 1993: Sa-Suk Hong
* 1994: Waun Ki Hong
* 1995: Chung-Yong Kim
* 1996: Young-Shik Kim
* 1997: D. Wonkyu Choi
* 1998: Byung Pal Yu
* 1999: Chil-Yong Kang
* 2000: Ji-Won Yoon
* 2001: Andrew Ho Kang
* 2002: Seong Jin Kim
* 2003: Sung Wan Kim
* 2004: Stuart K. Kim
* 2005: Kyu-Won Kim
* 2006: Yongwon Choi
* 2007: Charles D. Surh
* 2008: Charles Lee
* 2009: V. Narry Kim
* 2010: William C. Hahn
* 2011: Augustine M.K. Choi
* 2012: Jae Ung Jung
* 2013: Se-Jin Lee
* 2014: Seung K. Kim
* 2015: Sunghoon Kim
* 2016: Larry W. Kwak
# Priestleya

Priestleya é um género botânico pertencente à família Fabaceae.

## Espécies

O género Priestleya inclui 36 espécies descritas, mas apenas 15 se encontram aceites:
* Priestleya angustifolia Eckl. & Zeyh.
* Priestleya calycina L.Bolus
* Priestleya capitata (Thunb.) DC.
* Priestleya graminifolia DC.
* Priestleya hirsuta (Thunb.) DC.
* Priestleya laevigata (L.) Druce
* Priestleya latifolia Benth.
* Priestleya leiocarpa Eckl. & Zeyh.
* Priestleya myrtifolia (Thunb.) DC.
* Priestleya sericea (L.) E.Mey.
* Priestleya teres (Thunb.) DC.
* Priestleya thunbergii Benth.
* Priestleya tomentosa (L.) Druce
* Priestleya umbellifera (Thunb.) DC.
* Priestleya vestita (Thunb.) DC.
# Prieto Diaz

Prieto Diaz é um município de quinta classe de renda municipal (d) na província Sorsogon, nas Filipinas. De acordo com o censo de 1 de maio de 2020 possui uma população de 22 644 pessoas e 5 346 domicílios.
# Schweina

Schweina é uma localidade e antigo município no Wartburgkreis na Turíngia (Alemanha). A localidade está no noroeste da Floresta da Turíngia, uma região caracterizada por montanhas íngremes e extensas florestas. Desde 31 de dezembro de 2012, forma parte da cidade de Bad Liebenstein.
# Segredos da Tribo

Segredos da Tribo é um filme documentário brasileiro de 2010, dirigido por José Padilha.
Produzido entre a BBC e HBO, o filme expõe o conflito entre antropólogos por causa dos ianomâmi.

## Prêmios e indicações

* Sundance Festival 2010, indicado na categoria de melhor documentário
# Prievidza (distrito)

O Distrito de Prievidza (eslovaco: Okres Prievidza) é uma unidade administrativa da Eslováquia Ocidental, situado na Trenčín (região), com 140.444 habitantes (em 2001) e uma superficie de 960 km². Sua capital é a cidade de Prievidza.

## Cidades

| Bojnice Handlová | Nováky Prievidza (capital) |

## Municípios

| Bystričany Cigeľ Čavoj Čereňany Diviacka Nová Ves Diviaky nad Nitricou Dlžín Dolné Vestenice Horná Ves Horné Vestenice Chrenovec-Brusno Chvojnica | Jalovec Kamenec pod Vtáčnikom Kanianka Kľačno Kocurany Kostolná Ves Koš Lazany Lehota pod Vtáčnikom Liešťany Lipník Malá Čausa | Malinová Nedožery-Brezany Nevidzany Nitrianske Pravno Nitrianske Rudno Nitrianske Sučany Nitrica Opatovce nad Nitrou Oslany Podhradie Poluvsie Poruba | Pravenec Radobica Ráztočno Rudnianska Lehota Sebedražie Seč Šútovce Temeš Tužina Valaská Belá Veľká Čausa Zemianske Kostoľany |
# LogMeIn Hamachi

O LogMeIn Hamachi é um programa de computador que simula uma rede local ou Local Area Network (LAN), permitindo que pessoas à distância tenham acesso ao computador ou computadores alheios, principalmente para jogos, como se estivessem realmente ligados em LAN.
Este programa permite também que jogadores que usam um router possam hospedar jogos (caso o usuário tenha acesso ao roteador, ao invés de utilizar o Hamachi, pode utilizar o Port Forwarding para enviar as conexões externas para um IP fixo, server game no caso dos routers mais novos, e caso o problema seja firewall, pode abrir as portas necessárias ou habilitar uma DMZ) através do fornecimento de um IP fictício. Entretanto as redes locais têm um característica singular que é a de permitir o compartilhamento de arquivos de computadores que estão na mesma rede, e é necessário tomar determinadas precauções para o uso desse programa.
Além de ser usado para rodar jogos como se estivesse numa LAN, ele permite a criação de uma VPN para tráfego seguro de dados. Como ele funciona pela internet, não se deve esperar um desempenho de uma rede local (a menos que esteja local). Atualmente o programa pode ser adquirido comercialmente com possibilidade de acesso à versão gratuita, sendo esta última limitando o usuário a criar redes com capacidade máxima para 5 usuários.

## Compatibilidade

As versões atuais do Hamachi são suportadas pelos seguintes sistemas operacionais:
* Microsoft Windows
* Linux
* Mac OS X
* Freebsd
* iOS
* Android
Devido as versões 1.0.2.0 e 1.0.2.1, alguns usuários do Windows Vista tem problemas em se conectar ao Hamachi. Desde 30 de março de 2007, o programa inclui a ferramenta Vista tweaks, que resolve esses problemas relacionados com o Sistema Operacional, além de outras soluções específicas

## Popularidade

O programa recentemente vem conquistando milhões de usuários devido a possibilidade de conectar jogadores em qualquer lugar do mundo, criando assim servidores de jogos online, porém esse método é somente usado para pequenos servidores, já que para criar um servidor é preciso outro método, o chamado host. Hosts tem capacidade maior para acomodar jogadores, conexão segura e estável entre outros benefícios, porém hosts geralmente apresentam um custo alto mensal, além de certas limitações. Um grande exemplo de jogadores que utilizam o Hamachi são os jogadores do game Minecraft.$^[$
# Luciano Giovannetti

Luciano Giovannetti (Pistoia, 25 de setembro de 1945) é um atirador olímpico italiano, bicampeão olímpico.

## Carreira

Luciano Giovannetti representou a Itália nas Olimpíadas, de 1980, 1984, 1988 conquistou a medalha de ouro na Fossa olímpica, em 1980 e 1984, foi o primeiro a defender o título olímpico na fossa olímpica.
# Puente Viesgo

Puente Viesgo é um município da Espanha na comarca e mancomunidade dos Vales Pasiegos, província e comunidade autónoma da Cantábria. Tem 36,1 km² de área e em 2021 tinha 2 902 habitantes (densidade: 80,4 hab./km²).

## Demografia

Variação demográfica do município entre 1991 e 2004 $^[$ :
| 1991 | 1996 | 2001 | 2004 |
| 2475 | 2308 | 2326 | 2506 |

## Património

* Grutas do Castelo - albergam um dos conjuntos de arte rupestre paleolítico mais significativos da Europa
* Caverna de Las Monedas
* Balneario de Puente Viesgo
# Puerto Píritu

Puerto Píritu é uma cidade venezuelana localizada a norte do Anzoátegui, capital do município de Fernando de Peñalver, e encontra-se a 46 km do centro de Barcelona a capital do Estado. Está localizada na costa marítima central de Anzoátegui com uma população de pouco mais de 11.000 habitantes.
A actual Puerto Píritu foi fundado em 1513 como El Manjar, e ainda conserva uma enorme quantidade de edifícios coloniais no centro histórico da cidade. O turismo e a pesca são as principais fontes de rendimento de Puerto Píritu.
# Lucas Mineiro

Lucas Mineiro da Silva Izidoro, mais conhecido como Lucas Mineiro (Belo Horizonte, 24 de fevereiro de 1996) é um futebolista brasileiro que atua como volante. Atualmente joga pelo Cuiabá.

## Carreira
### Vila Nova

Nascido em Belo Horizonte, Lucas Mineiro iniciou sua carreira na equipe base do Vila Nova onde chegou em 2014. Fez sua estreia no elenco profissional em 2015 no Campeonato Mineiro diante da equipe do América MG no empate por 0 a 0. Ainda atuou em outros 5 jogos na equipe mineira.

### Chapecoense

Chegou a Chapecoense em 2015 e integrou o elenco Sub-20 da equipe. Ganhou sua oportunidade apenas em 2016 e fez um bom jogo diante da equipe do Criciúma; acabou sendo campeão catarinense junto com sua equipe. Atuou ainda contra as equipes do Grêmio e da Ponte Preta pelo Brasileirão. Iniciou o ano de 2017 sendo campeão catarinense Sub-20, onde foi titular e capitão da equipe em sua primeira conquista do campeonato. Teve mais chances no time profissional, e logo de inicio se tornou titular absoluto na equipe. Participou do jogo diante do Barcelona, onde foi sua primeira experiência em solo europeu.

### Ponte Preta

Foi emprestado a equipe da Ponte até o fim do ano de 2018. Lá o volante precisou apenas de 2 jogos para marcar seu primeiro gol como profissional, onde fez seu tento diante da equipe da Ferroviária pelo Campeonato Paulista. Volante de origem, na equipe fez um papel de camisa 10 tendo mais liberdade para chegar ao gol, assim se tornando peça fundamental para equipe Alvinegra de Campinas. Marcou novamente contra o Criciúma pela série B.

### Vasco da Gama

Chegou ao Vasco por empréstimo e desconfiado por parte da torcida, mas logo caiu nas graças da mesma e se tornou titular após boas atuações. Marcou seu primeiro gol diante da equipe do Volta Redonda na goleada por 5 a 2. Ajudou a equipe a ir para a final da Taça Guanabara de 2019 marcando o primeiro gol da vitória por 3 a 0 diante do Resende, onde acabou sendo campeão da mesma competição. Marcou seu terceiro gol com a camisa do Vasco na Vitória por 2 a 0 contra o Serra, pela Copa do Brasil.
Após de forma surpreendente se destacar nos primeiros meses na disputa do Campeonato Carioca, sendo uma peça fundamental na equipe, fazendo com que o Cruzmaltino cogitasse pagar a multa de R$ 8 milhões para tê-lo em definitivo, Lucas Mineiro, porém, teve uma grande queda de rendimento no Campeonato Brasileiro, o que o fez perder espaço com o técnico Vanderlei Luxemburgo. Pouco aproveitado e alvo de críticas da torcida, o volante negociou a sua rescisão com o Vasco no dia 5 de setembro.

### Sporting Braga

No dia 24 de junho de 2021, o Sporting Braga comprou o jogador junto a Chapecoense por 1,5 milhões de euros.

## Títulos
### Chapecoense

* Campeonato Catarinense: 2016

### Vasco da Gama

* Taça Guanabara: 2019

### Cuiabá

* Campeonato Mato-Grossense: 2024

### Prêmios individuais

* Seleção do Campeonato Carioca: 2019
# Puerto Rico (Caquetá)

Puerto Rico é um município da Colômbia localizada no departamento de Caquetá.
# Puerto Rico Football Club

Puerto Rico Football Club, mais conhecida como Puerto Rico FC, foi um clube da cidade de Bayamón, Porto Rico. Disputava a North American Soccer League, que é equivalente a segunda divisão nos Estados Unidos. A tradição nos esportes nos Estados Unidos abre espaço para que equipes fora do país disputem a competição, principalmente do Canadá e de Porto Rico, e por essa razão o Puerto Rico FC disputa a NASL e não o Campeonato Porto-riquenho de Futebol

## História

O clube pertence ao jogador de basquete da National Basketball Association (NBA) Carmelo Anthony. Em 14 de agosto de 2015 Adrian Whitbread foi anunciado como o primeiro técnico da história do time. A equipe estreiou na NASL em 2016.
# Looking for Comedy in the Muslim World

Looking for Comedy in the Muslim World' é um filme estadunidense e 2006 produzido e estrelado por Albert Brooks.
# Primeiro Gabinete Adenauer
## Gabinete

Primeiro Gabinete Adenauer – 20 de setembro de 1949 a 20 de outubro de 1953 :
| Cargo | Imagem | Incumbente | Partido |
| Chanceler | Konrad Adenauer (1952) | Konrad Adenauer (1876–1967) | CDU |
| Vice-Chanceler | Franz Blücher (1950) | Franz Blücher (1896–1959) | FDP |
| Ministro das Relações Exteriores ab 15. März 1951 | Konrad Adenauer (1952) | Konrad Adenauer | CDU |
| Ministro do Interior | Gustav Heinemann (1969) | Gustav Heinemann (1899–1976) bis 11. Oktober 1950 | CDU |
| Ministro do Interior | Robert Lehr (1950) | Robert Lehr (1883–1956) ab 11. Oktober 1950 | CDU |
| Ministro da Justiça | | Thomas Dehler (1897–1967) | FDP |
| Ministro das Finanças | | Fritz Schäffer (1888–1967) | CSU |
| Ministro da Economia e Tecnologia | Ludwig Erhard (1966) | Ludwig Erhard (1897–1977) | parteilos |
| Ministro da Nutrição, Agricultura e Defesa do Consumidor | | Wilhelm Niklas (1887–1957) | CSU |
| Ministro do Trabalho e Relações Sociais | Anton Storch (1952) | Anton Storch (1892–1975) | CDU |
| Ministro dos Transportes, Construção e Desenvolvimento das Cidades | | Hans-Christoph Seebohm (1903–1967) | DP |
| Ministro Postal e de Telecomunicações ab 1. April 1950: Bundesminister für das Post- und Fernmeldewesen | | Hans Schuberth (1897–1976) | CSU |
| Ministro dos Transportes, Construção e Desenvolvimento das Cidades | | Eberhard Wildermuth (1890–1952) bis 9. März 1952 | FDP |
| Ministro dos Transportes, Construção e Desenvolvimento das Cidades | | Fritz Neumayer (1884–1973) ab 15. Juli 1952 | FDP |
| Ministro dos Desgregados, Fugitivos e Flagelados da Guerra | Hans Lukascheck (1949) | Hans Lukaschek (1885–1960) | CDU |
| Ministro das Relações Internas | Jakob Kaiser (1950) | Jakob Kaiser (1888–1961) | CDU |
| Ministro de Causas do Bundesrat | | Heinrich Hellwege (1908–1991) | DP |
| Ministro de Assuntos do Plano Marshall | Franz Blücher (1950) | Franz Blücher (1896–1959) | FDP |
# Luciano Balbi

Luciano Damián Balbi (Rosário (Argentina), 4 de abril de 1989) é um futebolista profissional argentino que atua como defensor.

## Carreira
### Lanús

Luciano Balbi se profissionalizou no Lanús, em 2009.
Luciano Balbi integrou o Club Atlético Lanús‎ na campanha vitoriosa da Copa Sul-Americana de 2013.

## Títulos
### Lanús

* Copa Sul-Americana: 2013
# Pseudoscops

Pseudoscops é um gênero de aves da família Strigidae.
As seguintes espécies são reconhecidas:
* Pseudoscops grammicus (Gosse, 1847)
* Pseudoscops clamator (Vieillot, 1808)
# Pristimantis charlottevillensis

Pristimantis charlottevillensis é uma espécie de anfíbio da família Craugastoridae.
É endémica de Trinidad e Tobago.
Os seus habitats naturais são: florestas subtropicais ou tropicais húmidas de baixa altitude.
# Luiz Couto

Luiz Albuquerque Couto (Soledade, 13 de fevereiro de 1945), conhecido simplesmente por Luiz Couto, é um professor universitário, Sacerdote católico e político brasileiro, filiado ao Partido dos Trabalhadores (PT), foi secretário da Agricultura Familiar e do Desenvolvimento do Semiárido da Paraíba.. Durante sua carreira política já foi deputado estadual por dois mandatos e eleito cinco vezes deputado federal. Em 2018 se apresentou como candidato ao Senado Federal, pela Paraíba. No entanto, não conseguiu ser eleito e ficou em 3° lugar com 23,10% dos votos válidos. Nas eleições de 2022 voltou a se eleger Deputado Federal pelo Estado da Paraíba.

## Biografia

Filho de trabalhadores rurais sem terra, nasceu em Soledade, no Curimataú paraibano, mas mudou-se para João Pessoa em busca de melhores oportunidades para estudar. Formou-se em Filosofia pelo Seminário Regional do Nordeste e pela Universidade Federal da Paraíba (UFPB), entre os anos de 1966 e 1969, e em Teologia pelo Instituto de Teologia do Recife (Iter), entre 1973 e 1976. Entrou para o quadro docente da UFPB, onde chefiou o Departamento de Filosofia e foi diretor do Centro de Ciências Humanas, Letras e Artes da UFPB. Já lecionou Metodologia da Ciência, Lógica, Introdução à Filosofia, Ética, História da Filosofia, Filosofia da História, Filosofia Social e Política, e Antropologia Filosófica.

### Sacerdócio

Ordenou-se padre em 19 de dezembro de 1976. Identificado com a chamada Teologia da Libertação exerceu o Ministério sacerdotal nas paróquias Nossa Senhora das Neves e Sagrado Coração de Jesus na cidade de João Pessoa, tendo atuado ainda em diversas paróquias da capital paraibana e em cidades do interior da Paraíba, dentre as quais, Santa Rita, Pilar, Sapé, Gurinhém, Pedras de Fogo, São Miguel de Taipu, Salgado de São Félix e Itabaiana.

## Carreira Política

Filiado ao PT desde 1985 candidatou-se pela primeira vez 1994 como deputado estadual da Paraíba e foi eleito com 9.449 votos. e reeleito em 1998 com 11.849 votos. Em 1996 e 2000 concorreu, sem êxito, como candidato a prefeito de João Pessoa.
Em 2002 tenta uma vaga na Câmara Federal e é eleito deputado federal com 77.432 votos, sendo reeleito em 2006, com 83.742 votos, em 2010 foi pela terceira vez eleito com 95.555 súfragios e em 2014 obtendo 3.61% do eleitorado, foi pela quarta vez com 69.922 votos. Na Câmara Federal, como relator da CPI dos Grupos de Extermínio no Nordeste, recomendou em 2005 o indiciamento de cerca de 300 pessoas, entre políticos, juízes, policiais e promotores. Jurado de morte por grupos de extermínio, circula com proteção especial da Polícia Federal. Devido a sua atuação, foi relacionado entre os 20 melhores parlamentares da Câmara e se destaca no combate ao crime organizado, segundo o site Congresso em Foco.
Em 2018 tem o nome confirmado pelo PT para concorrer ao senado pela paraíba na coligação a força do trabalho mas não obtem a Vitória e fica na terceira colocação com 792.420 mil votos ou 23,10% do total.
Nas eleicões de 2022 Couto é eleito deputado Federal com 54.581 votos.
# Lutécia (desambiguação)

* Esta é uma página de desambiguação que lista os artigos que podem ser associados a um ou vários títulos. Se uma ligação interna o conduziu até aqui, sugerimos que a corrija para apontá-la diretamente ao artigo adequado.
Lutécia ou Lutetia pode referir-se a:
* Lutécia - cidade brasileira do Estado de São Paulo
* Lutécia (Paris) - antigo nome da cidade de Paris
* Edifício Lutetia - prédio em São Paulo
* 21 Lutetia - asteroide da cintura principal
# Provaljenik

Provaljenik (em cirílico: Проваљеник) é uma vila da Sérvia localizada no município de Babušnica, pertencente ao distrito de Pirot, na região de Lužnica. A sua população era de 152 habitantes segundo o censo de 2011.

## Demografia

Evolução demográfica :
| 1948 | 1953 | 1961 | 1971 | 1981 | 1991 | 2002 | 2011 |
| 502 | 497 | 434 | 385 | 306 | 282 | 202 | 152 |
# Luuk

Luuk é um município de terceira classe de renda municipal (d) na província Sulu, nas Filipinas. De acordo com o censo de 1 de maio de 2020 possui uma população de 37 873 pessoas e 6 554 domicílios.
# Prova por contraposição

Em lógica, a contrapositiva de uma instrução condicional é formada negando ambos os termos e invertendo a direção da inferência. Explicitamente, a contrapositiva da instrução "se A, então B" é "se não B, então não A." A instrução e a sua contrapositiva são logicamente equivalentes: se a afirmação é verdadeira, então a sua contrapositiva é verdadeira e vice-versa.
Em matemática, a prova por contraposição (ou prova pela contrapositiva) é uma regra de inferência utilizada em provas. Essa regra infere uma declaração condicional da sua contraposição. Em outras palavras, a conclusão "se A, então B" é elaborada a partir da única premissa "se não B, então não A" .

## Exemplo

Deixe x ser um número inteiro:
    Para provar que: Se x² é par, então x é par.
Apesar de poder ser dada uma prova direta, podemos escolher provar esta afirmação por contraposição. A contrapositiva da declaração acima é:
    Se x não é par, então x² não é par.
Essa última afirmação pode ser comprovada da seguinte forma: suponha que x não é par, então x é ímpar. O produto de dois números ímpares é ímpar, portanto, x² = x·x é um numero ímpar, assim x² não é par.
Tendo provado a contrapositiva, podemos inferir que a sentença original é verdadeira.

## Relação à prova por contradição

Qualquer prova por contraposição também pode ser trivialmente formulada em termos de uma prova por contradição: nós consideramos o oposto para provar a proposição, desde que tenhamos uma prova de que temos que chegar à contradição, a qual queremos, assim a prova contrapositiva é, em certo sentido, "pelo menos tão difícil de formular" quanto a prova por contradição.$$$$$$$$
# Programa de Tripulações Comerciais

O Programa de Tripulações Comerciais é um programa de desenvolvimento de tecnologia espacial financiado pelo governo dos Estados Unidos e administrado pela NASA.

## Fases
### CCP 1

Seleção de propostas primeira fase.

### CCP 2

Seleção de propostas segunda fase.

### CCiCap

A Commercial Crew integrated Capability (CCiCap), originalmente conhecida como CCDev 3, foi a fase de detalhamento das propostas.

### Certification Products Contract (CPC) phase 1

Certificação dos produtos propostos primeira fase.

### Certification Products Contract (CPC) phase 2

Certificação dos produtos propostos segunda fase.

## Voos experimentais

A NASA comprou doze missões operacionais para o envio de astronautas para a Estação Espacial Internacional. As seleções foram anunciadas dia 2 de agosto de 2018.
* Dragon 2 pad abort test — 6 de maio de 2015
** Sem tripulantes.
* Crew Dragon Demo-1 — 2 de março de 2019 - 8 de março de 2019
** Sem tripulantes.
* Boeing Pad Abort Test — 4 de novembro de 2019
** Sem tripulantes.
* Boeing Orbital Flight Test — 20 de dezembro de 2019 - 22 de dezembro de 2019
** Sem tripulantes. Anomalia.
* Dragon 2 In-Flight Abort Test — 19 de janeiro de 2020
** Sem tripulantes.
* Crew Dragon Demo-2 — 30 de maio de 2020 - 02 de agosto de 2020
** Douglas Hurley
** Robert Behnken
* Boeing Orbital Flight Test 2 - Futuro
** Sem tripulantes.
* Crew-1 — Futuro
** Michael Hopkins
** Victor Glover
** Soichi Noguchi
** Shannon Walker
* Boeing Crewed Flight Test — Futuro
** Christopher Ferguson
** Michael Fincke
** Nicole Mann
* USCV-2 — Futuro
** Sunita Williams
** Josh Cassada
** Thomas Pesquet
** Andrei Borisenko
* USCV-3 — Futuro