Article Per Year (5 Year)
p-Index From 2021 - 2026
0.23
P-Index
This Author published in this journals
All Journal Journal of Education Transportation and Business
Anti, Yurni
Unknown Affiliation
Economics, Econometrics & Finance Education Transportation

Published : 1 Documents Claim Missing Document
Claim Missing Document
Check
Articles

Found 1 Documents
Search

 1 
Analisis Logika Predikat dalam Pembuktian Matematika: Studi Kasus Terpilih Anti, Yurni; Hutajulu, Abelia Syalomika; Manurung, Thesia; Simbolon, Elisabet L; Noviana, Rosmia
Journal of Education Transportation and Business Vol 2, No 2 (2025): Desember 2025
Publisher : CV. Rayyan Dwi Bharata

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.57235/jetbus.v2i2.7296

Abstract

Pembuktian matematika merupakan pilar fundamental yang menopang kebenaran setiap teorema dan dalil. Di balik rigorusitas pembuktian tersebut, terdapat struktur logika yang sistematis. Penelitian ini berfokus pada peran sentral logika predikat sebagai alat formal untuk menganalisis dan memvalidasi argumen-argumen dalam pembuktian matematika. Dengan menggunakan pendekatan studi kasus pada beberapa pembuktian dasar, artikel ini mengilustrasikan bagaimana konsep-konsep kunci dalam logika predikat-seperti kuantor universal (∀) dan eksistensial (∃), variabel, dan predikat-diaplikasikan untuk menerjemahkan pernyataan matematis ke dalam bentuk simbolik yang presisi dan bebas ambiguitas. Analisis ini menunjukkan bahwa logika predikat tidak hanya menyediakan kerangka kerja untuk memverifikasi keabsahan suatu bukti, tetapi juga memperjelas alur penalaran dan asumsi yang mendasarinya. Kajian ini merujuk pada materi dari "Modul Dasar Logika dan Matematika" Universitas Pembangunan Jaya dan "Hubungan Antara Logika Proposisi Dengan Logika Predikat" dari Universitas Diponegoro untuk membangun landasan teoretisnya.
Co-Authors Hutajulu, Abelia Syalomika Manurung, Thesia Noviana, Rosmia Simbolon, Elisabet L