ⓘ Free online encyclopedia. Did you know? page 214



                                               

Metode deduksi

Deduksi berarti penarikan kesimpulan dari keadaan yang umum atau penemuan yang khusus dari yang umum. Dengan demikian, metode deduksi adalah proses penalaran dari satu atau lebih pernyataan umum untuk mencapai kesimpulan logis tertentu. Metode de ...

                                               

Metode Mill

Metode Mill adalah lima metode induksi yang dikemukakan oleh John Stuart Mill dalam bukunya tahun 1843 A System of Logic. Pada awalnya Mill merumuskan empat metode induksi yaitu: metode persetujuan, metode perbedaan, metode persamaan variasi, met ...

                                               

Modus ponens

Dalam kalkulus proposisional, modus ponens atau implikasi penghapusan) adalah aturan penarikan kesimpulan. Hal ini dapat diringkas sebagai P maka Q dan P adalah keduanya dianggap benar, maka Q harus benar." Modus ponens berkaitan erat dengan atur ...

                                               

Modus tollens

Dalam kalkulus proposisional, modus tollens atau menyangkal konsekuen) adalah bentuk argumen valid dan aturan penarikan kesimpulan. Ini adalah sebuah penerapan dari kebenaran umum bahwa jika sebuah pernyataan adalah benar, maka kontra positif-nya ...

                                               

Operator logika

Dalam logika, dua kalimat dapat digabungkan dengan operator logika untuk membentuk kalimat gabungan. Nilai kebenaran kalimat gabungan ini ditentukan oleh nilai kebenaran kalimat-kalimat pembentuknya. Operator logika di sini bertindak sebagai fung ...

                                               

Paradoks

Paradoks adalah suatu situasi yang timbul dari sejumlah premis asumsi; kalimat atau proposisi yg dijadikan dasar penarikan kesimpulan di dl logika), yang diakui kebenarannya yang bertolak dari suatu pernyataan dan akan tiba pada sekelompok pernya ...

                                               

Penalaran

Penalaran adalah proses berpikir yang bertolak dari pengamatan indera yang menghasilkan sejumlah konsep dan pengertian. Berdasarkan pengamatan yang sejenis juga akan terbentuk proposisi-proposisi yang sejenis, berdasarkan sejumlah proposisi yang ...

                                               

Petrus Abelardus

Petrus Abelardus adalah seorang filsuf skolastik, ahli logika, dan teolog yang terkenal pada abad pertengahan; selain itu ia juga dikenal sebagai seorang komponis. Skandal dan kisah cintanya dengan Héloïse dArgenteuil telah menjadi legenda. Chamb ...

                                               

Post hoc ergo propter hoc

Post hoc ergo propter hoc, bahasa Latin untuk "setelah ini, oleh karena itu karena ini", adalah sebuah kesesatan logis yang menyatakan "Karena peristiwa Y mengikuti peristiwa X, peristiwa Y pasti disebabkan oleh peristiwa X." Hal ini sering disin ...

                                               

Proposisi

Proposisi adalah istilah yang digunakan untuk kalimat pernyataan yang memiliki arti penuh dan utuh. Hal ini berarti suatu kalimat harus dapat dipercaya, disangsikan, disangkal, atau dibuktikan benar tidaknya. Singkatnya, proposisi adalah pernyata ...

                                               

Rujukan diri

Rujukan diri terjadi dalam bahasa alami atau bahasa formal saat sebuah pernyataan, gagasan atau rumus merujuk kepada diri sendiri. Rujukan tersebut dapat diekspresikan secara langsung melalui beberapa kalimat atau rumus perantara, atau melalui be ...

                                               

Silogisme

Silogisme adalah suatu proses penarikan kesimpulan secara deduktif. Silogisme disusun dari dua proposisi dan sebuah konklusi. Sebagian para ahli logika menyebut silogisme sebagai penyimpulan tidak langsung, karena dalam silogisme menyimpulkan pen ...

                                               

Spesialisasi (logika)

Spesialisasi adalah sebuah cara yang penting untuk menghasilkan pengetahuan proposisional, dengan menerapkan pengetahuan umum, seperti teori gravitasi, untuk anggota tertentu, seperti "saat saya melepas apel ini, apel tersebut akan jatuh ke lanta ...

                                               

Logika matematika

Logika matematika adalah cabang logika dan matematika yang mengandung kajian logika matematis dan aplikasi kajian ini pada bidang-bidang lain di luar matematika. Logika matematika berhubungan erat dengan ilmu komputer dan logika filosofis. Tema u ...

                                               

Teori model

Dalam matematika, teori model adalah studi tentang hubungan antara teori formal, dan modelnya, diambil sebagai interpretasi yang memenuhi kalimat teori tersebut.

                                               

Teori himpunan

Teori Himpunan adalah teori mengenai kumpulan objek-objek abstrak. Teori himpunan biasanya dipelajari sebagai salah satu bentuk: Teori himpunan aksiomatik, yang mendasarkan teori himpunan pada istilah-istilah dan relasi yang tak terdefinisikan, s ...

                                               

Aksioma Peano

Dalam logika matematika, aksioma Peano, juga dikenal sebagai aksioma Dedekind–Peano atau postulat Peano, adalah aksioma-aksioma untuk bilangan asli yang disampaikan oleh matematikawan Italia abad ke-19 Giuseppe Peano. Aksioma-aksioma tersebut tel ...

                                               

Algoritme

Dalam matematika dan ilmu komputer, algoritme adalah prosedur langkah-demi-langkah untuk penghitungan. Algoritme digunakan untuk penghitungan, pemrosesan data, dan penalaran otomatis. Algoritme adalah metode efektif diekspresikan sebagai rangkaia ...

                                               

Finiter

Dalam matematika dan logika, operasi adalah finiter jika ariti hingga, yaitu jika memiliki jumlah nilai input yang terbatas. Demikian pula, infiniter Operasi adalah operasi dengan bilangan tak hingga dari nilai masukan. Dalam matematika standar, ...

                                               

Fondasi matematika

Fondasi matematika adalah sebuah studi tentang dasar-dasar logika dan filsafat dari matematika, atau, dalam arti yang lebih luas, investigasi matematis mengenai konsekuensi-konsekuensi dari teori-teori filsafat dasar tentang natur dari matematika ...

                                               

Kesamaan

Dalam matematika, kesamaan adalah hubungan antara dua kuantitas, atau ekspresi matematika secara umum, yang menyatakan bahwa kedua kuantitas tersebut punya nilai yang sama, atau kedua ekspresi tersebut melambangkan objek matematika yang sama. Kes ...

                                               

Metalogika

Metalogika adalah bidang studi tentang metateori logika, sementara logika adalah studi tentang cara di mana sistem logis dapat digunakan untuk menentukan kebenaran argumen, studi metalogika merupakan properti dari sistem logika sendiri. bagi Geof ...

                                               

Program Hilbert

Dalam matematika, program Hilbert, dirumuskan oleh matematikawan Jerman David Hilbert, adalah solusi yang diusulkan untuk krisis dasar matematika, ketika awal mencoba untuk mengklarifikasi dasar matematika yang ditemukan menderita paradoks dan in ...

                                               

Rekursi

Rekursi adalah proses pengulangan sesuatu dengan cara kesamaan-diri. Sebagai contohnya, saat dua cermin berada paralel antara satu dengan yang lain, gambar yang tertangkap adalah suatu bentuk rekursi tak-terbatas. Istilah ini memiliki makna berag ...

                                               

Relasi finiter

Dalam matematika, relasi finiter dari himpunan X 1, …, X n adalah bagian dari produk Kartesius X 1 × … × X n ; yaitu satu himpunan tupel- n terdiri dari elemen x i dalam X i. Biasanya, relasi mendeskripsikan kemungkinan koneksi antara elemen tupe ...

                                               

Tabel kebenaran

Dalam logika matematika, tabel kebenaran adalah tabel dalam matematika yang digunakan untuk melihat nilai kebenaran dari suatu premis/pernyataan. Jika hasil akhir adalah benar semua, maka disebut tautologi. Sedangkan jika salah semua disebut kont ...

                                               

Masalah Monty Hall

Masalah Monty Hall adalah sebuah teka-teki yang melibatkan probabilitas dan berasal dari sebuah acara permainan Amerika Lets Make a Deal. Nama masalah ini berasal dari nama pembawa acara tersebut, Monty Hall. Masalah ini juga disebut sebagai para ...

                                               

Masalah P versus NP

Masalah P versus NP adalah permasalahan besar yang merupakan salah satu masalah yang belum terpecahkan dalam bidang ilmu komputer. Problema ini menanyakan apakah setiap masalah yang solusinya dapat segera diverifikasi juga dapat dipecahkan dengan ...

                                               

Abstraksi (matematika)

Abstraksi di dalam matematika adalah proses untuk memperoleh intisari konsep matematika, menghilangkan kebergantungannya pada objek-objek dunia nyata yang pada mulanya mungkin saling terkait, dan memperumumnya sehingga ia memiliki terapan-terapan ...

                                               

Besaran (matematika)

Besaran atau magnitude dalam matematika adalah ukuran suatu objek matematika, suatu ukuran yang membandingkan objek itu sebagai "lebih besar" atau "lebih kecil" dengan objek sejenis yang lain. Lebih formalnya, besaran suatu objek adalah penataan ...

                                               

Bilangan asli

Dalam matematika, terdapat dua kesepakatan mengenai himpunan bilangan asli. Yang pertama definisi menurut matematikawan tradisional, yaitu himpunan bilangan bulat positif yang bukan nol {1, 2, 3, 4.}. Sedangkan yang kedua definisi oleh logikawan ...

                                               

Bilangan bulat

Bilangan bulat adalah bilangan yang terdiri dari bilangan cacah dan negatifnya. Bilangan bulat dituliskan tanpa komponen desimal atau pecahan. Himpunan semua bilangan bulat dalam matematika dilambangkan dengan Z atau Z {\displaystyle \mathbb {Z} ...

                                               

Geseran melingkar

Dalam matematika kombinatorika, geseran melingkar adalah operasi penataan daftar dalam daftar berurut yang menggeser entri terakhir ke awal lalu sisanya mengikuti atau sebaliknya. Geseran melingkar adalah jenis permutasi siklis yang khusus. Secar ...

                                               

Jumlah Segitiga Kuadrat

Dalam teorema bilangan, jumlah n {\displaystyle n} kubik pertama adalah kuadrat dari bilangan segitiga ke- n {\displaystyle n}. Itu adalah, 1 3 + 2 3 + 3 + ⋯ + n 3 = 1 + 2 + 3 + ⋯ + n 2. {\displaystyle 1^{3}+2^{3}+3^{3}+\cdots +n^{3}=\left1+2+3+\ ...

                                               

Pencacahan

Pencacahan, sering kali dianggap sama dengan penghitungan, adalah tindakan matematika yang melibatkan perjumlahan yang sinambung sesuatu pada waktu tertentu, biasanya untuk mencari tahu seberapa banyak benda yang ada di suatu tempat untuk menentu ...

                                               

Tingkat besaran

Tingkat besaran adalah perkiraan logaritma nilai relatif terhadap beberapa nilai referensi yang dipahami secara kontekstual, biasanya sepuluh, ditafsirkan sebagai basis logaritma dan representasi nilai besaran satu. Distribusi logaritmik bersifat ...

                                               

Sumpit (permainan)

Biasanya pemain melakukan undian dengan cara suit untuk menentukan siapa yang mendapat giliran pertama. Jumlah awalan sumpit adalah 1 - 1 di setiap pemain, Pemain biasanya akan kehilangan 1 tangan bila sumpit berjumlah genap lima. Contoh, Andre m ...

                                               

Euphemia Haynes

Euphemia Lofton Haynes adalah seorang pendidik dan matematikawan yang merupakan perempuan Afrika-Amerika pertama yang menerima gelar doktor dalam bidang matematika. Euphemia Lofton Haynes dilahirkan di Washington, D.C., U.S. pada 11 September 189 ...

                                               

Girard Desargues

Girard Desargues adalah seorang arsitek dan ahli matematika asal Prancis. Desargues dilahirkan di kota Lyon, Prancis dalam keluarga bangsawan yang cukup berada. Sebagai seorang arsitek, Desargues diketahui pernah merancang tangga naik berpilin da ...

                                               

Leonardo da Pisa

Leonardo da Pisa atau Leonardo Pisano, dikenal juga sebagai Fibonacci, adalah seorang matematikawan Italia yang dikenal sebagai penemu bilangan Fibonacci dan perannya dalam mengenalkan sistem penulisan dan perhitungan bilangan Arab ke dunia Eropa ...

                                               

Leonhard Euler

Leonhard Euler, Standar Jerman, mirip dengan oiler ; 15 April 1707 – 18 September 1783) adalah seorang matematikawan dan fisikawan pionir dari Swiss. Dia membuat penemuan-penemuan penting dalam bidang yang beragam seperti kalkulus dan teori graf. ...

                                               

John Forbes Nash, Jr.

John Forbes Nash, Jr. adalah matematikawan Amerika Serikat yang karya-karyanya di bidang teori permainan, geometri diferensial, dan persamaan diferensial parsial telah membuka jalan bagi ilmuwan untuk mempelajari faktor-faktor yang mengatur kemun ...

                                               

Benjamin Peirce

Benjamin Peirce ialah seorang matematikawan Amerika yang mengajar di Universitas Harvard selama kira-kira 50 tahun. Dia bersumbangsih dalam bidang mekanika benda langit, teori bilangan, aljabar, dan filsafat matematika. Setelah tamat dari Harvard ...

                                               

Scipione del Ferro

Scipione del Ferro adalah seorang matematikawan asal Italia yang pertama kali menemukan metode untuk memecahkan persamaan kubik depresi. Matematikawan dari zaman del Ferro tahu bahwa persamaan kubik umum dapat disederhanakan menjadi salah satu da ...

                                               

Évariste Galois

Evariste Galois adalah seorang ahli ilmu pasti yang berasal dari Prancis dan juga sebagai peletak dasar teori himpunan yang mempunyai pengaruh besar dalam bidang ilmu pasti. Dia lahir di Bourg-la-Reine pada tanggal 25 Oktober 1811, dan meninggal ...

                                               

Angka besar

Angka besar adalah angka yang secara signifikan lebih besar daripada yang biasanya digunakan dalam kehidupan sehari-hari, misalnya dalam penghitungan sederhana atau dalam transaksi moneter. Istilah ini biasanya mengacu pada bilangan bulat positif ...

                                               

Himpunan indeks

Dalam matematika, himpunan indeks adalah himpunan label anggota dari himpunan lain. Misalnya, jika elemen dari sebuah himpunan A indeks atau label dengan elemen dari himpunan J, maka J adalah himpunan indeks. Pengindeksan terdiri dari fungsi surj ...

                                               

Kaidā (glif)

Aksara Kaidā atau Glif Kaidā, adalah sistem aksara piktogram yang pernah digunakan di Kepulauan Yaeyama yang terletak di barat daya Jepang. Kata kaidā merupakan istilah dari bahasa Yonaguni, dan hampir semua penelitian berfokus pada Pulau Yonagun ...

                                               

Keluarga berindeks (matematika)

Dalam matematika, sebuah keluarga berindeks adalah sekumpulan nilai-nilai yang terkait dengan indeks. Sebagai contoh, sebuah keluarga bilangan riil, berindeks bilangan bulat adalah koleksi dari bilangan riil, di mana masing-masing bilangan bulat ...

                                               

Notasi posisional

Notasi posisional atau notasi nilai tempat adalah sebuah metode mewakilkan atau mengkodekan nomor. Notasi posisional berbeda dari notasi lainnya untuk pemakaiannya dari simbol yang sama untuk susunan magnitudo berbeda. Ini sangat menyederhanakan ...

Free and no ads
no need to download or install

Pino - logical board game which is based on tactics and strategy. In general this is a remix of chess, checkers and corners. The game develops imagination, concentration, teaches how to solve tasks, plan their own actions and of course to think logically. It does not matter how much pieces you have, the main thing is how they are placement!

online intellectual game →