Kuantifer (logika): Perbedaan antara revisi
Konten dihapus Konten ditambahkan
Hadithfajri (bicara | kontrib) |
Fitur saranan suntingan: 3 pranala ditambahkan. Tag: VisualEditor Suntingan perangkat seluler Suntingan peramban seluler Suntingan seluler lanjutan Tugas pengguna baru Disarankan: tambahkan pranala |
||
(3 revisi perantara oleh 3 pengguna tidak ditampilkan) | |||
Baris 1:
{{periksaterjemahan|en|Quantifier (logic)}}
Dalam [[bahasa alami]], kuantifer mengubah kalimat tentang sesuatu yang memiliki beberapa properti menjadi kalimat tentang jumlah (kuantitas) benda sifat. Contoh bilangan dalam [[bahasa Inggris]] adalah "all", "some", "many", "few", "most", dan "no";
Dalam [[logika matematika]], khususnya dalam [[Logika predikat tingkat pertama|logika orde pertama]], '''kuantifer''' mencapai tugas serupa, beroperasi pada [[Rumus well-formet|rumus matematika]] dari kalimat bahasa Inggris.
Lebih tepatnya, pembilang menentukan jumlah spesimen dalam [[domain wacana]] yang menggunakan [[rumus terbuka]]. Dua bilangan formal yang umum adalah "[[kuantifikasi universal]]" ([[Kuantifikasi universal|pembilang universal]], secara tradisional dilambangkan dengan [[Turned A|"∀"]] ), dan " [[Kuantifikasi eksistensial|eksistensial]] [[Kuantifikasi eksistensial|kuantifikasi]]" ([[Kuantifikasi eksistensial|pembilang eksistensial]], [[Ternyata E|"∃"]]).
Rumus dimulai dengan kuantifer disebut rumus '''kuantifikasi'''. Kuantifer formal membutuhkan variabel, yang dikatakan ''[[Variabel bebas dan variabel terkait|terkait]]'', dan [[Rumus well-formet|subrumus]] menentukan sifat variabel.
Baris 42:
== Notasi ==
Dua bilangan yang umum adalah bilangan universal dan bilangan eksistensial. Simbol tradisional untuk pembilang universal adalah " [[Daftar simbol matematika|∀]] ", huruf yang diputar " [[A]] ", yang berarti "semua". Simbol yang sesuai untuk pembilang eksistensial adalah " [[∃]] ", huruf " [[E]] " yang diputar, yang berarti "ada".
Contoh translasi pernyataan terkuantifikasi dalam bahasa alami seperti [[bahasa Indonesia]] adalah sebagai berikut. Dengan pernyataan, "Setiap teman Udin suka menari atau suka pergi ke pantai (atau keduanya)", aspek kunci dapat diidentifikasi dan ditulis ulang menggunakan simbol termasuk bilangan. Jadi, misalkan ''X'' adalah himpunan dari semua teman Udin, U( ''x'' ) [[Predikat (logika matematika)|predikat]] "''x'' suka menari", dan ''Q''( ''x'' ) predikat "''x'' suka pergi ke pantai". Maka kalimat diatas dapat ditulis dalam notasi formal sebagai <math> \forall{x}{\in}X, U(x) \lor Q(x) </math>, yang dibaca, "untuk ''x'' yang merupakan anggota ''X'', U berlaku untuk ''x'' [[Logika disjungsi|atau]] ''Q'' berlaku untuk ''x'' ".
Beberapa ekspresi terkuantifikasi lainnya dibangun sebagai berikut,
: <math> \exists{x}\, U</math>
untuk rumus U ''k''edua ungkapan ini (menggunakan definisi di atas) dibaca sebagai "ada teman Udin yang suka menari" dan "semua teman Udin suka menari". Notasi varian termasuk, untuk himpunan ''X'' dan himpunan anggota ''x'' :
: <math> \bigvee_{x} U</math> <math>(\exists{x}) U</math> <math>(\exists x \ . \ U)</math> <math>\exists x \ \cdot \ U</math> <math>(\exists x : U)</math> <math>\exists{x}(U)</math>
Semua variasi berlaku untuk penghitungan universal. Variasi lain untuk pembilang universal adalah
: <math>\bigwedge_{x} U</math> <math>\bigvee x U</math>
Beberapa versi notasi secara eksplisit menyebutkan kisaran kuantifikasi. Kisaran penghitungan harus selalu ditentukan; untuk teori matematika tertentu dapat dilakukan dengan beberapa cara:
Baris 93:
: Terdapat bilangan asli ''s'' sehingga untuk setiap bilangan asli ''n'', ''s'' = ''n'' <sup>2</sup>.
Hal ini jelas salah; ia menegaskan bahwa ada satu bilangan asli ''s'' yang merupakan kuadrat dari ''setiap'' bilangan asli. Ini karena [[sintaksis]] mengarahkan bahwa variabel apa pun tidak dapat menjadi fungsi dari variabel yang diperkenalkan selanjutnya.
Sebuah contoh non-trivial dari [[analisis matematis]] adalah konsep [[Kontinuitas seragam|keseragaman]] dan kontinuitas [[Fungsi kontinu|pointwise]], yang definisinya hanya berbeda dengan pertukaran dalam posisi dua bilangan. Fungsi ''f'' dari [[Bilangan riil|'''R''']] ke '''R'''.
|