Logika Matematika dan Himpunan
Logika Matematika adalah cabang logika dan matematika yang mengandung kajian matematis logika dan aplikasi kajian ini pada bidang-bidang lain di luar matematika. Logika matematika berhubungan erat dengan ilmu komputer dan logika filosofis. Tema utama dalam logika matematika antara lain adalah kekuatan ekspresif dari logika formal dan kekuatan deduktif dari sistem pembuktian formal.
Kalimat Terbuka dan Pernyataan
- Kalimat terbuka (variabel) adalah kalimat yang belum diketahui nilai kebenarannya
- Pernyataan (konstanta) adalah kalimat yang sudah diketahui nilai kebenarannya
Kalimat Majemuk dan Nilai Kebenarannya
Kalimat majemuk adalah gabungan dari 2 kalimat tunggal. Sedangkan kalimat tunggal itu sendiri adalah pernyataan yang tidak memuat pernyataan lain sebagai bagiannya.
Kalimat majemuk terdiri dari :
- Konjungsi
konjungsi akan mempunyai nilai kebenaran B jika kedua pernyataan bernilai B
- Disjungsi
disjungsi akan mempunyai nilai kebenaran S jika kedua pernyataan bernilai S
- Implikasi
implikasi akan mempunyai nilai kebenaran S jika antiseden bernilai B dan konsekuen bernilai S
- Biimplkasi
biimplikasi akamn mempunyai nilai kebenaran B jika kedua pernyataan mempunyai nilai kebenaran yang sama
Tidak ada komentar:
Posting Komentar