KONSEP DASAR MATEMATIKA

2. Shurter dan pierce dalam purnamasari (2014 : 4)
berpendapat bahwa istilah penalaran diterjemahkan dari
reasoning yang didefinesikan sebagai proses pencapaian
kesimpulan logis berdasarkan fakta dan sumber yang
relevan.
Penalaran adalah suatu kegiatan berpikir khusus, di mana
terjadi suatu penarikan kesimpulan, di mana pernyataan
disimpulkan dari beberapa premis.

3. 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 sering
dibagi ke dalam cabang-cabang dari teori himpunan,
teori model, teori rekursi, teori pembuktian, serta
matematika konstruktif. Bidang-bidang ini memiliki
hasil dasar logika yang serupa.

5. 1. Ingkaran atau Negasi dari suatu Pernyataan
Ingkaran atau negasi adalah kebaikan nilai dari suatu pernyataan, ketika
suatu pernyataan bernilai benar maka negasinya bernilai salah dan saat
pernyataan bernilai salah, negasinya bernilai benar. Ingkaran atau negasi
dari pernyataan p
2. Pernyataan Kuantor
Pernyataan kuantor adalah bentuk logika matematika berupa pernyataan yang
memiliki kuantitas. Dalam pernyataan kuantor, pada umumnya terdapat kata
semua, seluruh, setiap, beberapa, ada, dan sebagian.
Kata-kata yang senilai dengan seluruh, semua, setiap termasuk dalam kuantor
universal dan kata-kata yang senilai dengan sebagian, beberapa, ada termasuk
dalam kuantor eksistensial. Kuantor universal dan kuantor eksistensial saling
beringkaran.
3. Pernyataan Majemuk, Bentuk Ekuivalen dan
Ingkarannya
Dalam logika matematika, beberapa pernyataan dapat dibentuk menjadi satu
pernyataan dengan menggunakan kata penghubung logika seperti dan, atau, maka
dan jika dan hanya jika. Pernyataan gabungan tersebut disebut dengan pernyataan
majemuk.

8. Ingkaran Pernyataan majemuk
1. Ingkaran konjungsi :
2. Ingkaran Disjungsi :
3. Ingkaran implikasi :
4. Ingkaran Biimplikasi :

9. Konvers, Invers dan Kontraposisi
Konvers dari adalah
Invers dari adalah
Kontraposisi adalah

10. Penarikan Kesimpulan (Logika Matematika)
Penarikan kesimpulan adalah konklusi dari
beberapa pernyataan majemuk (premis) yang
saling terkait. Dalam penarikan kesimpulan
terdiri dari beberapa cara, yaitu: