stanford-oval/wikipedia huggingface dataset:
Provinsi Enga
Sejarah

Para ilmuwan telah menemukan bukti bahwa orang telah berburu dan mengumpulkan makanan tinggal di gua di Yuku/Sungai Baiyer di perbatasan timur Enga 12100 tahun yang lalu. Mereka menggunakan alat-alat yang mirip dengan yang ditemukan di Kosipe, Central, dan diyakini telah ada sejak 27000 tahun yang lalu. Orang-orang Yuku telah makan babi sejak 10000 tahun yang lalu. Mereka telah menjadi petani dan pedagang sejak 6500 tahun yang lalu. Di daerah lain, bukti adanya pembukaan hutan mungkin untuk ladang pertanian sejak 4000 tahun. Para ilmuwan percaya bahwa tanah yang subur di Enga berasal dari abu dari letusan gunung berapi besar di Pulau Panjang (Long Island), Madang, sekitar 250 tahun yang lalu.
Garam dari mata air di Sirunki ditukarkan dengan kerang, kapak, dan bulu burung. Salju menghancurkan kebun dan menyebabkan kelaparan parah pada tahun 1941 dan 1972 di daerah Kandep, Laiagam, dan Porgera. Misionaris Katolik dan Gereja Lutheran tiba pada tahun 1947, Gereja Masehi Advent Hari Ketujuh pada tahun 1949. Pada tahun 1948, perebutan ladang emas kecil terjadi di Porgera. Pada tahun 1973, Distrik Enga dibentuk dari setengah Dataran Tinggi Barat dan sebagian dari Dataran Tinggi Selatan.
Geografi

Enga adalah yang tertinggi dan merupakan provinsi paling bergunung gunung kedua (setelah Provinsi Simbu ) di Papua Nugini. Ini meliputi area seluas 2.800 km ². Sebagian besar provinsi ini adalah pada ketinggian lebih dari 2000 mdpl. Dataran rendah biasanya lembah yang membentuk DAS untuk dua sistem sungai utama yang mengalirkan provinsi, Lagaip (yang merupakan anak Sungai Fly) dan Lai (yang merupakan anak Sungai Sepik ).
Distrik dan LLG

| District | District Capital | LLG Name |
| --- | --- | --- |
| Kandep District | Kandep | Kandep Rural |
| Kandep District | Kandep | Wage Rural |
| Kompiam District | Kompiam | Ambum Rural |
| Kompiam District | Kompiam | Kompiam Rural |
| Kompiam District | Kompiam | Wapi (Uangis) Rural |
| Lagaip-Porgera District | Laiagam-Porgera | Pilikambi Rural |
| Lagaip-Porgera District | Laiagam-Porgera | Maip-Mulitaka Rural |
| Lagaip-Porgera District | Laiagam-Porgera | Paiela-Hewa Rural |
| Lagaip-Porgera District | Laiagam-Porgera | Porgera Rural |
| Wapenamanda District | Wapenamanda | Wapenamanda Rural |
| Wapenamanda District | Wapenamanda | Tsak Rural |
| Wabag District | Wabag | Maramuni Rural |
| Wabag District | Wabag | Wabag Rural |
| Wabag District | Wabag | Wabag Urban |
Octobass

| --- | --- |
Photo of an Octobass at Musée de la Musique, Paris.
Klasifikasi:  Bowed string instrument 
Alat musik terkait
 Double bass 
Octobass adalah alat musik dawai berbusur yang sangat besar dan langka (hanya 7 yang ada) yang pertama kali dibuat sekitar tahun 1850 di Paris oleh luthier (pembuat alat musik dawai) Prancis Jean-Baptiste Vuillaume (1798-1875). Octobass memiliki tiga senar dan pada dasarnya adalah versi yang lebih besar dari kontrabas (spesimen dalam koleksi Musée de la Musique di Paris memiliki panjang 3,48 m (11,4 ft), sedangkan kontrabas umumnya memiliki panjang sekitar 2 m (6 ft 7 in)). Karena panjang papan jari dan ketebalan dawai yang sangat besar, musisi yang memainkan menggunakan sistem tuas dan pedal. Octobass belum pernah diproduksi pada skala besar atau banyak digunakan oleh komposer (meskipun Hector Berlioz menulis pujian tentang instrumen tersebut dan mengusulkannya untuk adopsi). Selain instrumen yang di Paris, octobass ada dalam koleksi Museum Alat Musik di Phoenix, Arizona dan Kunsthistorisches Museum di Wina.
Pada Oktober 2016, Montreal Symphony Orchestra disumbangkan sebuah octobass oleh perusahaan Quebek Canimex dan sekarang satu-satunya orkestra di dunia yang memilikinya. Alat musik ini dibuat oleh luthier Jean-Jacques Pagès di Mirecourt, Prancis pada tahun 2010.
Jangkauan dan penyetelan

Menurut Berlioz, tiga senar terbuka yang disetel C1, G1, dan C2. Setelan ini memberikan kisaran rendah satu oktaf di bawah cello dan sama dengan kontrabas modern dengan ekstensi C rendah. Namun, pada saat octobass diciptakan, double bass tidak memiliki ekstensi ini dan bisa turun hanya ke E1 atau G1. Mekanismenya memungkinkan setiap dawai untuk mencakup rentang seperlima yang sempurna secara kromatis dan memberikan instrumen rentang yang tinggi untuk G2. Alat musik di Musée de la Musique di Paris, yang menggunakan dawai usus yang akurat secara periode, disetel dengan demikian (meskipun setidaknya pada beberapa rekaman penalaan secara keseluruhan adalah mol setengah langkah).
Alat musik di Museum Alat Musik di Phoenix, yang menggunakan senar logam modern, disetel C0, G0, D1. Setelan ini memberikan jangkauan rendah dua oktaf di bawah cello dan satu oktaf di bawah kontrabas modern dengan ekstensi C rendah. Berlioz secara khusus mencatat penalaan ini dalam risalah orkestrasi, tetapi dianggap sebagai hal yang keliru. Seperti pada alat musik yang di Paris, mekanismenya memungkinkan setiap senar untuk menjangkau seperlima yang sempurna, memberikan berbagai tinggi A1. Not terendah di penalaan ini melebihi jangkauan pendengaran manusia yaitu 20 Hz, tapi tetap terdengar karena nada. ( organ 32' berhenti juga melebihi batas yang seharusnya 20 Hz.)
Octobass pada Montreal Symphony Orchestra menggunakan senar usus, disetel A0, E1, B1, dan memiliki jangkauan yang tinggi ke F♯2.
Lihat pula

Triple kontrabas biola
Bermain berbagai octobass, menurut Berlioz.
Bermain berbagai octobass yang dimiliki oleh Museum Instrumen Musik di Phoenix, Arizona.
Bermain berbagai octobass dimiliki oleh Montreal Symphony Orchestra.
Melingkat, Kayan Hilir, Sintang

| Melingkat |
| --- | --- |
Desa
Negara:  Indonesia
Provinsi: Kalimantan Barat
Kabupaten: Sintang
Kecamatan: Kayan Hilir
Kode pos: 78693
Kode Kemendagri: 61.05.08.2008 
Luas: ... km²
Jumlah penduduk: ... jiwa
Kepadatan: ... jiwa/km²
Melingkat adalah salah satu desa yang terletak di Kecamatan Kayan Hilir, Kabupaten Sintang, Provinsi Kalimantan Barat, Indonesia.
Moto3 musim 2014

| 0 | 1 | 2 | 3 |
| --- | --- | --- | --- |
 Grand Prix Sepeda Motor F.I.M. musim 2014 
| Sebelum: | 2013 | Sesudah: | 2015 |
MotoGP musim 2014 Moto2 musim 2014
Álex Márquez adalah Juara Moto3 2014.
Kejuaraan Dunia FIM Moto3 2014 adalah bagian dari musim Kejuaraan Dunia F.I.M. Road Racing ke-66. Maverick Viñales adalah juara bertahan seri, tetapi tidak mengikuti musim ini karena ia pindah ke kelas menengah seri, Moto2.
Kejuaraan pebalap belum ditentukan hingga putaran terakhir musim, dan dimenangkan oleh Estrella Galicia 0,0 pebalap Álex Márquez, saudara dari juara 125cc 2010 Marc Márquez; Alhasil, Márquez bersaudara menjadi saudara pertama yang masing-masing memenangkan gelar Grand Prix Sepeda Motor. Márquez – pemenang balapan tiga kali – menang setelah finis ketiga di Valencia, yang cukup bagus untuk memberinya gelar dengan keunggulan dua poin atas Jack Miller, yang memenangkan balapan. Miller, yang belum pernah naik podium Grand Prix sebelum musim 2014, meraih enam kemenangan dan sepuluh podium, membalap untuk tim Ajo Motorsport. Tempat ketiga dalam kejuaraan juga diputuskan di Valencia, dengan Álex Rins, rekan setim Márquez di tim Estrella Galicia 0,0, mampu mengambil posisi di depan SaxoPrint–RTG Efrén Vázquez. Kedua pembalap meraih dua kemenangan selama musim, termasuk dua kemenangan pertama dalam karir Grand Prix Vázquez.
Satu-satunya pebalap lain yang meraih kemenangan selama musim ini adalah pembalap yang finis kelima dan keenam di klasemen kejuaraan pembalap terakhir. Berkendara untuk Valentino Rossi Sky Racing Team by VR46, Romano Fenati meraih empat kemenangan sepanjang musim, tetapi dengan hanya dua podium lagi, dia tidak dapat mengajukan tantangan kejuaraan yang substansial. Alexis Masbou, mengendarai Ongetta – Rivacold, juga merupakan pemenang Grand Prix pertama kali selama musim 2014; dia menang di Brno, setelah menang dalam pertempuran memimpin 17 pembalap. Peringkat rookie of the year dengan nyaman dimenangkan oleh Enea Bastianini dari Junior Team GO&FUN Moto3. Bastianini finis kesembilan secara keseluruhan setelah lulus dari Red Bull MotoGP Rookies Cup, mengambil tiga podium selama kampanye. Di kejuaraan konstruktor, KTM dan Honda finis imbang dengan 384 poin, tetapi KTM memenangkan gelar – gelar ketiga berturut-turut – dalam hitungan mundur karena marque telah memenangkan 10 balapan sedangkan Honda 8 balapan.
Tim dan Pembalap

Daftar entri sementara dirilis oleh Fédération Internationale de Motocyclisme pada 20 November 2013. Daftar entri yang diperbarui dirilis pada 14 Januari 2014. Daftar entri terakhir dirilis pada 28 Februari 2014. Semua tim menggunakan ban Dunlop.
Kalender

Fédération Internationale de Motocyclisme merilis kalender sementara 19 balapan pada 2 Oktober 2013. Kalender diperbarui pada 13 Desember 2013 dan lagi pada 24 Februari 2014, menghasilkan kalender 18 balapan.
Kalender 2014 awalnya menampilkan penambahan dua balapan Amerika Selatan, kunjungan pertama seri tersebut ke benua itu sejak 2004. Balapan di Argentina di Autódromo Termas de Río Hondo yang baru ditingkatkan dijadwalkan pada 27 April dan balapan di Brasil di Autódromo Internacional Nelson Piquet di Brasilia dijadwalkan pada 28 September, tetapi yang terakhir kemudian dihapus dari kalender. Putaran di Motorland Aragón juga diundur seminggu, mengisi tanggal yang semula dijadwalkan untuk Brasil.
| Ronde | Tanggal | Grand Prix | Sirkuit |
| --- | --- | --- | --- |
| 1 | 23 Maret ‡ |  Commercial Bank Grand Prix of Qatar | Losail International Circuit, Lusail |
| 2 | 13 April |  Red Bull Grand Prix of the Americas | Circuit of the Americas, Austin |
| 3 | 27 April |  Gran Premio Red Bull de la República Argentina | Autódromo Termas de Río Hondo, Termas de Río Hondo |
| 4 | 4 Mei |  Gran Premio bwin de España | Circuito de Jerez, Jerez de la Frontera |
| 5 | 18 Mei |  Monster Energy Grand Prix de France | Le Mans Bugatti, Le Mans |
| 6 | 1 Juni |  Gran Premio d'Italia TIM | Mugello Circuit, Scarperia e San Piero |
| 7 | 15 Juni |  Gran Premi Monster Energy de Catalunya | Circuit de Barcelona-Catalunya, Montmeló |
| 8 | 28 Juni †† |  Iveco Daily TT Assen | TT Circuit Assen, Assen |
| 9 | 13 Juli |  eni Motorrad Grand Prix Deutschland | Sachsenring, Hohenstein-Ernstthal |
| 10 | 10 Agustus |  Red Bull Indianapolis Grand Prix | Indianapolis Motor Speedway, Speedway |
| 11 | 17 Agustus |  bwin Grand Prix České republiky | Brno Circuit, Brno |
| 12 | 31 Agustus |  Hertz British Grand Prix | Silverstone Circuit, Silverstone |
| 13 | 14 September |  Gran Premio TIM di San Marino e della Riviera di Rimini | Misano World Circuit Marco Simoncelli, Misano Adriatico |
| 14 | 28 September |  Gran Premio Movistar de Aragón | Motorland Aragón, Alcañiz |
| 15 | 12 Oktober |  Motul Grand Prix of Japan | Twin Ring Motegi, Motegi |
| 16 | 19 Oktober |  Tissot Australian Grand Prix | Phillip Island Circuit, Phillip Island |
| 17 | 26 Oktober |  Shell Advance Malaysian Motorcycle Grand Prix | Sepang International Circuit, Selangor |
| 18 | 9 November |  Gran Premio Generali de la Comunitat Valenciana | Circuit Ricardo Tormo, Valencia |
Hasil dan Klasemen > Grand Prix

| Ronde | Grand Prix | Pole position | Lap Tercepat | Pembalap Pemenang | Tim Pemenang | Konstruktor Pemenang | Laporan |
| --- | --- | --- | --- | --- | --- | --- | --- |
| 1 |  Grand Prix Sepeda Motor Qatar |  Álex Rins |  Alexis Masbou |  Jack Miller |  Red Bull KTM Ajo |  KTM | Laporan |
| 2 |  Grand Prix Sepeda Motor Amerika |  Jack Miller |  Álex Márquez |  Jack Miller |  Red Bull KTM Ajo |  KTM | Laporan |
| 3 |  Grand Prix Sepeda Motor Argentina |  Jack Miller |  Álex Márquez |  Romano Fenati |  Sky Racing Team by VR46 |  KTM | Laporan |
| 4 |  Grand Prix Sepeda Motor Spanyol |  Jack Miller |  Álex Rins |  Romano Fenati |  Sky Racing Team by VR46 |  KTM | Laporan |
| 5 |  Grand Prix Sepeda Motor Prancis |  Efrén Vázquez |  Francesco Bagnaia |  Jack Miller |  Red Bull KTM Ajo |  KTM | Laporan |
| 6 |  Grand Prix Sepeda Motor Italia |  Álex Rins |  Efrén Vázquez |  Romano Fenati |  Sky Racing Team by VR46 |  KTM | Laporan |
| 7 |  Grand Prix Sepeda Motor Catalan |  Álex Márquez |  John McPhee |  Álex Márquez |  Estrella Galicia 0,0 |  Honda | Laporan |
| 8 |  Grand Prix Sepeda Motor Belanda |  Jack Miller |  Romano Fenati |  Álex Márquez |  Estrella Galicia 0,0 |  Honda | Laporan |
| 9 |  Grand Prix Sepeda Motor Jerman |  Jack Miller |  Brad Binder |  Jack Miller |  Red Bull KTM Ajo |  KTM | Laporan |
| 10 |  Grand Prix Sepeda Motor Indianapolis |  Jack Miller |  Álex Rins |  Efrén Vázquez |  SaxoPrint–RTG |  Honda | Laporan |
| 11 |  Grand Prix Sepeda Motor Republik Ceko |  Álex Márquez |  Romano Fenati |  Alexis Masbou |  Ongetta–Rivacold |  Honda | Laporan |
| 12 |  Grand Prix Sepeda Motor Inggris |  Álex Rins |  Jakub Kornfeil |  Álex Rins |  Estrella Galicia 0,0 |  Honda | Laporan1 |
| 13 |  Grand Prix Sepeda Motor San Marino |  Jack Miller |  Juan Francisco Guevara |  Álex Rins |  Estrella Galicia 0,0 |  Honda | Laporan |
| 14 |  Grand Prix Sepeda Motor Aragon |  Álex Rins |  Romano Fenati |  Romano Fenati |  Sky Racing Team by VR46 |  KTM | Laporan |
| 15 |  Grand Prix Sepeda Motor Jepang |  Danny Kent |  Álex Márquez |  Álex Márquez |  Estrella Galicia 0,0 |  Honda | Laporan |
| 16 |  Grand Prix Sepeda Motor Australia |  Álex Márquez |  Jack Miller |  Jack Miller |  Red Bull KTM Ajo |  KTM | Laporan |
| 17 |  Grand Prix Sepeda Motor Malaysia |  Jack Miller |  Álex Rins |  Efrén Vázquez |  SaxoPrint–RTG |  Honda | Laporan |
| 18 |  Grand Prix Sepeda Motor Valencia |  Niccolò Antonelli |  Efrén Vázquez |  Jack Miller |  Red Bull KTM Ajo |  KTM | Laporan |
Hasil dan Klasemen > Klasemen Pembalap

Poin diberikan kepada lima belas finisher teratas. Seorang pembalap harus menyelesaikan balapan untuk mendapatkan poin.
| 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| Posisi |  1st  |  2nd  |  3rd  |  4th  |  5th  |  6th  |  7th  |  8th  |  9th  |  10th  |  11th  |  12th  |  13th  |  14th  |  15th  |
| Poin | 25 | 20 | 16 | 13 | 11 | 10 | 9 | 8 | 7 | 6 | 5 | 4 | 3 | 2 | 1 |
Hasil dan Klasemen > Klasemen Konstruktor

Setiap konstruktor mendapat jumlah poin yang sama dengan pebalap terbaik mereka di setiap balapan.
| Pos | Konstruktor | QAT  | AME  | ARG  | ESP  | FRA  | ITA  | CAT  | NED  | GER  | INP  | CZE  | GBR  | RSM  | ARA  | JPN  | AUS  | MAL  | VAL  | Poin |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 1 |  KTM | 1 | 1 | 1 | 1 | 1 | 1 | 2 | 5 | 1 | 2 | 2 | 3 | 3 | 1 | 5 | 1 | 2 | 1 | 384 |
| 2 |  Honda | 2 | 3 | 2 | 2 | 2 | 3 | 1 | 1 | 3 | 1 | 1 | 1 | 1 | 2 | 1 | 2 | 1 | 3 | 384 |
| 3 |  Mahindra | 4 | 15 | 13 | 14 | 12 | 4 | 6 | 3 | 2 | 7 | 6 | 4 | 6 | 7 | 3 | 7 | 14 | 8 | 168 |
| 4 |  Husqvarna | 13 | 8 | 8 | 10 | 13 | 5 | 8 | 8 | 5 | 12 | 3 | 9 | 12 | 3 | 6 | 9 | 4 | 4 | 156 |
| 5 |  Kalex KTM | 17 | 11 | 4 | 15 | 15 | 8 | 19 | 15 | 10 | 8 | 16 | 14 | 9 | 21 | 17 | 12 | 11 | 15 | 62 |
| 6 |  FTR KTM |  |  |  |  |  |  |  | 12 |  |  |  | 23 |  |  |  |  |  |  | 4 |
|  |  FTR |  |  |  |  |  |  |  |  | 21 |  |  |  |  |  |  |  |  |  | 0 |
|  |  FTR Honda |  |  |  |  |  | 24 |  |  |  |  |  |  |  |  |  |  |  |  | 0 |
| Pos | Konstruktor | QAT  | AME  | ARG  | ESP  | FRA  | ITA  | CAT  | NED  | GER  | INP  | CZE  | GBR  | RSM  | ARA  | JPN  | AUS  | MAL  | VAL  | Poin |
Meski KTM dan Honda finis dengan total poin identik 384, KTM dinobatkan sebagai juara pabrikan pada countback berdasarkan 10 kemenangan balapan mereka sedangkan Honda 8.
Pranala luar

Situs Resmi MotoGP
| l b Grand Prix Sepeda Motor |
| --- | --- |
Topik Utama:  Musim  Grand Prix  Sirkuit  Penyiar  Sistem penilaian poin  Kecelakaan fatal  Pembalap Pemenang balapan  Pemenang balapan 500cc/MotoGP  Peraih Pole 500cc/MotoGP  Rekor 500cc/MotoGP  Semua waktu  Legenda MotoGP  Konstruktor pemenang balapan 500cc/MotoGP 
Juara:  Pembalap Formula 750  500cc/MotoGP  350cc  250cc/Moto2  125cc/Moto3  50/80cc  Sidecar  Per tahun  Konstruktor  Tim  Eropa 
 Fédération Internationale de Motocyclisme
Kuantifikasi eksistensial

"∃" beralih ke halaman ini, yang bukan mengenai Ǝ atau ヨ.
Dalam logika predikat, kuantifikasi eksistensial adalah jenis kuantifer, konstanta logika yang ditafsirkan sebagai "ada", "setidaknya ada satu", atau "untuk beberapa". Dilambangkan dengan operator logika simbol ∃, jika digunakan bersama dengan variabel predikat, disebut kunatifer eksistensial ("∃x" or "∃(x)"). Kuantifikasi eksistensial berbeda dari kuantifikasi universal ("untuk semua"), yang menegaskan bahwa sifat atau relasi untuk semua anggota domain. Beberapa sumber menggunakan istilah eksistensialisasi untuk merujuk pada kuantifikasi eksistensial.
Dasar

Pertimbangkan rumus yang menyatakan bahwa beberapa bilangan asli dikalikan dengan 25.
0·0 = 25, atau 1·1 = 25, atau 2·2 = 25, atau 3·3 = 25, dan seterusnya.
Ini tampaknya menjadi disjungsi logis karena penggunaan berulang "atau". Namun, "dan seterusnya" membuat hal ini tidak untuk diintegrasikan dan diinterpretasikan sebagai suatu disjungsi dalam logika formal.
Sebaliknya, pernyataan tersebut dapat diutarakan secara lebih formal menjadi
Untuk beberapa 1 asli n, n·n = 25.
Pernyataan tunggal menggunakan kuantifikasi eksistensial.
Pernyataan ini lebih tepat dari yang asli, karena frasa "dan seterusnya" tidak selalu mencakup semua bilangan asli dan mengecualikan yang lainnya. Dan karena domain tidak dinyatakan secara eksplisit, frasa tersebut tidak dapat diartikan secara formal. Namun, dalam pernyataan terkuantifikasi, bilangan asli disebutkan secara eksplisit.
Contoh khusus, karena 5 adalah bilangan asli, dan ketika kita mengganti 5 untuk n, memproduksi "5·5 = 25", yang mana yang benar.
Tidak menggunakan "n·n = 25" hanya berlaku untuk satu bilangan asli 5; bahkan keberadaan satu solusi sudah cukup untuk membuktikan kuantifikasi eksistensial ini benar.
Sebaliknya, "Untuk beberapa bilangan genap n, n·n = 25" salah, karena bahkan tidak ada solusi.
Domain wacana, yang menentukan nilai variabel n yang diperbolehkan untuk diambil, oleh karena itu penting untuk kebenaran atau kepalsuan pernyataan. Konjungsi logis digunakan untuk membatasi domain diskursus untuk memenuhi predikat tertentu. Sebagai contoh:
Untuk beberapa bilangan ganjil positif n, n·n = 25
adalah ekuivalen logika dengan
Untuk beberapa bilangan asli n, n adalah ganjil dan n·n = 25.
Di sini, "dan" adalah konjungsi logika.
Dalam  logika simbolik, "∃" (huruf "E" terbalik atau terbalik, dalam font sans-serif) digunakan untuk menunjukkan kuantifikasi eksistensial. Jadi, jika P(a, b, c) is predikat "a·b = c", dan  \mathbb {N}  adalah himpunan dari bilangan asli, maka
adalah pernyataan (benar)
Untuk beberapa bilangan asli n, n·n = 25.
Demikian pula, jika Q(n) adalah predikat "n genap", maka
adalah pernyataan (salah)
Untuk beberapa bilangan asli n, n genap dan n·n = 25.
Dalam matematika, bukti dari pernyataan "beberapa" dapat dicapai baik dengan bukti konstruktif, yang menunjukkan objek yang memenuhi pernyataan "beberapa", atau dengan bukti nonkonstruktif, yang menunjukkan bahwa pasti ada benda seperti itu tetapi tanpa memamerkannya.
Sifat > Negasi

Fungsi proposisional terkuantifikasi adalah pernyataan; dengan demikian, seperti pernyataan, fungsi terkuantifikasi dapat dinegasikan. Simbol  \lnot \  digunakan untuk menunjukkan negasi.
Misalnya, jika P(x) adalah predikat "x lebih besar dari 0 dan kurang dari 1", maka, untuk domain diskursus X dari semua bilangan asli, Kuantifikasi eksistensial "Ada bilangan asli x yang lebih besar dari 0 dan kurang dari 1" dapat dinyatakan secara simbolis sebagai:
Hal tersebut bisa dibuktikan salah. Sejujurnya, harus dikatakan, "Tidak ada kasus bahwa ada bilangan asli x yang lebih besar dari 0 dan kurang dari 1", atau, secara simbolis:
Jika tidak ada elemen dari domain wacana yang pernyataannya benar, maka itu pasti salah untuk semua elemen. Artinya, negasi dari
secara logis setara dengan "Untuk bilangan asli x, x tidak lebih besar dari 0 dan kurang dari 1", atau:
Secara umum, maka negasi dari kuantifikasi eksistensial fungsi proposisional adalah kuantifikasi universal dari negasi fungsi proposisional; secara simbolis,
(Maka, ini adalah generalisasi dari Hukum De Morgan untuk predikat logika.)
Kesalahan umum menyatakan "semua orang belum menikah" (yaitu, "tidak ada orang yang menikah"), ketika "tidak semua orang menikah" (yaitu, "ada orang yang belum menikah") dimaksudkan:
Negasi pula dapat diekspresikan melalui pernyataan "untuk tidak", bukan "untuk beberapa":
Tidak seperti kuantifer universal, kuantifer eksistensial mendistribusikan melalui disjungsi logis:
\exists {x}{\in }\mathbf {X} \,P(x)\lor Q(x)\to \ (\exists {x}{\in }\mathbf {X} \,P(x)\lor \exists {x}{\in }\mathbf {X} \,Q(x))
Sifat > Kaidah Inferensi

Templat:Kaidah transformasi
Kaidah inferensi adalah aturan yang membenarkan langkah logis dari hipotesis hingga kesimpulan. Beberapa kaidah inferensi yang memanfaatkan kuantifer eksistensial.
Pengenalan eksistensial (P∃) menyimpulkan bahwa, jika fungsi proposisional diketahui benar untuk elemen tertentu dari domain wacana, maka benar bahwa terdapat elemen fungsi proposisi yang benar. Secara simbolis,
Eliminasi eksistensial, saat dilakukan dalam pengurangan gaya Fitch, melanjutkan dengan memasukkan sub-turunan baru mengganti variabel yang dikuantifikasi secara eksistensial untuk subjek dalam sub-turunan aktif. Jika kesimpulan dapat dicapai dalam sub-turunan dimana subjek substitusi tidak muncul, maka keluar dari sub-turunan dengan kesimpulan. Alasan di balik eliminasi eksistensial (E∃) adalah sebagai berikut: Jika diberikan bahwa elemen fungsi proposisi yang benar, dan jika kesimpulan dapat dicapai dengan elemen trivial, kesimpulan prinsip, selama tidak memuat nama. Secara simbolis, untuk sembarang c dan untuk proposisi Q di mana c tidak muncul:
P(c)\to \ Q harus benar untuk semua nilai c pada domain yang sama X; jika, logika tersebut tidak mengikuti: Jika c tidak sembarang, dan sebagai gantinya merupakan elemen spesifik dari domain wacana, maka P(c) tidak dibenarkan lebih banyak informasi tentang objek tersebut.
Sifat > Himpunan kosong

Rumus  \exists {x}{\in }\emptyset \,P(x) adalah salah, maka dari P(x). Hal ini karena  \emptyset  menunjukkan himpunan kosong, dan tidak ada x dari deskripsi, x dengan predikat yang diberikan P(x) adalah himpunan kosong. Lihat pula prinsip vacuous untuk informasi lebih lanjut.
Sebagai adjoin

Artikel utama: Kuantifikasi universal § Sebagai adjoin
Dalam teori kategori dan teori topoi elementer, pembilang eksistensial dapat dipahami sebagai adjoin kiri dari funktor antara himpunan daya, fungsi citra invers dari sebuah fungsi antara himpunan; demikian pula, kuantifikasi universal adalah adjoin kanan.
Pengkodean

Dalam Unicode dan HTML, simbol dari kode U+2203 ∃ ada (HTML: &#8707; &exist; sebagai simbol matematika) dan U+2204 ∄ ada tidak ada (HTML: &#8708;).
Dalam TeX, simbol diproduksi dengan "\exists".
Lihat pula

Klausa eksistensial
Teorema keberadaan
Logika orde pertama
Kuantifer Lindström
Daftar simbol logika - untuk simbol unicode ∃
Kuantifer varian
Kuantifer
Kuantifikasi unik
Kuantifikasi universal
Nintendo DSi

Nintendo DSi (posisi terbuka)
Nintendo DSi (Jepang: ニンテンドーDSicode: ja is deprecated , Hepburn: Nintendō Dī Esu Ai) adalah sebuah konsol permainan genggam layar ganda yang dirilis oleh Nintendo. Konsol tersebut diluncurkan di Jepang pada 1 November 2008, dan seluruh dunia pada April 2009. Konsol tersebut merupakan iterasi ketiga Nintendo DS, dan pesaing pasaran utamanya adalah PlayStation Portable (PSP) dari Sony. Iterasi keempat tersebut, yang berjudul Nintendo DSi XL, merupakan sebuah model yang diperbesar yang diluncurkan di Jepang pada 21 November 2009, dan seluruh dunia pada Maret 2010. Pengembangan DSi dimulai pada akhir 2006, dan konsol permainan genggam tersebut disinggung pada sebuah konferensi Nintendo Oktober 2008 di Tokyo. Para konsumen meminta Nintendo untuk membuat konsol genggam yang lebih langsing dengan layar yang lebih besar ketimbang DS Lite.