deduzierbar
/deduˈt͡siːɐ̯baːɐ̯/
🇩🇪Bahasa JermanLogikaMatematikaFilsafatNetral
Ringkasan Makna
Dapat diturunkan atau disimpulkan secara logis dari premis atau aksioma yang ada.
Penjelasan & Konteks Penggunaan
Dalam konteks logika, matematika, dan filsafat, 'deduzierbar' (bahasa Jerman) berarti sesuatu yang dapat dibuktikan atau diturunkan melalui proses deduksi dari prinsip-prinsip dasar, aturan inferensi, atau premis yang telah ditetapkan sebelumnya. Istilah ini sering digunakan untuk menyatakan validitas suatu proposisi dalam sistem formal.
Contoh Penggunaan dalam Kalimat
“Dieser Satz ist aus den gegebenen Axiomen deduzierbar.”
→Kalimat ini dapat disimpulkan dari aksioma-aksioma yang diberikan.
“Die Schlussfolgerung ist logisch deduzierbar.”
→Kesimpulan tersebut dapat diturunkan secara logis.
Asal-usul & Konteks Budaya
Berasal dari bahasa Jerman, dibentuk dari kata kerja 'deduzieren' (mendeduksi) dan sufiks '-bar' (dapat). Istilah ini merupakan serapan dari bahasa Latin 'deducere' yang berarti 'menurunkan' atau 'membawa turun'.