Logika matematika: Perbedaan antara revisi
Konten dihapus Konten ditambahkan
k Membatalkan 1 suntingan oleh 120.188.64.198 (bicara) ke revisi terakhir oleh Ariandi Lie Tag: Pembatalan |
|||
(33 revisi perantara oleh 26 pengguna tidak ditampilkan) | |||
Baris 1:
{{
'''Logika matematika''' adalah cabang [[logika]] dan [[matematika]] yang mengandung kajian
== Jenis-jenis logika matematika ==
Dalam penggunaan logika matematika seringkali ditemukan huruf S dan B atau F dan T. Arti dari keempat huruf tersebut adalah sebagai berikut:
S dan F merupakan dua huruf yang memiliki arti sama dalam logika matematika.
S : Salah
F : False
B dan T merupakan dua huruf yang memiliki arti sama dalam logika matematika.
B : Benar
T : True
=== 1. Negasi (~) ===
Negasi atau juga dikenal dengan "NOT" dalam pemrograman merupakan logika matematika yang berbentuk membalikkan suatu pernyataan. contoh penggunaan negasi adalah sebagai berikut:
x = nilai dari 1 + 1 adalah 2 (Benar)
~x = nilai dari 1 + 1 bukanlah 2 (Salah)
{| class="wikitable"
|+Tabel Kebenaran Negasi
!x
!~x
|-
|True (Benar)
|False (Salah)
|-
|False (Salah)
|True (Benar)
|}
=== 2. Konjungsi (^) ===
=== 3. Disjungsi (v) ===
=== 4. Implikasi (=>) ===
=== 5. Biimplikasi (<=>) ===
== Hukum logika ==
Baris 35 ⟶ 77:
#* ~B ≡ S
#* ~S ≡ B
# p → q ≡ ~p ∨
# p → q ≡ ~q → ~p
# p ↔ q ≡ (~p ∨ q) ∧ (p ∨ ~q)
Baris 61 ⟶ 104:
: premis 2: q → r
: kesimpulan: p → r
== Referensi ==
<references />
* {{cite book|last= Kurnianingsih|first= Sri|authorlink=|coauthors=Kuntarti, Sulistiyono|title=Matematika SMA dan MA 1B Untuk Kelas X Semester 2|year= 2007|publisher= Esis/Erlangga|location= Jakarta|id= ISBN 979-734-501-7 }} {{id icon}}
{{Bidang matematika}}
{{Logika matematika}}
{{math-stub}}▼
[[Kategori:Logika matematika| ]]
▲{{math-stub}}
|