Hasil pencarian
Loncat ke navigasi
Loncat ke pencarian
Judul halaman yang sama
- ...n bagi [[premis]] untuk menjadi [[benar]] dan kesimpulannya tetap [[salah (logika)]].<ref>[http://www.iep.utm.edu/val-snd/ Validity and Soundness – Internet ...logy used in logic (en).svg|thumb|Terminologi argumen yang digunakan dalam logika|356x356px]] ...10 KB (1.224 kata) - 11 Januari 2025 09.32
- ...on/logic-gate-AND-OR-XOR-NOT-NAND-NOR-and-XNOR|dead-url=no}}</ref> Gerbang logika terutama diimplementasikan secara elektronis menggunakan [[diode]] atau [[t ...ogika transistor-transistor]] (''transistor-transistor logic'' / TTL), dan logika ''complementary metal–oxide–semiconductor'' ([[CMOS]]). ...7 KB (851 kata) - 21 Desember 2023 08.03
- ..., serta [[matematika konstruktif]]. Bidang-bidang ini memiliki hasil dasar logika yang serupa. == Jenis-jenis logika matematika == ...3 KB (454 kata) - 19 Maret 2024 04.34
- ...sse_diagram.svg|ka|jmpl|424x424px|[[Diagram Hasse]] dari operator-operator logika]] ...n rumus-rumus logika. Sebagai contoh, dalam [[Sintaks (logika)|sintaks]] [[logika proposisional]], operasi [[Relasi biner|biner]] <math> \lor </math> dapat d ...7 KB (933 kata) - 12 Juli 2024 18.51
- ...m [[logika matematika]], khususnya dalam [[Logika predikat tingkat pertama|logika orde pertama]], '''kuantifer''' mencapai tugas serupa, beroperasi pada [[Ru ...<sub>1</sub>, ... a <sub>n</sub> }, pembilang universal ekuivalen dengan [[Logika konjungsi|konjungsi logis]] dari proposisi dengan istilah tunggal a <sub>i< ...23 KB (3.124 kata) - 6 November 2024 06.45
- ...mereka juga dipakai dalam salah satu [[perangkai logika]] [[Bikondisional logika|bikondisional]], yaitu [[jika dan hanya jika]]. [[Kategori:Logika matematika]] ...932 bita (130 kata) - 12 Juli 2022 17.44
- Dalam [[logika]] dan [[matematika]], '''konvers''' dari pernyataan kategoris atau implikas ...ika)|anteseden]] ''P'' dan pernyataan [[konsekuen]] ''Q'' ekuivalen secara logika. ...2 KB (284 kata) - 5 Februari 2023 13.29
- ...ematika]]. Ahli logika terkadang menyebut struktur sebagai [[interpretasi (logika)|interpretasi]].<ref>{{cite book |last=Hodges |first=Wilfrid |editor-last=M ...A=(A, \sigma, I)</math> terdiri dari '''domain''' '' A '', [[tanda tangan (logika)|tanda tangan]] σ, dan '' 'fungsi interpretasi' '' '' I '' yang menunjukkan ...7 KB (962 kata) - 10 Mei 2024 07.23
- '''Logika predikat tingkat pertama''' adalah sistem deduksi formal yang digunakan dal [[Kategori:Logika matematika]] ...2 KB (268 kata) - 23 September 2024 15.50
Teks halaman yang cocok
- ...mereka juga dipakai dalam salah satu [[perangkai logika]] [[Bikondisional logika|bikondisional]], yaitu [[jika dan hanya jika]]. [[Kategori:Logika matematika]] ...932 bita (130 kata) - 12 Juli 2022 17.44
- Dalam [[logika]], '''aturan penarikan kesimpulan''' atau '''aturan inferensi''' adalah [[b Dalam [[logika|logika formal]], aturan penarikan kesimpulan biasanya diberikan dalam bentuk umum ...963 bita (122 kata) - 22 Juni 2024 04.20
- ...s-date=2020-09-02}}</ref> Jadi, negasi merupakan [[Perangkai logis|operasi logika]] [[Operasi uner|uner]]. ...''kebenaran'' menjadi ''kepalsuan'', begitupula sebaliknya. Namun dalam [[logika intuitionistik]], menurut [[pandangan Brouwer–Heyting–Kolmogorov]], negasi ...2 KB (198 kata) - 13 Desember 2023 13.01
- ...r yang mengimplementasikan [[Logika konjungsi|konjungsi logis]] (∧) dari [[logika matematika]]. Gerbang AND menyatakan bahwa jika salah satu pernyataan dari == Gerbang logika == ...2 KB (241 kata) - 20 Juli 2024 13.20
- ...[Kesamaan|sama]] dengan objek itu. Dalam [[Logika predikat tingkat pertama|logika predikat]] pernyataan di atas dapat ditulis sebagai <ref>{{Cite book|last=D Notasi [[Kuantifer (logika)|kuantor]] untuk keberadaan dan ketunggalan adalah <math>\exist!</math>. ...1.005 bita (144 kata) - 30 Desember 2022 06.06
- ..., serta [[matematika konstruktif]]. Bidang-bidang ini memiliki hasil dasar logika yang serupa. == Jenis-jenis logika matematika == ...3 KB (454 kata) - 19 Maret 2024 04.34
- Dalam [[logika]] dan [[matematika]], '''konvers''' dari pernyataan kategoris atau implikas ...ika)|anteseden]] ''P'' dan pernyataan [[konsekuen]] ''Q'' ekuivalen secara logika. ...2 KB (284 kata) - 5 Februari 2023 13.29
- ...on/logic-gate-AND-OR-XOR-NOT-NAND-NOR-and-XNOR|dead-url=no}}</ref> Gerbang logika terutama diimplementasikan secara elektronis menggunakan [[diode]] atau [[t ...ogika transistor-transistor]] (''transistor-transistor logic'' / TTL), dan logika ''complementary metal–oxide–semiconductor'' ([[CMOS]]). ...7 KB (851 kata) - 21 Desember 2023 08.03
- ...Venn]] untuk menunjukkan hubungan sederhana dalam topik-topik di bidang [[logika]], [[probabilitas]], [[statistik]], [[linguistik]] dan [[ilmu komputer]]. ...1 KB (177 kata) - 15 Februari 2025 07.50
- ...sse_diagram.svg|ka|jmpl|424x424px|[[Diagram Hasse]] dari operator-operator logika]] ...n rumus-rumus logika. Sebagai contoh, dalam [[Sintaks (logika)|sintaks]] [[logika proposisional]], operasi [[Relasi biner|biner]] <math> \lor </math> dapat d ...7 KB (933 kata) - 12 Juli 2024 18.51
- Dalam [[teori model]], cabang [[logika matematika]], '''Teori C-minimal''' adalah teori yang "minimal" sehubungan ...lah [[struktur (logika matematika)|struktur]] ''M'', dalam [[tanda tangan (logika)|tanda tangan]] yang berisi simbol ''C''. ...2 KB (268 kata) - 5 Oktober 2020 08.58
- ...adalah benar semua (dilambangkan B, T, atau 1), maka disebut [[tautologi (logika)|tautologi]]. Sedangkan jika salah semua (S, F, atau 0) disebut [[kontradik | 1 || X''pq'' || NOR || ↓ || || [[Logika NOR]] ...7 KB (927 kata) - 26 Januari 2024 12.25
- ...[logika konjungsi]] (yang dinyatakan sebagai <math>\,\land\,</math>) dan [[logika disjungsi]] (yang dinyatakan sebagai <math>\,\lor\,</math>) mendistribusi t ...ifat [[komutatif]], maka secara logika, ketiga syarat di atas [[kesetaraan logika|ekuivalen]]. ...8 KB (1.084 kata) - 7 September 2022 05.23
- ...n membuktikannya dengan cara menggabungkan [[rumus atomik]] dan [[operator logika]]. Beberapa contoh operator logika adalah: ...3 KB (475 kata) - 22 Mei 2024 18.50
- ...ra matematis, dapat ditulis dalam notasi [[Logika predikat tingkat pertama|logika orde pertama]]. ...2 KB (261 kata) - 28 Desember 2022 11.50
- ...e=en}}</ref> dan fungsi kebenaran (atau fungsi logis) yang digunakan dalam logika. Fungsi Boolean adalah subjek dari [[aljabar Boolean]] dan teori peralihan. ...th>\displaystyle x_{1},...,x_{k}</math> dan dua rumus proposisional secara logika setara jika dan hanya jika keduanya mengekspresikan fungsi Boolean yang sam ...2 KB (305 kata) - 7 Agustus 2024 11.07
- '''Logika predikat tingkat pertama''' adalah sistem deduksi formal yang digunakan dal [[Kategori:Logika matematika]] ...2 KB (268 kata) - 23 September 2024 15.50
- ...n bagi [[premis]] untuk menjadi [[benar]] dan kesimpulannya tetap [[salah (logika)]].<ref>[http://www.iep.utm.edu/val-snd/ Validity and Soundness – Internet ...logy used in logic (en).svg|thumb|Terminologi argumen yang digunakan dalam logika|356x356px]] ...10 KB (1.224 kata) - 11 Januari 2025 09.32
- ...emukakan pada tahun 1900. Jawaban untuk masalah ini adalah [[Independensi (logika matematika)|independen]] dari teori himpunan ZFC, sehingga hipotesis kontin {{Teori himpunan}}{{Logika matematika}}{{Masalah Hilbert}} ...2 KB (277 kata) - 31 Juli 2024 07.19
- ...ematika]]. Ahli logika terkadang menyebut struktur sebagai [[interpretasi (logika)|interpretasi]].<ref>{{cite book |last=Hodges |first=Wilfrid |editor-last=M ...A=(A, \sigma, I)</math> terdiri dari '''domain''' '' A '', [[tanda tangan (logika)|tanda tangan]] σ, dan '' 'fungsi interpretasi' '' '' I '' yang menunjukkan ...7 KB (962 kata) - 10 Mei 2024 07.23