OPERASI DALAM LOGIKA MATEMATIKA

Pernyataan tunggal adalah pernyataan yang tidak memuat pernyataan lain sebagai bagiannya
Pernyataan majemuk adalah pernyataan yang memuat lebih dari satu pernyataan tunggal
Kebenaran sebuah pernyataan dinamakan nilai kebenaran dari pernyataan tersebut. Nilai kebenaran pernyataan p diberi lambang τ(p). Jika benar maka nilai kebenarannya B (atau T), jika salah nilai kebenarannya S (atau F)

Contoh

p: 6 + 7 = 15
maka τ(p) = S

OPERASI UNER DALAM LOGIKA MATEMATIKA
Operasi uner (monar) yaitu negasi atau penyangkalan (ingkaran). Nilai kebenaran negasi sebuah pernyataan adalah kebalikan dari nilai kebenaran yang dimiliki oleh pernyataannya

Contoh

p: 6 + 7 = 15
maka ¬p: 6 + 7 15 atau
tidak benar bahwa 6 + 7 = 15
τ(p) = S, τ(p) = B

OPERASI BINNER DALAM LOGIKA MATEMATIKA
Operasi biner (binari) yaitu operasi yang berkenaan dengan dua unsur.
Ada emapat macam operasi biner:
1) Konjungsi (Conjunntion)
2) Disjungsi (Disjunction)
3) Implikasi (Implication)
4) Biimplikasi (Biimplication)
OPERATOR LOGIKA MATEMATIKA
Negasi (NOT)
Konjungsi - Conjunction (AND)
Disjungsi - Disjunction (OR)
Eksklusif Or (XOR)
Implikasi (JIKA – MAKA)
Bikondisional (JIKA DAN HANYA JIKA)
Tabel kebenaran dapat digunakan untuk menunjukkan bagaimana operator-operator tsb menggabungkan proposisi-proposisi.
MUMET ORA???? AKU YO MUMET LHO NDA
Untuk lebih lengkapnya silahkan download seluruh pertemuan (karena sang dosen memberi seluruh pertemuan, maka saya kasih seluruh juga……) di sini