Bandung Conference Series: Mathematics
Vol. 3 No. 1 (2023): Bandung Conference Series: Mathematics

Penerapan Logika Matematika dalam Menyelidiki Validitas Induksi Matematik untuk Pembuktian yang Melibatkan Proposisi Bilangan Asli dengan Berbagai Kasus

Rafly Anugerah (Matematika, Universitas Islam Bandung)
Gani Gunawan (Matematika, Universitas Islam Bandung)
Respitawulan (Matematika, Universitas Islam Bandung)



Article Info

Publish Date
28 Jan 2023

Abstract

Abstract. Problems involving natural number propositions can not only be proved algebraically, but can also be proved using mathematical induction. Mathematical Induction is a method of proving many theorems, both in number theory and in other fields of mathematics. The problems are how the logical arguments of mathematical induction are arranged, how the validity of the logical arguments of the principle of mathematical induction, and what examples of cases are natural number propositions and can be proven by the principle of mathematical induction. In this article, we will show how the construction of a logical argument from mathematical induction will be shown, and its validity will also be shown with various examples. Abstrak. Permasalahan yang melibatkan proposisi bilangan asli tidak hanya dapat dibuktikan secara aljabar, namun dapat juga dibuktikan dengan menggunakan induksi matematika. Induksi Matematika merupakan salah satu metode pembuktian dari banyak teorema, baik dalam teori bilangan maupun dalam bidang matematika lainnya. Adapun permasalahannya adalah bagaimana susunan logika argumen dari induksi matematika, bagaimana validitas dari logika argumen prinsip induksi matematika, dan contoh kasus apa saja yang merupakan proposisi bilangan asli dan dapat dibuktikan dengan prinsip induksi matematika. Dalam artikel ini akan diperlihatkan bagaimana konstruksi susunan logika argumen dari induksi matematika, juga diperlihatkan validitas berikut berbagai contohnya.

Copyrights © 2023






Journal Info

Abbrev

BCSM

Publisher

Subject

Mathematics Other

Description

Bandung Conference Series: Mathematics (BCSM) menerbitkan artikel penelitian akademik tentang kajian teoritis dan terapan serta berfokus pada Matematika dengan ruang lingkup Algoritma, MATLAB, ARFIMA, Arithmetic Geometric Mean, Aritmatika Modulo konveksi alamiah, Backorder, Bidang Singgung, EOQ , ...